minimize (x−sqrt(4-y^2)-4)^2+(4√x-y)^2