Optimal. Leaf size=663 \[ -\frac {\tan ^{-1}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}-\sqrt [4]{b}}}\right )}{4 \sqrt {-a} \sqrt {\sqrt [4]{-a}-\sqrt [4]{b}} b^{3/8}}-\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}} \tan ^{-1}\left (\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}-\sqrt {2} \sqrt [8]{b} x}{\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}}}\right )}{4 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}+\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}} \tan ^{-1}\left (\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}+\sqrt {2} \sqrt [8]{b} x}{\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}}}\right )}{4 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}+\sqrt [4]{b}}}\right )}{4 \sqrt {-a} \sqrt {\sqrt [4]{-a}+\sqrt [4]{b}} b^{3/8}}+\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \log \left (\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \sqrt [8]{b} x+\sqrt [4]{b} x^2\right )}{8 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}-\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \log \left (\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \sqrt [8]{b} x+\sqrt [4]{b} x^2\right )}{8 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.71, antiderivative size = 663, normalized size of antiderivative = 1.00, number of steps
used = 17, number of rules used = 10, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.476, Rules used = {6872, 2015,
1180, 211, 214, 1183, 648, 632, 210, 642} \begin {gather*} -\frac {\text {ArcTan}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}-\sqrt [4]{b}}}\right )}{4 \sqrt {-a} b^{3/8} \sqrt {\sqrt [4]{-a}-\sqrt [4]{b}}}-\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}} \text {ArcTan}\left (\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}-\sqrt {2} \sqrt [8]{b} x}{\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}}}\right )}{4 \sqrt {2} \sqrt {-a} b^{3/8} \sqrt {\sqrt {-a}+\sqrt {b}}}+\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}} \text {ArcTan}\left (\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}+\sqrt {2} \sqrt [8]{b} x}{\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}}}\right )}{4 \sqrt {2} \sqrt {-a} b^{3/8} \sqrt {\sqrt {-a}+\sqrt {b}}}+\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \log \left (-\sqrt {2} \sqrt [8]{b} x \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}+\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b} x^2\right )}{8 \sqrt {2} \sqrt {-a} b^{3/8} \sqrt {\sqrt {-a}+\sqrt {b}}}-\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \log \left (\sqrt {2} \sqrt [8]{b} x \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}+\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b} x^2\right )}{8 \sqrt {2} \sqrt {-a} b^{3/8} \sqrt {\sqrt {-a}+\sqrt {b}}}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}+\sqrt [4]{b}}}\right )}{4 \sqrt {-a} b^{3/8} \sqrt {\sqrt [4]{-a}+\sqrt [4]{b}}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 210
Rule 211
Rule 214
Rule 632
Rule 642
Rule 648
Rule 1180
Rule 1183
Rule 2015
Rule 6872
Rubi steps
\begin {align*} \int \frac {1-x^2}{a+b \left (-1+x^2\right )^4} \, dx &=-\int \frac {-1+x^2}{a+b \left (-1+x^2\right )^4} \, dx\\ &=-\int \left (-\frac {\sqrt {b} \left (-1+x^2\right )}{2 \sqrt {-a} \left (\sqrt {-a} \sqrt {b}-b \left (-1+x^2\right )^2\right )}-\frac {\sqrt {b} \left (-1+x^2\right )}{2 \sqrt {-a} \left (\sqrt {-a} \sqrt {b}+b \left (-1+x^2\right )^2\right )}\right ) \, dx\\ &=\frac {\sqrt {b} \int \frac {-1+x^2}{\sqrt {-a} \sqrt {b}-b \left (-1+x^2\right )^2} \, dx}{2 \sqrt {-a}}+\frac {\sqrt {b} \int \frac {-1+x^2}{\sqrt {-a} \sqrt {b}+b \left (-1+x^2\right )^2} \, dx}{2 \sqrt {-a}}\\ &=\frac {\sqrt {b} \int \frac {-1+x^2}{\left (\sqrt {-a}-\sqrt {b}\right ) \sqrt {b}+2 b x^2-b x^4} \, dx}{2 \sqrt {-a}}+\frac {\sqrt {b} \int \frac {-1+x^2}{\left (\sqrt {-a}+\sqrt {b}\right ) \sqrt {b}-2 b x^2+b x^4} \, dx}{2 \sqrt {-a}}\\ &=\frac {\int \frac {-\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}}{\sqrt [8]{b}}-\left (-1-\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}\right ) x}{\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}-\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} x}{\sqrt [8]{b}}+x^2} \, dx}{4 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \sqrt {\sqrt {-a}+\sqrt {b}} \sqrt [8]{b}}+\frac {\int \frac {-\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}}{\sqrt [8]{b}}+\left (-1-\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}\right ) x}{\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}+\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} x}{\sqrt [8]{b}}+x^2} \, dx}{4 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \sqrt {\sqrt {-a}+\sqrt {b}} \sqrt [8]{b}}+\frac {\sqrt {b} \int \frac {1}{-\sqrt [4]{-a} b^{3/4}+b-b x^2} \, dx}{4 \sqrt {-a}}+\frac {\sqrt {b} \int \frac {1}{\sqrt [4]{-a} b^{3/4}+b-b x^2} \, dx}{4 \sqrt {-a}}\\ &=-\frac {\tan ^{-1}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}-\sqrt [4]{b}}}\right )}{4 \sqrt {-a} \sqrt {\sqrt [4]{-a}-\sqrt [4]{b}} b^{3/8}}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}+\sqrt [4]{b}}}\right )}{4 \sqrt {-a} \sqrt {\sqrt [4]{-a}+\sqrt [4]{b}} b^{3/8}}+\frac {\left (1-\frac {\sqrt [4]{b}}{\sqrt {\sqrt {-a}+\sqrt {b}}}\right ) \int \frac {1}{\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}-\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} x}{\sqrt [8]{b}}+x^2} \, dx}{8 \sqrt {-a} \sqrt {b}}+\frac {\left (1-\frac {\sqrt [4]{b}}{\sqrt {\sqrt {-a}+\sqrt {b}}}\right ) \int \frac {1}{\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}+\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} x}{\sqrt [8]{b}}+x^2} \, dx}{8 \sqrt {-a} \sqrt {b}}+\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \int \frac {-\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}}{\sqrt [8]{b}}+2 x}{\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}-\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} x}{\sqrt [8]{b}}+x^2} \, dx}{8 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}-\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \int \frac {\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}}{\sqrt [8]{b}}+2 x}{\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}+\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} x}{\sqrt [8]{b}}+x^2} \, dx}{8 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}\\ &=-\frac {\tan ^{-1}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}-\sqrt [4]{b}}}\right )}{4 \sqrt {-a} \sqrt {\sqrt [4]{-a}-\sqrt [4]{b}} b^{3/8}}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}+\sqrt [4]{b}}}\right )}{4 \sqrt {-a} \sqrt {\sqrt [4]{-a}+\sqrt [4]{b}} b^{3/8}}+\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \log \left (\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \sqrt [8]{b} x+\sqrt [4]{b} x^2\right )}{8 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}-\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \log \left (\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \sqrt [8]{b} x+\sqrt [4]{b} x^2\right )}{8 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}-\frac {\left (1-\frac {\sqrt [4]{b}}{\sqrt {\sqrt {-a}+\sqrt {b}}}\right ) \text {Subst}\left (\int \frac {1}{2 \left (1-\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}\right )-x^2} \, dx,x,-\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}}{\sqrt [8]{b}}+2 x\right )}{4 \sqrt {-a} \sqrt {b}}-\frac {\left (1-\frac {\sqrt [4]{b}}{\sqrt {\sqrt {-a}+\sqrt {b}}}\right ) \text {Subst}\left (\int \frac {1}{2 \left (1-\frac {\sqrt {\sqrt {-a}+\sqrt {b}}}{\sqrt [4]{b}}\right )-x^2} \, dx,x,\frac {\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}}{\sqrt [8]{b}}+2 x\right )}{4 \sqrt {-a} \sqrt {b}}\\ &=-\frac {\tan ^{-1}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}-\sqrt [4]{b}}}\right )}{4 \sqrt {-a} \sqrt {\sqrt [4]{-a}-\sqrt [4]{b}} b^{3/8}}-\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}} \tan ^{-1}\left (\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}-\sqrt {2} \sqrt [8]{b} x}{\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}}}\right )}{4 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}+\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}} \tan ^{-1}\left (\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}}+\sqrt {2} \sqrt [8]{b} x}{\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt [4]{b}}}\right )}{4 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{b} x}{\sqrt {\sqrt [4]{-a}+\sqrt [4]{b}}}\right )}{4 \sqrt {-a} \sqrt {\sqrt [4]{-a}+\sqrt [4]{b}} b^{3/8}}+\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \log \left (\sqrt {\sqrt {-a}+\sqrt {b}}-\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \sqrt [8]{b} x+\sqrt [4]{b} x^2\right )}{8 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}-\frac {\sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \log \left (\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt {2} \sqrt {\sqrt {\sqrt {-a}+\sqrt {b}}+\sqrt [4]{b}} \sqrt [8]{b} x+\sqrt [4]{b} x^2\right )}{8 \sqrt {2} \sqrt {-a} \sqrt {\sqrt {-a}+\sqrt {b}} b^{3/8}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 0.02, size = 63, normalized size = 0.10 \begin {gather*} -\frac {\text {RootSum}\left [a+b-4 b \text {$\#$1}^2+6 b \text {$\#$1}^4-4 b \text {$\#$1}^6+b \text {$\#$1}^8\&,\frac {\log (x-\text {$\#$1})}{\text {$\#$1}-2 \text {$\#$1}^3+\text {$\#$1}^5}\&\right ]}{8 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.03, size = 69, normalized size = 0.10
method | result | size |
default | \(\frac {\munderset {\textit {\_R} =\RootOf \left (b \,\textit {\_Z}^{8}-4 b \,\textit {\_Z}^{6}+6 \textit {\_Z}^{4} b -4 \textit {\_Z}^{2} b +a +b \right )}{\sum }\frac {\left (-\textit {\_R}^{2}+1\right ) \ln \left (x -\textit {\_R} \right )}{\textit {\_R}^{7}-3 \textit {\_R}^{5}+3 \textit {\_R}^{3}-\textit {\_R}}}{8 b}\) | \(69\) |
risch | \(\frac {\munderset {\textit {\_R} =\RootOf \left (b \,\textit {\_Z}^{8}-4 b \,\textit {\_Z}^{6}+6 \textit {\_Z}^{4} b -4 \textit {\_Z}^{2} b +a +b \right )}{\sum }\frac {\left (-\textit {\_R}^{2}+1\right ) \ln \left (x -\textit {\_R} \right )}{\textit {\_R}^{7}-3 \textit {\_R}^{5}+3 \textit {\_R}^{3}-\textit {\_R}}}{8 b}\) | \(69\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] Result contains complex when optimal does not.
time = 1.91, size = 322185, normalized size = 485.95 \begin {gather*} \text {too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 2.15, size = 133, normalized size = 0.20 \begin {gather*} - \operatorname {RootSum} {\left (t^{8} \cdot \left (16777216 a^{5} b^{3} + 16777216 a^{4} b^{4}\right ) + 1048576 t^{6} a^{3} b^{3} + 24576 t^{4} a^{2} b^{2} + 256 t^{2} a b + 1, \left ( t \mapsto t \log {\left (- 6291456 t^{7} a^{4} b^{3} - 6291456 t^{7} a^{3} b^{4} + 65536 t^{5} a^{3} b^{2} - 327680 t^{5} a^{2} b^{3} - 512 t^{3} a^{2} b - 5632 t^{3} a b^{2} - 32 t b + x \right )} \right )\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.00, size = 328, normalized size = 0.49 \begin {gather*} \sum _{k=1}^8\ln \left (a\,b^5\,\left ({\mathrm {root}\left (16777216\,a^5\,b^3\,z^8+16777216\,a^4\,b^4\,z^8+1048576\,a^3\,b^3\,z^6+24576\,a^2\,b^2\,z^4+256\,a\,b\,z^2+1,z,k\right )}^2\,a\,b\,64+1\right )\,\left ({\mathrm {root}\left (16777216\,a^5\,b^3\,z^8+16777216\,a^4\,b^4\,z^8+1048576\,a^3\,b^3\,z^6+24576\,a^2\,b^2\,z^4+256\,a\,b\,z^2+1,z,k\right )}^4\,a^2\,b^2\,4096+{\mathrm {root}\left (16777216\,a^5\,b^3\,z^8+16777216\,a^4\,b^4\,z^8+1048576\,a^3\,b^3\,z^6+24576\,a^2\,b^2\,z^4+256\,a\,b\,z^2+1,z,k\right )}^2\,a\,b\,128-{\mathrm {root}\left (16777216\,a^5\,b^3\,z^8+16777216\,a^4\,b^4\,z^8+1048576\,a^3\,b^3\,z^6+24576\,a^2\,b^2\,z^4+256\,a\,b\,z^2+1,z,k\right )}^5\,a^3\,b^2\,x\,32768+1\right )\right )\,\mathrm {root}\left (16777216\,a^5\,b^3\,z^8+16777216\,a^4\,b^4\,z^8+1048576\,a^3\,b^3\,z^6+24576\,a^2\,b^2\,z^4+256\,a\,b\,z^2+1,z,k\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________