41.2 Problem number 204

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

Optimal antiderivative \[ -\frac {2 \sqrt {\frac {1}{2}+\frac {\sin \left (f x +e \right )}{2}}\, \EllipticE \left (\cos \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right ), \sqrt {2}\, \sqrt {\frac {b}{a +b}}\right ) \sqrt {a +b \sin \left (f x +e \right )}}{\sin \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f x}{2}\right ) f \sqrt {\frac {a +b \sin \left (f x +e \right )}{a +b}}} \]

command

integrate((a+b*sin(f*x+e))^(1/2),x, algorithm="fricas")

Fricas 1.3.8 (sbcl 2.2.11.debian) via sagemath 9.6 output

\[ \frac {\sqrt {2} a \sqrt {i \, b} {\rm weierstrassPInverse}\left (-\frac {4 \, {\left (4 \, a^{2} - 3 \, b^{2}\right )}}{3 \, b^{2}}, -\frac {8 \, {\left (8 i \, a^{3} - 9 i \, a b^{2}\right )}}{27 \, b^{3}}, \frac {3 \, b \cos \left (f x + e\right ) - 3 i \, b \sin \left (f x + e\right ) - 2 i \, a}{3 \, b}\right ) + \sqrt {2} a \sqrt {-i \, b} {\rm weierstrassPInverse}\left (-\frac {4 \, {\left (4 \, a^{2} - 3 \, b^{2}\right )}}{3 \, b^{2}}, -\frac {8 \, {\left (-8 i \, a^{3} + 9 i \, a b^{2}\right )}}{27 \, b^{3}}, \frac {3 \, b \cos \left (f x + e\right ) + 3 i \, b \sin \left (f x + e\right ) + 2 i \, a}{3 \, b}\right ) - 3 i \, \sqrt {2} \sqrt {i \, b} b {\rm weierstrassZeta}\left (-\frac {4 \, {\left (4 \, a^{2} - 3 \, b^{2}\right )}}{3 \, b^{2}}, -\frac {8 \, {\left (8 i \, a^{3} - 9 i \, a b^{2}\right )}}{27 \, b^{3}}, {\rm weierstrassPInverse}\left (-\frac {4 \, {\left (4 \, a^{2} - 3 \, b^{2}\right )}}{3 \, b^{2}}, -\frac {8 \, {\left (8 i \, a^{3} - 9 i \, a b^{2}\right )}}{27 \, b^{3}}, \frac {3 \, b \cos \left (f x + e\right ) - 3 i \, b \sin \left (f x + e\right ) - 2 i \, a}{3 \, b}\right )\right ) + 3 i \, \sqrt {2} \sqrt {-i \, b} b {\rm weierstrassZeta}\left (-\frac {4 \, {\left (4 \, a^{2} - 3 \, b^{2}\right )}}{3 \, b^{2}}, -\frac {8 \, {\left (-8 i \, a^{3} + 9 i \, a b^{2}\right )}}{27 \, b^{3}}, {\rm weierstrassPInverse}\left (-\frac {4 \, {\left (4 \, a^{2} - 3 \, b^{2}\right )}}{3 \, b^{2}}, -\frac {8 \, {\left (-8 i \, a^{3} + 9 i \, a b^{2}\right )}}{27 \, b^{3}}, \frac {3 \, b \cos \left (f x + e\right ) + 3 i \, b \sin \left (f x + e\right ) + 2 i \, a}{3 \, b}\right )\right )}{3 \, b f} \]

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left (\sqrt {b \sin \left (f x + e\right ) + a}, x\right ) \]