74.31 Problem number 56

\[ \int \frac {(a+a \sec (e+f x))^{3/2}}{(c-c \sec (e+f x))^4} \, dx \]

Optimal antiderivative \[ \frac {2 a^{\frac {3}{2}} \arctan \left (\frac {\sqrt {a}\, \tan \left (f x +e \right )}{\sqrt {a +a \sec \left (f x +e \right )}}\right )}{c^{4} f}-\frac {2 \left (\cot ^{3}\left (f x +e \right )\right ) \left (a +a \sec \left (f x +e \right )\right )^{\frac {3}{2}}}{3 c^{4} f}+\frac {2 \left (\cot ^{5}\left (f x +e \right )\right ) \left (a +a \sec \left (f x +e \right )\right )^{\frac {5}{2}}}{5 a \,c^{4} f}-\frac {4 \left (\cot ^{7}\left (f x +e \right )\right ) \left (a +a \sec \left (f x +e \right )\right )^{\frac {7}{2}}}{7 a^{2} c^{4} f}+\frac {2 a \cot \left (f x +e \right ) \sqrt {a +a \sec \left (f x +e \right )}}{c^{4} f} \]

command

integrate((a+a*sec(f*x+e))^(3/2)/(c-c*sec(f*x+e))^4,x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ -\frac {\frac {105 \, \sqrt {-a} a^{2} \log \left (\frac {{\left | 2 \, {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}\right )}^{2} - 4 \, \sqrt {2} {\left | a \right |} - 6 \, a \right |}}{{\left | 2 \, {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}\right )}^{2} + 4 \, \sqrt {2} {\left | a \right |} - 6 \, a \right |}}\right ) \mathrm {sgn}\left (\cos \left (f x + e\right )\right )}{c^{4} {\left | a \right |}} + \frac {420 \, \sqrt {2} {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}\right )}^{12} \sqrt {-a} a^{2} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) - 1785 \, \sqrt {2} {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}\right )}^{10} \sqrt {-a} a^{3} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 4235 \, \sqrt {2} {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}\right )}^{8} \sqrt {-a} a^{4} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) - 4970 \, \sqrt {2} {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}\right )}^{6} \sqrt {-a} a^{5} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 3738 \, \sqrt {2} {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}\right )}^{4} \sqrt {-a} a^{6} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) - 1421 \, \sqrt {2} {\left (\sqrt {-a} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}\right )}^{2} \sqrt {-a} a^{7} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 263 \, \sqrt {2} \sqrt {-a} a^{8} \mathrm {sgn}\left (\cos \left (f x + e\right )\right )}{{\left ({\left (\sqrt {-a} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}\right )}^{2} - a\right )}^{7} c^{4}}}{105 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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