c_1, x_1, x_2, x_3, 
-9*c_1^2+12*x_1-12*x_3-8
-9*c_1^4-24*c_1^2*x_3-16*c_1^2+16*x_1^2-48*x_2
