c_1, c_2, c_3, c_4, c_5, x_1, x_2, x_3, 
c_2*c_4+2*x_1
-c_4*c_5^2+2*c_1*c_4-2
c_3*x_1+c_4*x_2-x_1*x_3
