46.133 Problem number 302

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

Optimal antiderivative \[ -\frac {2 a \left (21 A c +15 A d +15 B c +13 B d \right ) \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {3}{2}}}{105 f}-\frac {2 \left (9 A d +9 B c -2 B d \right ) \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {5}{2}}}{63 f}-\frac {2 B d \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {7}{2}}}{9 a f}-\frac {64 a^{3} \left (21 A c +15 A d +15 B c +13 B d \right ) \cos \left (f x +e \right )}{315 f \sqrt {a +a \sin \left (f x +e \right )}}-\frac {16 a^{2} \left (21 A c +15 A d +15 B c +13 B d \right ) \cos \left (f x +e \right ) \sqrt {a +a \sin \left (f x +e \right )}}{315 f} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {\sqrt {2} {\left (35 \, B a^{2} d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) \sin \left (-\frac {9}{4} \, \pi + \frac {9}{2} \, f x + \frac {9}{2} \, e\right ) + 630 \, {\left (20 \, A a^{2} c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 15 \, B a^{2} c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 15 \, A a^{2} d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 13 \, B a^{2} d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 210 \, {\left (10 \, A a^{2} c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 11 \, B a^{2} c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 11 \, A a^{2} d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 10 \, B a^{2} d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \sin \left (-\frac {3}{4} \, \pi + \frac {3}{2} \, f x + \frac {3}{2} \, e\right ) + 126 \, {\left (2 \, A a^{2} c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 5 \, B a^{2} c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 5 \, A a^{2} d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 6 \, B a^{2} d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \sin \left (-\frac {5}{4} \, \pi + \frac {5}{2} \, f x + \frac {5}{2} \, e\right ) + 45 \, {\left (2 \, B a^{2} c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 2 \, A a^{2} d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 5 \, B a^{2} d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right )\right )} \sin \left (-\frac {7}{4} \, \pi + \frac {7}{2} \, f x + \frac {7}{2} \, e\right )\right )} \sqrt {a}}{2520 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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