42.27 Problem number 114

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

Optimal antiderivative \[ \frac {4 a \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}}}{17 f g \left (c -c \sin \left (f x +e \right )\right )^{\frac {11}{2}}}+\frac {308 a^{3} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}}}{1989 c^{2} f g \left (c -c \sin \left (f x +e \right )\right )^{\frac {7}{2}} \sqrt {a +a \sin \left (f x +e \right )}}-\frac {154 a^{3} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}}}{3315 c^{3} f g \left (c -c \sin \left (f x +e \right )\right )^{\frac {5}{2}} \sqrt {a +a \sin \left (f x +e \right )}}-\frac {154 a^{3} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}}}{3315 c^{4} f g \left (c -c \sin \left (f x +e \right )\right )^{\frac {3}{2}} \sqrt {a +a \sin \left (f x +e \right )}}-\frac {44 a^{2} \left (g \cos \left (f x +e \right )\right )^{\frac {5}{2}} \sqrt {a +a \sin \left (f x +e \right )}}{221 c f g \left (c -c \sin \left (f x +e \right )\right )^{\frac {9}{2}}}+\frac {154 a^{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 )}}{3315 \cos \left (\frac {f x}{2}+\frac {e}{2}\right ) c^{5} f \sqrt {a +a \sin \left (f x +e \right )}\, \sqrt {c -c \sin \left (f x +e \right )}} \]

command

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

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

\[ -\frac {2 \, {\left (231 \, a^{2} g \cos \left (f x + e\right )^{4} + 389 \, a^{2} g \cos \left (f x + e\right )^{2} - 1108 \, a^{2} g + {\left (1155 \, a^{2} g \cos \left (f x + e\right )^{2} - 3572 \, a^{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} - 231 \, {\left (-5 i \, \sqrt {2} a^{2} g \cos \left (f x + e\right )^{4} + 20 i \, \sqrt {2} a^{2} g \cos \left (f x + e\right )^{2} - 16 i \, \sqrt {2} a^{2} g + {\left (i \, \sqrt {2} a^{2} g \cos \left (f x + e\right )^{4} - 12 i \, \sqrt {2} a^{2} g \cos \left (f x + e\right )^{2} + 16 i \, \sqrt {2} a^{2} g\right )} \sin \left (f x + e\right )\right )} \sqrt {a c 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 \, {\left (5 i \, \sqrt {2} a^{2} g \cos \left (f x + e\right )^{4} - 20 i \, \sqrt {2} a^{2} g \cos \left (f x + e\right )^{2} + 16 i \, \sqrt {2} a^{2} g + {\left (-i \, \sqrt {2} a^{2} g \cos \left (f x + e\right )^{4} + 12 i \, \sqrt {2} a^{2} g \cos \left (f x + e\right )^{2} - 16 i \, \sqrt {2} a^{2} g\right )} \sin \left (f x + e\right )\right )} \sqrt {a c 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 )}{9945 \, {\left (5 \, c^{6} f \cos \left (f x + e\right )^{4} - 20 \, c^{6} f \cos \left (f x + e\right )^{2} + 16 \, c^{6} f - {\left (c^{6} f \cos \left (f x + e\right )^{4} - 12 \, c^{6} f \cos \left (f x + e\right )^{2} + 16 \, c^{6} f\right )} \sin \left (f x + e\right )\right )}} \]

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left (\frac {{\left (a^{2} g \cos \left (f x + e\right )^{3} - 2 \, a^{2} g \cos \left (f x + e\right ) \sin \left (f x + e\right ) - 2 \, a^{2} g \cos \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}}{c^{6} \cos \left (f x + e\right )^{6} - 18 \, c^{6} \cos \left (f x + e\right )^{4} + 48 \, c^{6} \cos \left (f x + e\right )^{2} - 32 \, c^{6} + 2 \, {\left (3 \, c^{6} \cos \left (f x + e\right )^{4} - 16 \, c^{6} \cos \left (f x + e\right )^{2} + 16 \, c^{6}\right )} \sin \left (f x + e\right )}, x\right ) \]