Question
By using the properties of definite integrals, evaluate the integral in Exercise:
$\int^{\frac{\pi}{2}}_{0}\big(2\log\sin\text{x}-\log\sin2\text{x}\big)\text{dx}$
$\int^{\frac{\pi}{2}}_{0}\big(2\log\sin\text{x}-\log\sin2\text{x}\big)\text{dx}$