Integrand size = 71, antiderivative size = 28 \[ \int e^{-x+e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )+\frac {3-e^{e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )} \log (3)}{\log (3)}} \left (5-5 x-3 e^x x^2\right ) \, dx=e^{-e^{1+x \left (-5 e^{-x}+x^2\right )}+\frac {3}{\log (3)}} \]
Time = 2.06 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.93 \[ \int e^{-x+e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )+\frac {3-e^{e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )} \log (3)}{\log (3)}} \left (5-5 x-3 e^x x^2\right ) \, dx=e^{-e^{1-5 e^{-x} x+x^3}+\frac {3}{\log (3)}} \]
Integrate[E^(-x + (-5*x + E^x*(1 + x^3))/E^x + (3 - E^((-5*x + E^x*(1 + x^ 3))/E^x)*Log[3])/Log[3])*(5 - 5*x - 3*E^x*x^2),x]
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \left (-3 e^x x^2-5 x+5\right ) \exp \left (e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )+\frac {3-e^{e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )} \log (3)}{\log (3)}-x\right ) \, dx\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle \int \left (-5 x \exp \left (e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )+\frac {3-e^{e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )} \log (3)}{\log (3)}-x\right )+5 \exp \left (e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )+\frac {3-e^{e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )} \log (3)}{\log (3)}-x\right )-3 x^2 \exp \left (e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )+\frac {3-e^{e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )} \log (3)}{\log (3)}\right )\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle 5 \int \exp \left (-x+e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )+\frac {3-e^{e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )} \log (3)}{\log (3)}\right )dx-5 \int \exp \left (-x+e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )+\frac {3-e^{e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )} \log (3)}{\log (3)}\right ) xdx-3 \int \exp \left (e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )+\frac {3-e^{e^{-x} \left (e^x \left (x^3+1\right )-5 x\right )} \log (3)}{\log (3)}\right ) x^2dx\) |
Int[E^(-x + (-5*x + E^x*(1 + x^3))/E^x + (3 - E^((-5*x + E^x*(1 + x^3))/E^ x)*Log[3])/Log[3])*(5 - 5*x - 3*E^x*x^2),x]
3.8.42.3.1 Defintions of rubi rules used
Time = 1.16 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.11
method | result | size |
norman | \({\mathrm e}^{\frac {-\ln \left (3\right ) {\mathrm e}^{\left (\left (x^{3}+1\right ) {\mathrm e}^{x}-5 x \right ) {\mathrm e}^{-x}}+3}{\ln \left (3\right )}}\) | \(31\) |
risch | \({\mathrm e}^{-\frac {\ln \left (3\right ) {\mathrm e}^{\left ({\mathrm e}^{x} x^{3}+{\mathrm e}^{x}-5 x \right ) {\mathrm e}^{-x}}-3}{\ln \left (3\right )}}\) | \(31\) |
parallelrisch | \({\mathrm e}^{-\frac {\ln \left (3\right ) {\mathrm e}^{\left ({\mathrm e}^{x} x^{3}+{\mathrm e}^{x}-5 x \right ) {\mathrm e}^{-x}}-3}{\ln \left (3\right )}}\) | \(31\) |
int((-3*exp(x)*x^2-5*x+5)*exp(((x^3+1)*exp(x)-5*x)/exp(x))*exp((-ln(3)*exp (((x^3+1)*exp(x)-5*x)/exp(x))+3)/ln(3))/exp(x),x,method=_RETURNVERBOSE)
Leaf count of result is larger than twice the leaf count of optimal. 76 vs. \(2 (25) = 50\).
Time = 0.24 (sec) , antiderivative size = 76, normalized size of antiderivative = 2.71 \[ \int e^{-x+e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )+\frac {3-e^{e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )} \log (3)}{\log (3)}} \left (5-5 x-3 e^x x^2\right ) \, dx=e^{\left (-{\left ({\left (x^{3} + 1\right )} e^{x} - 5 \, x\right )} e^{\left (-x\right )} + x + \frac {{\left ({\left ({\left (x^{3} - x + 1\right )} \log \left (3\right ) + 3\right )} e^{x} - 5 \, x \log \left (3\right ) - e^{\left ({\left ({\left (x^{3} + 1\right )} e^{x} - 5 \, x\right )} e^{\left (-x\right )} + x\right )} \log \left (3\right )\right )} e^{\left (-x\right )}}{\log \left (3\right )}\right )} \]
integrate((-3*exp(x)*x^2-5*x+5)*exp(((x^3+1)*exp(x)-5*x)/exp(x))*exp((-log (3)*exp(((x^3+1)*exp(x)-5*x)/exp(x))+3)/log(3))/exp(x),x, algorithm=\
e^(-((x^3 + 1)*e^x - 5*x)*e^(-x) + x + (((x^3 - x + 1)*log(3) + 3)*e^x - 5 *x*log(3) - e^(((x^3 + 1)*e^x - 5*x)*e^(-x) + x)*log(3))*e^(-x)/log(3))
Time = 0.36 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.93 \[ \int e^{-x+e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )+\frac {3-e^{e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )} \log (3)}{\log (3)}} \left (5-5 x-3 e^x x^2\right ) \, dx=e^{\frac {- e^{\left (- 5 x + \left (x^{3} + 1\right ) e^{x}\right ) e^{- x}} \log {\left (3 \right )} + 3}{\log {\left (3 \right )}}} \]
integrate((-3*exp(x)*x**2-5*x+5)*exp(((x**3+1)*exp(x)-5*x)/exp(x))*exp((-l n(3)*exp(((x**3+1)*exp(x)-5*x)/exp(x))+3)/ln(3))/exp(x),x)
Time = 0.55 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.82 \[ \int e^{-x+e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )+\frac {3-e^{e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )} \log (3)}{\log (3)}} \left (5-5 x-3 e^x x^2\right ) \, dx=e^{\left (\frac {3}{\log \left (3\right )} - e^{\left (x^{3} - 5 \, x e^{\left (-x\right )} + 1\right )}\right )} \]
integrate((-3*exp(x)*x^2-5*x+5)*exp(((x^3+1)*exp(x)-5*x)/exp(x))*exp((-log (3)*exp(((x^3+1)*exp(x)-5*x)/exp(x))+3)/log(3))/exp(x),x, algorithm=\
\[ \int e^{-x+e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )+\frac {3-e^{e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )} \log (3)}{\log (3)}} \left (5-5 x-3 e^x x^2\right ) \, dx=\int { -{\left (3 \, x^{2} e^{x} + 5 \, x - 5\right )} e^{\left ({\left ({\left (x^{3} + 1\right )} e^{x} - 5 \, x\right )} e^{\left (-x\right )} - x - \frac {e^{\left ({\left ({\left (x^{3} + 1\right )} e^{x} - 5 \, x\right )} e^{\left (-x\right )}\right )} \log \left (3\right ) - 3}{\log \left (3\right )}\right )} \,d x } \]
integrate((-3*exp(x)*x^2-5*x+5)*exp(((x^3+1)*exp(x)-5*x)/exp(x))*exp((-log (3)*exp(((x^3+1)*exp(x)-5*x)/exp(x))+3)/log(3))/exp(x),x, algorithm=\
integrate(-(3*x^2*e^x + 5*x - 5)*e^(((x^3 + 1)*e^x - 5*x)*e^(-x) - x - (e^ (((x^3 + 1)*e^x - 5*x)*e^(-x))*log(3) - 3)/log(3)), x)
Time = 9.05 (sec) , antiderivative size = 25, normalized size of antiderivative = 0.89 \[ \int e^{-x+e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )+\frac {3-e^{e^{-x} \left (-5 x+e^x \left (1+x^3\right )\right )} \log (3)}{\log (3)}} \left (5-5 x-3 e^x x^2\right ) \, dx={\mathrm {e}}^{\frac {3}{\ln \left (3\right )}}\,{\mathrm {e}}^{-{\mathrm {e}}^{x^3}\,\mathrm {e}\,{\mathrm {e}}^{-5\,x\,{\mathrm {e}}^{-x}}} \]