83.8 Problem number 168

\[ \int \frac {\sqrt {a-a \sin (e+f x)} \sqrt {c+c \sin (e+f x)}}{x} \, dx \]

Optimal antiderivative \[ \cosineIntegral \left (f x \right ) \cos \left (e \right ) \sec \left (f x +e \right ) \sqrt {a -a \sin \left (f x +e \right )}\, \sqrt {c +c \sin \left (f x +e \right )}-\sec \left (f x +e \right ) \sinIntegral \left (f x \right ) \sin \left (e \right ) \sqrt {a -a \sin \left (f x +e \right )}\, \sqrt {c +c \sin \left (f x +e \right )} \]

command

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

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {{\left (\Re \left ( \operatorname {Ci}\left (f x\right ) \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 ) \tan \left (\frac {1}{2} \, e\right )^{2} + \Re \left ( \operatorname {Ci}\left (-f x\right ) \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 ) \tan \left (\frac {1}{2} \, e\right )^{2} + 2 \, \Im \left ( \operatorname {Ci}\left (f x\right ) \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 ) \tan \left (\frac {1}{2} \, e\right ) - 2 \, \Im \left ( \operatorname {Ci}\left (-f x\right ) \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 ) \tan \left (\frac {1}{2} \, e\right ) + 4 \, \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 ) \operatorname {Si}\left (f x\right ) \tan \left (\frac {1}{2} \, e\right ) - \Re \left ( \operatorname {Ci}\left (f x\right ) \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 ) - \Re \left ( \operatorname {Ci}\left (-f x\right ) \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 )\right )} \sqrt {a} \sqrt {c}}{2 \, {\left (\tan \left (\frac {1}{2} \, e\right )^{2} + 1\right )}} \]

Giac 1.7.0 via sagemath 9.3 output

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