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