54.186 Problem number 857

\[ \int \frac {(a+b \cos (c+d x)) \left (B \cos (c+d x)+C \cos ^2(c+d x)\right )}{\cos ^{\frac {5}{2}}(c+d x)} \, dx \]

Optimal antiderivative \[ -\frac {2 \left (B a -b C \right ) \sqrt {\frac {\cos \left (d x +c \right )}{2}+\frac {1}{2}}\, \EllipticE \left (\sin \left (\frac {d x}{2}+\frac {c}{2}\right ), \sqrt {2}\right )}{\cos \left (\frac {d x}{2}+\frac {c}{2}\right ) d}+\frac {2 \left (b B +a C \right ) \sqrt {\frac {\cos \left (d x +c \right )}{2}+\frac {1}{2}}\, \EllipticF \left (\sin \left (\frac {d x}{2}+\frac {c}{2}\right ), \sqrt {2}\right )}{\cos \left (\frac {d x}{2}+\frac {c}{2}\right ) d}+\frac {2 a B \sin \left (d x +c \right )}{d \sqrt {\cos \left (d x +c \right )}} \]

command

integrate((a+b*cos(d*x+c))*(B*cos(d*x+c)+C*cos(d*x+c)^2)/cos(d*x+c)^(5/2),x, algorithm="fricas")

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

\[ \frac {2 \, B a \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right ) + \sqrt {2} {\left (-i \, C a - i \, B b\right )} \cos \left (d x + c\right ) {\rm weierstrassPInverse}\left (-4, 0, \cos \left (d x + c\right ) + i \, \sin \left (d x + c\right )\right ) + \sqrt {2} {\left (i \, C a + i \, B b\right )} \cos \left (d x + c\right ) {\rm weierstrassPInverse}\left (-4, 0, \cos \left (d x + c\right ) - i \, \sin \left (d x + c\right )\right ) + \sqrt {2} {\left (-i \, B a + i \, C b\right )} \cos \left (d x + c\right ) {\rm weierstrassZeta}\left (-4, 0, {\rm weierstrassPInverse}\left (-4, 0, \cos \left (d x + c\right ) + i \, \sin \left (d x + c\right )\right )\right ) + \sqrt {2} {\left (i \, B a - i \, C b\right )} \cos \left (d x + c\right ) {\rm weierstrassZeta}\left (-4, 0, {\rm weierstrassPInverse}\left (-4, 0, \cos \left (d x + c\right ) - i \, \sin \left (d x + c\right )\right )\right )}{d \cos \left (d x + c\right )} \]

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left (\frac {C b \cos \left (d x + c\right )^{2} + B a + {\left (C a + B b\right )} \cos \left (d x + c\right )}{\cos \left (d x + c\right )^{\frac {3}{2}}}, x\right ) \]