44.31 Problem number 31

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

Optimal antiderivative \[ -\frac {2 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 {9}{2}}}{21 c f}-\frac {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 {9}{2}}}{9 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 {9}{2}}}{9 c f}-\frac {8 a^{4} \cos \left (f x +e \right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {9}{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 {9}{2}} \sqrt {a +a \sin \left (f x +e \right )}}{63 c f} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ -\frac {256 \, {\left (70 \, a^{3} c^{3} \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 ) - 315 \, a^{3} c^{3} \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 ) + 540 \, a^{3} c^{3} \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 ) - 420 \, a^{3} c^{3} \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 ) + 126 \, a^{3} c^{3} \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} \]________________________________________________________________________________________