c_1, c_2, c_3, c_4, c_5, c_6, c_7, c_8, c_9, x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9, 
c_1-x_7
c_5-x_6
c_6-x_3
c_7-x_4
c_8-x_8
c_9-x_5
-x_1+c_3
-x_2+c_4
c_2*x_3^2*x_8^2-2*c_2*x_3*x_4*x_7*x_8+c_2*x_4^2*x_7^2-x_3^3*x_9+3*x_3^2*x_4*x_8+x_3^2*x_5*x_7-3*x_3*x_4^2*x_7-x_3*x_7^2*x_9+3*x_3*x_7*x_8^2-3*x_4*x_7^2*x_8+x_5*x_7^3
