0=(1.25*x2-sqrt(abs(x1)))^2+x1^2-1