Optimal. Leaf size=23 \[ 3 e^{-x+\frac {4096 (x+\log (4)-\log (x))^2}{x^2}} \]
________________________________________________________________________________________
Rubi [F] time = 10.56, 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 {\exp \left (\frac {4096 x^2-x^3+8192 x \log (4)+4096 \log ^2(4)+(-8192 x-8192 \log (4)) \log (x)+4096 \log ^2(x)}{x^2}\right ) \left (-24576 x-3 x^3+(-24576-24576 x) \log (4)-24576 \log ^2(4)+(24576+24576 x+49152 \log (4)) \log (x)-24576 \log ^2(x)\right )}{x^3} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \left (-24576 x-3 x^3+(-24576-24576 x) \log (4)-24576 \log ^2(4)+(24576+24576 x+49152 \log (4)) \log (x)-24576 \log ^2(x)\right )}{x^3} \, dx\\ &=\int \left (\frac {3 \exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \left (-x^3-8192 x (1+\log (4))-8192 \log (4) (1+\log (4))\right )}{x^3}+\frac {24576 \exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) (1+x+\log (16)) \log (x)}{x^3}-\frac {24576 \exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \log ^2(x)}{x^3}\right ) \, dx\\ &=3 \int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \left (-x^3-8192 x (1+\log (4))-8192 \log (4) (1+\log (4))\right )}{x^3} \, dx+24576 \int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) (1+x+\log (16)) \log (x)}{x^3} \, dx-24576 \int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \log ^2(x)}{x^3} \, dx\\ &=3 \int \left (-\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right )-\frac {8192 \exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) (1+\log (4))}{x^2}-\frac {8192 \exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \log (4) (1+\log (4))}{x^3}\right ) \, dx-24576 \int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \log ^2(x)}{x^3} \, dx+24576 \int \left (\frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \log (x)}{x^2}+\frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) (1+\log (16)) \log (x)}{x^3}\right ) \, dx\\ &=-\left (3 \int \exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \, dx\right )+24576 \int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \log (x)}{x^2} \, dx-24576 \int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \log ^2(x)}{x^3} \, dx-(24576 (1+\log (4))) \int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right )}{x^2} \, dx-(24576 \log (4) (1+\log (4))) \int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right )}{x^3} \, dx+(24576 (1+\log (16))) \int \frac {\exp \left (4096-x+\frac {8192 \log (4)}{x}+\frac {4096 \log ^2(4)}{x^2}+\frac {(-8192 x-8192 \log (4)) \log (x)}{x^2}+\frac {4096 \log ^2(x)}{x^2}\right ) \log (x)}{x^3} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [F] time = 0.98, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {e^{\frac {4096 x^2-x^3+8192 x \log (4)+4096 \log ^2(4)+(-8192 x-8192 \log (4)) \log (x)+4096 \log ^2(x)}{x^2}} \left (-24576 x-3 x^3+(-24576-24576 x) \log (4)-24576 \log ^2(4)+(24576+24576 x+49152 \log (4)) \log (x)-24576 \log ^2(x)\right )}{x^3} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.72, size = 44, normalized size = 1.91 \begin {gather*} 3 \, e^{\left (-\frac {x^{3} - 4096 \, x^{2} - 16384 \, x \log \relax (2) - 16384 \, \log \relax (2)^{2} + 8192 \, {\left (x + 2 \, \log \relax (2)\right )} \log \relax (x) - 4096 \, \log \relax (x)^{2}}{x^{2}}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.36, size = 49, normalized size = 2.13 \begin {gather*} 3 \, e^{\left (-x + \frac {16384 \, \log \relax (2)}{x} + \frac {16384 \, \log \relax (2)^{2}}{x^{2}} - \frac {8192 \, \log \relax (x)}{x} - \frac {16384 \, \log \relax (2) \log \relax (x)}{x^{2}} + \frac {4096 \, \log \relax (x)^{2}}{x^{2}} + 4096\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 47, normalized size = 2.04
method | result | size |
risch | \(3 \,{\mathrm e}^{\frac {-x^{3}+4096 \ln \relax (x )^{2}-16384 \ln \relax (2) \ln \relax (x )-8192 x \ln \relax (x )+16384 \ln \relax (2)^{2}+16384 x \ln \relax (2)+4096 x^{2}}{x^{2}}}\) | \(47\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 3.34, size = 49, normalized size = 2.13 \begin {gather*} 3 \, e^{\left (-x + \frac {16384 \, \log \relax (2)}{x} + \frac {16384 \, \log \relax (2)^{2}}{x^{2}} - \frac {8192 \, \log \relax (x)}{x} - \frac {16384 \, \log \relax (2) \log \relax (x)}{x^{2}} + \frac {4096 \, \log \relax (x)^{2}}{x^{2}} + 4096\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.09, size = 52, normalized size = 2.26 \begin {gather*} \frac {3\,2^{16384/x}\,{\mathrm {e}}^{-x}\,{\mathrm {e}}^{4096}\,{\mathrm {e}}^{\frac {16384\,{\ln \relax (2)}^2}{x^2}}\,{\mathrm {e}}^{\frac {4096\,{\ln \relax (x)}^2}{x^2}}}{x^{\frac {16384\,\ln \relax (2)}{x^2}+\frac {8192}{x}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.53, size = 48, normalized size = 2.09 \begin {gather*} 3 e^{\frac {- x^{3} + 4096 x^{2} + 16384 x \log {\relax (2 )} + \left (- 8192 x - 16384 \log {\relax (2 )}\right ) \log {\relax (x )} + 4096 \log {\relax (x )}^{2} + 16384 \log {\relax (2 )}^{2}}{x^{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________