x_1, x_2, x_3, x_4, x_5, x_6, 
x_4
-1+6*x_5
3*x_1+1
x_2+x_6
6*x_3-1
12*x_2^2+1
