x_1, x_2, x_3, 
2*x_2*(1+x_3)
x_2^2+x_3^2-1
