Showing $\int_0^1\tan^{-1}\frac{f(x)}{1+f(x)}\frac{dx}x=\frac\pi8\ln\frac{\pi^2}8$, where $f(x)=\frac1\pi(\tanh^{-1}x-\tan^{-1}x)$, with real analysis | Problems with Coffee | Abdelouahab Mostafa