c_1, c_2, x_1, x_2, x_3, x_4, 
1-x_4
-c_2*x_1*x_4+1
-c_1*x_2*x_4+2
-c_1^3*c_2*x_3*x_4-2*c_1^2*c_2^2*x_3*x_4-c_1*c_2^3*x_3*x_4+2*c_1^2-2*c_1*c_2+2*c_2^2
