expand (x - sqrt2)*(x^2 + (2 + sqrt2)x + 2^(3/2))