x_1, x_2, x_3, x_4, 
-1+x_1
x_3-1
x_4-x_2
x_2^4-16*x_2^2+16
