96.119 Problem number 296

\[ \int e^{c (a+b x)} \coth ^{-1}(\cosh (a c+b c x)) \, dx \]

Optimal antiderivative \[ \frac {{\mathrm e}^{b c x +a c} \mathrm {arccoth}\left (\cosh \left (c \left (b x +a \right )\right )\right )}{b c}+\frac {\ln \left (1-{\mathrm e}^{2 c \left (b x +a \right )}\right )}{b c} \]

command

integrate(exp(c*(b*x+a))*arccoth(cosh(b*c*x+a*c)),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {e^{\left ({\left (b x + a\right )} c\right )} \log \left (-\frac {\frac {2}{e^{\left (b c x + a c\right )} + e^{\left (-b c x - a c\right )}} + 1}{\frac {2}{e^{\left (b c x + a c\right )} + e^{\left (-b c x - a c\right )}} - 1}\right )}{2 \, b c} + \frac {\log \left ({\left | e^{\left (2 \, b c x + 2 \, a c\right )} - 1 \right |}\right )}{b c} \]

Giac 1.7.0 via sagemath 9.3 output

\[ \int \operatorname {arcoth}\left (\cosh \left (b c x + a c\right )\right ) e^{\left ({\left (b x + a\right )} c\right )}\,{d x} \]________________________________________________________________________________________