\[ \int \cot ^6(e+f x) \sqrt {a-a \sin ^2(e+f x)} \, dx \]
Optimal antiderivative \[ -\frac {3 \csc \left (f x +e \right ) \sec \left (f x +e \right ) \sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}}{f}+\frac {\left (\csc ^{3}\left (f x +e \right )\right ) \sec \left (f x +e \right ) \sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}}{f}-\frac {\left (\csc ^{5}\left (f x +e \right )\right ) \sec \left (f x +e \right ) \sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}}{5 f}-\frac {\sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}\, \tan \left (f x +e \right )}{f} \]
command
integrate(cot(f*x+e)^6*(a-a*sin(f*x+e)^2)^(1/2),x, algorithm="giac")
Giac 1.9.0-11 via sagemath 9.6 output
\[ \frac {{\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 )}^{5} \mathrm {sgn}\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 1\right ) - 20 \, {\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 ) + 240 \, {\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 ) + \frac {320 \, \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 )}\right )} \sqrt {a}}{160 \, f} \]
Giac 1.7.0 via sagemath 9.3 output
\[ \text {Exception raised: NotImplementedError} \]________________________________________________________________________________________