c_1, x_1, x_2, x_3, x_4, 
c_1*(-1+x_2)
x_1*x_2-1
12*c_1^2+x_2*x_4
-4*c_1^2+x_2*x_3+1
