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
