Optimal. Leaf size=64 \[ -\frac {15}{16 a^{12} x^2}+\frac {1}{8 a^4 x^2 \left (a^4+x^4\right )^2}-\frac {15 \tan ^{-1}\left (\frac {x^2}{a^2}\right )}{16 a^{14}}+\frac {5}{16 a^8 x^2 \left (a^4+x^4\right )} \]
________________________________________________________________________________________
Rubi [A] time = 0.03, antiderivative size = 64, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 4, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.308, Rules used = {275, 290, 325, 203} \[ \frac {5}{16 a^8 x^2 \left (a^4+x^4\right )}-\frac {15}{16 a^{12} x^2}+\frac {1}{8 a^4 x^2 \left (a^4+x^4\right )^2}-\frac {15 \tan ^{-1}\left (\frac {x^2}{a^2}\right )}{16 a^{14}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 203
Rule 275
Rule 290
Rule 325
Rubi steps
\begin {align*} \int \frac {1}{x^3 \left (a^4+x^4\right )^3} \, dx &=\frac {1}{2} \operatorname {Subst}\left (\int \frac {1}{x^2 \left (a^4+x^2\right )^3} \, dx,x,x^2\right )\\ &=\frac {1}{8 a^4 x^2 \left (a^4+x^4\right )^2}+\frac {5 \operatorname {Subst}\left (\int \frac {1}{x^2 \left (a^4+x^2\right )^2} \, dx,x,x^2\right )}{8 a^4}\\ &=\frac {1}{8 a^4 x^2 \left (a^4+x^4\right )^2}+\frac {5}{16 a^8 x^2 \left (a^4+x^4\right )}+\frac {15 \operatorname {Subst}\left (\int \frac {1}{x^2 \left (a^4+x^2\right )} \, dx,x,x^2\right )}{16 a^8}\\ &=-\frac {15}{16 a^{12} x^2}+\frac {1}{8 a^4 x^2 \left (a^4+x^4\right )^2}+\frac {5}{16 a^8 x^2 \left (a^4+x^4\right )}-\frac {15 \operatorname {Subst}\left (\int \frac {1}{a^4+x^2} \, dx,x,x^2\right )}{16 a^{12}}\\ &=-\frac {15}{16 a^{12} x^2}+\frac {1}{8 a^4 x^2 \left (a^4+x^4\right )^2}+\frac {5}{16 a^8 x^2 \left (a^4+x^4\right )}-\frac {15 \tan ^{-1}\left (\frac {x^2}{a^2}\right )}{16 a^{14}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.05, size = 75, normalized size = 1.17 \[ \frac {-\frac {a^2 \left (8 a^8+25 a^4 x^4+15 x^8\right )}{x^2 \left (a^4+x^4\right )^2}+15 \tan ^{-1}\left (1-\frac {\sqrt {2} x}{a}\right )+15 \tan ^{-1}\left (\frac {\sqrt {2} x}{a}+1\right )}{16 a^{14}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.06, size = 54, normalized size = 0.84 \[ \frac {-8 a^8-25 a^4 x^4-15 x^8}{16 a^{12} x^2 \left (a^4+x^4\right )^2}-\frac {15 \tan ^{-1}\left (\frac {x^2}{a^2}\right )}{16 a^{14}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.33, size = 78, normalized size = 1.22 \[ -\frac {8 \, a^{10} + 25 \, a^{6} x^{4} + 15 \, a^{2} x^{8} + 15 \, {\left (a^{8} x^{2} + 2 \, a^{4} x^{6} + x^{10}\right )} \arctan \left (\frac {x^{2}}{a^{2}}\right )}{16 \, {\left (a^{22} x^{2} + 2 \, a^{18} x^{6} + a^{14} x^{10}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.88, size = 50, normalized size = 0.78 \[ -\frac {9 \, a^{4} x^{2} + 7 \, x^{6}}{16 \, {\left (a^{4} + x^{4}\right )}^{2} a^{12}} - \frac {15 \, \arctan \left (\frac {x^{2}}{a^{2}}\right )}{16 \, a^{14}} - \frac {1}{2 \, a^{12} x^{2}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.29, size = 53, normalized size = 0.83
method | result | size |
default | \(-\frac {\frac {\frac {9}{8} a^{4} x^{2}+\frac {7}{8} x^{6}}{\left (a^{4}+x^{4}\right )^{2}}+\frac {15 \arctan \left (\frac {x^{2}}{a^{2}}\right )}{8 a^{2}}}{2 a^{12}}-\frac {1}{2 a^{12} x^{2}}\) | \(53\) |
risch | \(\frac {-\frac {15 x^{8}}{16 a^{12}}-\frac {25 x^{4}}{16 a^{8}}-\frac {1}{2 a^{4}}}{x^{2} \left (a^{4}+x^{4}\right )^{2}}+\frac {15 \left (\munderset {\textit {\_R} =\RootOf \left (a^{28} \textit {\_Z}^{2}+1\right )}{\sum }\textit {\_R} \ln \left (\left (-5 \textit {\_R}^{2} a^{28}-4\right ) x^{2}-a^{16} \textit {\_R} \right )\right )}{32}\) | \(76\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.34, size = 60, normalized size = 0.94 \[ -\frac {8 \, a^{8} + 25 \, a^{4} x^{4} + 15 \, x^{8}}{16 \, {\left (a^{20} x^{2} + 2 \, a^{16} x^{6} + a^{12} x^{10}\right )}} - \frac {15 \, \arctan \left (\frac {x^{2}}{a^{2}}\right )}{16 \, a^{14}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.22, size = 53, normalized size = 0.83 \[ -\frac {15\,\mathrm {atan}\left (\frac {x^2}{a^2}\right )}{16\,a^{14}}-\frac {\frac {a^{10}}{2}+\frac {25\,a^6\,x^4}{16}+\frac {15\,a^2\,x^8}{16}}{a^{14}\,x^2\,{\left (a^4+x^4\right )}^2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [C] time = 0.48, size = 78, normalized size = 1.22 \[ \frac {- 8 a^{8} - 25 a^{4} x^{4} - 15 x^{8}}{16 a^{20} x^{2} + 32 a^{16} x^{6} + 16 a^{12} x^{10}} + \frac {\frac {15 i \log {\left (- i a^{2} + x^{2} \right )}}{32} - \frac {15 i \log {\left (i a^{2} + x^{2} \right )}}{32}}{a^{14}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________