c_1, x_1, x_2, x_3, x_4, x_5, 
73*x_2-150*x_5
292*x_3+15*c_1
73*x_4-30*x_5
73*c_1^2-256
292*x_5^2-1
-15*c_1*x_5+292*x_1*x_5+292*c_1
