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