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