c_1, c_2, x_1, x_2, 
c_1*x_1*x_2-1
-x_1^2*x_2+c_2
