42.15 Problem number 103

\[ \int \frac {\tan ^4(e+f x)}{\sqrt {a+a \sin (e+f x)}} \, dx \]

Optimal antiderivative \[ -\frac {67 \arctanh \left (\frac {\cos \left (f x +e \right ) \sqrt {a}\, \sqrt {2}}{2 \sqrt {a +a \sin \left (f x +e \right )}}\right ) \sqrt {2}}{128 f \sqrt {a}}-\frac {\sec \left (f x +e \right ) \left (53+127 \sin \left (f x +e \right )\right )}{192 f \sqrt {a +a \sin \left (f x +e \right )}}+\frac {a \sin \left (f x +e \right ) \tan \left (f x +e \right )}{24 f \left (a +a \sin \left (f x +e \right )\right )^{\frac {3}{2}}}+\frac {\tan ^{3}\left (f x +e \right )}{3 f \sqrt {a +a \sin \left (f x +e \right )}} \]

command

integrate(tan(f*x+e)^4/(a+a*sin(f*x+e))^(1/2),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ -\frac {\frac {201 \, \sqrt {2} \log \left (\sin \left (\frac {3}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 1\right )}{\sqrt {a} \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )} - \frac {201 \, \sqrt {2} \log \left (-\sin \left (\frac {3}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 1\right )}{\sqrt {a} \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )} + \frac {6 \, \sqrt {2} {\left (21 \, \sin \left (\frac {3}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 19 \, \sin \left (\frac {3}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )}}{{\left (\sin \left (\frac {3}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 1\right )}^{2} \sqrt {a} \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )} + \frac {16 \, \sqrt {2} {\left (15 \, \sqrt {a} \sin \left (\frac {3}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - \sqrt {a}\right )}}{a \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) \sin \left (\frac {3}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3}}}{768 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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