\[ \int \frac {\tanh ^6(x)}{\left (a+b \tanh ^2(x)\right )^{5/2}} \, dx \]
Optimal antiderivative \[ -\frac {\arctanh \left (\frac {\sqrt {b}\, \tanh \left (x \right )}{\sqrt {a +b \left (\tanh ^{2}\left (x \right )\right )}}\right )}{b^{\frac {5}{2}}}+\frac {\arctanh \left (\frac {\sqrt {a +b}\, \tanh \left (x \right )}{\sqrt {a +b \left (\tanh ^{2}\left (x \right )\right )}}\right )}{\left (a +b \right )^{\frac {5}{2}}}+\frac {a \left (a +2 b \right ) \tanh \left (x \right )}{b^{2} \left (a +b \right )^{2} \sqrt {a +b \left (\tanh ^{2}\left (x \right )\right )}}+\frac {a \left (\tanh ^{3}\left (x \right )\right )}{3 b \left (a +b \right ) \left (a +b \left (\tanh ^{2}\left (x \right )\right )\right )^{\frac {3}{2}}} \]
command
integrate(tanh(x)^6/(a+b*tanh(x)^2)^(5/2),x, algorithm="giac")
Giac 1.9.0-11 via sagemath 9.6 output
\[ -\frac {\sqrt {a + b} \log \left ({\left | -{\left (\sqrt {a + b} e^{\left (2 \, x\right )} - \sqrt {a e^{\left (4 \, x\right )} + b e^{\left (4 \, x\right )} + 2 \, a e^{\left (2 \, x\right )} - 2 \, b e^{\left (2 \, x\right )} + a + b}\right )} {\left (a + b\right )} - \sqrt {a + b} {\left (a - b\right )} \right |}\right )}{2 \, {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )}} - \frac {\sqrt {a + b} \log \left ({\left | -\sqrt {a + b} e^{\left (2 \, x\right )} + \sqrt {a e^{\left (4 \, x\right )} + b e^{\left (4 \, x\right )} + 2 \, a e^{\left (2 \, x\right )} - 2 \, b e^{\left (2 \, x\right )} + a + b} + \sqrt {a + b} \right |}\right )}{2 \, {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )}} + \frac {\sqrt {a + b} \log \left ({\left | -\sqrt {a + b} e^{\left (2 \, x\right )} + \sqrt {a e^{\left (4 \, x\right )} + b e^{\left (4 \, x\right )} + 2 \, a e^{\left (2 \, x\right )} - 2 \, b e^{\left (2 \, x\right )} + a + b} - \sqrt {a + b} \right |}\right )}{2 \, {\left (a^{3} + 3 \, a^{2} b + 3 \, a b^{2} + b^{3}\right )}} + \frac {{\left ({\left (\frac {{\left (3 \, a^{9} b^{8} + 22 \, a^{8} b^{9} + 65 \, a^{7} b^{10} + 100 \, a^{6} b^{11} + 85 \, a^{5} b^{12} + 38 \, a^{4} b^{13} + 7 \, a^{3} b^{14}\right )} e^{\left (2 \, x\right )}}{a^{8} b^{10} + 6 \, a^{7} b^{11} + 15 \, a^{6} b^{12} + 20 \, a^{5} b^{13} + 15 \, a^{4} b^{14} + 6 \, a^{3} b^{15} + a^{2} b^{16}} + \frac {3 \, {\left (a^{9} b^{8} + 2 \, a^{8} b^{9} - 9 \, a^{7} b^{10} - 36 \, a^{6} b^{11} - 49 \, a^{5} b^{12} - 30 \, a^{4} b^{13} - 7 \, a^{3} b^{14}\right )}}{a^{8} b^{10} + 6 \, a^{7} b^{11} + 15 \, a^{6} b^{12} + 20 \, a^{5} b^{13} + 15 \, a^{4} b^{14} + 6 \, a^{3} b^{15} + a^{2} b^{16}}\right )} e^{\left (2 \, x\right )} - \frac {3 \, {\left (a^{9} b^{8} + 2 \, a^{8} b^{9} - 9 \, a^{7} b^{10} - 36 \, a^{6} b^{11} - 49 \, a^{5} b^{12} - 30 \, a^{4} b^{13} - 7 \, a^{3} b^{14}\right )}}{a^{8} b^{10} + 6 \, a^{7} b^{11} + 15 \, a^{6} b^{12} + 20 \, a^{5} b^{13} + 15 \, a^{4} b^{14} + 6 \, a^{3} b^{15} + a^{2} b^{16}}\right )} e^{\left (2 \, x\right )} - \frac {3 \, a^{9} b^{8} + 22 \, a^{8} b^{9} + 65 \, a^{7} b^{10} + 100 \, a^{6} b^{11} + 85 \, a^{5} b^{12} + 38 \, a^{4} b^{13} + 7 \, a^{3} b^{14}}{a^{8} b^{10} + 6 \, a^{7} b^{11} + 15 \, a^{6} b^{12} + 20 \, a^{5} b^{13} + 15 \, a^{4} b^{14} + 6 \, a^{3} b^{15} + a^{2} b^{16}}}{3 \, {\left (a e^{\left (4 \, x\right )} + b e^{\left (4 \, x\right )} + 2 \, a e^{\left (2 \, x\right )} - 2 \, b e^{\left (2 \, x\right )} + a + b\right )}^{\frac {3}{2}}} - \frac {2 \, \arctan \left (-\frac {\sqrt {a + b} e^{\left (2 \, x\right )} - \sqrt {a e^{\left (4 \, x\right )} + b e^{\left (4 \, x\right )} + 2 \, a e^{\left (2 \, x\right )} - 2 \, b e^{\left (2 \, x\right )} + a + b} + \sqrt {a + b}}{2 \, \sqrt {-b}}\right )}{\sqrt {-b} b^{2}} \]
Giac 1.7.0 via sagemath 9.3 output
\[ \text {Exception raised: TypeError} \]________________________________________________________________________________________