\(\int \frac {e^{-x+\frac {e^{-x} x}{15}} (15 e^x+e^{3+3 x} (-x-45 e^x x+x^2)+(x-x^2) \log (x))}{15 x \log (2)} \, dx\) [7579]

   Optimal result
   Rubi [F]
   Mathematica [A] (verified)
   Maple [A] (verified)
   Fricas [A] (verification not implemented)
   Sympy [A] (verification not implemented)
   Maxima [F]
   Giac [F]
   Mupad [F(-1)]

Optimal result

Integrand size = 64, antiderivative size = 31 \[ \int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{15 x \log (2)} \, dx=5+\frac {e^{\frac {e^{-x} x}{15}} \left (-e^{3+3 x}+\log (x)\right )}{\log (2)} \]

[Out]

(ln(x)-exp(3*x+3))*exp(1/15*x/exp(x))/ln(2)+5

Rubi [F]

\[ \int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{15 x \log (2)} \, dx=\int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{15 x \log (2)} \, dx \]

[In]

Int[(E^(-x + x/(15*E^x))*(15*E^x + E^(3 + 3*x)*(-x - 45*E^x*x + x^2) + (x - x^2)*Log[x]))/(15*x*Log[2]),x]

[Out]

(Log[x]*Defer[Int][E^(-x + x/(15*E^x)), x])/(15*Log[2]) - Defer[Int][E^(3 + 2*x + x/(15*E^x)), x]/(15*Log[2])
- (3*Defer[Int][E^(3 + 3*x + x/(15*E^x)), x])/Log[2] + Defer[Int][E^(x/(15*E^x))/x, x]/Log[2] - (Log[x]*Defer[
Int][E^(-x + x/(15*E^x))*x, x])/(15*Log[2]) + Defer[Int][E^(3 + 2*x + x/(15*E^x))*x, x]/(15*Log[2]) - Defer[In
t][Defer[Int][E^(((-15 + E^(-x))*x)/15), x]/x, x]/(15*Log[2]) + Defer[Int][Defer[Int][E^(((-15 + E^(-x))*x)/15
)*x, x]/x, x]/(15*Log[2])

Rubi steps \begin{align*} \text {integral}& = \frac {\int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{x} \, dx}{15 \log (2)} \\ & = \frac {\int \left (-45 e^{3+3 x+\frac {e^{-x} x}{15}}+e^{3+2 x+\frac {e^{-x} x}{15}} (-1+x)+\frac {15 e^{\frac {e^{-x} x}{15}}}{x}-e^{-x+\frac {e^{-x} x}{15}} (-1+x) \log (x)\right ) \, dx}{15 \log (2)} \\ & = \frac {\int e^{3+2 x+\frac {e^{-x} x}{15}} (-1+x) \, dx}{15 \log (2)}-\frac {\int e^{-x+\frac {e^{-x} x}{15}} (-1+x) \log (x) \, dx}{15 \log (2)}+\frac {\int \frac {e^{\frac {e^{-x} x}{15}}}{x} \, dx}{\log (2)}-\frac {3 \int e^{3+3 x+\frac {e^{-x} x}{15}} \, dx}{\log (2)} \\ & = \frac {\int \left (-e^{3+2 x+\frac {e^{-x} x}{15}}+e^{3+2 x+\frac {e^{-x} x}{15}} x\right ) \, dx}{15 \log (2)}+\frac {\int \frac {-\int e^{\frac {1}{15} \left (-15+e^{-x}\right ) x} \, dx+\int e^{\frac {1}{15} \left (-15+e^{-x}\right ) x} x \, dx}{x} \, dx}{15 \log (2)}+\frac {\int \frac {e^{\frac {e^{-x} x}{15}}}{x} \, dx}{\log (2)}-\frac {3 \int e^{3+3 x+\frac {e^{-x} x}{15}} \, dx}{\log (2)}+\frac {\log (x) \int e^{-x+\frac {e^{-x} x}{15}} \, dx}{15 \log (2)}-\frac {\log (x) \int e^{-x+\frac {e^{-x} x}{15}} x \, dx}{15 \log (2)} \\ & = -\frac {\int e^{3+2 x+\frac {e^{-x} x}{15}} \, dx}{15 \log (2)}+\frac {\int e^{3+2 x+\frac {e^{-x} x}{15}} x \, dx}{15 \log (2)}+\frac {\int \left (-\frac {\int e^{\frac {1}{15} \left (-15+e^{-x}\right ) x} \, dx}{x}+\frac {\int e^{\frac {1}{15} \left (-15+e^{-x}\right ) x} x \, dx}{x}\right ) \, dx}{15 \log (2)}+\frac {\int \frac {e^{\frac {e^{-x} x}{15}}}{x} \, dx}{\log (2)}-\frac {3 \int e^{3+3 x+\frac {e^{-x} x}{15}} \, dx}{\log (2)}+\frac {\log (x) \int e^{-x+\frac {e^{-x} x}{15}} \, dx}{15 \log (2)}-\frac {\log (x) \int e^{-x+\frac {e^{-x} x}{15}} x \, dx}{15 \log (2)} \\ & = -\frac {\int e^{3+2 x+\frac {e^{-x} x}{15}} \, dx}{15 \log (2)}+\frac {\int e^{3+2 x+\frac {e^{-x} x}{15}} x \, dx}{15 \log (2)}-\frac {\int \frac {\int e^{\frac {1}{15} \left (-15+e^{-x}\right ) x} \, dx}{x} \, dx}{15 \log (2)}+\frac {\int \frac {\int e^{\frac {1}{15} \left (-15+e^{-x}\right ) x} x \, dx}{x} \, dx}{15 \log (2)}+\frac {\int \frac {e^{\frac {e^{-x} x}{15}}}{x} \, dx}{\log (2)}-\frac {3 \int e^{3+3 x+\frac {e^{-x} x}{15}} \, dx}{\log (2)}+\frac {\log (x) \int e^{-x+\frac {e^{-x} x}{15}} \, dx}{15 \log (2)}-\frac {\log (x) \int e^{-x+\frac {e^{-x} x}{15}} x \, dx}{15 \log (2)} \\ \end{align*}

Mathematica [A] (verified)

Time = 2.14 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.10 \[ \int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{15 x \log (2)} \, dx=\frac {e^{\frac {e^{-x} x}{15}} \left (-15 e^{3+3 x}+15 \log (x)\right )}{15 \log (2)} \]

[In]

Integrate[(E^(-x + x/(15*E^x))*(15*E^x + E^(3 + 3*x)*(-x - 45*E^x*x + x^2) + (x - x^2)*Log[x]))/(15*x*Log[2]),
x]

[Out]

(E^(x/(15*E^x))*(-15*E^(3 + 3*x) + 15*Log[x]))/(15*Log[2])

Maple [A] (verified)

Time = 0.42 (sec) , antiderivative size = 28, normalized size of antiderivative = 0.90

method result size
risch \(\frac {\left (-15 \,{\mathrm e}^{3 x +3}+15 \ln \left (x \right )\right ) {\mathrm e}^{\frac {x \,{\mathrm e}^{-x}}{15}}}{15 \ln \left (2\right )}\) \(28\)
parallelrisch \(\frac {15 \,{\mathrm e}^{\frac {x \,{\mathrm e}^{-x}}{15}} \ln \left (x \right )-15 \,{\mathrm e}^{\frac {x \,{\mathrm e}^{-x}}{15}} {\mathrm e}^{3 x +3}}{15 \ln \left (2\right )}\) \(36\)

[In]

int(1/15*((-x^2+x)*ln(x)+(-45*exp(x)*x+x^2-x)*exp(3*x+3)+15*exp(x))*exp(1/15*x/exp(x))/x/ln(2)/exp(x),x,method
=_RETURNVERBOSE)

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.33 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.13 \[ \int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{15 x \log (2)} \, dx=\frac {{\left (e^{x} \log \left (x\right ) - e^{\left (4 \, x + 3\right )}\right )} e^{\left (-\frac {1}{15} \, {\left (15 \, x e^{x} - x\right )} e^{\left (-x\right )}\right )}}{\log \left (2\right )} \]

[In]

integrate(1/15*((-x^2+x)*log(x)+(-45*exp(x)*x+x^2-x)*exp(3*x+3)+15*exp(x))*exp(1/15*x/exp(x))/x/log(2)/exp(x),
x, algorithm="fricas")

[Out]

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

Sympy [A] (verification not implemented)

Time = 0.31 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.71 \[ \int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{15 x \log (2)} \, dx=\frac {\left (- e^{3} e^{3 x} + \log {\left (x \right )}\right ) e^{\frac {x e^{- x}}{15}}}{\log {\left (2 \right )}} \]

[In]

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

[Out]

(-exp(3)*exp(3*x) + log(x))*exp(x*exp(-x)/15)/log(2)

Maxima [F]

\[ \int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{15 x \log (2)} \, dx=\int { \frac {{\left ({\left (x^{2} - 45 \, x e^{x} - x\right )} e^{\left (3 \, x + 3\right )} - {\left (x^{2} - x\right )} \log \left (x\right ) + 15 \, e^{x}\right )} e^{\left (\frac {1}{15} \, x e^{\left (-x\right )} - x\right )}}{15 \, x \log \left (2\right )} \,d x } \]

[In]

integrate(1/15*((-x^2+x)*log(x)+(-45*exp(x)*x+x^2-x)*exp(3*x+3)+15*exp(x))*exp(1/15*x/exp(x))/x/log(2)/exp(x),
x, algorithm="maxima")

[Out]

-1/15*(15*e^(1/15*x*e^(-x) + 3*x + 3) - integrate(-((x^2 - x)*log(x) - 15*e^x)*e^(1/15*x*e^(-x) - x)/x, x))/lo
g(2)

Giac [F]

\[ \int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{15 x \log (2)} \, dx=\int { \frac {{\left ({\left (x^{2} - 45 \, x e^{x} - x\right )} e^{\left (3 \, x + 3\right )} - {\left (x^{2} - x\right )} \log \left (x\right ) + 15 \, e^{x}\right )} e^{\left (\frac {1}{15} \, x e^{\left (-x\right )} - x\right )}}{15 \, x \log \left (2\right )} \,d x } \]

[In]

integrate(1/15*((-x^2+x)*log(x)+(-45*exp(x)*x+x^2-x)*exp(3*x+3)+15*exp(x))*exp(1/15*x/exp(x))/x/log(2)/exp(x),
x, algorithm="giac")

[Out]

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

Mupad [F(-1)]

Timed out. \[ \int \frac {e^{-x+\frac {e^{-x} x}{15}} \left (15 e^x+e^{3+3 x} \left (-x-45 e^x x+x^2\right )+\left (x-x^2\right ) \log (x)\right )}{15 x \log (2)} \, dx=\int \frac {{\mathrm {e}}^{\frac {x\,{\mathrm {e}}^{-x}}{15}-x}\,\left (15\,{\mathrm {e}}^x+\ln \left (x\right )\,\left (x-x^2\right )-{\mathrm {e}}^{3\,x+3}\,\left (x+45\,x\,{\mathrm {e}}^x-x^2\right )\right )}{15\,x\,\ln \left (2\right )} \,d x \]

[In]

int((exp(-x)*exp((x*exp(-x))/15)*(15*exp(x) + log(x)*(x - x^2) - exp(3*x + 3)*(x + 45*x*exp(x) - x^2)))/(15*x*
log(2)),x)

[Out]

int((exp((x*exp(-x))/15 - x)*(15*exp(x) + log(x)*(x - x^2) - exp(3*x + 3)*(x + 45*x*exp(x) - x^2)))/(15*x*log(
2)), x)