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