c_1, x_1, x_2, x_3, x_4, x_5, x_7, x_8, 
1024*c_1*x_3^2+15*x_2^3
256*x_1*x_3-73*x_2^2
-15*x_2^3+4096*x_3^2*x_7
-75*x_2^3+4096*x_3^2*x_5
32*x_3*x_8-x_2
32768*c_1*x_3^3-15*x_2^4+1024*x_2*x_3^2*x_4
