Me dijeron que hay una forma cerrada para la integral $$\int_{\pi/4}^{\pi/2}\frac{\cos(2\theta)e^{\cot\theta}}{\sin^3(2\theta)\left(e^{\cot\theta}-e^{\tan\theta}\right)}d\theta$$
La respuesta dada es
$$\frac{ \pi^2 }{48}$$
y lo he verificado numéricamente. Sin embargo, desconozco los métodos utilizados.
Mi pregunta es: ¿cómo obtener la respuesta analíticamente?