46.52 Problem number 131

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

Optimal antiderivative \[ -\frac {a \left (A +B \right ) \cos \left (f x +e \right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {7}{2}}}{4 f \sqrt {a +a \sin \left (f x +e \right )}}+\frac {a B \cos \left (f x +e \right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {9}{2}}}{5 c f \sqrt {a +a \sin \left (f x +e \right )}} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ -\frac {4 \, {\left (8 \, B c^{3} \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 ) \sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{10} - 5 \, A c^{3} \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 ) \sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{8} - 5 \, B c^{3} \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 ) \sin \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{8}\right )} \sqrt {a} \sqrt {c}}{5 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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