9.2 Problem number 538

\[ \int \sqrt {e x} \left (a+b x^3\right )^{5/2} \left (A+B x^3\right ) \, dx \]

Optimal antiderivative \[ \frac {5 a \left (8 A b -a B \right ) \left (e x \right )^{\frac {3}{2}} \left (b \,x^{3}+a \right )^{\frac {3}{2}}}{288 b e}+\frac {\left (8 A b -a B \right ) \left (e x \right )^{\frac {3}{2}} \left (b \,x^{3}+a \right )^{\frac {5}{2}}}{72 b e}+\frac {B \left (e x \right )^{\frac {3}{2}} \left (b \,x^{3}+a \right )^{\frac {7}{2}}}{12 b e}+\frac {5 a^{3} \left (8 A b -a B \right ) \arctanh \left (\frac {\left (e x \right )^{\frac {3}{2}} \sqrt {b}}{e^{\frac {3}{2}} \sqrt {b \,x^{3}+a}}\right ) \sqrt {e}}{192 b^{\frac {3}{2}}}+\frac {5 a^{2} \left (8 A b -a B \right ) \left (e x \right )^{\frac {3}{2}} \sqrt {b \,x^{3}+a}}{192 b e} \]

command

integrate((b*x^3+a)^(5/2)*(B*x^3+A)*(e*x)^(1/2),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {1}{576} \, {\left (48 \, \sqrt {b x^{3} + a} {\left (2 \, x^{3} + \frac {a}{b}\right )} B a^{2} x^{\frac {3}{2}} + 96 \, \sqrt {b x^{3} + a} {\left (2 \, x^{3} + \frac {a}{b}\right )} A a b x^{\frac {3}{2}} + 16 \, {\left (2 \, {\left (4 \, x^{3} + \frac {a}{b}\right )} x^{3} - \frac {3 \, a^{2}}{b^{2}}\right )} \sqrt {b x^{3} + a} B a b x^{\frac {3}{2}} + 8 \, {\left (2 \, {\left (4 \, x^{3} + \frac {a}{b}\right )} x^{3} - \frac {3 \, a^{2}}{b^{2}}\right )} \sqrt {b x^{3} + a} A b^{2} x^{\frac {3}{2}} + {\left (2 \, {\left (4 \, {\left (6 \, x^{3} + \frac {a}{b}\right )} x^{3} - \frac {5 \, a^{2}}{b^{2}}\right )} x^{3} + \frac {15 \, a^{3}}{b^{3}}\right )} \sqrt {b x^{3} + a} B b^{2} x^{\frac {3}{2}} + 192 \, {\left (\sqrt {b x^{3} + a} x^{\frac {3}{2}} - \frac {a \log \left ({\left | -\sqrt {b} x^{\frac {3}{2}} + \sqrt {b x^{3} + a} \right |}\right )}{\sqrt {b}}\right )} A a^{2}\right )} e^{\frac {1}{2}} - \frac {{\left (25 \, B^{2} a^{8} + 240 \, A B a^{7} b + 576 \, A^{2} a^{6} b^{2}\right )} e^{\frac {1}{2}} \log \left ({\left | {\left (5 \, B a^{4} x^{\frac {3}{2}} + 24 \, A a^{3} b x^{\frac {3}{2}}\right )} \sqrt {b} + \sqrt {25 \, B^{2} a^{9} + 240 \, A B a^{8} b + 576 \, A^{2} a^{7} b^{2} + {\left (5 \, B a^{4} x^{\frac {3}{2}} + 24 \, A a^{3} b x^{\frac {3}{2}}\right )}^{2} b} \right |}\right )}{192 \, b^{\frac {3}{2}} {\left | 5 \, B a^{4} + 24 \, A a^{3} b \right |}} \]

Giac 1.7.0 via sagemath 9.3 output

\[ \text {Exception raised: NotImplementedError} \]________________________________________________________________________________________