Cómo probar $$\int_{\sqrt{3/5}}^1 \frac{\arctan (x)}{\sqrt{2 x^2-1} \left(3 x^2-1\right)} \, dx=\frac{3\pi^2}{160}$$ Encontré la integral lo suficientemente ordenada, pero también dura. ¿Está de alguna manera relacionado con la integral Ahmed $?$ Cualquier ayuda será apreciada.
Actualización: consulte el enlace debajo de la respuesta de @pisco para obtener más información.
