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