x_1, x_2, x_3, x_4, x_5, 
x_2*(-1+x_2)
-x_2+x_1
x_4-x_3
x_3*x_5-1
