Optimal. Leaf size=28 \[ \log \left (\frac {-5+x \left (-4+x-(4+\log (x (2+x)))^2\right )}{e^3 \log (25)}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.18, antiderivative size = 30, normalized size of antiderivative = 1.07, number of steps
used = 2, number of rules used = 2, integrand size = 92, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.022, Rules used = {6873, 6816}
\begin {gather*} \log \left (-x^2+20 x+x \log ^2(x (x+2))+8 x \log (x (x+2))+5\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6816
Rule 6873
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {56+32 x-2 x^2+(20+12 x) \log \left (2 x+x^2\right )+(2+x) \log ^2\left (2 x+x^2\right )}{(2+x) \left (5+20 x-x^2+8 x \log (x (2+x))+x \log ^2(x (2+x))\right )} \, dx\\ &=\log \left (5+20 x-x^2+8 x \log (x (2+x))+x \log ^2(x (2+x))\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.08, size = 30, normalized size = 1.07 \begin {gather*} \log \left (5+20 x-x^2+8 x \log (x (2+x))+x \log ^2(x (2+x))\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.37, size = 34, normalized size = 1.21
method | result | size |
norman | \(\ln \left (-\ln \left (x^{2}+2 x \right )^{2} x +x^{2}-8 \ln \left (x^{2}+2 x \right ) x -20 x -5\right )\) | \(34\) |
risch | \(\ln \left (x \right )+\ln \left (\ln \left (x^{2}+2 x \right )^{2}+8 \ln \left (x^{2}+2 x \right )-\frac {x^{2}-20 x -5}{x}\right )\) | \(39\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 51, normalized size = 1.82 \begin {gather*} \log \left (x\right ) + \log \left (\frac {x \log \left (x + 2\right )^{2} + x \log \left (x\right )^{2} - x^{2} + 2 \, {\left (x \log \left (x\right ) + 4 \, x\right )} \log \left (x + 2\right ) + 8 \, x \log \left (x\right ) + 20 \, x + 5}{x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 41, normalized size = 1.46 \begin {gather*} \log \left (x\right ) + \log \left (\frac {x \log \left (x^{2} + 2 \, x\right )^{2} - x^{2} + 8 \, x \log \left (x^{2} + 2 \, x\right ) + 20 \, x + 5}{x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.21, size = 34, normalized size = 1.21 \begin {gather*} \log {\left (x \right )} + \log {\left (\log {\left (x^{2} + 2 x \right )}^{2} + 8 \log {\left (x^{2} + 2 x \right )} + \frac {- x^{2} + 20 x + 5}{x} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.42, size = 33, normalized size = 1.18 \begin {gather*} \log \left (-x \log \left (x^{2} + 2 \, x\right )^{2} + x^{2} - 8 \, x \log \left (x^{2} + 2 \, x\right ) - 20 \, x - 5\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.28, size = 34, normalized size = 1.21 \begin {gather*} \ln \left (8\,\ln \left (x^2+2\,x\right )-x+\frac {5}{x}+{\ln \left (x^2+2\,x\right )}^2+20\right )+\ln \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________