3.12.25 \(\int \frac {e^{\frac {8-6 x+5 x^2-x^3-x^4+e^{4 e^{x^2} x} (4-5 x+x^2+x^3)}{e^{4 e^{x^2} x} (-4+x)+4 x-x^2}} (-32+16 x+14 x^2-8 x^3-11 x^4+2 x^5+e^{8 e^{x^2} x} (16-8 x-11 x^2+2 x^3)+e^{4 e^{x^2} x} (-32 x+16 x^2+22 x^3-4 x^4+e^{x^2} (128-64 x+264 x^2-128 x^3+16 x^4)))}{16 x^2-8 x^3+x^4+e^{8 e^{x^2} x} (16-8 x+x^2)+e^{4 e^{x^2} x} (-32 x+16 x^2-2 x^3)} \, dx\)

Optimal. Leaf size=32 \[ e^{-1-\frac {2}{e^{4 e^{x^2} x}-x}+x+\frac {x^3}{-4+x}} \]

________________________________________________________________________________________

Rubi [F]  time = 180.00, 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*} \text {\$Aborted} \end {gather*}

Verification is not applicable to the result.

[In]

Int[(E^((8 - 6*x + 5*x^2 - x^3 - x^4 + E^(4*E^x^2*x)*(4 - 5*x + x^2 + x^3))/(E^(4*E^x^2*x)*(-4 + x) + 4*x - x^
2))*(-32 + 16*x + 14*x^2 - 8*x^3 - 11*x^4 + 2*x^5 + E^(8*E^x^2*x)*(16 - 8*x - 11*x^2 + 2*x^3) + E^(4*E^x^2*x)*
(-32*x + 16*x^2 + 22*x^3 - 4*x^4 + E^x^2*(128 - 64*x + 264*x^2 - 128*x^3 + 16*x^4))))/(16*x^2 - 8*x^3 + x^4 +
E^(8*E^x^2*x)*(16 - 8*x + x^2) + E^(4*E^x^2*x)*(-32*x + 16*x^2 - 2*x^3)),x]

[Out]

$Aborted

Rubi steps

Aborted

________________________________________________________________________________________

Mathematica [A]  time = 0.42, size = 35, normalized size = 1.09 \begin {gather*} e^{15-\frac {2}{e^{4 e^{x^2} x}-x}+\frac {64}{-4+x}+5 x+x^2} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(E^((8 - 6*x + 5*x^2 - x^3 - x^4 + E^(4*E^x^2*x)*(4 - 5*x + x^2 + x^3))/(E^(4*E^x^2*x)*(-4 + x) + 4*
x - x^2))*(-32 + 16*x + 14*x^2 - 8*x^3 - 11*x^4 + 2*x^5 + E^(8*E^x^2*x)*(16 - 8*x - 11*x^2 + 2*x^3) + E^(4*E^x
^2*x)*(-32*x + 16*x^2 + 22*x^3 - 4*x^4 + E^x^2*(128 - 64*x + 264*x^2 - 128*x^3 + 16*x^4))))/(16*x^2 - 8*x^3 +
x^4 + E^(8*E^x^2*x)*(16 - 8*x + x^2) + E^(4*E^x^2*x)*(-32*x + 16*x^2 - 2*x^3)),x]

[Out]

E^(15 - 2/(E^(4*E^x^2*x) - x) + 64/(-4 + x) + 5*x + x^2)

________________________________________________________________________________________

fricas [B]  time = 1.03, size = 61, normalized size = 1.91 \begin {gather*} e^{\left (\frac {x^{4} + x^{3} - 5 \, x^{2} - {\left (x^{3} + x^{2} - 5 \, x + 4\right )} e^{\left (4 \, x e^{\left (x^{2}\right )}\right )} + 6 \, x - 8}{x^{2} - {\left (x - 4\right )} e^{\left (4 \, x e^{\left (x^{2}\right )}\right )} - 4 \, x}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x^3-11*x^2-8*x+16)*exp(4*exp(x^2)*x)^2+((16*x^4-128*x^3+264*x^2-64*x+128)*exp(x^2)-4*x^4+22*x^3+
16*x^2-32*x)*exp(4*exp(x^2)*x)+2*x^5-11*x^4-8*x^3+14*x^2+16*x-32)*exp(((x^3+x^2-5*x+4)*exp(4*exp(x^2)*x)-x^4-x
^3+5*x^2-6*x+8)/((x-4)*exp(4*exp(x^2)*x)-x^2+4*x))/((x^2-8*x+16)*exp(4*exp(x^2)*x)^2+(-2*x^3+16*x^2-32*x)*exp(
4*exp(x^2)*x)+x^4-8*x^3+16*x^2),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [F(-2)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x^3-11*x^2-8*x+16)*exp(4*exp(x^2)*x)^2+((16*x^4-128*x^3+264*x^2-64*x+128)*exp(x^2)-4*x^4+22*x^3+
16*x^2-32*x)*exp(4*exp(x^2)*x)+2*x^5-11*x^4-8*x^3+14*x^2+16*x-32)*exp(((x^3+x^2-5*x+4)*exp(4*exp(x^2)*x)-x^4-x
^3+5*x^2-6*x+8)/((x-4)*exp(4*exp(x^2)*x)-x^2+4*x))/((x^2-8*x+16)*exp(4*exp(x^2)*x)^2+(-2*x^3+16*x^2-32*x)*exp(
4*exp(x^2)*x)+x^4-8*x^3+16*x^2),x, algorithm="giac")

[Out]

Exception raised: TypeError >> An error occurred running a Giac command:INPUT:sage2:=int(sage0,sageVARx):;OUTP
UT:Evaluation time: 40.18Unable to divide, perhaps due to rounding error%%%{4194304,[0,6,35]%%%}+%%%{-25794969
6,[0,6,34]%

________________________________________________________________________________________

maple [B]  time = 0.39, size = 85, normalized size = 2.66




method result size



risch \({\mathrm e}^{\frac {-{\mathrm e}^{4 \,{\mathrm e}^{x^{2}} x} x^{3}+x^{4}-{\mathrm e}^{4 \,{\mathrm e}^{x^{2}} x} x^{2}+x^{3}+5 \,{\mathrm e}^{4 \,{\mathrm e}^{x^{2}} x} x -5 x^{2}-4 \,{\mathrm e}^{4 \,{\mathrm e}^{x^{2}} x}+6 x -8}{\left (x -4\right ) \left (-{\mathrm e}^{4 \,{\mathrm e}^{x^{2}} x}+x \right )}}\) \(85\)



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((2*x^3-11*x^2-8*x+16)*exp(4*exp(x^2)*x)^2+((16*x^4-128*x^3+264*x^2-64*x+128)*exp(x^2)-4*x^4+22*x^3+16*x^2
-32*x)*exp(4*exp(x^2)*x)+2*x^5-11*x^4-8*x^3+14*x^2+16*x-32)*exp(((x^3+x^2-5*x+4)*exp(4*exp(x^2)*x)-x^4-x^3+5*x
^2-6*x+8)/((x-4)*exp(4*exp(x^2)*x)-x^2+4*x))/((x^2-8*x+16)*exp(4*exp(x^2)*x)^2+(-2*x^3+16*x^2-32*x)*exp(4*exp(
x^2)*x)+x^4-8*x^3+16*x^2),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [B]  time = 1.79, size = 127, normalized size = 3.97 \begin {gather*} e^{\left (x^{2} + 5 \, x + \frac {2 \, e^{\left (4 \, x e^{\left (x^{2}\right )}\right )}}{{\left (x + 4\right )} e^{\left (4 \, x e^{\left (x^{2}\right )}\right )} - 4 \, x - e^{\left (8 \, x e^{\left (x^{2}\right )}\right )}} + \frac {64 \, e^{\left (4 \, x e^{\left (x^{2}\right )}\right )}}{{\left (x - 4\right )} e^{\left (4 \, x e^{\left (x^{2}\right )}\right )} - 4 \, x + 16} - \frac {8}{{\left (x + 4\right )} e^{\left (4 \, x e^{\left (x^{2}\right )}\right )} - 4 \, x - e^{\left (8 \, x e^{\left (x^{2}\right )}\right )}} - \frac {256}{{\left (x - 4\right )} e^{\left (4 \, x e^{\left (x^{2}\right )}\right )} - 4 \, x + 16} + 15\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x^3-11*x^2-8*x+16)*exp(4*exp(x^2)*x)^2+((16*x^4-128*x^3+264*x^2-64*x+128)*exp(x^2)-4*x^4+22*x^3+
16*x^2-32*x)*exp(4*exp(x^2)*x)+2*x^5-11*x^4-8*x^3+14*x^2+16*x-32)*exp(((x^3+x^2-5*x+4)*exp(4*exp(x^2)*x)-x^4-x
^3+5*x^2-6*x+8)/((x-4)*exp(4*exp(x^2)*x)-x^2+4*x))/((x^2-8*x+16)*exp(4*exp(x^2)*x)^2+(-2*x^3+16*x^2-32*x)*exp(
4*exp(x^2)*x)+x^4-8*x^3+16*x^2),x, algorithm="maxima")

[Out]

e^(x^2 + 5*x + 2*e^(4*x*e^(x^2))/((x + 4)*e^(4*x*e^(x^2)) - 4*x - e^(8*x*e^(x^2))) + 64*e^(4*x*e^(x^2))/((x -
4)*e^(4*x*e^(x^2)) - 4*x + 16) - 8/((x + 4)*e^(4*x*e^(x^2)) - 4*x - e^(8*x*e^(x^2))) - 256/((x - 4)*e^(4*x*e^(
x^2)) - 4*x + 16) + 15)

________________________________________________________________________________________

mupad [B]  time = 1.34, size = 354, normalized size = 11.06 \begin {gather*} {\mathrm {e}}^{\frac {x^2\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}}{4\,x-4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}+x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}-x^2}}\,{\mathrm {e}}^{\frac {x^3\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}}{4\,x-4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}+x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}-x^2}}\,{\mathrm {e}}^{-\frac {6\,x}{4\,x-4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}+x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}-x^2}}\,{\mathrm {e}}^{\frac {4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}}{4\,x-4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}+x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}-x^2}}\,{\mathrm {e}}^{-\frac {x^3}{4\,x-4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}+x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}-x^2}}\,{\mathrm {e}}^{-\frac {x^4}{4\,x-4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}+x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}-x^2}}\,{\mathrm {e}}^{\frac {5\,x^2}{4\,x-4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}+x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}-x^2}}\,{\mathrm {e}}^{-\frac {5\,x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}}{4\,x-4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}+x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}-x^2}}\,{\mathrm {e}}^{\frac {8}{4\,x-4\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}+x\,{\mathrm {e}}^{4\,x\,{\mathrm {e}}^{x^2}}-x^2}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(-(6*x - exp(4*x*exp(x^2))*(x^2 - 5*x + x^3 + 4) - 5*x^2 + x^3 + x^4 - 8)/(4*x + exp(4*x*exp(x^2))*(x
- 4) - x^2))*(16*x + exp(4*x*exp(x^2))*(exp(x^2)*(264*x^2 - 64*x - 128*x^3 + 16*x^4 + 128) - 32*x + 16*x^2 + 2
2*x^3 - 4*x^4) - exp(8*x*exp(x^2))*(8*x + 11*x^2 - 2*x^3 - 16) + 14*x^2 - 8*x^3 - 11*x^4 + 2*x^5 - 32))/(16*x^
2 - exp(4*x*exp(x^2))*(32*x - 16*x^2 + 2*x^3) - 8*x^3 + x^4 + exp(8*x*exp(x^2))*(x^2 - 8*x + 16)),x)

[Out]

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

________________________________________________________________________________________

sympy [B]  time = 4.84, size = 60, normalized size = 1.88 \begin {gather*} e^{\frac {- x^{4} - x^{3} + 5 x^{2} - 6 x + \left (x^{3} + x^{2} - 5 x + 4\right ) e^{4 x e^{x^{2}}} + 8}{- x^{2} + 4 x + \left (x - 4\right ) e^{4 x e^{x^{2}}}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((2*x**3-11*x**2-8*x+16)*exp(4*exp(x**2)*x)**2+((16*x**4-128*x**3+264*x**2-64*x+128)*exp(x**2)-4*x**
4+22*x**3+16*x**2-32*x)*exp(4*exp(x**2)*x)+2*x**5-11*x**4-8*x**3+14*x**2+16*x-32)*exp(((x**3+x**2-5*x+4)*exp(4
*exp(x**2)*x)-x**4-x**3+5*x**2-6*x+8)/((x-4)*exp(4*exp(x**2)*x)-x**2+4*x))/((x**2-8*x+16)*exp(4*exp(x**2)*x)**
2+(-2*x**3+16*x**2-32*x)*exp(4*exp(x**2)*x)+x**4-8*x**3+16*x**2),x)

[Out]

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

________________________________________________________________________________________