x^3*y - x^2*y^2 - x^2*y + x*y^2 - y + 1