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