42.29 Problem number 116

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

Optimal antiderivative \[ \frac {2 c \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}} \left (a +a \sin \left (f x +e \right )\right )^{\frac {7}{2}} \left (c -c \sin \left (f x +e \right )\right )^{\frac {3}{2}}}{15 f g}-\frac {2 a^{2} c^{3} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}} \left (a +a \sin \left (f x +e \right )\right )^{\frac {3}{2}}}{39 f g \sqrt {c -c \sin \left (f x +e \right )}}-\frac {14 a \,c^{3} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}} \left (a +a \sin \left (f x +e \right )\right )^{\frac {5}{2}}}{585 f g \sqrt {c -c \sin \left (f x +e \right )}}+\frac {14 c^{3} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}} \left (a +a \sin \left (f x +e \right )\right )^{\frac {7}{2}}}{195 f g \sqrt {c -c \sin \left (f x +e \right )}}-\frac {154 a^{4} c^{3} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}}}{585 f g \sqrt {a +a \sin \left (f x +e \right )}\, \sqrt {c -c \sin \left (f x +e \right )}}+\frac {154 a^{4} c^{3} g \sqrt {\frac {\cos \left (f x +e \right )}{2}+\frac {1}{2}}\, \EllipticE \left (\sin \left (\frac {f x}{2}+\frac {e}{2}\right ), \sqrt {2}\right ) \left (\sqrt {\cos }\left (f x +e \right )\right ) \sqrt {g \cos \left (f x +e \right )}}{195 \cos \left (\frac {f x}{2}+\frac {e}{2}\right ) f \sqrt {a +a \sin \left (f x +e \right )}\, \sqrt {c -c \sin \left (f x +e \right )}}-\frac {22 a^{3} c^{3} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}} \sqrt {a +a \sin \left (f x +e \right )}}{195 f g \sqrt {c -c \sin \left (f x +e \right )}}+\frac {22 c^{2} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}} \left (a +a \sin \left (f x +e \right )\right )^{\frac {7}{2}} \sqrt {c -c \sin \left (f x +e \right )}}{195 f g} \]

command

integrate((g*cos(f*x+e))^(3/2)*(a+a*sin(f*x+e))^(7/2)*(c-c*sin(f*x+e))^(5/2),x, algorithm="fricas")

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

\[ \frac {-231 i \, \sqrt {2} \sqrt {a c g} a^{3} c^{2} g {\rm weierstrassZeta}\left (-4, 0, {\rm weierstrassPInverse}\left (-4, 0, \cos \left (f x + e\right ) + i \, \sin \left (f x + e\right )\right )\right ) + 231 i \, \sqrt {2} \sqrt {a c g} a^{3} c^{2} g {\rm weierstrassZeta}\left (-4, 0, {\rm weierstrassPInverse}\left (-4, 0, \cos \left (f x + e\right ) - i \, \sin \left (f x + e\right )\right )\right ) - 2 \, {\left (39 \, a^{3} c^{2} g \cos \left (f x + e\right )^{6} - {\left (45 \, a^{3} c^{2} g \cos \left (f x + e\right )^{4} + 55 \, a^{3} c^{2} g \cos \left (f x + e\right )^{2} + 77 \, a^{3} c^{2} g\right )} \sin \left (f x + e\right )\right )} \sqrt {g \cos \left (f x + e\right )} \sqrt {a \sin \left (f x + e\right ) + a} \sqrt {-c \sin \left (f x + e\right ) + c}}{585 \, f} \]

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left ({\left (a^{3} c^{2} g \cos \left (f x + e\right )^{5} \sin \left (f x + e\right ) + a^{3} c^{2} g \cos \left (f x + e\right )^{5}\right )} \sqrt {g \cos \left (f x + e\right )} \sqrt {a \sin \left (f x + e\right ) + a} \sqrt {-c \sin \left (f x + e\right ) + c}, x\right ) \]