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