(x^2-(sqrt(6)+sqrt(2))*x+2)*(x^2+(sqrt(6)-sqrt(2))*x+2)-x^4+sqrt(8)*x^3+sqrt(32)*x-4