\[ \int (a+a \sin (e+f x))^{7/2} (c-c \sin (e+f x))^{9/2} \, dx \]
Optimal antiderivative \[ -\frac {3 a^{2} \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {3}{2}} \left (c -c \sin \left (f x +e \right )\right )^{\frac {9}{2}}}{28 f}-\frac {a \cos \left (f x +e \right ) \left (a +a \sin \left (f x +e \right )\right )^{\frac {5}{2}} \left (c -c \sin \left (f x +e \right )\right )^{\frac {9}{2}}}{8 f}-\frac {a^{4} \cos \left (f x +e \right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {9}{2}}}{35 f \sqrt {a +a \sin \left (f x +e \right )}}-\frac {a^{3} \cos \left (f x +e \right ) \left (c -c \sin \left (f x +e \right )\right )^{\frac {9}{2}} \sqrt {a +a \sin \left (f x +e \right )}}{14 f} \]
command
integrate((a+a*sin(f*x+e))^(7/2)*(c-c*sin(f*x+e))^(9/2),x, algorithm="giac")
Giac 1.9.0-11 via sagemath 9.6 output
\[ -\frac {32 \, {\left (35 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{16} \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 ) - 160 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{14} \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 ) + 280 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{12} \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 ) - 224 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{10} \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 ) + 70 \, a^{3} c^{4} \cos \left (-\frac {1}{4} \, \pi + \frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{8} \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 )\right )} \sqrt {a} \sqrt {c}}{35 \, f} \]
Giac 1.7.0 via sagemath 9.3 output
\[ \text {Exception raised: NotImplementedError} \]________________________________________________________________________________________