QuestionShareEvaluate the following integrals:$\int\limits^{\frac{\pi}{2}}_0\big(2\log\cos\text{x}-\log\sin2\text{x}\big)\text{dx}$