75.14 Problem number 22

\[ \int \sec (e+f x) (a+a \sec (e+f x))^3 (c-c \sec (e+f x))^5 \, dx \]

Optimal antiderivative \[ \frac {45 a^{3} c^{5} \arctanh \left (\sin \left (f x +e \right )\right )}{128 f}-\frac {35 a^{3} c^{5} \sec \left (f x +e \right ) \tan \left (f x +e \right )}{128 f}-\frac {5 a^{3} c^{5} \left (\sec ^{3}\left (f x +e \right )\right ) \tan \left (f x +e \right )}{64 f}+\frac {5 a^{3} c^{5} \sec \left (f x +e \right ) \left (\tan ^{3}\left (f x +e \right )\right )}{24 f}+\frac {5 a^{3} c^{5} \left (\sec ^{3}\left (f x +e \right )\right ) \left (\tan ^{3}\left (f x +e \right )\right )}{48 f}-\frac {a^{3} c^{5} \sec \left (f x +e \right ) \left (\tan ^{5}\left (f x +e \right )\right )}{6 f}-\frac {a^{3} c^{5} \left (\sec ^{3}\left (f x +e \right )\right ) \left (\tan ^{5}\left (f x +e \right )\right )}{8 f}+\frac {2 a^{3} c^{5} \left (\tan ^{7}\left (f x +e \right )\right )}{7 f} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {315 \, a^{3} c^{5} \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 1 \right |}\right ) - 315 \, a^{3} c^{5} \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 1 \right |}\right ) - \frac {2 \, {\left (315 \, a^{3} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{15} - 2415 \, a^{3} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{13} + 8043 \, a^{3} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{11} + 17609 \, a^{3} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{9} - 15159 \, a^{3} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{7} + 8043 \, a^{3} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} - 2415 \, a^{3} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 315 \, a^{3} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )}}{{\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 1\right )}^{8}}}{896 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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