Optimal. Leaf size=29 \[ 5 e^{-x \log (4)-\frac {\log ^2(3) \log ^2(\log (x))}{2+x}}+\log (x) \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(59\) vs. \(2(29)=58\).
time = 5.65, antiderivative size = 59, normalized size of antiderivative = 2.03, number of steps
used = 6, number of rules used = 5, integrand size = 136, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.037, Rules used = {1608, 27,
6820, 6874, 2326} \begin {gather*} \frac {5\ 4^{-x} e^{-\frac {\log ^2(3) \log ^2(\log (x))}{x+2}} \left (x^3 \log (x)+4 x^2 \log (x)+4 x \log (x)\right )}{x (x+2)^2 \log (x)}+\log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 27
Rule 1608
Rule 2326
Rule 6820
Rule 6874
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {\exp \left (-\frac {\left (2 x+x^2\right ) \log (4)+\log ^2(3) \log ^2(\log (x))}{2+x}\right ) \left (\exp \left (\frac {\left (2 x+x^2\right ) \log (4)+\log ^2(3) \log ^2(\log (x))}{2+x}\right ) \left (4+4 x+x^2\right ) \log (x)+\left (-20 x-20 x^2-5 x^3\right ) \log (4) \log (x)+(-20-10 x) \log ^2(3) \log (\log (x))+5 x \log ^2(3) \log (x) \log ^2(\log (x))\right )}{x \left (4+4 x+x^2\right ) \log (x)} \, dx\\ &=\int \frac {\exp \left (-\frac {\left (2 x+x^2\right ) \log (4)+\log ^2(3) \log ^2(\log (x))}{2+x}\right ) \left (\exp \left (\frac {\left (2 x+x^2\right ) \log (4)+\log ^2(3) \log ^2(\log (x))}{2+x}\right ) \left (4+4 x+x^2\right ) \log (x)+\left (-20 x-20 x^2-5 x^3\right ) \log (4) \log (x)+(-20-10 x) \log ^2(3) \log (\log (x))+5 x \log ^2(3) \log (x) \log ^2(\log (x))\right )}{x (2+x)^2 \log (x)} \, dx\\ &=\int \frac {4^{-x} e^{-\frac {\log ^2(3) \log ^2(\log (x))}{2+x}} \left (-10 (2+x) \log ^2(3) \log (\log (x))+\log (x) \left ((2+x)^2 \left (4^x e^{\frac {\log ^2(3) \log ^2(\log (x))}{2+x}}-5 x \log (4)\right )+5 x \log ^2(3) \log ^2(\log (x))\right )\right )}{x (2+x)^2 \log (x)} \, dx\\ &=\int \left (\frac {1}{x}-\frac {5\ 4^{-x} e^{-\frac {\log ^2(3) \log ^2(\log (x))}{2+x}} \left (4 x \log (4) \log (x)+4 x^2 \log (4) \log (x)+x^3 \log (4) \log (x)+4 \log ^2(3) \log (\log (x))+2 x \log ^2(3) \log (\log (x))-x \log ^2(3) \log (x) \log ^2(\log (x))\right )}{x (2+x)^2 \log (x)}\right ) \, dx\\ &=\log (x)-5 \int \frac {4^{-x} e^{-\frac {\log ^2(3) \log ^2(\log (x))}{2+x}} \left (4 x \log (4) \log (x)+4 x^2 \log (4) \log (x)+x^3 \log (4) \log (x)+4 \log ^2(3) \log (\log (x))+2 x \log ^2(3) \log (\log (x))-x \log ^2(3) \log (x) \log ^2(\log (x))\right )}{x (2+x)^2 \log (x)} \, dx\\ &=\log (x)+\frac {5\ 4^{-x} e^{-\frac {\log ^2(3) \log ^2(\log (x))}{2+x}} \left (4 x \log (x)+4 x^2 \log (x)+x^3 \log (x)\right )}{x (2+x)^2 \log (x)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.12, size = 28, normalized size = 0.97 \begin {gather*} 5\ 4^{-x} e^{-\frac {\log ^2(3) \log ^2(\log (x))}{2+x}}+\log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.62, size = 37, normalized size = 1.28
method | result | size |
risch | \(\ln \left (x \right )+5 \,{\mathrm e}^{-\frac {\ln \left (3\right )^{2} \ln \left (\ln \left (x \right )\right )^{2}+2 x^{2} \ln \left (2\right )+4 x \ln \left (2\right )}{2+x}}\) | \(37\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.74, size = 28, normalized size = 0.97 \begin {gather*} 5 \, e^{\left (-\frac {\log \left (3\right )^{2} \log \left (\log \left (x\right )\right )^{2}}{x + 2} - 2 \, x \log \left (2\right )\right )} + \log \left (x\right ) \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. 65 vs.
\(2 (28) = 56\).
time = 0.36, size = 65, normalized size = 2.24 \begin {gather*} {\left (e^{\left (\frac {\log \left (3\right )^{2} \log \left (\log \left (x\right )\right )^{2} + 2 \, {\left (x^{2} + 2 \, x\right )} \log \left (2\right )}{x + 2}\right )} \log \left (x\right ) + 5\right )} e^{\left (-\frac {\log \left (3\right )^{2} \log \left (\log \left (x\right )\right )^{2} + 2 \, {\left (x^{2} + 2 \, x\right )} \log \left (2\right )}{x + 2}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.58, size = 32, normalized size = 1.10 \begin {gather*} \log {\left (x \right )} + 5 e^{- \frac {\left (2 x^{2} + 4 x\right ) \log {\left (2 \right )} + \log {\left (3 \right )}^{2} \log {\left (\log {\left (x \right )} \right )}^{2}}{x + 2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.85, size = 45, normalized size = 1.55 \begin {gather*} 5 \, e^{\left (-\frac {\log \left (3\right )^{2} \log \left (\log \left (x\right )\right )^{2}}{x + 2} - \frac {2 \, x^{2} \log \left (2\right )}{x + 2} - \frac {4 \, x \log \left (2\right )}{x + 2}\right )} + \log \left (x\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.94, size = 48, normalized size = 1.66 \begin {gather*} \ln \left (x\right )+\frac {5\,{\mathrm {e}}^{-\frac {{\ln \left (\ln \left (x\right )\right )}^2\,{\ln \left (3\right )}^2}{x+2}}}{2^{\frac {4\,x}{x+2}}\,2^{\frac {2\,x^2}{x+2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________