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