27.92 Problem number 354

\[ \int x^{3/2} \sqrt {b x^2+c x^4} \, dx \]

Optimal antiderivative \[ -\frac {4 b^{2} x^{\frac {3}{2}} \left (c \,x^{2}+b \right )}{15 c^{\frac {3}{2}} \left (\sqrt {b}+x \sqrt {c}\right ) \sqrt {c \,x^{4}+b \,x^{2}}}+\frac {2 x^{\frac {5}{2}} \sqrt {c \,x^{4}+b \,x^{2}}}{9}+\frac {4 b \sqrt {x}\, \sqrt {c \,x^{4}+b \,x^{2}}}{45 c}+\frac {4 b^{\frac {9}{4}} x \sqrt {\frac {\cos \left (4 \arctan \left (\frac {c^{\frac {1}{4}} \sqrt {x}}{b^{\frac {1}{4}}}\right )\right )}{2}+\frac {1}{2}}\, \EllipticE \left (\sin \left (2 \arctan \left (\frac {c^{\frac {1}{4}} \sqrt {x}}{b^{\frac {1}{4}}}\right )\right ), \frac {\sqrt {2}}{2}\right ) \left (\sqrt {b}+x \sqrt {c}\right ) \sqrt {\frac {c \,x^{2}+b}{\left (\sqrt {b}+x \sqrt {c}\right )^{2}}}}{15 \cos \left (2 \arctan \left (\frac {c^{\frac {1}{4}} \sqrt {x}}{b^{\frac {1}{4}}}\right )\right ) c^{\frac {7}{4}} \sqrt {c \,x^{4}+b \,x^{2}}}-\frac {2 b^{\frac {9}{4}} x \sqrt {\frac {\cos \left (4 \arctan \left (\frac {c^{\frac {1}{4}} \sqrt {x}}{b^{\frac {1}{4}}}\right )\right )}{2}+\frac {1}{2}}\, \EllipticF \left (\sin \left (2 \arctan \left (\frac {c^{\frac {1}{4}} \sqrt {x}}{b^{\frac {1}{4}}}\right )\right ), \frac {\sqrt {2}}{2}\right ) \left (\sqrt {b}+x \sqrt {c}\right ) \sqrt {\frac {c \,x^{2}+b}{\left (\sqrt {b}+x \sqrt {c}\right )^{2}}}}{15 \cos \left (2 \arctan \left (\frac {c^{\frac {1}{4}} \sqrt {x}}{b^{\frac {1}{4}}}\right )\right ) c^{\frac {7}{4}} \sqrt {c \,x^{4}+b \,x^{2}}} \]

command

integrate(x^(3/2)*(c*x^4+b*x^2)^(1/2),x, algorithm="fricas")

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

\[ \frac {2 \, {\left (6 \, b^{2} \sqrt {c} {\rm weierstrassZeta}\left (-\frac {4 \, b}{c}, 0, {\rm weierstrassPInverse}\left (-\frac {4 \, b}{c}, 0, x\right )\right ) + \sqrt {c x^{4} + b x^{2}} {\left (5 \, c^{2} x^{2} + 2 \, b c\right )} \sqrt {x}\right )}}{45 \, c^{2}} \]

Fricas 1.3.7 via sagemath 9.3 output

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