y'=(y+sqrt(y^2-4e^x))/2