x^2 + y
x*y - 1
