75.38 Problem number 455

\[ \int \frac {1}{\sqrt {\cos (d+e x)} \sqrt {a+b \sec (d+e x)+c \tan (d+e x)}} \, dx \]

Optimal antiderivative \[ \frac {2 \sqrt {\frac {\cos \left (d +e x -\arctan \left (a , c\right )\right )}{2}+\frac {1}{2}}\, \EllipticF \left (\sin \left (\frac {d}{2}+\frac {e x}{2}-\frac {\arctan \left (a , c\right )}{2}\right ), \sqrt {2}\, \sqrt {\frac {\sqrt {a^{2}+c^{2}}}{b +\sqrt {a^{2}+c^{2}}}}\right ) \sqrt {\frac {b +a \cos \left (e x +d \right )+c \sin \left (e x +d \right )}{b +\sqrt {a^{2}+c^{2}}}}}{\cos \left (\frac {d}{2}+\frac {e x}{2}-\frac {\arctan \left (a , c\right )}{2}\right ) e \sqrt {\cos \left (e x +d \right )}\, \sqrt {a +b \sec \left (e x +d \right )+c \tan \left (e x +d \right )}} \]

command

integrate(1/cos(e*x+d)^(1/2)/(a+b*sec(e*x+d)+c*tan(e*x+d))^(1/2),x, algorithm="fricas")

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

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

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left (\frac {\sqrt {b \sec \left (e x + d\right ) + c \tan \left (e x + d\right ) + a} \sqrt {\cos \left (e x + d\right )}}{b \cos \left (e x + d\right ) \sec \left (e x + d\right ) + c \cos \left (e x + d\right ) \tan \left (e x + d\right ) + a \cos \left (e x + d\right )}, x\right ) \]