46.2 Problem number 81

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

Optimal antiderivative \[ \frac {256 a \left (11 A -5 B \right ) c^{5} \left (\cos ^{3}\left (f x +e \right )\right )}{3465 f \left (c -c \sin \left (f x +e \right )\right )^{\frac {3}{2}}}+\frac {2 a \left (11 A -5 B \right ) c^{2} \left (\cos ^{3}\left (f x +e \right )\right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {3}{2}}}{99 f}-\frac {2 a B c \left (\cos ^{3}\left (f x +e \right )\right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {5}{2}}}{11 f}+\frac {64 a \left (11 A -5 B \right ) c^{4} \left (\cos ^{3}\left (f x +e \right )\right )}{1155 f \sqrt {c -c \sin \left (f x +e \right )}}+\frac {8 a \left (11 A -5 B \right ) c^{3} \left (\cos ^{3}\left (f x +e \right )\right ) \sqrt {c -c \sin \left (f x +e \right )}}{231 f} \]

command

integrate((a+a*sin(f*x+e))*(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 (6930 \, B a c^{3} \cos \left (-\frac {3}{4} \, \pi + \frac {3}{2} \, f x + \frac {3}{2} \, e\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 315 \, B a c^{3} \cos \left (-\frac {11}{4} \, \pi + \frac {11}{2} \, f x + \frac {11}{2} \, e\right ) \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 48510 \, {\left (2 \, A a c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - B a 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 ) - 693 \, {\left (16 \, A a c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 5 \, B a 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 ) + 495 \, {\left (10 \, A a c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 9 \, B a 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 ) - 385 \, {\left (2 \, A a c^{3} \mathrm {sgn}\left (\sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) - 5 \, B a 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 {9}{4} \, \pi + \frac {9}{2} \, f x + \frac {9}{2} \, e\right )\right )} \sqrt {c}}{55440 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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