factor PolynomialDiscriminant[x^4-4x^3+8x^2-8x+9,x