Integral challenge!

\[\displaystyle\int_0^\infty\ln\left(1+\dfrac{\cosh\alpha}{\cosh x}\right)\ dx=\dfrac{\pi^2}{8}-\dfrac{\arccos^2(\cosh\alpha)}{2}\]

#Integral #Integrals #IntegralChallenge #HyperbolicFunction #HyperbolicCosine #Logarithm #DefiniteIntegral