22.2 Problem number 387

\[ \int \sqrt {d+e x} \sqrt {b x+c x^2} \, dx \]

Optimal antiderivative \[ -\frac {4 \left (b^{2} e^{2}-b c d e +c^{2} d^{2}\right ) \EllipticE \left (\frac {\sqrt {c}\, \sqrt {x}}{\sqrt {-b}}, \sqrt {\frac {b e}{c d}}\right ) \sqrt {-b}\, \sqrt {x}\, \sqrt {1+\frac {c x}{b}}\, \sqrt {e x +d}}{15 c^{\frac {3}{2}} e^{2} \sqrt {1+\frac {e x}{d}}\, \sqrt {c \,x^{2}+b x}}+\frac {2 d \left (-b e +c d \right ) \left (-b e +2 c d \right ) \EllipticF \left (\frac {\sqrt {c}\, \sqrt {x}}{\sqrt {-b}}, \sqrt {\frac {b e}{c d}}\right ) \sqrt {-b}\, \sqrt {x}\, \sqrt {1+\frac {c x}{b}}\, \sqrt {1+\frac {e x}{d}}}{15 c^{\frac {3}{2}} e^{2} \sqrt {e x +d}\, \sqrt {c \,x^{2}+b x}}+\frac {2 \left (e x +d \right )^{\frac {3}{2}} \sqrt {c \,x^{2}+b x}}{5 e}-\frac {2 \left (-b e +2 c d \right ) \sqrt {e x +d}\, \sqrt {c \,x^{2}+b x}}{15 c e} \]

command

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

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

\[ \frac {2 \, {\left ({\left (2 \, c^{3} d^{3} - 3 \, b c^{2} d^{2} e - 3 \, b^{2} c d e^{2} + 2 \, b^{3} e^{3}\right )} \sqrt {c} e^{\frac {1}{2}} {\rm weierstrassPInverse}\left (\frac {4 \, {\left (c^{2} d^{2} - b c d e + b^{2} e^{2}\right )} e^{\left (-2\right )}}{3 \, c^{2}}, -\frac {4 \, {\left (2 \, c^{3} d^{3} - 3 \, b c^{2} d^{2} e - 3 \, b^{2} c d e^{2} + 2 \, b^{3} e^{3}\right )} e^{\left (-3\right )}}{27 \, c^{3}}, \frac {{\left (c d + {\left (3 \, c x + b\right )} e\right )} e^{\left (-1\right )}}{3 \, c}\right ) + 6 \, {\left (c^{3} d^{2} e - b c^{2} d e^{2} + b^{2} c e^{3}\right )} \sqrt {c} e^{\frac {1}{2}} {\rm weierstrassZeta}\left (\frac {4 \, {\left (c^{2} d^{2} - b c d e + b^{2} e^{2}\right )} e^{\left (-2\right )}}{3 \, c^{2}}, -\frac {4 \, {\left (2 \, c^{3} d^{3} - 3 \, b c^{2} d^{2} e - 3 \, b^{2} c d e^{2} + 2 \, b^{3} e^{3}\right )} e^{\left (-3\right )}}{27 \, c^{3}}, {\rm weierstrassPInverse}\left (\frac {4 \, {\left (c^{2} d^{2} - b c d e + b^{2} e^{2}\right )} e^{\left (-2\right )}}{3 \, c^{2}}, -\frac {4 \, {\left (2 \, c^{3} d^{3} - 3 \, b c^{2} d^{2} e - 3 \, b^{2} c d e^{2} + 2 \, b^{3} e^{3}\right )} e^{\left (-3\right )}}{27 \, c^{3}}, \frac {{\left (c d + {\left (3 \, c x + b\right )} e\right )} e^{\left (-1\right )}}{3 \, c}\right )\right ) + 3 \, {\left (c^{3} d e^{2} + {\left (3 \, c^{3} x + b c^{2}\right )} e^{3}\right )} \sqrt {c x^{2} + b x} \sqrt {x e + d}\right )} e^{\left (-3\right )}}{45 \, c^{3}} \]

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left (\sqrt {c x^{2} + b x} \sqrt {e x + d}, x\right ) \]