74.82 Problem number 161

\[ \int (a+a \sec (e+f x))^{5/2} (c+d \sec (e+f x))^2 \, dx \]

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

command

integrate((a+a*sec(f*x+e))^(5/2)*(c+d*sec(f*x+e))^2,x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ -\frac {\frac {105 \, \sqrt {-a} a^{3} c^{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 )}{{\left | a \right |}} + \frac {2 \, {\left (315 \, \sqrt {2} a^{6} c^{2} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 840 \, \sqrt {2} a^{6} c d \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 420 \, \sqrt {2} a^{6} d^{2} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) - {\left (875 \, \sqrt {2} a^{6} c^{2} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 1960 \, \sqrt {2} a^{6} c d \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 700 \, \sqrt {2} a^{6} d^{2} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) - {\left (805 \, \sqrt {2} a^{6} c^{2} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 1568 \, \sqrt {2} a^{6} c d \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 560 \, \sqrt {2} a^{6} d^{2} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) - {\left (245 \, \sqrt {2} a^{6} c^{2} \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 448 \, \sqrt {2} a^{6} c d \mathrm {sgn}\left (\cos \left (f x + e\right )\right ) + 160 \, \sqrt {2} a^{6} d^{2} \mathrm {sgn}\left (\cos \left (f x + e\right )\right )\right )} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2}\right )} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2}\right )} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2}\right )} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )}{{\left (a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - a\right )}^{3} \sqrt {-a \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} + a}}}{105 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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