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