maximize (x-5)^2+(sqrt(16-x^2)+12)^2