46.10 Problem number 89

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

Optimal antiderivative \[ \frac {256 a^{2} \left (13 A -3 B \right ) c^{6} \left (\cos ^{5}\left (f x +e \right )\right )}{15015 f \left (c -c \sin \left (f x +e \right )\right )^{\frac {5}{2}}}+\frac {64 a^{2} \left (13 A -3 B \right ) c^{5} \left (\cos ^{5}\left (f x +e \right )\right )}{3003 f \left (c -c \sin \left (f x +e \right )\right )^{\frac {3}{2}}}-\frac {2 a^{2} B \,c^{2} \left (\cos ^{5}\left (f x +e \right )\right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {3}{2}}}{13 f}+\frac {8 a^{2} \left (13 A -3 B \right ) c^{4} \left (\cos ^{5}\left (f x +e \right )\right )}{429 f \sqrt {c -c \sin \left (f x +e \right )}}+\frac {2 a^{2} \left (13 A -3 B \right ) c^{3} \left (\cos ^{5}\left (f x +e \right )\right ) \sqrt {c -c \sin \left (f x +e \right )}}{143 f} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ -\frac {\sqrt {2} {\left (10010 \, A a^{2} c^{3} \cos \left (-\frac {9}{4} \, \pi + \frac {9}{2} \, f x + \frac {9}{2} \, e\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 1155 \, B a^{2} c^{3} \cos \left (-\frac {13}{4} \, \pi + \frac {13}{2} \, f x + \frac {13}{2} \, e\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 60060 \, {\left (7 \, A a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 2 \, B a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 15015 \, {\left (4 \, A a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + B a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \cos \left (-\frac {3}{4} \, \pi + \frac {3}{2} \, f x + \frac {3}{2} \, e\right ) - 3003 \, {\left (22 \, A a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 7 \, B a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \cos \left (-\frac {5}{4} \, \pi + \frac {5}{2} \, f x + \frac {5}{2} \, e\right ) + 4290 \, {\left (A a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 4 \, B a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \cos \left (-\frac {7}{4} \, \pi + \frac {7}{2} \, f x + \frac {7}{2} \, e\right ) - 1365 \, {\left (2 \, A a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 3 \, B a^{2} c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \cos \left (-\frac {11}{4} \, \pi + \frac {11}{2} \, f x + \frac {11}{2} \, e\right )\right )} \sqrt {c}}{480480 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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