(x^2-\sqrt 2 x+1)(x^2+\sqrt{2} x+1)