47.9 Problem number 17

\[ \int (c \cos (a+b x))^{7/2} \, dx \]

Optimal antiderivative \[ \frac {2 c \left (c \cos \left (b x +a \right )\right )^{\frac {5}{2}} \sin \left (b x +a \right )}{7 b}+\frac {10 c^{4} \sqrt {\frac {\cos \left (b x +a \right )}{2}+\frac {1}{2}}\, \EllipticF \left (\sin \left (\frac {a}{2}+\frac {b x}{2}\right ), \sqrt {2}\right ) \left (\sqrt {\cos }\left (b x +a \right )\right )}{21 \cos \left (\frac {a}{2}+\frac {b x}{2}\right ) b \sqrt {c \cos \left (b x +a \right )}}+\frac {10 c^{3} \sin \left (b x +a \right ) \sqrt {c \cos \left (b x +a \right )}}{21 b} \]

command

integrate((c*cos(b*x+a))^(7/2),x, algorithm="fricas")

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

\[ \frac {-5 i \, \sqrt {2} c^{\frac {7}{2}} {\rm weierstrassPInverse}\left (-4, 0, \cos \left (b x + a\right ) + i \, \sin \left (b x + a\right )\right ) + 5 i \, \sqrt {2} c^{\frac {7}{2}} {\rm weierstrassPInverse}\left (-4, 0, \cos \left (b x + a\right ) - i \, \sin \left (b x + a\right )\right ) + 2 \, {\left (3 \, c^{3} \cos \left (b x + a\right )^{2} + 5 \, c^{3}\right )} \sqrt {c \cos \left (b x + a\right )} \sin \left (b x + a\right )}{21 \, b} \]

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left (\sqrt {c \cos \left (b x + a\right )} c^{3} \cos \left (b x + a\right )^{3}, x\right ) \]