x3, x2, x1, s, 
s-x1*(x2^2+x3^2+1)
s-x2*(x1^2+x3^2+1)
s-x3*(x1^2+x2^2+1)
