86.18 Problem number 216

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

Optimal antiderivative \[ -\frac {\left (231 a^{3}+840 a^{2} b +1152 a \,b^{2}+1024 b^{3}\right ) \arctanh \left (\cosh \left (d x +c \right )\right )}{1024 d}+\frac {3 a \left (77 a^{2}+280 a b +384 b^{2}\right ) \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )}{1024 d}-\frac {a \left (77 a^{2}+280 a b +384 b^{2}\right ) \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )^{3}}{512 d}+\frac {7 a^{2} \left (11 a +40 b \right ) \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )^{5}}{640 d}-\frac {3 a^{2} \left (11 a +40 b \right ) \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )^{7}}{320 d}+\frac {11 a^{3} \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )^{9}}{120 d}-\frac {a^{3} \coth \left (d x +c \right ) \mathrm {csch}\left (d x +c \right )^{11}}{12 d} \]

command

integrate(csch(d*x+c)^13*(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} \]