discriminant( x^2 + (y^2 + y)*x + (2y + 1), x)