c_1, x_1, x_2, x_3, x_5, x_6, x_7, 
x_5
c_1*(x_1+48*c_1)
3*x_2+8*x_1
x_1^2+72*x_3
104*c_1^5+x_7
-72*c_1^2+x_1*x_6
