QuestionShareBy using the properties of definite integral, evaluate the integral $\int_0^{\frac{\pi}{2}}(2 \log \sin x-\log \sin 2 x) d x$