c_1, c_2, c_3, x_1, x_2, 
x_1*x_2-c_3
c_1*x_1-x_1^2-x_1*x_2-c_2
