c_1, x_1, x_2, x_3, x_4, x_5, x_7, x_8, 
192*c_1*x_3^2+5*x_2^3
144*x_1*x_3-47*x_2^2
-5*x_2^3+576*x_3^2*x_7
-5*x_2^3+192*x_3^2*x_5
24*x_3*x_8-x_2
4608*c_1*x_3^3-5*x_2^4+192*x_2*x_3^2*x_4
