c_1, x_1, x_2, x_3, x_4, 
x_4*(-x_2+x_1)
-x_4*x_3
-x_4*(c_1*x_1+c_1*x_2-1)
1-x_4
x_4-1
