c_1, x_1, x_2, x_3, x_5, x_6, x_7, 
x_5
-c_1*(-x_1+128*c_1)
8*x_2+3*x_1
x_1^2+512*x_3
104*c_1^5+x_7
192*c_1^2+x_1*x_6
