46.126 Problem number 295

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

Optimal antiderivative \[ -\frac {2 \left (7 A d +7 B c -2 B d \right ) \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {3}{2}}}{35 f}-\frac {2 B d \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {5}{2}}}{7 a f}-\frac {8 a^{2} \left (35 A c +21 A d +21 B c +19 B d \right ) \cos \left (f x +e \right )}{105 f \sqrt {a +a \sin \left (f x +e \right )}}-\frac {2 a \left (35 A c +21 A d +21 B c +19 B d \right ) \cos \left (f x +e \right ) \sqrt {a +a \sin \left (f x +e \right )}}{105 f} \]

command

integrate((a+a*sin(f*x+e))^(3/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 (15 \, B a d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) \sin \left (-\frac {7}{4} \, \pi + \frac {7}{2} \, f x + \frac {7}{2} \, e\right ) + 105 \, {\left (12 \, A a c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 8 \, B a c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 8 \, A a d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 7 \, B a 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 ) + 35 \, {\left (4 \, A a c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 6 \, B a c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 6 \, A a d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 5 \, B a 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 ) + 21 \, {\left (2 \, B a c \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 2 \, A a d \mathrm {sgn}\left (\cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )\right ) + 3 \, B a 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 )\right )} \sqrt {a}}{420 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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