log tan and sin integral
Posted: Thu Sep 08, 2016 6:11 pm
Evaluate in a closed form the integral:
$$\int_{0}^{\pi/4} \log \left [ \tan \left ( \frac{\pi}{4}-x \right ) \right ] \log \sin x \, {\rm d}x$$
$$\int_{0}^{\pi/4} \log \left [ \tan \left ( \frac{\pi}{4}-x \right ) \right ] \log \sin x \, {\rm d}x$$