Optimal. Leaf size=19 \[ \log \left (x^4 \left (x+\log \left (-\frac {x^2}{\log (5)}\right )\right )^2\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.28, antiderivative size = 20, normalized size of antiderivative = 1.05, number of steps used = 6, number of rules used = 5, integrand size = 36, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.139, Rules used = {2561, 6741, 12, 6742, 6684} \begin {gather*} 2 \log \left (\log \left (-\frac {x^2}{\log (5)}\right )+x\right )+4 \log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2561
Rule 6684
Rule 6741
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {4+6 x+4 \log \left (-\frac {x^2}{\log (5)}\right )}{x \left (x+\log \left (-\frac {x^2}{\log (5)}\right )\right )} \, dx\\ &=\int \frac {2 \left (2+3 x+2 \log \left (-\frac {x^2}{\log (5)}\right )\right )}{x \left (x+\log \left (-\frac {x^2}{\log (5)}\right )\right )} \, dx\\ &=2 \int \frac {2+3 x+2 \log \left (-\frac {x^2}{\log (5)}\right )}{x \left (x+\log \left (-\frac {x^2}{\log (5)}\right )\right )} \, dx\\ &=2 \int \left (\frac {2}{x}+\frac {2+x}{x \left (x+\log \left (-\frac {x^2}{\log (5)}\right )\right )}\right ) \, dx\\ &=4 \log (x)+2 \int \frac {2+x}{x \left (x+\log \left (-\frac {x^2}{\log (5)}\right )\right )} \, dx\\ &=4 \log (x)+2 \log \left (x+\log \left (-\frac {x^2}{\log (5)}\right )\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.09, size = 20, normalized size = 1.05 \begin {gather*} 4 \log (x)+2 \log \left (x+\log \left (-\frac {x^2}{\log (5)}\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.59, size = 28, normalized size = 1.47 \begin {gather*} 2 \, \log \left (x + \log \left (-\frac {x^{2}}{\log \relax (5)}\right )\right ) + 2 \, \log \left (-\frac {x^{2}}{\log \relax (5)}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.39, size = 21, normalized size = 1.11 \begin {gather*} 2 \, \log \left (x + \log \left (-x^{2}\right ) - \log \left (\log \relax (5)\right )\right ) + 4 \, \log \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.02, size = 21, normalized size = 1.11
method | result | size |
norman | \(4 \ln \relax (x )+2 \ln \left (\ln \left (-\frac {x^{2}}{\ln \relax (5)}\right )+x \right )\) | \(21\) |
risch | \(4 \ln \relax (x )+2 \ln \left (\ln \left (-\frac {x^{2}}{\ln \relax (5)}\right )+x \right )\) | \(21\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.71, size = 21, normalized size = 1.11 \begin {gather*} 4 \, \log \relax (x) + 2 \, \log \left (\frac {1}{2} \, x + \log \relax (x) - \frac {1}{2} \, \log \left (-\log \relax (5)\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.76, size = 23, normalized size = 1.21 \begin {gather*} 2\,\ln \left (x+\ln \left (-x^2\right )-\ln \left (\ln \relax (5)\right )\right )+2\,\ln \left (x^2\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.13, size = 19, normalized size = 1.00 \begin {gather*} 4 \log {\relax (x )} + 2 \log {\left (x + \log {\left (- \frac {x^{2}}{\log {\relax (5 )}} \right )} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________