3.33.24 e2(121x2+36e4x2+36e8x2+22x3+x4+e2(132x212x3)+e4(132x272e2x2+12x3))48x+4x2+e2(4+8x4x2)+e4(12x+x2)+e8(12x+x2)+e4(48x+4x2+e2(2+4x2x2))(484x144e4x144e8x132x2+36x3+4x4+e2(528x+72x224x3)+e4(528x+288e2x72x2+24x3))4+12x12x2+4x3+e2(412x+12x24x3)+e4(1+3x3x2+x3)+e8(1+3x3x2+x3)+e4(4+12x12x2+4x3+e2(26x+6x22x3))dx

Optimal. Leaf size=29 e2(x2+e2e46x1+x)2

________________________________________________________________________________________

Rubi [A]  time = 4.24, antiderivative size = 41, normalized size of antiderivative = 1.41, number of steps used = 6, number of rules used = 4, integrand size = 332, number of rulesintegrand size = 0.012, Rules used = {6, 6688, 12, 6706} exp(2x2(x+6e46e2+11)2(2e2+e4)2(1x)2)

Antiderivative was successfully verified.

[In]

Int[(E^((2*(121*x^2 + 36*E^4*x^2 + 36*E^8*x^2 + 22*x^3 + x^4 + E^2*(-132*x^2 - 12*x^3) + E^4*(132*x^2 - 72*E^2
*x^2 + 12*x^3)))/(4 - 8*x + 4*x^2 + E^2*(-4 + 8*x - 4*x^2) + E^4*(1 - 2*x + x^2) + E^8*(1 - 2*x + x^2) + E^4*(
4 - 8*x + 4*x^2 + E^2*(-2 + 4*x - 2*x^2))))*(-484*x - 144*E^4*x - 144*E^8*x - 132*x^2 + 36*x^3 + 4*x^4 + E^2*(
528*x + 72*x^2 - 24*x^3) + E^4*(-528*x + 288*E^2*x - 72*x^2 + 24*x^3)))/(-4 + 12*x - 12*x^2 + 4*x^3 + E^2*(4 -
 12*x + 12*x^2 - 4*x^3) + E^4*(-1 + 3*x - 3*x^2 + x^3) + E^8*(-1 + 3*x - 3*x^2 + x^3) + E^4*(-4 + 12*x - 12*x^
2 + 4*x^3 + E^2*(2 - 6*x + 6*x^2 - 2*x^3))),x]

[Out]

E^((2*x^2*(11 - 6*E^2 + 6*E^4 + x)^2)/((2 - E^2 + E^4)^2*(1 - x)^2))

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 6688

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rule 6706

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

integral=exp(2(121x2+36e4x2+36e8x2+22x3+x4+e2(132x212x3)+e4(132x272e2x2+12x3))48x+4x2+e2(4+8x4x2)+e4(12x+x2)+e8(12x+x2)+e4(48x+4x2+e2(2+4x2x2)))(144e8x+(484144e4)x132x2+36x3+4x4+e2(528x+72x224x3)+e4(528x+288e2x72x2+24x3))4+12x12x2+4x3+e2(412x+12x24x3)+e4(1+3x3x2+x3)+e8(1+3x3x2+x3)+e4(4+12x12x2+4x3+e2(26x+6x22x3))dx=exp(2(121x2+36e4x2+36e8x2+22x3+x4+e2(132x212x3)+e4(132x272e2x2+12x3))48x+4x2+e2(4+8x4x2)+e4(12x+x2)+e8(12x+x2)+e4(48x+4x2+e2(2+4x2x2)))((484144e4144e8)x132x2+36x3+4x4+e2(528x+72x224x3)+e4(528x+288e2x72x2+24x3))4+12x12x2+4x3+e2(412x+12x24x3)+e4(1+3x3x2+x3)+e8(1+3x3x2+x3)+e4(4+12x12x2+4x3+e2(26x+6x22x3))dx=exp(2(121x2+36e4x2+36e8x2+22x3+x4+e2(132x212x3)+e4(132x272e2x2+12x3))48x+4x2+e2(4+8x4x2)+e4(12x+x2)+e8(12x+x2)+e4(48x+4x2+e2(2+4x2x2)))((484144e4144e8)x132x2+36x3+4x4+e2(528x+72x224x3)+e4(528x+288e2x72x2+24x3))4+12x12x2+4x3+e2(412x+12x24x3)+(e4+e8)(1+3x3x2+x3)+e4(4+12x12x2+4x3+e2(26x+6x22x3))dx=4exp(2x2(116e2+6e4+x)2(2e2+e4)2(1+x)2)x((116e2+6e4)2+3(116e2+6e4)x3(32e2+2e4)x2x3)(2e2+e4)2(1x)3dx=4exp(2x2(116e2+6e4+x)2(2e2+e4)2(1+x)2)x((116e2+6e4)2+3(116e2+6e4)x3(32e2+2e4)x2x3)(1x)3dx(2e2+e4)2=exp(2x2(116e2+6e4+x)2(2e2+e4)2(1x)2)

________________________________________________________________________________________

Mathematica [A]  time = 0.15, size = 39, normalized size = 1.34 e2x2(116e2+6e4+x)2(2e2+e4)2(1+x)2

Antiderivative was successfully verified.

[In]

Integrate[(E^((2*(121*x^2 + 36*E^4*x^2 + 36*E^8*x^2 + 22*x^3 + x^4 + E^2*(-132*x^2 - 12*x^3) + E^4*(132*x^2 -
72*E^2*x^2 + 12*x^3)))/(4 - 8*x + 4*x^2 + E^2*(-4 + 8*x - 4*x^2) + E^4*(1 - 2*x + x^2) + E^8*(1 - 2*x + x^2) +
 E^4*(4 - 8*x + 4*x^2 + E^2*(-2 + 4*x - 2*x^2))))*(-484*x - 144*E^4*x - 144*E^8*x - 132*x^2 + 36*x^3 + 4*x^4 +
 E^2*(528*x + 72*x^2 - 24*x^3) + E^4*(-528*x + 288*E^2*x - 72*x^2 + 24*x^3)))/(-4 + 12*x - 12*x^2 + 4*x^3 + E^
2*(4 - 12*x + 12*x^2 - 4*x^3) + E^4*(-1 + 3*x - 3*x^2 + x^3) + E^8*(-1 + 3*x - 3*x^2 + x^3) + E^4*(-4 + 12*x -
 12*x^2 + 4*x^3 + E^2*(2 - 6*x + 6*x^2 - 2*x^3))),x]

[Out]

E^((2*x^2*(11 - 6*E^2 + 6*E^4 + x)^2)/((2 - E^2 + E^4)^2*(-1 + x)^2))

________________________________________________________________________________________

fricas [B]  time = 0.49, size = 116, normalized size = 4.00 e(2(x4+22x3+36x2e872x2e6+121x2+12(x3+14x2)e412(x3+11x2)e2)4x2+(x22x+1)e82(x22x+1)e6+5(x22x+1)e44(x22x+1)e28x+4)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-144*x*exp(4)^2+(288*exp(2)*x+24*x^3-72*x^2-528*x)*exp(4)-144*x*exp(2)^2+(-24*x^3+72*x^2+528*x)*exp
(2)+4*x^4+36*x^3-132*x^2-484*x)*exp((36*x^2*exp(4)^2+(-72*x^2*exp(2)+12*x^3+132*x^2)*exp(4)+36*x^2*exp(2)^2+(-
12*x^3-132*x^2)*exp(2)+x^4+22*x^3+121*x^2)/((x^2-2*x+1)*exp(4)^2+((-2*x^2+4*x-2)*exp(2)+4*x^2-8*x+4)*exp(4)+(x
^2-2*x+1)*exp(2)^2+(-4*x^2+8*x-4)*exp(2)+4*x^2-8*x+4))^2/((x^3-3*x^2+3*x-1)*exp(4)^2+((-2*x^3+6*x^2-6*x+2)*exp
(2)+4*x^3-12*x^2+12*x-4)*exp(4)+(x^3-3*x^2+3*x-1)*exp(2)^2+(-4*x^3+12*x^2-12*x+4)*exp(2)+4*x^3-12*x^2+12*x-4),
x, algorithm="fricas")

[Out]

e^(2*(x^4 + 22*x^3 + 36*x^2*e^8 - 72*x^2*e^6 + 121*x^2 + 12*(x^3 + 14*x^2)*e^4 - 12*(x^3 + 11*x^2)*e^2)/(4*x^2
 + (x^2 - 2*x + 1)*e^8 - 2*(x^2 - 2*x + 1)*e^6 + 5*(x^2 - 2*x + 1)*e^4 - 4*(x^2 - 2*x + 1)*e^2 - 8*x + 4))

________________________________________________________________________________________

giac [B]  time = 1.45, size = 716, normalized size = 24.69 e(2x4x2e82x2e6+5x2e44x2e2+4x22xe8+4xe610xe4+8xe28x+e82e6+5e44e2+4+24x3e4x2e82x2e6+5x2e44x2e2+4x22xe8+4xe610xe4+8xe28x+e82e6+5e44e2+424x3e2x2e82x2e6+5x2e44x2e2+4x22xe8+4xe610xe4+8xe28x+e82e6+5e44e2+4+44x3x2e82x2e6+5x2e44x2e2+4x22xe8+4xe610xe4+8xe28x+e82e6+5e44e2+4+72x2e8x2e82x2e6+5x2e44x2e2+4x22xe8+4xe610xe4+8xe28x+e82e6+5e44e2+4144x2e6x2e82x2e6+5x2e44x2e2+4x22xe8+4xe610xe4+8xe28x+e82e6+5e44e2+4+336x2e4x2e82x2e6+5x2e44x2e2+4x22xe8+4xe610xe4+8xe28x+e82e6+5e44e2+4264x2e2x2e82x2e6+5x2e44x2e2+4x22xe8+4xe610xe4+8xe28x+e82e6+5e44e2+4+242x2x2e82x2e6+5x2e44x2e2+4x22xe8+4xe610xe4+8xe28x+e82e6+5e44e2+4)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-144*x*exp(4)^2+(288*exp(2)*x+24*x^3-72*x^2-528*x)*exp(4)-144*x*exp(2)^2+(-24*x^3+72*x^2+528*x)*exp
(2)+4*x^4+36*x^3-132*x^2-484*x)*exp((36*x^2*exp(4)^2+(-72*x^2*exp(2)+12*x^3+132*x^2)*exp(4)+36*x^2*exp(2)^2+(-
12*x^3-132*x^2)*exp(2)+x^4+22*x^3+121*x^2)/((x^2-2*x+1)*exp(4)^2+((-2*x^2+4*x-2)*exp(2)+4*x^2-8*x+4)*exp(4)+(x
^2-2*x+1)*exp(2)^2+(-4*x^2+8*x-4)*exp(2)+4*x^2-8*x+4))^2/((x^3-3*x^2+3*x-1)*exp(4)^2+((-2*x^3+6*x^2-6*x+2)*exp
(2)+4*x^3-12*x^2+12*x-4)*exp(4)+(x^3-3*x^2+3*x-1)*exp(2)^2+(-4*x^3+12*x^2-12*x+4)*exp(2)+4*x^3-12*x^2+12*x-4),
x, algorithm="giac")

[Out]

e^(2*x^4/(x^2*e^8 - 2*x^2*e^6 + 5*x^2*e^4 - 4*x^2*e^2 + 4*x^2 - 2*x*e^8 + 4*x*e^6 - 10*x*e^4 + 8*x*e^2 - 8*x +
 e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + 24*x^3*e^4/(x^2*e^8 - 2*x^2*e^6 + 5*x^2*e^4 - 4*x^2*e^2 + 4*x^2 - 2*x*e^8
+ 4*x*e^6 - 10*x*e^4 + 8*x*e^2 - 8*x + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 24*x^3*e^2/(x^2*e^8 - 2*x^2*e^6 + 5*
x^2*e^4 - 4*x^2*e^2 + 4*x^2 - 2*x*e^8 + 4*x*e^6 - 10*x*e^4 + 8*x*e^2 - 8*x + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4)
+ 44*x^3/(x^2*e^8 - 2*x^2*e^6 + 5*x^2*e^4 - 4*x^2*e^2 + 4*x^2 - 2*x*e^8 + 4*x*e^6 - 10*x*e^4 + 8*x*e^2 - 8*x +
 e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + 72*x^2*e^8/(x^2*e^8 - 2*x^2*e^6 + 5*x^2*e^4 - 4*x^2*e^2 + 4*x^2 - 2*x*e^8
+ 4*x*e^6 - 10*x*e^4 + 8*x*e^2 - 8*x + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 144*x^2*e^6/(x^2*e^8 - 2*x^2*e^6 + 5
*x^2*e^4 - 4*x^2*e^2 + 4*x^2 - 2*x*e^8 + 4*x*e^6 - 10*x*e^4 + 8*x*e^2 - 8*x + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4)
 + 336*x^2*e^4/(x^2*e^8 - 2*x^2*e^6 + 5*x^2*e^4 - 4*x^2*e^2 + 4*x^2 - 2*x*e^8 + 4*x*e^6 - 10*x*e^4 + 8*x*e^2 -
 8*x + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 264*x^2*e^2/(x^2*e^8 - 2*x^2*e^6 + 5*x^2*e^4 - 4*x^2*e^2 + 4*x^2 - 2
*x*e^8 + 4*x*e^6 - 10*x*e^4 + 8*x*e^2 - 8*x + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + 242*x^2/(x^2*e^8 - 2*x^2*e^6
+ 5*x^2*e^4 - 4*x^2*e^2 + 4*x^2 - 2*x*e^8 + 4*x*e^6 - 10*x*e^4 + 8*x*e^2 - 8*x + e^8 - 2*e^6 + 5*e^4 - 4*e^2 +
 4))

________________________________________________________________________________________

maple [B]  time = 50.00, size = 68, normalized size = 2.34




method result size



risch e2x2(72e6+12e2x12xe4x2+132e2168e436e822x121)(x1)2(4e25e4+2e6e84) 68
gosper e2x2(168e472e612e2x+36e8+12xe4+x2132e2+22x+121)5x2e42x2e6+x2e810xe4+4xe64x2e22xe8+5e42e6+8e2x+e8+4x24e28x+4 156
norman (e22e4)e72x2e8+2(72x2e2+12x3+132x2)e4+72x2e4+2(12x3132x2)e2+2x4+44x3+242x2(x22x+1)e8+((2x2+4x2)e2+4x28x+4)e4+(x22x+1)e4+(4x2+8x4)e2+4x28x+4+(2e2+2e4+4)xe72x2e8+2(72x2e2+12x3+132x2)e4+72x2e4+2(12x3132x2)e2+2x4+44x3+242x2(x22x+1)e8+((2x2+4x2)e2+4x28x+4)e4+(x22x+1)e4+(4x2+8x4)e2+4x28x+4+(e22e4)x2e72x2e8+2(72x2e2+12x3+132x2)e4+72x2e4+2(12x3132x2)e2+2x4+44x3+242x2(x22x+1)e8+((2x2+4x2)e2+4x28x+4)e4+(x22x+1)e4+(4x2+8x4)e2+4x28x+4(x1)2(e22e4) 495



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-144*x*exp(4)^2+(288*exp(2)*x+24*x^3-72*x^2-528*x)*exp(4)-144*x*exp(2)^2+(-24*x^3+72*x^2+528*x)*exp(2)+4*
x^4+36*x^3-132*x^2-484*x)*exp((36*x^2*exp(4)^2+(-72*x^2*exp(2)+12*x^3+132*x^2)*exp(4)+36*x^2*exp(2)^2+(-12*x^3
-132*x^2)*exp(2)+x^4+22*x^3+121*x^2)/((x^2-2*x+1)*exp(4)^2+((-2*x^2+4*x-2)*exp(2)+4*x^2-8*x+4)*exp(4)+(x^2-2*x
+1)*exp(2)^2+(-4*x^2+8*x-4)*exp(2)+4*x^2-8*x+4))^2/((x^3-3*x^2+3*x-1)*exp(4)^2+((-2*x^3+6*x^2-6*x+2)*exp(2)+4*
x^3-12*x^2+12*x-4)*exp(4)+(x^3-3*x^2+3*x-1)*exp(2)^2+(-4*x^3+12*x^2-12*x+4)*exp(2)+4*x^3-12*x^2+12*x-4),x,meth
od=_RETURNVERBOSE)

[Out]

exp(2*x^2*(72*exp(6)+12*exp(2)*x-12*x*exp(4)-x^2+132*exp(2)-168*exp(4)-36*exp(8)-22*x-121)/(x-1)^2/(4*exp(2)-5
*exp(4)+2*exp(6)-exp(8)-4))

________________________________________________________________________________________

maxima [B]  time = 6.38, size = 711, normalized size = 24.52 e(2x2e82e6+5e44e2+4+24xe4e82e6+5e44e2+424xe2e82e6+5e44e2+4+48xe82e6+5e44e2+4+72e8x2(e82e6+5e44e2+4)2x(e82e6+5e44e2+4)+e82e6+5e44e2+4+144e8x(e82e6+5e44e2+4)e8+2e65e4+4e24+72e8e82e6+5e44e2+4144e6x2(e82e6+5e44e2+4)2x(e82e6+5e44e2+4)+e82e6+5e44e2+4288e6x(e82e6+5e44e2+4)e8+2e65e4+4e24144e6e82e6+5e44e2+4+360e4x2(e82e6+5e44e2+4)2x(e82e6+5e44e2+4)+e82e6+5e44e2+4+744e4x(e82e6+5e44e2+4)e8+2e65e4+4e24+384e4e82e6+5e44e2+4288e2x2(e82e6+5e44e2+4)2x(e82e6+5e44e2+4)+e82e6+5e44e2+4600e2x(e82e6+5e44e2+4)e8+2e65e4+4e24312e2e82e6+5e44e2+4+288x2(e82e6+5e44e2+4)2x(e82e6+5e44e2+4)+e82e6+5e44e2+4+624x(e82e6+5e44e2+4)e8+2e65e4+4e24+336e82e6+5e44e2+4)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-144*x*exp(4)^2+(288*exp(2)*x+24*x^3-72*x^2-528*x)*exp(4)-144*x*exp(2)^2+(-24*x^3+72*x^2+528*x)*exp
(2)+4*x^4+36*x^3-132*x^2-484*x)*exp((36*x^2*exp(4)^2+(-72*x^2*exp(2)+12*x^3+132*x^2)*exp(4)+36*x^2*exp(2)^2+(-
12*x^3-132*x^2)*exp(2)+x^4+22*x^3+121*x^2)/((x^2-2*x+1)*exp(4)^2+((-2*x^2+4*x-2)*exp(2)+4*x^2-8*x+4)*exp(4)+(x
^2-2*x+1)*exp(2)^2+(-4*x^2+8*x-4)*exp(2)+4*x^2-8*x+4))^2/((x^3-3*x^2+3*x-1)*exp(4)^2+((-2*x^3+6*x^2-6*x+2)*exp
(2)+4*x^3-12*x^2+12*x-4)*exp(4)+(x^3-3*x^2+3*x-1)*exp(2)^2+(-4*x^3+12*x^2-12*x+4)*exp(2)+4*x^3-12*x^2+12*x-4),
x, algorithm="maxima")

[Out]

e^(2*x^2/(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + 24*x*e^4/(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 24*x*e^2/(e^8 - 2*e^
6 + 5*e^4 - 4*e^2 + 4) + 48*x/(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + 72*e^8/(x^2*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4
) - 2*x*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + 144*e^8/(x*(e^8 - 2*e^6 + 5*e^4
 - 4*e^2 + 4) - e^8 + 2*e^6 - 5*e^4 + 4*e^2 - 4) + 72*e^8/(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 144*e^6/(x^2*(e^
8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 2*x*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 28
8*e^6/(x*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - e^8 + 2*e^6 - 5*e^4 + 4*e^2 - 4) - 144*e^6/(e^8 - 2*e^6 + 5*e^4 -
 4*e^2 + 4) + 360*e^4/(x^2*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 2*x*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + e^8 - 2
*e^6 + 5*e^4 - 4*e^2 + 4) + 744*e^4/(x*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - e^8 + 2*e^6 - 5*e^4 + 4*e^2 - 4) +
384*e^4/(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 288*e^2/(x^2*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 2*x*(e^8 - 2*e^6
+ 5*e^4 - 4*e^2 + 4) + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - 600*e^2/(x*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) - e^8 +
 2*e^6 - 5*e^4 + 4*e^2 - 4) - 312*e^2/(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + 288/(x^2*(e^8 - 2*e^6 + 5*e^4 - 4*e^
2 + 4) - 2*x*(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4) + 624/(x*(e^8 - 2*e^6 + 5*e^
4 - 4*e^2 + 4) - e^8 + 2*e^6 - 5*e^4 + 4*e^2 - 4) + 336/(e^8 - 2*e^6 + 5*e^4 - 4*e^2 + 4))

________________________________________________________________________________________

mupad [B]  time = 3.13, size = 724, normalized size = 24.97 e2x45e44e28x2e6+e8+8xe210xe4+4xe62xe84x2e2+5x2e42x2e6+x2e8+4x2+4e44x35e44e28x2e6+e8+8xe210xe4+4xe62xe84x2e2+5x2e42x2e6+x2e8+4x2+4e242x25e44e28x2e6+e8+8xe210xe4+4xe62xe84x2e2+5x2e42x2e6+x2e8+4x2+4e24x3e25e44e28x2e6+e8+8xe210xe4+4xe62xe84x2e2+5x2e42x2e6+x2e8+4x2+4e24x3e45e44e28x2e6+e8+8xe210xe4+4xe62xe84x2e2+5x2e42x2e6+x2e8+4x2+4e72x2e85e44e28x2e6+e8+8xe210xe4+4xe62xe84x2e2+5x2e42x2e6+x2e8+4x2+4e144x2e65e44e28x2e6+e8+8xe210xe4+4xe62xe84x2e2+5x2e42x2e6+x2e8+4x2+4e264x2e25e44e28x2e6+e8+8xe210xe4+4xe62xe84x2e2+5x2e42x2e6+x2e8+4x2+4e336x2e45e44e28x2e6+e8+8xe210xe4+4xe62xe84x2e2+5x2e42x2e6+x2e8+4x2+4

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp((2*(exp(4)*(132*x^2 - 72*x^2*exp(2) + 12*x^3) - exp(2)*(132*x^2 + 12*x^3) + 36*x^2*exp(4) + 36*x^2*e
xp(8) + 121*x^2 + 22*x^3 + x^4))/(exp(4)*(x^2 - 2*x + 1) - exp(2)*(4*x^2 - 8*x + 4) - exp(4)*(8*x + exp(2)*(2*
x^2 - 4*x + 2) - 4*x^2 - 4) - 8*x + exp(8)*(x^2 - 2*x + 1) + 4*x^2 + 4))*(484*x + 144*x*exp(4) + 144*x*exp(8)
- exp(2)*(528*x + 72*x^2 - 24*x^3) + exp(4)*(528*x - 288*x*exp(2) + 72*x^2 - 24*x^3) + 132*x^2 - 36*x^3 - 4*x^
4))/(12*x + exp(4)*(3*x - 3*x^2 + x^3 - 1) + exp(8)*(3*x - 3*x^2 + x^3 - 1) - exp(2)*(12*x - 12*x^2 + 4*x^3 -
4) - exp(4)*(exp(2)*(6*x - 6*x^2 + 2*x^3 - 2) - 12*x + 12*x^2 - 4*x^3 + 4) - 12*x^2 + 4*x^3 - 4),x)

[Out]

exp((2*x^4)/(5*exp(4) - 4*exp(2) - 8*x - 2*exp(6) + exp(8) + 8*x*exp(2) - 10*x*exp(4) + 4*x*exp(6) - 2*x*exp(8
) - 4*x^2*exp(2) + 5*x^2*exp(4) - 2*x^2*exp(6) + x^2*exp(8) + 4*x^2 + 4))*exp((44*x^3)/(5*exp(4) - 4*exp(2) -
8*x - 2*exp(6) + exp(8) + 8*x*exp(2) - 10*x*exp(4) + 4*x*exp(6) - 2*x*exp(8) - 4*x^2*exp(2) + 5*x^2*exp(4) - 2
*x^2*exp(6) + x^2*exp(8) + 4*x^2 + 4))*exp((242*x^2)/(5*exp(4) - 4*exp(2) - 8*x - 2*exp(6) + exp(8) + 8*x*exp(
2) - 10*x*exp(4) + 4*x*exp(6) - 2*x*exp(8) - 4*x^2*exp(2) + 5*x^2*exp(4) - 2*x^2*exp(6) + x^2*exp(8) + 4*x^2 +
 4))*exp(-(24*x^3*exp(2))/(5*exp(4) - 4*exp(2) - 8*x - 2*exp(6) + exp(8) + 8*x*exp(2) - 10*x*exp(4) + 4*x*exp(
6) - 2*x*exp(8) - 4*x^2*exp(2) + 5*x^2*exp(4) - 2*x^2*exp(6) + x^2*exp(8) + 4*x^2 + 4))*exp((24*x^3*exp(4))/(5
*exp(4) - 4*exp(2) - 8*x - 2*exp(6) + exp(8) + 8*x*exp(2) - 10*x*exp(4) + 4*x*exp(6) - 2*x*exp(8) - 4*x^2*exp(
2) + 5*x^2*exp(4) - 2*x^2*exp(6) + x^2*exp(8) + 4*x^2 + 4))*exp((72*x^2*exp(8))/(5*exp(4) - 4*exp(2) - 8*x - 2
*exp(6) + exp(8) + 8*x*exp(2) - 10*x*exp(4) + 4*x*exp(6) - 2*x*exp(8) - 4*x^2*exp(2) + 5*x^2*exp(4) - 2*x^2*ex
p(6) + x^2*exp(8) + 4*x^2 + 4))*exp(-(144*x^2*exp(6))/(5*exp(4) - 4*exp(2) - 8*x - 2*exp(6) + exp(8) + 8*x*exp
(2) - 10*x*exp(4) + 4*x*exp(6) - 2*x*exp(8) - 4*x^2*exp(2) + 5*x^2*exp(4) - 2*x^2*exp(6) + x^2*exp(8) + 4*x^2
+ 4))*exp(-(264*x^2*exp(2))/(5*exp(4) - 4*exp(2) - 8*x - 2*exp(6) + exp(8) + 8*x*exp(2) - 10*x*exp(4) + 4*x*ex
p(6) - 2*x*exp(8) - 4*x^2*exp(2) + 5*x^2*exp(4) - 2*x^2*exp(6) + x^2*exp(8) + 4*x^2 + 4))*exp((336*x^2*exp(4))
/(5*exp(4) - 4*exp(2) - 8*x - 2*exp(6) + exp(8) + 8*x*exp(2) - 10*x*exp(4) + 4*x*exp(6) - 2*x*exp(8) - 4*x^2*e
xp(2) + 5*x^2*exp(4) - 2*x^2*exp(6) + x^2*exp(8) + 4*x^2 + 4))

________________________________________________________________________________________

sympy [B]  time = 3.60, size = 148, normalized size = 5.10 e2(x4+22x3+121x2+36x2e4+36x2e8+(12x3132x2)e2+(12x372x2e2+132x2)e4)4x28x+(4x2+8x4)e2+(x22x+1)e4+(x22x+1)e8+(4x28x+(2x2+4x2)e2+4)e4+4

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((-144*x*exp(4)**2+(288*exp(2)*x+24*x**3-72*x**2-528*x)*exp(4)-144*x*exp(2)**2+(-24*x**3+72*x**2+528*
x)*exp(2)+4*x**4+36*x**3-132*x**2-484*x)*exp((36*x**2*exp(4)**2+(-72*x**2*exp(2)+12*x**3+132*x**2)*exp(4)+36*x
**2*exp(2)**2+(-12*x**3-132*x**2)*exp(2)+x**4+22*x**3+121*x**2)/((x**2-2*x+1)*exp(4)**2+((-2*x**2+4*x-2)*exp(2
)+4*x**2-8*x+4)*exp(4)+(x**2-2*x+1)*exp(2)**2+(-4*x**2+8*x-4)*exp(2)+4*x**2-8*x+4))**2/((x**3-3*x**2+3*x-1)*ex
p(4)**2+((-2*x**3+6*x**2-6*x+2)*exp(2)+4*x**3-12*x**2+12*x-4)*exp(4)+(x**3-3*x**2+3*x-1)*exp(2)**2+(-4*x**3+12
*x**2-12*x+4)*exp(2)+4*x**3-12*x**2+12*x-4),x)

[Out]

exp(2*(x**4 + 22*x**3 + 121*x**2 + 36*x**2*exp(4) + 36*x**2*exp(8) + (-12*x**3 - 132*x**2)*exp(2) + (12*x**3 -
 72*x**2*exp(2) + 132*x**2)*exp(4))/(4*x**2 - 8*x + (-4*x**2 + 8*x - 4)*exp(2) + (x**2 - 2*x + 1)*exp(4) + (x*
*2 - 2*x + 1)*exp(8) + (4*x**2 - 8*x + (-2*x**2 + 4*x - 2)*exp(2) + 4)*exp(4) + 4))

________________________________________________________________________________________