c_1, x_1, x_2, x_3, x_4, x_5, 
c_1*(4*x_2+4+9*x_1)
4*c_1^2+1
x_3-30*c_1
4*x_4-15*x_1
x_5+30*c_1
x_1^2+16
