c_1, x_1, x_2, x_3, x_4, x_5, x_7, 
x_5
30*x_1*x_7+19*c_1
-90*x_1*x_7+19*x_4
x_3*x_7+c_1
76*x_2*x_7^2-x_1
