\int_0^{\pi/2}\frac{\ln(1+\cos x)-x}{\sqrt{\sin x}}\,dx