x_1, x_2, x_3, x_4, x_5, x_6, 
x_5*(2*x_6-5+2*x_4)
-x_3*(2*x_6-5+2*x_4)
x_3^2+x_4^2-1
x_5^2+x_6^2-1
