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