c_1, x_1, x_2, x_3, x_4, x_5, 
-c_1*(-188*x_2-188+15*x_1)
47*x_3-90*c_1
188*x_4+15*x_1
47*x_5-30*c_1
188*c_1^2-1
47*x_1^2-144
