x_1, x_2, x_3, x_4, x_5, 
x_4^2+x_5^2-1
x_2*x_5+x_3*x_4+x_2-3
x_2*x_4-x_3*x_5+x_3-5
