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^2*x_8+8*x_3*x_5
15*x_2^2*x_8+8*x_3*x_7
64*x_3^2*x_8^2+x_2^2
11*x_2^3*x_8+64*x_3^2*x_4*x_8+64*c_1*x_3^2
