48.32 Problem number 476

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

Optimal antiderivative \[ \frac {\cot \left (f x +e \right )}{f \sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}}-\frac {\cot \left (f x +e \right ) \left (\csc ^{2}\left (f x +e \right )\right )}{3 f \sqrt {a \left (\cos ^{2}\left (f x +e \right )\right )}} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {\frac {\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 9 \, \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )}{\mathrm {sgn}\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 1\right )} - \frac {9 \, \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 1}{\mathrm {sgn}\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 1\right ) \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3}}}{24 \, \sqrt {a} f} \]

Giac 1.7.0 via sagemath 9.3 output

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