\[ \int \frac {1}{a+b \cosh ^3(x)} \, dx \]
Optimal antiderivative \[ \frac {2 \arctanh \left (\frac {\sqrt {a^{\frac {1}{3}}-b^{\frac {1}{3}}}\, \tanh \left (\frac {x}{2}\right )}{\sqrt {a^{\frac {1}{3}}+b^{\frac {1}{3}}}}\right )}{3 a^{\frac {2}{3}} \sqrt {a^{\frac {1}{3}}-b^{\frac {1}{3}}}\, \sqrt {a^{\frac {1}{3}}+b^{\frac {1}{3}}}}+\frac {2 \arctanh \left (\frac {\sqrt {a^{\frac {1}{3}}+\left (-1\right )^{\frac {1}{3}} b^{\frac {1}{3}}}\, \tanh \left (\frac {x}{2}\right )}{\sqrt {a^{\frac {1}{3}}-\left (-1\right )^{\frac {1}{3}} b^{\frac {1}{3}}}}\right )}{3 a^{\frac {2}{3}} \sqrt {a^{\frac {1}{3}}-\left (-1\right )^{\frac {1}{3}} b^{\frac {1}{3}}}\, \sqrt {a^{\frac {1}{3}}+\left (-1\right )^{\frac {1}{3}} b^{\frac {1}{3}}}}+\frac {2 \arctanh \left (\frac {\sqrt {a^{\frac {1}{3}}-\left (-1\right )^{\frac {2}{3}} b^{\frac {1}{3}}}\, \tanh \left (\frac {x}{2}\right )}{\sqrt {a^{\frac {1}{3}}+\left (-1\right )^{\frac {2}{3}} b^{\frac {1}{3}}}}\right )}{3 a^{\frac {2}{3}} \sqrt {a^{\frac {1}{3}}-\left (-1\right )^{\frac {2}{3}} b^{\frac {1}{3}}}\, \sqrt {a^{\frac {1}{3}}+\left (-1\right )^{\frac {2}{3}} b^{\frac {1}{3}}}} \]
command
integrate(1/(a+b*cosh(x)^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} \]