minimize 3*pi/2-x+tan(x/2)+sqrt(sec^2(x/2)+1), 0<=x<=pi/2