QuestionShare$\text{Evaluate:} \int\limits_0^\frac{\pi}{2} (2\log \sin \text{x} - \log \sin 2\text{x}) \text{dx}$