u, x1, x2, 
u*x2-x1
-x2+(x1^2+1)*u+u^3
