3.16.37 \(\int \frac {-x+e^{e^{e^{\frac {1-x^2}{x}}}} (x+e^{e^{\frac {1-x^2}{x}}+\frac {1-x^2}{x}} (-1-x^2))+x \log (2)}{x} \, dx\) [1537]

Optimal. Leaf size=23 \[ 1-x+x \left (e^{e^{e^{\frac {1}{x}-x}}}+\log (2)\right ) \]

[Out]

1-x+(exp(exp(exp(1/x-x)))+ln(2))*x

________________________________________________________________________________________

Rubi [F]
time = 0.48, 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 {-x+e^{e^{e^{\frac {1-x^2}{x}}}} \left (x+e^{e^{\frac {1-x^2}{x}}+\frac {1-x^2}{x}} \left (-1-x^2\right )\right )+x \log (2)}{x} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(-x + E^E^E^((1 - x^2)/x)*(x + E^(E^((1 - x^2)/x) + (1 - x^2)/x)*(-1 - x^2)) + x*Log[2])/x,x]

[Out]

-(x*(1 - Log[2])) + Defer[Int][E^E^E^(x^(-1) - x), x] - Defer[Int][E^(E^E^(x^(-1) - x) + E^(x^(-1) - x) + x^(-
1) - x)/x, x] - Defer[Int][E^(E^E^(x^(-1) - x) + E^(x^(-1) - x) + x^(-1) - x)*x, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {e^{e^{e^{\frac {1-x^2}{x}}}} \left (x+e^{e^{\frac {1-x^2}{x}}+\frac {1-x^2}{x}} \left (-1-x^2\right )\right )+x (-1+\log (2))}{x} \, dx\\ &=\int \left (-1+e^{e^{e^{\frac {1}{x}-x}}}-\frac {e^{e^{e^{\frac {1}{x}-x}}+e^{\frac {1}{x}-x}+\frac {1}{x}-x} \left (1+x^2\right )}{x}+\log (2)\right ) \, dx\\ &=-x (1-\log (2))+\int e^{e^{e^{\frac {1}{x}-x}}} \, dx-\int \frac {e^{e^{e^{\frac {1}{x}-x}}+e^{\frac {1}{x}-x}+\frac {1}{x}-x} \left (1+x^2\right )}{x} \, dx\\ &=-x (1-\log (2))+\int e^{e^{e^{\frac {1}{x}-x}}} \, dx-\int \left (\frac {e^{e^{e^{\frac {1}{x}-x}}+e^{\frac {1}{x}-x}+\frac {1}{x}-x}}{x}+e^{e^{e^{\frac {1}{x}-x}}+e^{\frac {1}{x}-x}+\frac {1}{x}-x} x\right ) \, dx\\ &=-x (1-\log (2))+\int e^{e^{e^{\frac {1}{x}-x}}} \, dx-\int \frac {e^{e^{e^{\frac {1}{x}-x}}+e^{\frac {1}{x}-x}+\frac {1}{x}-x}}{x} \, dx-\int e^{e^{e^{\frac {1}{x}-x}}+e^{\frac {1}{x}-x}+\frac {1}{x}-x} x \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]
time = 0.08, size = 19, normalized size = 0.83 \begin {gather*} x \left (-1+e^{e^{e^{\frac {1}{x}-x}}}+\log (2)\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-x + E^E^E^((1 - x^2)/x)*(x + E^(E^((1 - x^2)/x) + (1 - x^2)/x)*(-1 - x^2)) + x*Log[2])/x,x]

[Out]

x*(-1 + E^E^E^(x^(-1) - x) + Log[2])

________________________________________________________________________________________

Maple [A]
time = 0.24, size = 24, normalized size = 1.04

method	result	size
norman	\(x \left (\ln \left (2\right )-1\right )+x \,{\mathrm e}^{{\mathrm e}^{{\mathrm e}^{\frac {-x^{2}+1}{x}}}}\)	\(24\)
risch	\(x \ln \left (2\right )-x +x \,{\mathrm e}^{{\mathrm e}^{{\mathrm e}^{-\frac {\left (x -1\right ) \left (x +1\right )}{x}}}}\)	\(25\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-x^2-1)*exp((-x^2+1)/x)*exp(exp((-x^2+1)/x))+x)*exp(exp(exp((-x^2+1)/x)))+x*ln(2)-x)/x,x,method=_RETURN
VERBOSE)

[Out]

x*(ln(2)-1)+x*exp(exp(exp((-x^2+1)/x)))

________________________________________________________________________________________

Maxima [A]
time = 0.30, size = 20, normalized size = 0.87 \begin {gather*} x e^{\left (e^{\left (e^{\left (-x + \frac {1}{x}\right )}\right )}\right )} + x \log \left (2\right ) - x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^2-1)*exp((-x^2+1)/x)*exp(exp((-x^2+1)/x))+x)*exp(exp(exp((-x^2+1)/x)))+x*log(2)-x)/x,x, algori
thm="maxima")

[Out]

x*e^(e^(e^(-x + 1/x))) + x*log(2) - x

________________________________________________________________________________________

Fricas [A]
time = 0.37, size = 23, normalized size = 1.00 \begin {gather*} x e^{\left (e^{\left (e^{\left (-\frac {x^{2} - 1}{x}\right )}\right )}\right )} + x \log \left (2\right ) - x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^2-1)*exp((-x^2+1)/x)*exp(exp((-x^2+1)/x))+x)*exp(exp(exp((-x^2+1)/x)))+x*log(2)-x)/x,x, algori
thm="fricas")

[Out]

x*e^(e^(e^(-(x^2 - 1)/x))) + x*log(2) - x

________________________________________________________________________________________

Sympy [A]
time = 108.17, size = 19, normalized size = 0.83 \begin {gather*} x e^{e^{e^{\frac {1 - x^{2}}{x}}}} + x \left (-1 + \log {\left (2 \right )}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x**2-1)*exp((-x**2+1)/x)*exp(exp((-x**2+1)/x))+x)*exp(exp(exp((-x**2+1)/x)))+x*ln(2)-x)/x,x)

[Out]

x*exp(exp(exp((1 - x**2)/x))) + x*(-1 + log(2))

________________________________________________________________________________________

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]

integrate((((-x^2-1)*exp((-x^2+1)/x)*exp(exp((-x^2+1)/x))+x)*exp(exp(exp((-x^2+1)/x)))+x*log(2)-x)/x,x, algori
thm="giac")

[Out]

integrate(-(((x^2 + 1)*e^(-(x^2 - 1)/x + e^(-(x^2 - 1)/x)) - x)*e^(e^(e^(-(x^2 - 1)/x))) - x*log(2) + x)/x, x)

________________________________________________________________________________________

Mupad [B]
time = 1.22, size = 20, normalized size = 0.87 \begin {gather*} x\,{\mathrm {e}}^{{\mathrm {e}}^{{\mathrm {e}}^{-x}\,{\mathrm {e}}^{1/x}}}+x\,\left (\ln \left (2\right )-1\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x*log(2) - x + exp(exp(exp(-(x^2 - 1)/x)))*(x - exp(exp(-(x^2 - 1)/x))*exp(-(x^2 - 1)/x)*(x^2 + 1)))/x,x)

[Out]

x*exp(exp(exp(-x)*exp(1/x))) + x*(log(2) - 1)

________________________________________________________________________________________