16.87 Problem number 456

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

Optimal antiderivative \[ -\frac {\left (a d e +\left (a \,e^{2}+c \,d^{2}\right ) x +c d e \,x^{2}\right )^{\frac {3}{2}}}{6 d \,x^{6}}-\frac {\left (\frac {c}{a e}-\frac {3 e}{d^{2}}\right ) \left (a d e +\left (a \,e^{2}+c \,d^{2}\right ) x +c d e \,x^{2}\right )^{\frac {3}{2}}}{20 x^{5}}+\frac {\left (-21 a^{2} e^{4}+6 a c \,d^{2} e^{2}+7 c^{2} d^{4}\right ) \left (a d e +\left (a \,e^{2}+c \,d^{2}\right ) x +c d e \,x^{2}\right )^{\frac {3}{2}}}{160 a^{2} d^{3} e^{2} x^{4}}-\frac {\left (-105 a^{3} e^{6}+21 a^{2} c \,d^{2} e^{4}+33 a \,c^{2} d^{4} e^{2}+35 c^{3} d^{6}\right ) \left (a d e +\left (a \,e^{2}+c \,d^{2}\right ) x +c d e \,x^{2}\right )^{\frac {3}{2}}}{960 a^{3} d^{4} e^{3} x^{3}}-\frac {\left (-a \,e^{2}+c \,d^{2}\right )^{3} \left (21 a^{3} e^{6}+21 a^{2} c \,d^{2} e^{4}+15 a \,c^{2} d^{4} e^{2}+7 c^{3} d^{6}\right ) \arctanh \left (\frac {2 a d e +\left (a \,e^{2}+c \,d^{2}\right ) x}{2 \sqrt {a}\, \sqrt {d}\, \sqrt {e}\, \sqrt {a d e +\left (a \,e^{2}+c \,d^{2}\right ) x +c d e \,x^{2}}}\right )}{1024 a^{\frac {9}{2}} d^{\frac {11}{2}} e^{\frac {9}{2}}}+\frac {\left (-21 a^{4} e^{8}+6 a^{2} c^{2} d^{4} e^{4}+8 a \,c^{3} d^{6} e^{2}+7 c^{4} d^{8}\right ) \left (2 a d e +\left (a \,e^{2}+c \,d^{2}\right ) x \right ) \sqrt {a d e +\left (a \,e^{2}+c \,d^{2}\right ) x +c d e \,x^{2}}}{512 a^{4} d^{5} e^{4} x^{2}} \]

command

integrate((a*d*e+(a*e^2+c*d^2)*x+c*d*e*x^2)^(3/2)/x^7/(e*x+d),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ \text {output too large to display} \]

Giac 1.7.0 via sagemath 9.3 output \[ \text {Exception raised: NotImplementedError} \]_______________________________________________________