Optimal. Leaf size=35 \[ \log \left (-2 x^2+2 \sqrt {x^4-2 x^3-4 x^2+5 x+5}+2 x+5\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.05, antiderivative size = 37, normalized size of antiderivative = 1.06, number of steps used = 5, number of rules used = 5, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.179, Rules used = {1680, 12, 1107, 621, 206} \begin {gather*} \tanh ^{-1}\left (\frac {11-4 \left (x-\frac {1}{2}\right )^2}{\sqrt {16 \left (x-\frac {1}{2}\right )^4-88 \left (x-\frac {1}{2}\right )^2+101}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 206
Rule 621
Rule 1107
Rule 1680
Rubi steps
\begin {align*} \int \frac {1-2 x}{\sqrt {5+5 x-4 x^2-2 x^3+x^4}} \, dx &=\operatorname {Subst}\left (\int -\frac {8 x}{\sqrt {101-88 x^2+16 x^4}} \, dx,x,-\frac {1}{2}+x\right )\\ &=-\left (8 \operatorname {Subst}\left (\int \frac {x}{\sqrt {101-88 x^2+16 x^4}} \, dx,x,-\frac {1}{2}+x\right )\right )\\ &=-\left (4 \operatorname {Subst}\left (\int \frac {1}{\sqrt {101-88 x+16 x^2}} \, dx,x,\left (-\frac {1}{2}+x\right )^2\right )\right )\\ &=-\left (8 \operatorname {Subst}\left (\int \frac {1}{64-x^2} \, dx,x,\frac {8 \left (-11+4 \left (-\frac {1}{2}+x\right )^2\right )}{\sqrt {101+(1-2 x)^4-88 \left (-\frac {1}{2}+x\right )^2}}\right )\right )\\ &=\tanh ^{-1}\left (\frac {11-(-1+2 x)^2}{\sqrt {101-22 (1-2 x)^2+(1-2 x)^4}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 1.64, size = 789, normalized size = 22.54 \begin {gather*} \frac {\left (-2 x+\sqrt {11-2 \sqrt {5}}+1\right )^2 \sqrt {\frac {-2 x+\sqrt {11+2 \sqrt {5}}+1}{-2 x+\sqrt {11-2 \sqrt {5}}+1}} \sqrt {-\frac {2 x+\sqrt {11+2 \sqrt {5}}-1}{\left (\sqrt {11-2 \sqrt {5}}-\sqrt {11+2 \sqrt {5}}\right ) \left (-2 x+\sqrt {11-2 \sqrt {5}}+1\right )}} \left (\left (-\sqrt {11+2 \sqrt {5}} \sqrt {-\frac {2 x+\sqrt {11-2 \sqrt {5}}-1}{-2 x+\sqrt {11-2 \sqrt {5}}+1}}+\sqrt {\frac {\left (2 \sqrt {5}-11\right ) \left (2 x+\sqrt {11-2 \sqrt {5}}-1\right )}{-2 x+\sqrt {11-2 \sqrt {5}}+1}}+\sqrt {2} \sqrt {\frac {\left (\sqrt {101}-11\right ) \left (2 x+\sqrt {11-2 \sqrt {5}}-1\right )}{-2 x+\sqrt {11-2 \sqrt {5}}+1}}+\sqrt {2} \sqrt {-\frac {\left (2 \sqrt {5}-11\right ) \left (\sqrt {101}-11\right ) \left (2 x+\sqrt {11-2 \sqrt {5}}-1\right )}{-2 x+\sqrt {11-2 \sqrt {5}}+1}}\right ) F\left (\sin ^{-1}\left (\sqrt {\frac {\left (\sqrt {11-2 \sqrt {5}}-\sqrt {11+2 \sqrt {5}}\right ) \left (2 x+\sqrt {11-2 \sqrt {5}}-1\right )}{\left (\sqrt {11-2 \sqrt {5}}+\sqrt {11+2 \sqrt {5}}\right ) \left (-2 x+\sqrt {11-2 \sqrt {5}}+1\right )}}\right )|\frac {1}{20} \left (11+\sqrt {101}\right )^2\right )-2 \sqrt {2} \sqrt {-\frac {\left (2 \sqrt {5}-11\right ) \left (\sqrt {101}-11\right ) \left (2 x+\sqrt {11-2 \sqrt {5}}-1\right )}{-2 x+\sqrt {11-2 \sqrt {5}}+1}} \Pi \left (-\frac {\sqrt {11-2 \sqrt {5}}+\sqrt {11+2 \sqrt {5}}}{\sqrt {11-2 \sqrt {5}}-\sqrt {11+2 \sqrt {5}}};\sin ^{-1}\left (\sqrt {\frac {\left (\sqrt {11-2 \sqrt {5}}-\sqrt {11+2 \sqrt {5}}\right ) \left (2 x+\sqrt {11-2 \sqrt {5}}-1\right )}{\left (\sqrt {11-2 \sqrt {5}}+\sqrt {11+2 \sqrt {5}}\right ) \left (-2 x+\sqrt {11-2 \sqrt {5}}+1\right )}}\right )|\frac {1}{20} \left (11+\sqrt {101}\right )^2\right )\right )}{\left (\sqrt {11+2 \sqrt {5}}-\sqrt {11-2 \sqrt {5}}\right )^{3/2} \sqrt {x^4-2 x^3-4 x^2+5 x+5}} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.23, size = 35, normalized size = 1.00 \begin {gather*} \log \left (5+2 x-2 x^2+2 \sqrt {5+5 x-4 x^2-2 x^3+x^4}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.51, size = 33, normalized size = 0.94 \begin {gather*} \log \left (-2 \, x^{2} + 2 \, x + 2 \, \sqrt {x^{4} - 2 \, x^{3} - 4 \, x^{2} + 5 \, x + 5} + 5\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.46, size = 35, normalized size = 1.00 \begin {gather*} \log \left ({\left | -2 \, x^{2} + 2 \, x + 2 \, \sqrt {{\left (x^{2} - x\right )}^{2} - 5 \, x^{2} + 5 \, x + 5} + 5 \right |}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.49, size = 36, normalized size = 1.03
method | result | size |
trager | \(-\ln \left (2 x^{2}+2 \sqrt {x^{4}-2 x^{3}-4 x^{2}+5 x +5}-2 x -5\right )\) | \(36\) |
default | \(\frac {2 \left (-\frac {\sqrt {11-2 \sqrt {5}}}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2} \sqrt {-\frac {\left (x -\frac {1}{2}+\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \sqrt {11-2 \sqrt {5}}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \sqrt {\frac {\sqrt {11-2 \sqrt {5}}\, \left (x -\frac {1}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \EllipticF \left (\sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}, \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \sqrt {11-2 \sqrt {5}}\, \sqrt {\left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right )}}-\frac {4 \left (-\frac {\sqrt {11-2 \sqrt {5}}}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2} \sqrt {-\frac {\left (x -\frac {1}{2}+\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \sqrt {11-2 \sqrt {5}}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \sqrt {\frac {\sqrt {11-2 \sqrt {5}}\, \left (x -\frac {1}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \left (\left (\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \EllipticF \left (\sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}, \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}}\right )-\sqrt {11-2 \sqrt {5}}\, \EllipticPi \left (\sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}, \frac {\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}}{\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}}, \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}}\right )\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \sqrt {11-2 \sqrt {5}}\, \sqrt {\left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right )}}\) | \(1182\) |
elliptic | \(\frac {2 \left (-\frac {\sqrt {11-2 \sqrt {5}}}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2} \sqrt {-\frac {\left (x -\frac {1}{2}+\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \sqrt {11-2 \sqrt {5}}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \sqrt {\frac {\sqrt {11-2 \sqrt {5}}\, \left (x -\frac {1}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \EllipticF \left (\sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}, \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \sqrt {11-2 \sqrt {5}}\, \sqrt {\left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right )}}-\frac {4 \left (-\frac {\sqrt {11-2 \sqrt {5}}}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2} \sqrt {-\frac {\left (x -\frac {1}{2}+\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \sqrt {11-2 \sqrt {5}}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \sqrt {\frac {\sqrt {11-2 \sqrt {5}}\, \left (x -\frac {1}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}\, \left (\left (\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \EllipticF \left (\sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}, \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}}\right )-\sqrt {11-2 \sqrt {5}}\, \EllipticPi \left (\sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )}}, \frac {\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}}{\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}}, \sqrt {\frac {\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right )^{2}}}\right )\right )}{\left (\frac {\sqrt {11+2 \sqrt {5}}}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \sqrt {11-2 \sqrt {5}}\, \sqrt {\left (x -\frac {1}{2}+\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11-2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}+\frac {\sqrt {11+2 \sqrt {5}}}{2}\right ) \left (x -\frac {1}{2}-\frac {\sqrt {11+2 \sqrt {5}}}{2}\right )}}\) | \(1182\) |
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 {2 \, x - 1}{\sqrt {x^{4} - 2 \, x^{3} - 4 \, x^{2} + 5 \, x + 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 {2\,x-1}{\sqrt {x^4-2\,x^3-4\,x^2+5\,x+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 {2 x}{\sqrt {x^{4} - 2 x^{3} - 4 x^{2} + 5 x + 5}}\, dx - \int \left (- \frac {1}{\sqrt {x^{4} - 2 x^{3} - 4 x^{2} + 5 x + 5}}\right )\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________