c_1, x_1, x_2, x_3, x_4, x_5, x_7, x_8, 
64*c_1*x_3^2+15*x_2^3
16*x_1*x_3-x_2^2
15*x_2^3+64*x_3^2*x_7
-15*x_2^3+64*x_3^2*x_5
8*x_3*x_8+x_2
-512*c_1*x_3^3-9*x_2^4+64*x_2*x_3^2*x_4
