88.4 Problem number 232

\[ \int \frac {\tanh ^2(x)}{\sqrt {a+b \tanh ^2(x)}} \, dx \]

Optimal antiderivative \[ -\frac {\arctanh \left (\frac {\sqrt {b}\, \tanh \left (x \right )}{\sqrt {a +b \left (\tanh ^{2}\left (x \right )\right )}}\right )}{\sqrt {b}}+\frac {\arctanh \left (\frac {\sqrt {a +b}\, \tanh \left (x \right )}{\sqrt {a +b \left (\tanh ^{2}\left (x \right )\right )}}\right )}{\sqrt {a +b}} \]

command

integrate(tanh(x)^2/(a+b*tanh(x)^2)^(1/2),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ -\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}} - \frac {\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 \, \sqrt {a + b}} - \frac {\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 \, \sqrt {a + b}} + \frac {\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 \, \sqrt {a + b}} \]

Giac 1.7.0 via sagemath 9.3 output

\[ \text {Exception raised: TypeError} \]________________________________________________________________________________________