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