74.9 Problem number 15

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

Optimal antiderivative \[ a^{3} c x +\frac {a^{3} c \arctanh \left (\sin \left (f x +e \right )\right )}{f}-\frac {a^{3} c \tan \left (f x +e \right )}{f}-\frac {a^{3} c \sec \left (f x +e \right ) \tan \left (f x +e \right )}{f}-\frac {a^{3} c \left (\tan ^{3}\left (f x +e \right )\right )}{3 f} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {3 \, {\left (f x + e\right )} a^{3} c + 3 \, a^{3} c \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 1 \right |}\right ) - 3 \, a^{3} c \log \left ({\left | \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 1 \right |}\right ) - \frac {4 \, {\left (a^{3} c \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 3 \, a^{3} c \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 )}^{3}}}{3 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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