86.17 Problem number 215

\[ \int \text {csch}^{11}(c+d x) \left (a+b \sinh ^4(c+d x)\right )^3 \, dx \]

Optimal antiderivative \[ \frac {3 a \left (21 a^{2}+80 a b +128 b^{2}\right ) \arctanh \left (\cosh \left (d x +c \right )\right )}{256 d}+\frac {b^{3} \cosh \left (d x +c \right )}{d}-\frac {3 a \left (21 a^{2}+80 a b +128 b^{2}\right ) \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )}{256 d}+\frac {a^{2} \left (21 a +80 b \right ) \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )^{3}}{128 d}-\frac {a^{2} \left (21 a +80 b \right ) \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )^{5}}{160 d}+\frac {9 a^{3} \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )^{7}}{80 d}-\frac {a^{3} \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )^{9}}{10 d} \]

command

integrate(csch(d*x+c)^11*(a+b*sinh(d*x+c)^4)^3,x, algorithm="fricas")

Fricas 1.3.8 (sbcl 2.2.11.debian) via sagemath 9.6 output

\[ \text {output too large to display} \]

Fricas 1.3.7 via sagemath 9.3 output \[ \text {Timed out} \]