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