\(\int \frac {e^{e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}}+x} (-x^4+e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}} (-768+3 x^6-x^4 \log (5)))}{x^4} \, dx\) [1875]

Optimal result

Integrand size = 77, antiderivative size = 28 \[ \int \frac {e^{e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}}+x} \left (-x^4+e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}} \left (-768+3 x^6-x^4 \log (5)\right )\right )}{x^4} \, dx=1-e^{e^{x \left (-\left (\frac {16}{x^2}-x\right )^2+\log (5)\right )}+x} \]

[Out]

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

Rubi [A] (verified)

Time = 0.49 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.96, number of steps used = 1, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.013, Rules used = {6838} \[ \int \frac {e^{e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}}+x} \left (-x^4+e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}} \left (-768+3 x^6-x^4 \log (5)\right )\right )}{x^4} \, dx=-e^{5^x e^{-\frac {x^6-32 x^3+256}{x^3}}+x} \]

[In]

Int[(E^(E^((-256 + 32*x^3 - x^6 + x^4*Log[5])/x^3) + x)*(-x^4 + E^((-256 + 32*x^3 - x^6 + x^4*Log[5])/x^3)*(-7
68 + 3*x^6 - x^4*Log[5])))/x^4,x]

[Out]

-E^(5^x/E^((256 - 32*x^3 + x^6)/x^3) + x)

Rule 6838

Int[(F_)^(v_)*(u_), x_Symbol] :> With[{q = DerivativeDivides[v, u, x]}, Simp[q*(F^v/Log[F]), x] /;  !FalseQ[q]
] /; FreeQ[F, x]

Rubi steps \begin{align*} \text {integral}& = -e^{5^x e^{-\frac {256-32 x^3+x^6}{x^3}}+x} \\ \end{align*}

Mathematica [A] (verified)

Time = 5.13 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.86 \[ \int \frac {e^{e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}}+x} \left (-x^4+e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}} \left (-768+3 x^6-x^4 \log (5)\right )\right )}{x^4} \, dx=-e^{5^x e^{32-\frac {256}{x^3}-x^3}+x} \]

[In]

Integrate[(E^(E^((-256 + 32*x^3 - x^6 + x^4*Log[5])/x^3) + x)*(-x^4 + E^((-256 + 32*x^3 - x^6 + x^4*Log[5])/x^
3)*(-768 + 3*x^6 - x^4*Log[5])))/x^4,x]

[Out]

-E^(5^x*E^(32 - 256/x^3 - x^3) + x)

Maple [A] (verified)

Time = 5.17 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.82

method	result	size
risch	\(-{\mathrm e}^{5^{x} {\mathrm e}^{-\frac {\left (x^{3}-16\right )^{2}}{x^{3}}}+x}\)	\(23\)
norman	\(-{\mathrm e}^{{\mathrm e}^{\frac {x^{4} \ln \left (5\right )-x^{6}+32 x^{3}-256}{x^{3}}}+x}\)	\(29\)
parallelrisch	\(-{\mathrm e}^{{\mathrm e}^{\frac {x^{4} \ln \left (5\right )-x^{6}+32 x^{3}-256}{x^{3}}}+x}\)	\(29\)

[In]

int(((-x^4*ln(5)+3*x^6-768)*exp((x^4*ln(5)-x^6+32*x^3-256)/x^3)-x^4)*exp(exp((x^4*ln(5)-x^6+32*x^3-256)/x^3)+x
)/x^4,x,method=_RETURNVERBOSE)

[Out]

-exp(5^x*exp(-(x^3-16)^2/x^3)+x)

Fricas [A] (verification not implemented)

none

Time = 0.24 (sec) , antiderivative size = 28, normalized size of antiderivative = 1.00 \[ \int \frac {e^{e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}}+x} \left (-x^4+e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}} \left (-768+3 x^6-x^4 \log (5)\right )\right )}{x^4} \, dx=-e^{\left (x + e^{\left (-\frac {x^{6} - x^{4} \log \left (5\right ) - 32 \, x^{3} + 256}{x^{3}}\right )}\right )} \]

[In]

integrate(((-x^4*log(5)+3*x^6-768)*exp((x^4*log(5)-x^6+32*x^3-256)/x^3)-x^4)*exp(exp((x^4*log(5)-x^6+32*x^3-25
6)/x^3)+x)/x^4,x, algorithm="fricas")

[Out]

-e^(x + e^(-(x^6 - x^4*log(5) - 32*x^3 + 256)/x^3))

Sympy [A] (verification not implemented)

Time = 0.22 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.93 \[ \int \frac {e^{e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}}+x} \left (-x^4+e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}} \left (-768+3 x^6-x^4 \log (5)\right )\right )}{x^4} \, dx=- e^{x + e^{\frac {- x^{6} + x^{4} \log {\left (5 \right )} + 32 x^{3} - 256}{x^{3}}}} \]

[In]

integrate(((-x**4*ln(5)+3*x**6-768)*exp((x**4*ln(5)-x**6+32*x**3-256)/x**3)-x**4)*exp(exp((x**4*ln(5)-x**6+32*
x**3-256)/x**3)+x)/x**4,x)

[Out]

-exp(x + exp((-x**6 + x**4*log(5) + 32*x**3 - 256)/x**3))

Maxima [F]

\[ \int \frac {e^{e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}}+x} \left (-x^4+e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}} \left (-768+3 x^6-x^4 \log (5)\right )\right )}{x^4} \, dx=\int { -\frac {{\left (x^{4} - {\left (3 \, x^{6} - x^{4} \log \left (5\right ) - 768\right )} e^{\left (-\frac {x^{6} - x^{4} \log \left (5\right ) - 32 \, x^{3} + 256}{x^{3}}\right )}\right )} e^{\left (x + e^{\left (-\frac {x^{6} - x^{4} \log \left (5\right ) - 32 \, x^{3} + 256}{x^{3}}\right )}\right )}}{x^{4}} \,d x } \]

[In]

integrate(((-x^4*log(5)+3*x^6-768)*exp((x^4*log(5)-x^6+32*x^3-256)/x^3)-x^4)*exp(exp((x^4*log(5)-x^6+32*x^3-25
6)/x^3)+x)/x^4,x, algorithm="maxima")

[Out]

-integrate((x^4 - (3*x^6 - x^4*log(5) - 768)*e^(-(x^6 - x^4*log(5) - 32*x^3 + 256)/x^3))*e^(x + e^(-(x^6 - x^4
*log(5) - 32*x^3 + 256)/x^3))/x^4, x)

Giac [A] (verification not implemented)

none

Time = 0.29 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.79 \[ \int \frac {e^{e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}}+x} \left (-x^4+e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}} \left (-768+3 x^6-x^4 \log (5)\right )\right )}{x^4} \, dx=-e^{\left (x + e^{\left (-x^{3} + x \log \left (5\right ) - \frac {256}{x^{3}} + 32\right )}\right )} \]

[In]

integrate(((-x^4*log(5)+3*x^6-768)*exp((x^4*log(5)-x^6+32*x^3-256)/x^3)-x^4)*exp(exp((x^4*log(5)-x^6+32*x^3-25
6)/x^3)+x)/x^4,x, algorithm="giac")

[Out]

-e^(x + e^(-x^3 + x*log(5) - 256/x^3 + 32))

Mupad [B] (verification not implemented)

Time = 9.02 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.82 \[ \int \frac {e^{e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}}+x} \left (-x^4+e^{\frac {-256+32 x^3-x^6+x^4 \log (5)}{x^3}} \left (-768+3 x^6-x^4 \log (5)\right )\right )}{x^4} \, dx=-{\mathrm {e}}^{5^x\,{\mathrm {e}}^{32}\,{\mathrm {e}}^{-x^3}\,{\mathrm {e}}^{-\frac {256}{x^3}}}\,{\mathrm {e}}^x \]

[In]

int(-(exp(x + exp((x^4*log(5) + 32*x^3 - x^6 - 256)/x^3))*(exp((x^4*log(5) + 32*x^3 - x^6 - 256)/x^3)*(x^4*log
(5) - 3*x^6 + 768) + x^4))/x^4,x)

[Out]

-exp(5^x*exp(32)*exp(-x^3)*exp(-256/x^3))*exp(x)