Optimal. Leaf size=31 \[ \frac {1}{2} \log \left (x^2+\sqrt {x^4-4 x^3+4 x^2-5}-2 x\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.04, antiderivative size = 33, normalized size of antiderivative = 1.06, number of steps used = 4, number of rules used = 4, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.174, Rules used = {1680, 1107, 621, 206} \begin {gather*} -\frac {1}{2} \tanh ^{-1}\left (\frac {1-(x-1)^2}{\sqrt {(x-1)^4-2 (x-1)^2-4}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 206
Rule 621
Rule 1107
Rule 1680
Rubi steps
\begin {align*} \int \frac {-1+x}{\sqrt {-5+4 x^2-4 x^3+x^4}} \, dx &=\operatorname {Subst}\left (\int \frac {x}{\sqrt {-4-2 x^2+x^4}} \, dx,x,-1+x\right )\\ &=\frac {1}{2} \operatorname {Subst}\left (\int \frac {1}{\sqrt {-4-2 x+x^2}} \, dx,x,(-1+x)^2\right )\\ &=\operatorname {Subst}\left (\int \frac {1}{4-x^2} \, dx,x,\frac {2 (-2+x) x}{\sqrt {-4-2 (-1+x)^2+(-1+x)^4}}\right )\\ &=\frac {1}{2} \tanh ^{-1}\left (\frac {(-2+x) x}{\sqrt {-4-2 (-1+x)^2+(-1+x)^4}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 1.56, size = 701, normalized size = 22.61 \begin {gather*} \frac {2 \sqrt {\sqrt {5}-1} \left (-x+i \sqrt {\sqrt {5}-1}+1\right ) \left (-x+\sqrt {1+\sqrt {5}}+1\right ) \sqrt {\frac {\left (\sqrt {1+\sqrt {5}}-i \sqrt {\sqrt {5}-1}\right ) \left (x+i \sqrt {\sqrt {5}-1}-1\right )}{\left (\sqrt {1+\sqrt {5}}+i \sqrt {\sqrt {5}-1}\right ) \left (x-i \sqrt {\sqrt {5}-1}-1\right )}} \sqrt {\frac {i \left (x+\sqrt {1+\sqrt {5}}-1\right )}{\left (\sqrt {\sqrt {5}-1}+i \sqrt {1+\sqrt {5}}\right ) \left (i x+\sqrt {\sqrt {5}-1}-i\right )}} \left (F\left (\sin ^{-1}\left (\sqrt {\frac {\sqrt {1+\sqrt {5}} x-i \sqrt {-1+\sqrt {5}} x-\sqrt {1+\sqrt {5}}+i \sqrt {-1+\sqrt {5}}+\sqrt {5}-(1-2 i)}{\sqrt {1+\sqrt {5}} x+i \sqrt {-1+\sqrt {5}} x-\sqrt {1+\sqrt {5}}-i \sqrt {-1+\sqrt {5}}+\sqrt {5}-(1+2 i)}}\right )|-\frac {3}{5}+\frac {4 i}{5}\right )-2 \Pi \left (-\frac {\sqrt {-1+\sqrt {5}}-i \sqrt {1+\sqrt {5}}}{\sqrt {-1+\sqrt {5}}+i \sqrt {1+\sqrt {5}}};\sin ^{-1}\left (\sqrt {\frac {\sqrt {1+\sqrt {5}} x-i \sqrt {-1+\sqrt {5}} x-\sqrt {1+\sqrt {5}}+i \sqrt {-1+\sqrt {5}}+\sqrt {5}-(1-2 i)}{\sqrt {1+\sqrt {5}} x+i \sqrt {-1+\sqrt {5}} x-\sqrt {1+\sqrt {5}}-i \sqrt {-1+\sqrt {5}}+\sqrt {5}-(1+2 i)}}\right )|-\frac {3}{5}+\frac {4 i}{5}\right )\right )}{\left (\sqrt {\sqrt {5}-1}+i \sqrt {1+\sqrt {5}}\right ) \sqrt {-\frac {i \left (-x+\sqrt {1+\sqrt {5}}+1\right )}{\left (\sqrt {\sqrt {5}-1}-i \sqrt {1+\sqrt {5}}\right ) \left (i x+\sqrt {\sqrt {5}-1}-i\right )}} \sqrt {x^4-4 x^3+4 x^2-5}} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.06, size = 31, normalized size = 1.00 \begin {gather*} \frac {1}{2} \log \left (-2 x+x^2+\sqrt {-5+4 x^2-4 x^3+x^4}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.51, size = 27, normalized size = 0.87 \begin {gather*} \frac {1}{2} \, \log \left (x^{2} - 2 \, x + \sqrt {x^{4} - 4 \, x^{3} + 4 \, x^{2} - 5}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.46, size = 26, normalized size = 0.84 \begin {gather*} -\frac {1}{2} \, \log \left ({\left | -x^{2} + 2 \, x + \sqrt {{\left (x^{2} - 2 \, x\right )}^{2} - 5} \right |}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.58, size = 30, normalized size = 0.97
method | result | size |
trager | \(-\frac {\ln \left (-x^{2}+\sqrt {x^{4}-4 x^{3}+4 x^{2}-5}+2 x \right )}{2}\) | \(30\) |
default | \(-\frac {2 \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right ) \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \left (x -1-\sqrt {\sqrt {5}+1}\right )^{2} \sqrt {\frac {\sqrt {\sqrt {5}+1}\, \left (x -1+i \sqrt {\sqrt {5}-1}\right )}{\left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \sqrt {\frac {\sqrt {\sqrt {5}+1}\, \left (x -1-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \EllipticF \left (\sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}, \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right )}}\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \sqrt {\sqrt {5}+1}\, \sqrt {\left (x -1+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right ) \left (x -1+i \sqrt {\sqrt {5}-1}\right ) \left (x -1-i \sqrt {\sqrt {5}-1}\right )}}+\frac {2 \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right ) \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \left (x -1-\sqrt {\sqrt {5}+1}\right )^{2} \sqrt {\frac {\sqrt {\sqrt {5}+1}\, \left (x -1+i \sqrt {\sqrt {5}-1}\right )}{\left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \sqrt {\frac {\sqrt {\sqrt {5}+1}\, \left (x -1-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \left (\left (1+\sqrt {\sqrt {5}+1}\right ) \EllipticF \left (\sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}, \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right )}}\right )-2 \sqrt {\sqrt {5}+1}\, \EllipticPi \left (\sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}, \frac {i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}}{i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}}, \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right )}}\right )\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \sqrt {\sqrt {5}+1}\, \sqrt {\left (x -1+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right ) \left (x -1+i \sqrt {\sqrt {5}-1}\right ) \left (x -1-i \sqrt {\sqrt {5}-1}\right )}}\) | \(1110\) |
elliptic | \(-\frac {2 \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right ) \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \left (x -1-\sqrt {\sqrt {5}+1}\right )^{2} \sqrt {\frac {\sqrt {\sqrt {5}+1}\, \left (x -1+i \sqrt {\sqrt {5}-1}\right )}{\left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \sqrt {\frac {\sqrt {\sqrt {5}+1}\, \left (x -1-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \EllipticF \left (\sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}, \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right )}}\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \sqrt {\sqrt {5}+1}\, \sqrt {\left (x -1+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right ) \left (x -1+i \sqrt {\sqrt {5}-1}\right ) \left (x -1-i \sqrt {\sqrt {5}-1}\right )}}+\frac {2 \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right ) \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \left (x -1-\sqrt {\sqrt {5}+1}\right )^{2} \sqrt {\frac {\sqrt {\sqrt {5}+1}\, \left (x -1+i \sqrt {\sqrt {5}-1}\right )}{\left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \sqrt {\frac {\sqrt {\sqrt {5}+1}\, \left (x -1-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}\, \left (\left (1+\sqrt {\sqrt {5}+1}\right ) \EllipticF \left (\sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}, \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right )}}\right )-2 \sqrt {\sqrt {5}+1}\, \EllipticPi \left (\sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (x -1+\sqrt {\sqrt {5}+1}\right )}{\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right )}}, \frac {i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}}{i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}}, \sqrt {\frac {\left (i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right ) \left (-\sqrt {\sqrt {5}+1}-i \sqrt {\sqrt {5}-1}\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \left (-i \sqrt {\sqrt {5}-1}+\sqrt {\sqrt {5}+1}\right )}}\right )\right )}{\left (i \sqrt {\sqrt {5}-1}-\sqrt {\sqrt {5}+1}\right ) \sqrt {\sqrt {5}+1}\, \sqrt {\left (x -1+\sqrt {\sqrt {5}+1}\right ) \left (x -1-\sqrt {\sqrt {5}+1}\right ) \left (x -1+i \sqrt {\sqrt {5}-1}\right ) \left (x -1-i \sqrt {\sqrt {5}-1}\right )}}\) | \(1110\) |
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 - 1}{\sqrt {x^{4} - 4 \, x^{3} + 4 \, x^{2} - 5}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.03 \begin {gather*} \int \frac {x-1}{\sqrt {x^4-4\,x^3+4\,x^2-5}} \,d x \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 - 1}{\sqrt {x^{4} - 4 x^{3} + 4 x^{2} - 5}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________