3.102.12 \(\int \frac {-2 e^{x+2 e^{-x} (-2 x+2 x^2)} x-50 e^x x^3+e^{e^{-x} (-2 x+2 x^2)} (-4 x+12 x^2-4 x^3+e^x (-2+20 x^2))}{e^{x+2 e^{-x} (-2 x+2 x^2)} x^4+e^{x+e^{-x} (-2 x+2 x^2)} (4 x^3-10 x^5)+e^x (4 x^2-20 x^4+25 x^6)} \, dx\) [10112]

Optimal. Leaf size=30 \[ \frac {1}{\frac {2}{-5+\frac {e^{e^{-x} x (-2+2 x)}}{x}}+x^2} \]

[Out]

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

________________________________________________________________________________________

Rubi [F]
time = 29.29, 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 {-2 e^{x+2 e^{-x} \left (-2 x+2 x^2\right )} x-50 e^x x^3+e^{e^{-x} \left (-2 x+2 x^2\right )} \left (-4 x+12 x^2-4 x^3+e^x \left (-2+20 x^2\right )\right )}{e^{x+2 e^{-x} \left (-2 x+2 x^2\right )} x^4+e^{x+e^{-x} \left (-2 x+2 x^2\right )} \left (4 x^3-10 x^5\right )+e^x \left (4 x^2-20 x^4+25 x^6\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[(-2*E^(x + (2*(-2*x + 2*x^2))/E^x)*x - 50*E^x*x^3 + E^((-2*x + 2*x^2)/E^x)*(-4*x + 12*x^2 - 4*x^3 + E^x*(-
2 + 20*x^2)))/(E^(x + (2*(-2*x + 2*x^2))/E^x)*x^4 + E^(x + (-2*x + 2*x^2)/E^x)*(4*x^3 - 10*x^5) + E^x*(4*x^2 -
20*x^4 + 25*x^6)),x]

[Out]

x^(-2) - 4*Defer[Int][1/(E^x*(2 + E^((2*(-1 + x)*x)/E^x)*x - 5*x^2)), x] - 6*Defer[Int][1/(x^3*(-2 - E^((2*(-1
+ x)*x)/E^x)*x + 5*x^2)), x] + 4*Defer[Int][1/(E^x*x^2*(-2 - E^((2*(-1 + x)*x)/E^x)*x + 5*x^2)), x] - 12*Defe
r[Int][1/(E^x*x*(-2 - E^((2*(-1 + x)*x)/E^x)*x + 5*x^2)), x] - 12*Defer[Int][1/(E^(((-4 + E^x)*x)/E^x)*(-2*E^(
(2*x)/E^x) - E^((2*x^2)/E^x)*x + 5*E^((2*x)/E^x)*x^2)^2), x] + 8*Defer[Int][1/(E^(((-4 + E^x)*x)/E^x)*x^2*(-2*
E^((2*x)/E^x) - E^((2*x^2)/E^x)*x + 5*E^((2*x)/E^x)*x^2)^2), x] - 24*Defer[Int][1/(E^(((-4 + E^x)*x)/E^x)*x*(-
2*E^((2*x)/E^x) - E^((2*x^2)/E^x)*x + 5*E^((2*x)/E^x)*x^2)^2), x] + 60*Defer[Int][x/(E^(((-4 + E^x)*x)/E^x)*(-
2*E^((2*x)/E^x) - E^((2*x^2)/E^x)*x + 5*E^((2*x)/E^x)*x^2)^2), x] - 20*Defer[Int][x^2/(E^(((-4 + E^x)*x)/E^x)*
(-2*E^((2*x)/E^x) - E^((2*x^2)/E^x)*x + 5*E^((2*x)/E^x)*x^2)^2), x] - 4*Defer[Int][E^((4*x)/E^x)/(x^3*(E^((2*x
^2)/E^x)*x + E^((2*x)/E^x)*(2 - 5*x^2))^2), x] - 10*Defer[Int][E^((4*x)/E^x)/(x*(E^((2*x^2)/E^x)*x + E^((2*x)/
E^x)*(2 - 5*x^2))^2), x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {e^{-e^{-x} \left (-4+e^x\right ) x} \left (-2 e^{x+2 e^{-x} \left (-2 x+2 x^2\right )} x-50 e^x x^3+e^{e^{-x} \left (-2 x+2 x^2\right )} \left (-4 x+12 x^2-4 x^3+e^x \left (-2+20 x^2\right )\right )\right )}{x^2 \left (2 e^{2 e^{-x} x}+e^{2 e^{-x} x^2} x-5 e^{2 e^{-x} x} x^2\right )^2} \, dx\\ &=\int \left (-\frac {2}{x^3}+\frac {2 e^{-2 e^{-x} x-e^{-x} \left (-4+e^x\right ) x} \left (-3 e^x+2 x-6 x^2+2 x^3\right )}{x^3 \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )}-\frac {2 e^{-e^{-x} \left (-4+e^x\right ) x} \left (2 e^x-4 x+12 x^2+5 e^x x^2+6 x^3-30 x^4+10 x^5\right )}{x^3 \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2}\right ) \, dx\\ &=\frac {1}{x^2}+2 \int \frac {e^{-2 e^{-x} x-e^{-x} \left (-4+e^x\right ) x} \left (-3 e^x+2 x-6 x^2+2 x^3\right )}{x^3 \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )} \, dx-2 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x} \left (2 e^x-4 x+12 x^2+5 e^x x^2+6 x^3-30 x^4+10 x^5\right )}{x^3 \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx\\ &=\frac {1}{x^2}+2 \int \frac {e^{-x} \left (3 e^x-2 x \left (1-3 x+x^2\right )\right )}{x^3 \left (2+e^{2 e^{-x} (-1+x) x} x-5 x^2\right )} \, dx-2 \int \left (\frac {6 e^{-e^{-x} \left (-4+e^x\right ) x}}{\left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2}+\frac {2 e^{x-e^{-x} \left (-4+e^x\right ) x}}{x^3 \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2}-\frac {4 e^{-e^{-x} \left (-4+e^x\right ) x}}{x^2 \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2}+\frac {12 e^{-e^{-x} \left (-4+e^x\right ) x}}{x \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2}+\frac {5 e^{x-e^{-x} \left (-4+e^x\right ) x}}{x \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2}-\frac {30 e^{-e^{-x} \left (-4+e^x\right ) x} x}{\left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2}+\frac {10 e^{-e^{-x} \left (-4+e^x\right ) x} x^2}{\left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2}\right ) \, dx\\ &=\frac {1}{x^2}+2 \int \left (-\frac {2 e^{-x}}{2+e^{2 e^{-x} (-1+x) x} x-5 x^2}-\frac {3}{x^3 \left (-2-e^{2 e^{-x} (-1+x) x} x+5 x^2\right )}+\frac {2 e^{-x}}{x^2 \left (-2-e^{2 e^{-x} (-1+x) x} x+5 x^2\right )}-\frac {6 e^{-x}}{x \left (-2-e^{2 e^{-x} (-1+x) x} x+5 x^2\right )}\right ) \, dx-4 \int \frac {e^{x-e^{-x} \left (-4+e^x\right ) x}}{x^3 \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx+8 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x}}{x^2 \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx-10 \int \frac {e^{x-e^{-x} \left (-4+e^x\right ) x}}{x \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx-12 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x}}{\left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx-20 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x} x^2}{\left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx-24 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x}}{x \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx+60 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x} x}{\left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx\\ &=\frac {1}{x^2}-4 \int \frac {e^{-x}}{2+e^{2 e^{-x} (-1+x) x} x-5 x^2} \, dx+4 \int \frac {e^{-x}}{x^2 \left (-2-e^{2 e^{-x} (-1+x) x} x+5 x^2\right )} \, dx-4 \int \frac {e^{4 e^{-x} x}}{x^3 \left (e^{2 e^{-x} x^2} x+e^{2 e^{-x} x} \left (2-5 x^2\right )\right )^2} \, dx-6 \int \frac {1}{x^3 \left (-2-e^{2 e^{-x} (-1+x) x} x+5 x^2\right )} \, dx+8 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x}}{x^2 \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx-10 \int \frac {e^{4 e^{-x} x}}{x \left (e^{2 e^{-x} x^2} x+e^{2 e^{-x} x} \left (2-5 x^2\right )\right )^2} \, dx-12 \int \frac {e^{-x}}{x \left (-2-e^{2 e^{-x} (-1+x) x} x+5 x^2\right )} \, dx-12 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x}}{\left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx-20 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x} x^2}{\left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx-24 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x}}{x \left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx+60 \int \frac {e^{-e^{-x} \left (-4+e^x\right ) x} x}{\left (-2 e^{2 e^{-x} x}-e^{2 e^{-x} x^2} x+5 e^{2 e^{-x} x} x^2\right )^2} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [F]
time = 123.01, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {-2 e^{x+2 e^{-x} \left (-2 x+2 x^2\right )} x-50 e^x x^3+e^{e^{-x} \left (-2 x+2 x^2\right )} \left (-4 x+12 x^2-4 x^3+e^x \left (-2+20 x^2\right )\right )}{e^{x+2 e^{-x} \left (-2 x+2 x^2\right )} x^4+e^{x+e^{-x} \left (-2 x+2 x^2\right )} \left (4 x^3-10 x^5\right )+e^x \left (4 x^2-20 x^4+25 x^6\right )} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Integrate[(-2*E^(x + (2*(-2*x + 2*x^2))/E^x)*x - 50*E^x*x^3 + E^((-2*x + 2*x^2)/E^x)*(-4*x + 12*x^2 - 4*x^3 +
E^x*(-2 + 20*x^2)))/(E^(x + (2*(-2*x + 2*x^2))/E^x)*x^4 + E^(x + (-2*x + 2*x^2)/E^x)*(4*x^3 - 10*x^5) + E^x*(4
*x^2 - 20*x^4 + 25*x^6)),x]

[Out]

Integrate[(-2*E^(x + (2*(-2*x + 2*x^2))/E^x)*x - 50*E^x*x^3 + E^((-2*x + 2*x^2)/E^x)*(-4*x + 12*x^2 - 4*x^3 +
E^x*(-2 + 20*x^2)))/(E^(x + (2*(-2*x + 2*x^2))/E^x)*x^4 + E^(x + (-2*x + 2*x^2)/E^x)*(4*x^3 - 10*x^5) + E^x*(4
*x^2 - 20*x^4 + 25*x^6)), x]

________________________________________________________________________________________

Maple [A]
time = 0.09, size = 33, normalized size = 1.10

method	result	size
risch	\(\frac {1}{x^{2}}+\frac {2}{x^{2} \left (5 x^{2}-{\mathrm e}^{2 x \left (x -1\right ) {\mathrm e}^{-x}} x -2\right )}\)	\(33\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-2*x*exp(x)*exp((2*x^2-2*x)/exp(x))^2+((20*x^2-2)*exp(x)-4*x^3+12*x^2-4*x)*exp((2*x^2-2*x)/exp(x))-50*exp
(x)*x^3)/(x^4*exp(x)*exp((2*x^2-2*x)/exp(x))^2+(-10*x^5+4*x^3)*exp(x)*exp((2*x^2-2*x)/exp(x))+(25*x^6-20*x^4+4
*x^2)*exp(x)),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 62 vs. \(2 (27) = 54\).
time = 0.33, size = 62, normalized size = 2.07 \begin {gather*} -\frac {5 \, x e^{\left (2 \, x e^{\left (-x\right )}\right )} - e^{\left (2 \, x^{2} e^{\left (-x\right )}\right )}}{x^{2} e^{\left (2 \, x^{2} e^{\left (-x\right )}\right )} - {\left (5 \, x^{3} - 2 \, x\right )} e^{\left (2 \, x e^{\left (-x\right )}\right )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x*exp(x)*exp((2*x^2-2*x)/exp(x))^2+((20*x^2-2)*exp(x)-4*x^3+12*x^2-4*x)*exp((2*x^2-2*x)/exp(x))-
50*exp(x)*x^3)/(x^4*exp(x)*exp((2*x^2-2*x)/exp(x))^2+(-10*x^5+4*x^3)*exp(x)*exp((2*x^2-2*x)/exp(x))+(25*x^6-20
*x^4+4*x^2)*exp(x)),x, algorithm="maxima")

[Out]

-(5*x*e^(2*x*e^(-x)) - e^(2*x^2*e^(-x)))/(x^2*e^(2*x^2*e^(-x)) - (5*x^3 - 2*x)*e^(2*x*e^(-x)))

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 68 vs. \(2 (27) = 54\).
time = 0.37, size = 68, normalized size = 2.27 \begin {gather*} -\frac {5 \, x e^{x} - e^{\left ({\left (2 \, x^{2} + x e^{x} - 2 \, x\right )} e^{\left (-x\right )}\right )}}{x^{2} e^{\left ({\left (2 \, x^{2} + x e^{x} - 2 \, x\right )} e^{\left (-x\right )}\right )} - {\left (5 \, x^{3} - 2 \, x\right )} e^{x}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x*exp(x)*exp((2*x^2-2*x)/exp(x))^2+((20*x^2-2)*exp(x)-4*x^3+12*x^2-4*x)*exp((2*x^2-2*x)/exp(x))-
50*exp(x)*x^3)/(x^4*exp(x)*exp((2*x^2-2*x)/exp(x))^2+(-10*x^5+4*x^3)*exp(x)*exp((2*x^2-2*x)/exp(x))+(25*x^6-20
*x^4+4*x^2)*exp(x)),x, algorithm="fricas")

[Out]

-(5*x*e^x - e^((2*x^2 + x*e^x - 2*x)*e^(-x)))/(x^2*e^((2*x^2 + x*e^x - 2*x)*e^(-x)) - (5*x^3 - 2*x)*e^x)

________________________________________________________________________________________

Sympy [A]
time = 0.14, size = 32, normalized size = 1.07 \begin {gather*} - \frac {2}{- 5 x^{4} + x^{3} e^{\left (2 x^{2} - 2 x\right ) e^{- x}} + 2 x^{2}} + \frac {1}{x^{2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x*exp(x)*exp((2*x**2-2*x)/exp(x))**2+((20*x**2-2)*exp(x)-4*x**3+12*x**2-4*x)*exp((2*x**2-2*x)/ex
p(x))-50*exp(x)*x**3)/(x**4*exp(x)*exp((2*x**2-2*x)/exp(x))**2+(-10*x**5+4*x**3)*exp(x)*exp((2*x**2-2*x)/exp(x
))+(25*x**6-20*x**4+4*x**2)*exp(x)),x)

[Out]

-2/(-5*x**4 + x**3*exp((2*x**2 - 2*x)*exp(-x)) + 2*x**2) + x**(-2)

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 2753 vs. \(2 (27) = 54\).
time = 0.57, size = 2753, normalized size = 91.77 \begin {gather*} \text {Too large to display} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-2*x*exp(x)*exp((2*x^2-2*x)/exp(x))^2+((20*x^2-2)*exp(x)-4*x^3+12*x^2-4*x)*exp((2*x^2-2*x)/exp(x))-
50*exp(x)*x^3)/(x^4*exp(x)*exp((2*x^2-2*x)/exp(x))^2+(-10*x^5+4*x^3)*exp(x)*exp((2*x^2-2*x)/exp(x))+(25*x^6-20
*x^4+4*x^2)*exp(x)),x, algorithm="giac")

[Out]

(6250*x^12*e^(6*x*e^(-x) + 3/2*x) - 5000*x^11*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) - 18750*x^11*e^(6*x*e^(-x)
+ 3/2*x) + 1500*x^10*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) + 15000*x^10*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x)
- 3750*x^10*e^(6*x*e^(-x) + 3/2*x) - 200*x^9*e^(6*x^2*e^(-x) + 3/2*x) - 4500*x^9*e^(4*x^2*e^(-x) + 2*x*e^(-x)
+ 3/2*x) + 1500*x^9*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) + 3125*x^9*e^(6*x*e^(-x) + 5/2*x) + 30000*x^9*e^(6*
x*e^(-x) + 3/2*x) + 10*x^8*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 3/2*x) + 600*x^8*e^(6*x^2*e^(-x) + 3/2*x) - 2500*x^8
*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 5/2*x) - 19500*x^8*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) - 4000*x^8*e^(6*x*e^(
-x) + 3/2*x) - 30*x^7*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 3/2*x) - 60*x^7*e^(6*x^2*e^(-x) + 3/2*x) + 750*x^7*e^(4*x
^2*e^(-x) + 2*x*e^(-x) + 5/2*x) + 4500*x^7*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) + 3500*x^7*e^(2*x^2*e^(-x) +
4*x*e^(-x) + 3/2*x) - 2500*x^7*e^(6*x*e^(-x) + 5/2*x) - 18000*x^7*e^(6*x*e^(-x) + 3/2*x) + 6*x^6*e^(8*x^2*e^(-
x) - 2*x*e^(-x) + 3/2*x) - 100*x^6*e^(6*x^2*e^(-x) + 5/2*x) - 420*x^6*e^(6*x^2*e^(-x) + 3/2*x) - 1020*x^6*e^(4
*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) + 1250*x^6*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 5/2*x) + 9000*x^6*e^(2*x^2*e^(-x)
+ 4*x*e^(-x) + 3/2*x) + 4400*x^6*e^(6*x*e^(-x) + 3/2*x) + 5*x^5*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 5/2*x) + 12*x^5
*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 3/2*x) + 116*x^5*e^(6*x^2*e^(-x) + 3/2*x) - 150*x^5*e^(4*x^2*e^(-x) + 2*x*e^(-
x) + 5/2*x) - 1440*x^5*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) - 2440*x^5*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x)
+ 4800*x^5*e^(6*x*e^(-x) + 3/2*x) - 4*x^4*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 3/2*x) - 10*x^4*e^(6*x^2*e^(-x) + 5/2
*x) + 72*x^4*e^(6*x^2*e^(-x) + 3/2*x) + 432*x^4*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) + 300*x^4*e^(2*x^2*e^(-x
) + 4*x*e^(-x) + 5/2*x) - 1680*x^4*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) - 1440*x^4*e^(6*x*e^(-x) + 3/2*x) + 2
*x^3*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 5/2*x) - 24*x^3*e^(6*x^2*e^(-x) + 3/2*x) - 120*x^3*e^(4*x^2*e^(-x) + 2*x*e
^(-x) + 5/2*x) + 144*x^3*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) + 528*x^3*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x)
+ 400*x^3*e^(6*x*e^(-x) + 5/2*x) - 480*x^3*e^(6*x*e^(-x) + 3/2*x) + 12*x^2*e^(6*x^2*e^(-x) + 5/2*x) - 48*x^2*
e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) - 200*x^2*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 5/2*x) + 96*x^2*e^(2*x^2*e^(-x)
+ 4*x*e^(-x) + 3/2*x) + 160*x^2*e^(6*x*e^(-x) + 3/2*x) + 24*x*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 5/2*x) - 32*x*e^
(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) - 80*x*e^(6*x*e^(-x) + 5/2*x) + 16*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 5/2*x))/
(6250*x^14*e^(6*x*e^(-x) + 3/2*x) - 5000*x^13*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) - 18750*x^13*e^(6*x*e^(-x)
+ 3/2*x) + 1500*x^12*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) + 15000*x^12*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x)
- 6250*x^12*e^(6*x*e^(-x) + 3/2*x) - 200*x^11*e^(6*x^2*e^(-x) + 3/2*x) - 4500*x^11*e^(4*x^2*e^(-x) + 2*x*e^(-
x) + 3/2*x) + 3000*x^11*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) + 3125*x^11*e^(6*x*e^(-x) + 5/2*x) + 37500*x^11*
e^(6*x*e^(-x) + 3/2*x) + 10*x^10*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 3/2*x) + 600*x^10*e^(6*x^2*e^(-x) + 3/2*x) - 3
00*x^10*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) - 2500*x^10*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 5/2*x) - 24000*x^10*e
^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) - 2500*x^10*e^(6*x*e^(-x) + 3/2*x) - 30*x^9*e^(8*x^2*e^(-x) - 2*x*e^(-x)
+ 3/2*x) - 40*x^9*e^(6*x^2*e^(-x) + 3/2*x) + 750*x^9*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 5/2*x) + 5400*x^9*e^(4*x^2
*e^(-x) + 2*x*e^(-x) + 3/2*x) + 3200*x^9*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) - 3750*x^9*e^(6*x*e^(-x) + 5/2*
x) - 30000*x^9*e^(6*x*e^(-x) + 3/2*x) + 6*x^8*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 3/2*x) - 100*x^8*e^(6*x^2*e^(-x)
+ 5/2*x) - 480*x^8*e^(6*x^2*e^(-x) + 3/2*x) - 1080*x^8*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) + 2000*x^8*e^(2*x
^2*e^(-x) + 4*x*e^(-x) + 5/2*x) + 14400*x^8*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) + 6000*x^8*e^(6*x*e^(-x) + 3
/2*x) + 5*x^7*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 5/2*x) + 12*x^7*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 3/2*x) + 128*x^7*e
^(6*x^2*e^(-x) + 3/2*x) - 300*x^7*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 5/2*x) - 2160*x^7*e^(4*x^2*e^(-x) + 2*x*e^(-x
) + 3/2*x) - 3520*x^7*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) + 1000*x^7*e^(6*x*e^(-x) + 5/2*x) + 12000*x^7*e^(6
*x*e^(-x) + 3/2*x) - 4*x^6*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 3/2*x) + 96*x^6*e^(6*x^2*e^(-x) + 3/2*x) + 624*x^6*e
^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) - 3840*x^6*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) - 3200*x^6*e^(6*x*e^(-x)
+ 3/2*x) + 2*x^5*e^(8*x^2*e^(-x) - 2*x*e^(-x) + 5/2*x) - 32*x^5*e^(6*x^2*e^(-x) + 3/2*x) - 120*x^5*e^(4*x^2*e
^(-x) + 2*x*e^(-x) + 5/2*x) + 288*x^5*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) + 1152*x^5*e^(2*x^2*e^(-x) + 4*x*e
^(-x) + 3/2*x) + 400*x^5*e^(6*x*e^(-x) + 5/2*x) - 2400*x^5*e^(6*x*e^(-x) + 3/2*x) + 16*x^4*e^(6*x^2*e^(-x) + 5
/2*x) - 96*x^4*e^(4*x^2*e^(-x) + 2*x*e^(-x) + 3/2*x) - 320*x^4*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 5/2*x) + 384*x^4
*e^(2*x^2*e^(-x) + 4*x*e^(-x) + 3/2*x) + 736*x^4*e^(6*x*e^(-x) + 3/2*x) + 48*x^3*e^(4*x^2*e^(-x) + 2*x*e^(-x)
+ 5/2*x) - 128*x^3*e^(2*x^2*e^(-x) + 4*x*e^(-x)...

________________________________________________________________________________________

Mupad [B]
time = 8.75, size = 41, normalized size = 1.37 \begin {gather*} \frac {1}{x^2}-\frac {2}{2\,x^2-5\,x^4+x^3\,{\mathrm {e}}^{-2\,x\,{\mathrm {e}}^{-x}}\,{\mathrm {e}}^{2\,x^2\,{\mathrm {e}}^{-x}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(50*x^3*exp(x) + exp(-exp(-x)*(2*x - 2*x^2))*(4*x - exp(x)*(20*x^2 - 2) - 12*x^2 + 4*x^3) + 2*x*exp(-2*ex
p(-x)*(2*x - 2*x^2))*exp(x))/(exp(x)*(4*x^2 - 20*x^4 + 25*x^6) + exp(-exp(-x)*(2*x - 2*x^2))*exp(x)*(4*x^3 - 1
0*x^5) + x^4*exp(-2*exp(-x)*(2*x - 2*x^2))*exp(x)),x)

[Out]

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

________________________________________________________________________________________