48.19 Problem number 462

\[ \int \sqrt {a-a \sin ^2(e+f x)} \tan ^6(e+f x) \, dx \]

Optimal antiderivative \[ \frac {15 \arctanh \left (\sin \left (f x +e \right )\right ) \sec \left (f x +e \right ) \sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}}{8 f}-\frac {15 \sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}\, \tan \left (f x +e \right )}{8 f}-\frac {5 \sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}\, \left (\tan ^{3}\left (f x +e \right )\right )}{8 f}+\frac {\sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}\, \left (\tan ^{5}\left (f x +e \right )\right )}{4 f} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ -\frac {{\left (15 \, \log \left ({\left | \frac {1}{\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )} + \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 2 \right |}\right ) \mathrm {sgn}\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 1\right ) - 15 \, \log \left ({\left | \frac {1}{\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )} + \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 2 \right |}\right ) \mathrm {sgn}\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 1\right ) - \frac {32 \, \mathrm {sgn}\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 1\right )}{\frac {1}{\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )} + \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )} - \frac {4 \, {\left (7 \, {\left (\frac {1}{\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )} + \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )}^{3} \mathrm {sgn}\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 1\right ) - 36 \, {\left (\frac {1}{\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )} + \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )} \mathrm {sgn}\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 1\right )\right )}}{{\left ({\left (\frac {1}{\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )} + \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )}^{2} - 4\right )}^{2}}\right )} \sqrt {a}}{16 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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