67.7 Problem number 7

\[ \int \left (b \tan ^3(e+f x)\right )^{5/2} \, dx \]

Optimal antiderivative \[ -\frac {2 b^{2} \cot \left (f x +e \right ) \sqrt {b \left (\tan ^{3}\left (f x +e \right )\right )}}{f}+\frac {b^{2} \arctan \left (-1+\sqrt {2}\, \left (\sqrt {\tan }\left (f x +e \right )\right )\right ) \sqrt {b \left (\tan ^{3}\left (f x +e \right )\right )}\, \sqrt {2}}{2 f \tan \left (f x +e \right )^{\frac {3}{2}}}+\frac {b^{2} \arctan \left (1+\sqrt {2}\, \left (\sqrt {\tan }\left (f x +e \right )\right )\right ) \sqrt {b \left (\tan ^{3}\left (f x +e \right )\right )}\, \sqrt {2}}{2 f \tan \left (f x +e \right )^{\frac {3}{2}}}-\frac {b^{2} \ln \left (1-\sqrt {2}\, \left (\sqrt {\tan }\left (f x +e \right )\right )+\tan \left (f x +e \right )\right ) \sqrt {b \left (\tan ^{3}\left (f x +e \right )\right )}\, \sqrt {2}}{4 f \tan \left (f x +e \right )^{\frac {3}{2}}}+\frac {b^{2} \ln \left (1+\sqrt {2}\, \left (\sqrt {\tan }\left (f x +e \right )\right )+\tan \left (f x +e \right )\right ) \sqrt {b \left (\tan ^{3}\left (f x +e \right )\right )}\, \sqrt {2}}{4 f \tan \left (f x +e \right )^{\frac {3}{2}}}+\frac {2 b^{2} \sqrt {b \left (\tan ^{3}\left (f x +e \right )\right )}\, \tan \left (f x +e \right )}{5 f}-\frac {2 b^{2} \sqrt {b \left (\tan ^{3}\left (f x +e \right )\right )}\, \left (\tan ^{3}\left (f x +e \right )\right )}{9 f}+\frac {2 b^{2} \sqrt {b \left (\tan ^{3}\left (f x +e \right )\right )}\, \left (\tan ^{5}\left (f x +e \right )\right )}{13 f} \]

command

integrate((b*tan(f*x+e)^3)^(5/2),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {1}{2340} \, {\left (\frac {1170 \, \sqrt {2} b \sqrt {{\left | b \right |}} \arctan \left (\frac {\sqrt {2} {\left (\sqrt {2} \sqrt {{\left | b \right |}} + 2 \, \sqrt {b \tan \left (f x + e\right )}\right )}}{2 \, \sqrt {{\left | b \right |}}}\right )}{f} + \frac {1170 \, \sqrt {2} b \sqrt {{\left | b \right |}} \arctan \left (-\frac {\sqrt {2} {\left (\sqrt {2} \sqrt {{\left | b \right |}} - 2 \, \sqrt {b \tan \left (f x + e\right )}\right )}}{2 \, \sqrt {{\left | b \right |}}}\right )}{f} + \frac {585 \, \sqrt {2} b \sqrt {{\left | b \right |}} \log \left (b \tan \left (f x + e\right ) + \sqrt {2} \sqrt {b \tan \left (f x + e\right )} \sqrt {{\left | b \right |}} + {\left | b \right |}\right )}{f} - \frac {585 \, \sqrt {2} b \sqrt {{\left | b \right |}} \log \left (b \tan \left (f x + e\right ) - \sqrt {2} \sqrt {b \tan \left (f x + e\right )} \sqrt {{\left | b \right |}} + {\left | b \right |}\right )}{f} + \frac {8 \, {\left (45 \, \sqrt {b \tan \left (f x + e\right )} b^{66} f^{12} \tan \left (f x + e\right )^{6} - 65 \, \sqrt {b \tan \left (f x + e\right )} b^{66} f^{12} \tan \left (f x + e\right )^{4} + 117 \, \sqrt {b \tan \left (f x + e\right )} b^{66} f^{12} \tan \left (f x + e\right )^{2} - 585 \, \sqrt {b \tan \left (f x + e\right )} b^{66} f^{12}\right )}}{b^{65} f^{13}}\right )} b \mathrm {sgn}\left (\tan \left (f x + e\right )\right ) \]

Giac 1.7.0 via sagemath 9.3 output

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