c_1, c_2, c_3, c_4, c_5, c_6, c_7, x_3, x_4, 
x_3^2-c_5
-c_2*c_6^2+12*c_2*x_3-6*c_4
c_2^2*c_6^4+12*c_2*c_4*c_6^2+288*c_1*c_5*x_3-72*c_2^2*c_5-144*c_3*c_5+36*c_4^2
c_2^3*c_6^7+18*c_2^2*c_4*c_6^5-72*c_2^3*c_5*c_6^3-144*c_2*c_3*c_5*c_6^3+108*c_2*c_4^2*c_6^3-288*c_2*c_5^2*c_6^3+1728*c_1*c_2*c_5^2*c_6-432*c_2^2*c_4*c_5*c_6-576*c_2*c_5^2*c_7-864*c_3*c_4*c_5*c_6+216*c_4^3*c_6+1728*c_5^2*c_6*x_4
