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