83.13 Problem number 173

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

Optimal antiderivative \[ \frac {x \sec \left (f x +e \right ) \left (c +c \sin \left (f x +e \right )\right )^{\frac {5}{2}} \sqrt {a -a \sin \left (f x +e \right )}}{2 c f}+\frac {c \sqrt {a -a \sin \left (f x +e \right )}\, \sqrt {c +c \sin \left (f x +e \right )}}{f^{2}}-\frac {3 c x \sec \left (f x +e \right ) \sqrt {a -a \sin \left (f x +e \right )}\, \sqrt {c +c \sin \left (f x +e \right )}}{4 f}+\frac {c \sin \left (f x +e \right ) \sqrt {a -a \sin \left (f x +e \right )}\, \sqrt {c +c \sin \left (f x +e \right )}}{4 f^{2}} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ -\frac {{\left (\frac {8 \, c \cos \left (f x + e\right ) \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 )}{f} + \frac {c \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 (2 \, f x + 2 \, e\right )}{f} - \frac {{\left (\pi c \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 ) - {\left (\pi - 2 \, f x - 2 \, e\right )} c \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 ) - 2 \, c e \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 )} \cos \left (2 \, f x + 2 \, e\right )}{f} + \frac {4 \, {\left (\pi c \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 ) - {\left (\pi - 2 \, f x - 2 \, e\right )} c \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 ) - 2 \, c e \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 )} \sin \left (f x + e\right )}{f}\right )} \sqrt {a} \sqrt {c}}{8 \, f} \]

Giac 1.7.0 via sagemath 9.3 output

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