min sqrt(1/4+x^2)+cos(x) for 0<=x<=pi