c_1, x_1, x_2, 
2*x_1^3+2*c_1*x_1+c_1*x_2-1
2*x_1^4+3*c_1*x_1^2+c_1^2-x_1
