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