13.2 Problem number 479

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

Optimal antiderivative \[ \frac {9 a d -4 b c}{10 a \,c^{2} \left (-a d +b c \right ) x^{\frac {5}{2}}}-\frac {d}{2 c \left (-a d +b c \right ) x^{\frac {5}{2}} \left (d \,x^{2}+c \right )}-\frac {b^{\frac {13}{4}} \arctan \left (1-\frac {b^{\frac {1}{4}} \sqrt {2}\, \sqrt {x}}{a^{\frac {1}{4}}}\right ) \sqrt {2}}{2 a^{\frac {9}{4}} \left (-a d +b c \right )^{2}}+\frac {b^{\frac {13}{4}} \arctan \left (1+\frac {b^{\frac {1}{4}} \sqrt {2}\, \sqrt {x}}{a^{\frac {1}{4}}}\right ) \sqrt {2}}{2 a^{\frac {9}{4}} \left (-a d +b c \right )^{2}}+\frac {d^{\frac {9}{4}} \left (-9 a d +13 b c \right ) \arctan \left (1-\frac {d^{\frac {1}{4}} \sqrt {2}\, \sqrt {x}}{c^{\frac {1}{4}}}\right ) \sqrt {2}}{8 c^{\frac {13}{4}} \left (-a d +b c \right )^{2}}-\frac {d^{\frac {9}{4}} \left (-9 a d +13 b c \right ) \arctan \left (1+\frac {d^{\frac {1}{4}} \sqrt {2}\, \sqrt {x}}{c^{\frac {1}{4}}}\right ) \sqrt {2}}{8 c^{\frac {13}{4}} \left (-a d +b c \right )^{2}}+\frac {b^{\frac {13}{4}} \ln \left (\sqrt {a}+x \sqrt {b}-a^{\frac {1}{4}} b^{\frac {1}{4}} \sqrt {2}\, \sqrt {x}\right ) \sqrt {2}}{4 a^{\frac {9}{4}} \left (-a d +b c \right )^{2}}-\frac {b^{\frac {13}{4}} \ln \left (\sqrt {a}+x \sqrt {b}+a^{\frac {1}{4}} b^{\frac {1}{4}} \sqrt {2}\, \sqrt {x}\right ) \sqrt {2}}{4 a^{\frac {9}{4}} \left (-a d +b c \right )^{2}}-\frac {d^{\frac {9}{4}} \left (-9 a d +13 b c \right ) \ln \left (\sqrt {c}+x \sqrt {d}-c^{\frac {1}{4}} d^{\frac {1}{4}} \sqrt {2}\, \sqrt {x}\right ) \sqrt {2}}{16 c^{\frac {13}{4}} \left (-a d +b c \right )^{2}}+\frac {d^{\frac {9}{4}} \left (-9 a d +13 b c \right ) \ln \left (\sqrt {c}+x \sqrt {d}+c^{\frac {1}{4}} d^{\frac {1}{4}} \sqrt {2}\, \sqrt {x}\right ) \sqrt {2}}{16 c^{\frac {13}{4}} \left (-a d +b c \right )^{2}}+\frac {-9 a^{2} d^{2}+4 a b c d +4 b^{2} c^{2}}{2 a^{2} c^{3} \left (-a d +b c \right ) \sqrt {x}} \]

command

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

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

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

Fricas 1.3.7 via sagemath 9.3 output \[ \text {Timed out} \]