=\int_{0}^{\frac{\pi}{2}}\ln\sin 2xdx-\int_{0}^{\frac{\pi}{2}}\ln 2=\int_{0}^{\frac{\pi}{2}}\ln\sin 2xdx-\frac{\pi}{2}\ln 2