discriminant of x^4 + (a^2 - a - 1) x^2 + (a^4 - a^3)