Optimal. Leaf size=74 \[ \frac {\tan ^{-1}\left (\frac {a+2 \left (1+a^2-b\right ) x+a x^2}{\sqrt {2} \sqrt {1-b} \sqrt {1+2 a x+2 b x^2+2 a x^3+x^4}}\right )}{\sqrt {2} \sqrt {1-b}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.13, antiderivative size = 74, normalized size of antiderivative = 1.00, number of steps
used = 1, number of rules used = 1, integrand size = 44, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.023, Rules used = {2109}
\begin {gather*} \frac {\text {ArcTan}\left (\frac {2 x \left (a^2-b+1\right )+a x^2+a}{\sqrt {2} \sqrt {1-b} \sqrt {2 a x^3+2 a x+2 b x^2+x^4+1}}\right )}{\sqrt {2} \sqrt {1-b}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2109
Rubi steps
\begin {align*} \int \frac {1-x^2}{\left (1+2 a x+x^2\right ) \sqrt {1+2 a x+2 b x^2+2 a x^3+x^4}} \, dx &=\frac {\tan ^{-1}\left (\frac {a+2 \left (1+a^2-b\right ) x+a x^2}{\sqrt {2} \sqrt {1-b} \sqrt {1+2 a x+2 b x^2+2 a x^3+x^4}}\right )}{\sqrt {2} \sqrt {1-b}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.63, size = 65, normalized size = 0.88 \begin {gather*} -\frac {\sqrt {2} \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt {-1+b} x}{1+2 a x+x^2-\sqrt {1+2 b x^2+x^4+2 a \left (x+x^3\right )}}\right )}{\sqrt {-1+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.17, size = 247419, normalized size = 3343.50
method | result | size |
default | \(\text {Expression too large to display}\) | \(247419\) |
elliptic | \(\text {Expression too large to display}\) | \(258804\) |
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 [A]
time = 1.78, size = 252, normalized size = 3.41 \begin {gather*} \left [\frac {\sqrt {2} \log \left (\frac {4 \, a^{3} x^{3} + {\left (a^{2} + 2 \, b - 2\right )} x^{4} + 4 \, a^{3} x + 2 \, {\left (2 \, a^{4} + 5 \, a^{2} - 2 \, {\left (2 \, a^{2} + 3\right )} b + 4 \, b^{2} + 2\right )} x^{2} + a^{2} - \frac {2 \, \sqrt {2} \sqrt {2 \, a x^{3} + x^{4} + 2 \, b x^{2} + 2 \, a x + 1} {\left ({\left (a b - a\right )} x^{2} + a b - 2 \, {\left (a^{2} - {\left (a^{2} + 2\right )} b + b^{2} + 1\right )} x - a\right )}}{\sqrt {b - 1}} + 2 \, b - 2}{4 \, a x^{3} + x^{4} + 2 \, {\left (2 \, a^{2} + 1\right )} x^{2} + 4 \, a x + 1}\right )}{4 \, \sqrt {b - 1}}, \frac {1}{2} \, \sqrt {2} \sqrt {-\frac {1}{b - 1}} \arctan \left (\frac {\sqrt {2} \sqrt {2 \, a x^{3} + x^{4} + 2 \, b x^{2} + 2 \, a x + 1} {\left (b - 1\right )} \sqrt {-\frac {1}{b - 1}}}{a x^{2} + 2 \, {\left (a^{2} - b + 1\right )} x + a}\right )\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - \int \frac {x^{2}}{2 a x \sqrt {2 a x^{3} + 2 a x + 2 b x^{2} + x^{4} + 1} + x^{2} \sqrt {2 a x^{3} + 2 a x + 2 b x^{2} + x^{4} + 1} + \sqrt {2 a x^{3} + 2 a x + 2 b x^{2} + x^{4} + 1}}\, dx - \int \left (- \frac {1}{2 a x \sqrt {2 a x^{3} + 2 a x + 2 b x^{2} + x^{4} + 1} + x^{2} \sqrt {2 a x^{3} + 2 a x + 2 b x^{2} + x^{4} + 1} + \sqrt {2 a x^{3} + 2 a x + 2 b x^{2} + x^{4} + 1}}\right )\, dx \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 [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} -\int \frac {x^2-1}{\left (x^2+2\,a\,x+1\right )\,\sqrt {x^4+2\,a\,x^3+2\,b\,x^2+2\,a\,x+1}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________