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