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