x1, x2, x3, x4, 
x3^3+x1*x3+x3
5*x4^2+x2
x1^5+x1^3+x3
x2+x4
