(x^2+sqrt(2)*x-sqrt(2)+1)*(x^2-sqrt(2)*x+sqrt(2)+1)