76.73 Problem number 350

\[ \int \frac {\tan ^5(e+f x)}{\left (a+b \sec ^2(e+f x)\right )^2} \, dx \]

Optimal antiderivative \[ -\frac {\left (a +b \right )^{2}}{2 a^{2} b f \left (b +a \left (\cos ^{2}\left (f x +e \right )\right )\right )}-\frac {\ln \left (\cos \left (f x +e \right )\right )}{b^{2} f}-\frac {\left (\frac {1}{a^{2}}-\frac {1}{b^{2}}\right ) \ln \left (b +a \left (\cos ^{2}\left (f x +e \right )\right )\right )}{2 f} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {\frac {{\left (a^{3} + a^{2} b - a b^{2} - b^{3}\right )} \log \left ({\left | -a {\left (\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} + \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1}\right )} - b {\left (\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} + \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1}\right )} - 2 \, a + 2 \, b \right |}\right )}{a^{3} b^{2} + a^{2} b^{3}} + \frac {\log \left ({\left | -\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} - \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1} + 2 \right |}\right )}{a^{2}} - \frac {\log \left ({\left | -\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} - \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1} - 2 \right |}\right )}{b^{2}} - \frac {a^{3} {\left (\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} + \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1}\right )} + a^{2} b {\left (\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} + \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1}\right )} - a b^{2} {\left (\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} + \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1}\right )} - b^{3} {\left (\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} + \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1}\right )} + 2 \, a^{3} - 6 \, a^{2} b - 6 \, a b^{2} + 2 \, b^{3}}{{\left (a {\left (\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} + \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1}\right )} + b {\left (\frac {\cos \left (f x + e\right ) + 1}{\cos \left (f x + e\right ) - 1} + \frac {\cos \left (f x + e\right ) - 1}{\cos \left (f x + e\right ) + 1}\right )} + 2 \, a - 2 \, b\right )} a^{2} b^{2}}}{2 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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