75.13 Problem number 21

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

Optimal antiderivative \[ \frac {55 a^{3} c^{6} \arctanh \left (\sin \left (f x +e \right )\right )}{128 f}-\frac {25 a^{3} c^{6} \sec \left (f x +e \right ) \tan \left (f x +e \right )}{128 f}-\frac {15 a^{3} c^{6} \left (\sec ^{3}\left (f x +e \right )\right ) \tan \left (f x +e \right )}{64 f}+\frac {5 a^{3} c^{6} \sec \left (f x +e \right ) \left (\tan ^{3}\left (f x +e \right )\right )}{24 f}+\frac {5 a^{3} c^{6} \left (\sec ^{3}\left (f x +e \right )\right ) \left (\tan ^{3}\left (f x +e \right )\right )}{16 f}-\frac {a^{3} c^{6} \sec \left (f x +e \right ) \left (\tan ^{5}\left (f x +e \right )\right )}{6 f}-\frac {3 a^{3} c^{6} \left (\sec ^{3}\left (f x +e \right )\right ) \left (\tan ^{5}\left (f x +e \right )\right )}{8 f}+\frac {4 a^{3} c^{6} \left (\tan ^{7}\left (f x +e \right )\right )}{7 f}+\frac {a^{3} c^{6} \left (\tan ^{9}\left (f x +e \right )\right )}{9 f} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {3465 \, a^{3} c^{6} \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 1 \right |}\right ) - 3465 \, a^{3} c^{6} \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 1 \right |}\right ) - \frac {2 \, {\left (3465 \, a^{3} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{17} - 30030 \, a^{3} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{15} + 115038 \, a^{3} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{13} + 334602 \, a^{3} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{11} - 360448 \, a^{3} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{9} + 255222 \, a^{3} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{7} - 115038 \, a^{3} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} + 30030 \, a^{3} c^{6} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 3465 \, a^{3} c^{6} \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 )}^{9}}}{8064 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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