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