Optimal. Leaf size=24 \[ 3+\log \left (\frac {1}{3} \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )\right ) \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 1.14, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \int \frac {-\log \left (\frac {9}{x^2}\right )+\log ^{e^2 x}\left (\frac {9}{x^2}\right ) \left (-2 e^2 x+e^2 x \log \left (\frac {9}{x^2}\right ) \log \left (\log \left (\frac {9}{x^2}\right )\right )\right )}{x \log ^{1+e^2 x}\left (\frac {9}{x^2}\right )-x \log \left (\frac {9}{x^2}\right ) \log (x)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {-\log \left (\frac {9}{x^2}\right )+\log ^{e^2 x}\left (\frac {9}{x^2}\right ) \left (-2 e^2 x+e^2 x \log \left (\frac {9}{x^2}\right ) \log \left (\log \left (\frac {9}{x^2}\right )\right )\right )}{x \log \left (\frac {9}{x^2}\right ) \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx\\ &=\int \left (\frac {e^2 \left (-2+\log \left (\frac {9}{x^2}\right ) \log \left (\log \left (\frac {9}{x^2}\right )\right )\right )}{\log \left (\frac {9}{x^2}\right )}+\frac {-\log \left (\frac {9}{x^2}\right )-2 e^2 x \log (x)+e^2 x \log \left (\frac {9}{x^2}\right ) \log (x) \log \left (\log \left (\frac {9}{x^2}\right )\right )}{x \log \left (\frac {9}{x^2}\right ) \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )}\right ) \, dx\\ &=e^2 \int \frac {-2+\log \left (\frac {9}{x^2}\right ) \log \left (\log \left (\frac {9}{x^2}\right )\right )}{\log \left (\frac {9}{x^2}\right )} \, dx+\int \frac {-\log \left (\frac {9}{x^2}\right )-2 e^2 x \log (x)+e^2 x \log \left (\frac {9}{x^2}\right ) \log (x) \log \left (\log \left (\frac {9}{x^2}\right )\right )}{x \log \left (\frac {9}{x^2}\right ) \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx\\ &=e^2 \int \left (-\frac {2}{\log \left (\frac {9}{x^2}\right )}+\log \left (\log \left (\frac {9}{x^2}\right )\right )\right ) \, dx+\int \left (-\frac {1}{x \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )}-\frac {2 e^2 \log (x)}{\log \left (\frac {9}{x^2}\right ) \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )}+\frac {e^2 \log (x) \log \left (\log \left (\frac {9}{x^2}\right )\right )}{\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)}\right ) \, dx\\ &=e^2 \int \log \left (\log \left (\frac {9}{x^2}\right )\right ) \, dx+e^2 \int \frac {\log (x) \log \left (\log \left (\frac {9}{x^2}\right )\right )}{\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)} \, dx-\left (2 e^2\right ) \int \frac {1}{\log \left (\frac {9}{x^2}\right )} \, dx-\left (2 e^2\right ) \int \frac {\log (x)}{\log \left (\frac {9}{x^2}\right ) \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx-\int \frac {1}{x \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx\\ &=e^2 x \log \left (\log \left (\frac {9}{x^2}\right )\right )+e^2 \int \frac {\log (x) \log \left (\log \left (\frac {9}{x^2}\right )\right )}{\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)} \, dx+\left (2 e^2\right ) \int \frac {1}{\log \left (\frac {9}{x^2}\right )} \, dx-\left (2 e^2\right ) \int \frac {\log (x)}{\log \left (\frac {9}{x^2}\right ) \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx+\left (3 e^2 \sqrt {\frac {1}{x^2}} x\right ) \text {Subst}\left (\int \frac {e^{-x/2}}{x} \, dx,x,\log \left (\frac {9}{x^2}\right )\right )-\int \frac {1}{x \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx\\ &=3 e^2 \sqrt {\frac {1}{x^2}} x \text {Ei}\left (-\frac {1}{2} \log \left (\frac {9}{x^2}\right )\right )+e^2 x \log \left (\log \left (\frac {9}{x^2}\right )\right )+e^2 \int \frac {\log (x) \log \left (\log \left (\frac {9}{x^2}\right )\right )}{\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)} \, dx-\left (2 e^2\right ) \int \frac {\log (x)}{\log \left (\frac {9}{x^2}\right ) \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx-\left (3 e^2 \sqrt {\frac {1}{x^2}} x\right ) \text {Subst}\left (\int \frac {e^{-x/2}}{x} \, dx,x,\log \left (\frac {9}{x^2}\right )\right )-\int \frac {1}{x \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx\\ &=e^2 x \log \left (\log \left (\frac {9}{x^2}\right )\right )+e^2 \int \frac {\log (x) \log \left (\log \left (\frac {9}{x^2}\right )\right )}{\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)} \, dx-\left (2 e^2\right ) \int \frac {\log (x)}{\log \left (\frac {9}{x^2}\right ) \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx-\int \frac {1}{x \left (\log ^{e^2 x}\left (\frac {9}{x^2}\right )-\log (x)\right )} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.13, size = 39, normalized size = 1.62 \begin {gather*} \log \left (-\log \left (\frac {9}{x^2}\right )-2 \log ^{e^2 x}\left (\frac {9}{x^2}\right )+2 \left (\frac {1}{2} \log \left (\frac {9}{x^2}\right )+\log (x)\right )\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.42, size = 49, normalized size = 2.04
method | result | size |
risch | \(\ln \left (-\ln \left (x \right )+\left (2 \ln \left (3\right )-2 \ln \left (x \right )+\frac {i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \left (-\mathrm {csgn}\left (i x^{2}\right )+\mathrm {csgn}\left (i x \right )\right )^{2}}{2}\right )^{{\mathrm e}^{2} x}\right )\) | \(49\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [C] Result contains complex when optimal does not.
time = 0.53, size = 59, normalized size = 2.46 \begin {gather*} {\left (i \, \pi + \log \left (2\right )\right )} x e^{2} + \log \left ({\left (e^{\left (i \, \pi x e^{2} + x e^{2} \log \left (2\right ) + x e^{2} \log \left (-\log \left (3\right ) + \log \left (x\right )\right )\right )} - \log \left (x\right )\right )} e^{\left (-i \, \pi x e^{2} - x e^{2} \log \left (2\right )\right )}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 25, normalized size = 1.04 \begin {gather*} \log \left (2 \, \log \left (\frac {9}{x^{2}}\right )^{x e^{2}} - 2 \, \log \left (3\right ) + \log \left (\frac {9}{x^{2}}\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.40, size = 20, normalized size = 0.83 \begin {gather*} \log {\left (e^{x e^{2} \log {\left (- 2 \log {\left (x \right )} + \log {\left (9 \right )} \right )}} - \log {\left (x \right )} \right )} \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*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.31, size = 17, normalized size = 0.71 \begin {gather*} \ln \left ({\ln \left (\frac {9}{x^2}\right )}^{x\,{\mathrm {e}}^2}-\ln \left (x\right )\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________