70.9 Problem number 45

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

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

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {{\left (2 \, a \arctan \left (\frac {\sqrt {-a + b} \sqrt {b}}{\sqrt {a b - b^{2}}}\right ) - 2 \, b \arctan \left (\frac {\sqrt {-a + b} \sqrt {b}}{\sqrt {a b - b^{2}}}\right ) + \sqrt {a b - b^{2}} \log \left (-a - 2 \, \sqrt {-a + b} \sqrt {b} + 2 \, b\right )\right )} \mathrm {sgn}\left (\sin \left (x\right )\right )}{2 \, \sqrt {a b - b^{2}} \sqrt {-a + b}} - \frac {\frac {2 \, \sqrt {-a + b} \arctan \left (\frac {{\left (\sqrt {-a + b} \cos \left (x\right ) - \sqrt {-a \cos \left (x\right )^{2} + b \cos \left (x\right )^{2} + a}\right )}^{2} + a - 2 \, b}{2 \, \sqrt {a b - b^{2}}}\right )}{\sqrt {a b - b^{2}}} + \frac {\log \left ({\left (\sqrt {-a + b} \cos \left (x\right ) - \sqrt {-a \cos \left (x\right )^{2} + b \cos \left (x\right )^{2} + a}\right )}^{2}\right )}{\sqrt {-a + b}}}{2 \, \mathrm {sgn}\left (\sin \left (x\right )\right )} \]

Giac 1.7.0 via sagemath 9.3 output

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