Optimal. Leaf size=20 \[ \log \left (\left (2+2 x-\frac {5+x+x \log (4)}{x}\right )^4\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 24, normalized size of antiderivative = 1.20, number of steps
used = 5, number of rules used = 4, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.133, Rules used = {6, 1608, 1642,
642} \begin {gather*} 4 \log \left (-2 x^2-x (1-\log (4))+5\right )-4 \log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rule 642
Rule 1608
Rule 1642
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-20-8 x^2}{5 x-2 x^3+x^2 (-1+\log (4))} \, dx\\ &=\int \frac {-20-8 x^2}{x \left (5-2 x^2+x (-1+\log (4))\right )} \, dx\\ &=\int \left (-\frac {4}{x}+\frac {4 (-1-4 x+\log (4))}{5-2 x^2-x (1-\log (4))}\right ) \, dx\\ &=-4 \log (x)+4 \int \frac {-1-4 x+\log (4)}{5-2 x^2+x (-1+\log (4))} \, dx\\ &=-4 \log (x)+4 \log \left (5-2 x^2-x (1-\log (4))\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 22, normalized size = 1.10 \begin {gather*} 4 \left (-\log (x)+\log \left (5-x-2 x^2+x \log (4)\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.09, size = 22, normalized size = 1.10
method | result | size |
default | \(4 \ln \left (-2 x \ln \left (2\right )+2 x^{2}+x -5\right )-4 \ln \left (x \right )\) | \(22\) |
norman | \(-4 \ln \left (x \right )+4 \ln \left (2 x \ln \left (2\right )-2 x^{2}-x +5\right )\) | \(24\) |
risch | \(-4 \ln \left (-x \right )+4 \ln \left (-5+2 x^{2}+\left (1-2 \ln \left (2\right )\right ) x \right )\) | \(26\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 24, normalized size = 1.20 \begin {gather*} 4 \, \log \left (2 \, x^{2} - x {\left (2 \, \log \left (2\right ) - 1\right )} - 5\right ) - 4 \, \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.35, size = 21, normalized size = 1.05 \begin {gather*} 4 \, \log \left (2 \, x^{2} - 2 \, x \log \left (2\right ) + x - 5\right ) - 4 \, \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.22, size = 22, normalized size = 1.10 \begin {gather*} - 4 \log {\left (x \right )} + 4 \log {\left (x^{2} + x \left (\frac {1}{2} - \log {\left (2 \right )}\right ) - \frac {5}{2} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.41, size = 23, normalized size = 1.15 \begin {gather*} 4 \, \log \left ({\left | 2 \, x^{2} - 2 \, x \log \left (2\right ) + x - 5 \right |}\right ) - 4 \, \log \left ({\left | x \right |}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.16, size = 21, normalized size = 1.05 \begin {gather*} 4\,\ln \left (\frac {x}{2}-x\,\ln \left (2\right )+x^2-\frac {5}{2}\right )-4\,\ln \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________