c_1, x_1, x_2, x_3, x_5, x_6, x_7, x_8, x_9, 
x_6
6*c_1^3+12*c_1^2*x_1+x_7*x_9
-4*c_1^4-12*c_1^3*x_1-8*c_1^2*x_1^2+c_1*x_5*x_9+x_1*x_5*x_9+c_1*x_2+2*x_1*x_2-x_3*x_9
4*c_1^9+16*c_1^8*x_1+20*c_1^7*x_1^2+8*c_1^6*x_1^3-c_1^3*x_2^2-2*c_1^2*x_1*x_2^2-2*c_1*x_1*x_2*x_3*x_9+c_1*x_3^2*x_9^2+c_1^3*x_9+2*c_1^2*x_1*x_9+c_1^2*x_8*x_9+c_1*x_1^2*x_9+2*c_1*x_1*x_8*x_9+x_1^2*x_8*x_9
