discriminant[x^2+x^3-zx-zx^4-3z^2x^2+z^2x^4+z^3+z^3x^3+z^4-z^4x,x]<=0