Optimal. Leaf size=10 \[ \frac {1}{6} (1+\log (x))^6 \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 10, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 2, integrand size = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {2339, 30}
\begin {gather*} \frac {1}{6} (\log (x)+1)^6 \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 30
Rule 2339
Rubi steps
\begin {align*} \int \frac {(1+\log (x))^5}{x} \, dx &=\text {Subst}\left (\int x^5 \, dx,x,1+\log (x)\right )\\ &=\frac {1}{6} (1+\log (x))^6\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.00, size = 10, normalized size = 1.00 \begin {gather*} \frac {1}{6} (1+\log (x))^6 \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.02, size = 9, normalized size = 0.90
method | result | size |
derivativedivides | \(\frac {\left (1+\ln \left (x \right )\right )^{6}}{6}\) | \(9\) |
default | \(\frac {\left (1+\ln \left (x \right )\right )^{6}}{6}\) | \(9\) |
norman | \(\ln \left (x \right )^{5}+\ln \left (x \right )+\frac {5 \ln \left (x \right )^{2}}{2}+\frac {10 \ln \left (x \right )^{3}}{3}+\frac {5 \ln \left (x \right )^{4}}{2}+\frac {\ln \left (x \right )^{6}}{6}\) | \(32\) |
risch | \(\ln \left (x \right )^{5}+\ln \left (x \right )+\frac {5 \ln \left (x \right )^{2}}{2}+\frac {10 \ln \left (x \right )^{3}}{3}+\frac {5 \ln \left (x \right )^{4}}{2}+\frac {\ln \left (x \right )^{6}}{6}\) | \(32\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 8, normalized size = 0.80 \begin {gather*} \frac {1}{6} \, {\left (\log \left (x\right ) + 1\right )}^{6} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 31 vs.
\(2 (8) = 16\).
time = 0.36, size = 31, normalized size = 3.10 \begin {gather*} \frac {1}{6} \, \log \left (x\right )^{6} + \log \left (x\right )^{5} + \frac {5}{2} \, \log \left (x\right )^{4} + \frac {10}{3} \, \log \left (x\right )^{3} + \frac {5}{2} \, \log \left (x\right )^{2} + \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 39 vs.
\(2 (7) = 14\).
time = 0.14, size = 39, normalized size = 3.90 \begin {gather*} \frac {\log {\left (x \right )}^{6}}{6} + \log {\left (x \right )}^{5} + \frac {5 \log {\left (x \right )}^{4}}{2} + \frac {10 \log {\left (x \right )}^{3}}{3} + \frac {5 \log {\left (x \right )}^{2}}{2} + \log {\left (x \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 31 vs.
\(2 (8) = 16\).
time = 3.49, size = 31, normalized size = 3.10 \begin {gather*} \frac {1}{6} \, \log \left (x\right )^{6} + \log \left (x\right )^{5} + \frac {5}{2} \, \log \left (x\right )^{4} + \frac {10}{3} \, \log \left (x\right )^{3} + \frac {5}{2} \, \log \left (x\right )^{2} + \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.39, size = 26, normalized size = 2.60 \begin {gather*} \frac {\ln \left (x\right )\,\left (\ln \left (x\right )+2\right )\,\left ({\ln \left (x\right )}^2+\ln \left (x\right )+1\right )\,\left ({\ln \left (x\right )}^2+3\,\ln \left (x\right )+3\right )}{6} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________