Optimal. Leaf size=122 \[ -2 \log \left (\frac {1}{2} \left (1+\sqrt {5}\right )\right ) \log \left (1+\sqrt {5}-2 \sqrt {x}\right )-2 \log \left (1-\frac {2 \sqrt {x}}{1-\sqrt {5}}\right ) \log \left (\sqrt {x}\right )+2 \log \left (1+\sqrt {x}-x\right ) \log \left (\sqrt {x}\right )+2 \text {Li}_2\left (1-\frac {2 \sqrt {x}}{1+\sqrt {5}}\right )-2 \text {Li}_2\left (\frac {2 \sqrt {x}}{1-\sqrt {5}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.10, antiderivative size = 122, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 7, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.467, Rules used = {2610, 2604,
2404, 2354, 2438, 2353, 2352} \begin {gather*} 2 \text {PolyLog}\left (2,1-\frac {2 \sqrt {x}}{1+\sqrt {5}}\right )-2 \text {PolyLog}\left (2,\frac {2 \sqrt {x}}{1-\sqrt {5}}\right )-2 \log \left (\frac {1}{2} \left (1+\sqrt {5}\right )\right ) \log \left (-2 \sqrt {x}+\sqrt {5}+1\right )-2 \log \left (1-\frac {2 \sqrt {x}}{1-\sqrt {5}}\right ) \log \left (\sqrt {x}\right )+2 \log \left (-x+\sqrt {x}+1\right ) \log \left (\sqrt {x}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2352
Rule 2353
Rule 2354
Rule 2404
Rule 2438
Rule 2604
Rule 2610
Rubi steps
\begin {align*} \int \frac {\log \left (1+\sqrt {x}-x\right )}{x} \, dx &=2 \text {Subst}\left (\int \frac {\log \left (1+x-x^2\right )}{x} \, dx,x,\sqrt {x}\right )\\ &=2 \log \left (1+\sqrt {x}-x\right ) \log \left (\sqrt {x}\right )-2 \text {Subst}\left (\int \frac {(1-2 x) \log (x)}{1+x-x^2} \, dx,x,\sqrt {x}\right )\\ &=2 \log \left (1+\sqrt {x}-x\right ) \log \left (\sqrt {x}\right )-2 \text {Subst}\left (\int \left (-\frac {2 \log (x)}{1-\sqrt {5}-2 x}-\frac {2 \log (x)}{1+\sqrt {5}-2 x}\right ) \, dx,x,\sqrt {x}\right )\\ &=2 \log \left (1+\sqrt {x}-x\right ) \log \left (\sqrt {x}\right )+4 \text {Subst}\left (\int \frac {\log (x)}{1-\sqrt {5}-2 x} \, dx,x,\sqrt {x}\right )+4 \text {Subst}\left (\int \frac {\log (x)}{1+\sqrt {5}-2 x} \, dx,x,\sqrt {x}\right )\\ &=-2 \log \left (\frac {1}{2} \left (1+\sqrt {5}\right )\right ) \log \left (1+\sqrt {5}-2 \sqrt {x}\right )-2 \log \left (1-\frac {2 \sqrt {x}}{1-\sqrt {5}}\right ) \log \left (\sqrt {x}\right )+2 \log \left (1+\sqrt {x}-x\right ) \log \left (\sqrt {x}\right )+2 \text {Subst}\left (\int \frac {\log \left (1-\frac {2 x}{1-\sqrt {5}}\right )}{x} \, dx,x,\sqrt {x}\right )+4 \text {Subst}\left (\int \frac {\log \left (\frac {2 x}{1+\sqrt {5}}\right )}{1+\sqrt {5}-2 x} \, dx,x,\sqrt {x}\right )\\ &=-2 \log \left (\frac {1}{2} \left (1+\sqrt {5}\right )\right ) \log \left (1+\sqrt {5}-2 \sqrt {x}\right )-2 \log \left (1-\frac {2 \sqrt {x}}{1-\sqrt {5}}\right ) \log \left (\sqrt {x}\right )+2 \log \left (1+\sqrt {x}-x\right ) \log \left (\sqrt {x}\right )+2 \text {Li}_2\left (1-\frac {2 \sqrt {x}}{1+\sqrt {5}}\right )-2 \text {Li}_2\left (\frac {2 \sqrt {x}}{1-\sqrt {5}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.06, size = 121, normalized size = 0.99 \begin {gather*} -2 \log \left (\frac {1}{2} \left (1+\sqrt {5}\right )\right ) \log \left (1+\sqrt {5}-2 \sqrt {x}\right )+\left (\log \left (-1+\sqrt {5}\right )-\log \left (-1+\sqrt {5}+2 \sqrt {x}\right )\right ) \log (x)+\log \left (1+\sqrt {x}-x\right ) \log (x)+2 \text {Li}_2\left (\frac {1+\sqrt {5}-2 \sqrt {x}}{1+\sqrt {5}}\right )-2 \text {Li}_2\left (-\frac {2 \sqrt {x}}{-1+\sqrt {5}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.01, size = 102, normalized size = 0.84
method | result | size |
derivativedivides | \(\ln \left (x \right ) \ln \left (1-x +\sqrt {x}\right )-\ln \left (x \right ) \ln \left (\frac {1+\sqrt {5}-2 \sqrt {x}}{\sqrt {5}+1}\right )-\ln \left (x \right ) \ln \left (\frac {-1+\sqrt {5}+2 \sqrt {x}}{\sqrt {5}-1}\right )-2 \dilog \left (\frac {1+\sqrt {5}-2 \sqrt {x}}{\sqrt {5}+1}\right )-2 \dilog \left (\frac {-1+\sqrt {5}+2 \sqrt {x}}{\sqrt {5}-1}\right )\) | \(102\) |
default | \(\ln \left (x \right ) \ln \left (1-x +\sqrt {x}\right )-\ln \left (x \right ) \ln \left (\frac {1+\sqrt {5}-2 \sqrt {x}}{\sqrt {5}+1}\right )-\ln \left (x \right ) \ln \left (\frac {-1+\sqrt {5}+2 \sqrt {x}}{\sqrt {5}-1}\right )-2 \dilog \left (\frac {1+\sqrt {5}-2 \sqrt {x}}{\sqrt {5}+1}\right )-2 \dilog \left (\frac {-1+\sqrt {5}+2 \sqrt {x}}{\sqrt {5}-1}\right )\) | \(102\) |
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 [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]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\log {\left (\sqrt {x} - x + 1 \right )}}{x}\, 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 {\ln \left (\sqrt {x}-x+1\right )}{x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________