Optimal. Leaf size=663 \[ \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 {\tan ^{-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}}}-\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} b^{3/8} \sqrt {\sqrt {-a}+\sqrt {b}}}+\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} 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}}} \]
________________________________________________________________________________________
Rubi [A] time = 1.11, antiderivative size = 663, normalized size of antiderivative = 1.00, number of steps used = 16, number of rules used = 10, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.435, Rules used = {6740, 1990, 1166, 205, 208, 1169, 634, 618, 204, 628} \begin {gather*} \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 {\tan ^{-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}}}-\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} b^{3/8} \sqrt {\sqrt {-a}+\sqrt {b}}}+\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} 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 204
Rule 205
Rule 208
Rule 618
Rule 628
Rule 634
Rule 1166
Rule 1169
Rule 1990
Rule 6740
Rubi steps
\begin {align*} \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 ) \operatorname {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 ) \operatorname {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] time = 0.04, size = 63, normalized size = 0.10 \begin {gather*} -\frac {\text {RootSum}\left [\text {$\#$1}^8 b-4 \text {$\#$1}^6 b+6 \text {$\#$1}^4 b-4 \text {$\#$1}^2 b+a+b\&,\frac {\log (x-\text {$\#$1})}{\text {$\#$1}^5-2 \text {$\#$1}^3+\text {$\#$1}}\&\right ]}{8 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1-x^2}{a+b \left (1-x^2\right )^4} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \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*} \int -\frac {x^{2} - 1}{{\left (x^{2} - 1\right )}^{4} b + a}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 0.07, size = 69, normalized size = 0.10 \begin {gather*} \frac {\left (-\RootOf \left (b \,\textit {\_Z}^{8}-4 b \,\textit {\_Z}^{6}+6 b \,\textit {\_Z}^{4}-4 b \,\textit {\_Z}^{2}+a +b \right )^{2}+1\right ) \ln \left (-\RootOf \left (b \,\textit {\_Z}^{8}-4 b \,\textit {\_Z}^{6}+6 b \,\textit {\_Z}^{4}-4 b \,\textit {\_Z}^{2}+a +b \right )+x \right )}{8 b \left (\RootOf \left (b \,\textit {\_Z}^{8}-4 b \,\textit {\_Z}^{6}+6 b \,\textit {\_Z}^{4}-4 b \,\textit {\_Z}^{2}+a +b \right )^{7}-3 \RootOf \left (b \,\textit {\_Z}^{8}-4 b \,\textit {\_Z}^{6}+6 b \,\textit {\_Z}^{4}-4 b \,\textit {\_Z}^{2}+a +b \right )^{5}+3 \RootOf \left (b \,\textit {\_Z}^{8}-4 b \,\textit {\_Z}^{6}+6 b \,\textit {\_Z}^{4}-4 b \,\textit {\_Z}^{2}+a +b \right )^{3}-\RootOf \left (b \,\textit {\_Z}^{8}-4 b \,\textit {\_Z}^{6}+6 b \,\textit {\_Z}^{4}-4 b \,\textit {\_Z}^{2}+a +b \right )\right )} \end {gather*}
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*} -\int \frac {x^{2} - 1}{{\left (x^{2} - 1\right )}^{4} b + a}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.70, 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]
________________________________________________________________________________________
sympy [A] time = 3.92, size = 133, normalized size = 0.20 \begin {gather*} - \operatorname {RootSum} {\left (t^{8} \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]
________________________________________________________________________________________