13.84 Problem number 861

\[ \int \frac {\left (a+b x^2\right )^2}{\sqrt {e x} \left (c+d x^2\right )^{5/2}} \, dx \]

Optimal antiderivative \[ \frac {\left (-a d +b c \right )^{2} \sqrt {e x}}{3 c \,d^{2} e \left (d \,x^{2}+c \right )^{\frac {3}{2}}}-\frac {\left (-a d +b c \right ) \left (5 a d +7 b c \right ) \sqrt {e x}}{6 c^{2} d^{2} e \sqrt {d \,x^{2}+c}}+\frac {\left (5 a^{2} d^{2}+2 a b c d +5 b^{2} c^{2}\right ) \sqrt {\frac {\cos \left (4 \arctan \left (\frac {d^{\frac {1}{4}} \sqrt {e x}}{c^{\frac {1}{4}} \sqrt {e}}\right )\right )}{2}+\frac {1}{2}}\, \EllipticF \left (\sin \left (2 \arctan \left (\frac {d^{\frac {1}{4}} \sqrt {e x}}{c^{\frac {1}{4}} \sqrt {e}}\right )\right ), \frac {\sqrt {2}}{2}\right ) \left (\sqrt {c}+x \sqrt {d}\right ) \sqrt {\frac {d \,x^{2}+c}{\left (\sqrt {c}+x \sqrt {d}\right )^{2}}}}{12 \cos \left (2 \arctan \left (\frac {d^{\frac {1}{4}} \sqrt {e x}}{c^{\frac {1}{4}} \sqrt {e}}\right )\right ) c^{\frac {9}{4}} d^{\frac {9}{4}} \sqrt {e}\, \sqrt {d \,x^{2}+c}} \]

command

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

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

\[ \frac {{\left ({\left (5 \, b^{2} c^{4} + 2 \, a b c^{3} d + 5 \, a^{2} c^{2} d^{2} + {\left (5 \, b^{2} c^{2} d^{2} + 2 \, a b c d^{3} + 5 \, a^{2} d^{4}\right )} x^{4} + 2 \, {\left (5 \, b^{2} c^{3} d + 2 \, a b c^{2} d^{2} + 5 \, a^{2} c d^{3}\right )} x^{2}\right )} \sqrt {d} {\rm weierstrassPInverse}\left (-\frac {4 \, c}{d}, 0, x\right ) - {\left (5 \, b^{2} c^{3} d + 2 \, a b c^{2} d^{2} - 7 \, a^{2} c d^{3} + {\left (7 \, b^{2} c^{2} d^{2} - 2 \, a b c d^{3} - 5 \, a^{2} d^{4}\right )} x^{2}\right )} \sqrt {d x^{2} + c} \sqrt {x}\right )} e^{\left (-\frac {1}{2}\right )}}{6 \, {\left (c^{2} d^{5} x^{4} + 2 \, c^{3} d^{4} x^{2} + c^{4} d^{3}\right )}} \]

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left (\frac {{\left (b^{2} x^{4} + 2 \, a b x^{2} + a^{2}\right )} \sqrt {d x^{2} + c} \sqrt {e x}}{d^{3} e x^{7} + 3 \, c d^{2} e x^{5} + 3 \, c^{2} d e x^{3} + c^{3} e x}, x\right ) \]