Optimal. Leaf size=20 \[ \frac {3 e^{\log ^2\left (x^2 \log (x)\right )} (-2+\log (3))}{x} \]
________________________________________________________________________________________
Rubi [A] time = 0.13, antiderivative size = 38, normalized size of antiderivative = 1.90, number of steps used = 1, number of rules used = 1, integrand size = 52, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.019, Rules used = {2288} \begin {gather*} -\frac {3 e^{\log ^2\left (x^2 \log (x)\right )} (2 (2-\log (3)) \log (x)+2-\log (3))}{x+2 x \log (x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2288
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=-\frac {3 e^{\log ^2\left (x^2 \log (x)\right )} (2-\log (3)+2 (2-\log (3)) \log (x))}{x+2 x \log (x)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.11, size = 20, normalized size = 1.00 \begin {gather*} \frac {3 e^{\log ^2\left (x^2 \log (x)\right )} (-2+\log (3))}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.53, size = 19, normalized size = 0.95 \begin {gather*} \frac {3 \, {\left (\log \relax (3) - 2\right )} e^{\left (\log \left (x^{2} \log \relax (x)\right )^{2}\right )}}{x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \mathit {undef} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 0.11, size = 158, normalized size = 7.90
method | result | size |
risch | \(\frac {3 \left (\ln \relax (3)-2\right ) {\mathrm e}^{\frac {\left (-i \pi \mathrm {csgn}\left (i x^{2}\right )^{3}+2 i \pi \mathrm {csgn}\left (i x^{2}\right )^{2} \mathrm {csgn}\left (i x \right )-i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x \right )^{2}+i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x^{2} \ln \relax (x )\right )^{2}-i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x^{2} \ln \relax (x )\right ) \mathrm {csgn}\left (i \ln \relax (x )\right )-i \pi \mathrm {csgn}\left (i x^{2} \ln \relax (x )\right )^{3}+i \pi \mathrm {csgn}\left (i x^{2} \ln \relax (x )\right )^{2} \mathrm {csgn}\left (i \ln \relax (x )\right )+4 \ln \relax (x )+2 \ln \left (\ln \relax (x )\right )\right )^{2}}{4}}}{x}\) | \(158\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.64, size = 29, normalized size = 1.45 \begin {gather*} \frac {3 \, {\left (\log \relax (3) - 2\right )} e^{\left (4 \, \log \relax (x)^{2} + 4 \, \log \relax (x) \log \left (\log \relax (x)\right ) + \log \left (\log \relax (x)\right )^{2}\right )}}{x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.05 \begin {gather*} \int -\frac {{\mathrm {e}}^{{\ln \left (x^2\,\ln \relax (x)\right )}^2}\,\left (\ln \relax (x)\,\left (3\,\ln \relax (3)-6\right )-\ln \left (x^2\,\ln \relax (x)\right )\,\left (6\,\ln \relax (3)+\ln \relax (x)\,\left (12\,\ln \relax (3)-24\right )-12\right )\right )}{x^2\,\ln \relax (x)} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.37, size = 19, normalized size = 0.95 \begin {gather*} \frac {\left (-6 + 3 \log {\relax (3 )}\right ) e^{\log {\left (x^{2} \log {\relax (x )} \right )}^{2}}}{x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________