44.30 Problem number 30

\[ \int \cos ^2(e+f x) (a+a \sin (e+f x))^{7/2} (c-c \sin (e+f x))^{9/2} \, dx \]

Optimal antiderivative \[ -\frac {a^{2} \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {3}{2}} \left (c -c \sin \left (f x +e \right )\right )^{\frac {11}{2}}}{15 c f}-\frac {4 a \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {5}{2}} \left (c -c \sin \left (f x +e \right )\right )^{\frac {11}{2}}}{45 c f}-\frac {\cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {7}{2}} \left (c -c \sin \left (f x +e \right )\right )^{\frac {11}{2}}}{10 c f}-\frac {4 a^{4} \cos \left (f x +e \right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {11}{2}}}{315 c f \sqrt {a +a \sin \left (f x +e \right )}}-\frac {4 a^{3} \cos \left (f x +e \right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {11}{2}} \sqrt {a +a \sin \left (f x +e \right )}}{105 c f} \]

command

integrate(cos(f*x+e)^2*(a+a*sin(f*x+e))^(7/2)*(c-c*sin(f*x+e))^(9/2),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {256 \, {\left (126 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{20} \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 700 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{18} \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 1575 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{16} \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 1800 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{14} \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 1050 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{12} \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 252 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{10} \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \sqrt {a} \sqrt {c}}{315 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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