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
