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