3.5.18 e2xdx

Optimal. Leaf size=7 e2x

________________________________________________________________________________________

Rubi [A]  time = 0.00, antiderivative size = 7, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, integrand size = 9, number of rulesintegrand size = 0.111, Rules used = {2194} ex2

Antiderivative was successfully verified.

[In]

Int[-E^(-2 - x),x]

[Out]

E^(-2 - x)

Rule 2194

Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre
eQ[{F, a, b, c, n}, x]

Rubi steps

integral=e2x

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 7, normalized size = 1.00 e2x

Antiderivative was successfully verified.

[In]

Integrate[-E^(-2 - x),x]

[Out]

E^(-2 - x)

________________________________________________________________________________________

fricas [A]  time = 1.11, size = 6, normalized size = 0.86 e(x2)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-exp(-x-2),x, algorithm="fricas")

[Out]

e^(-x - 2)

________________________________________________________________________________________

giac [A]  time = 0.31, size = 6, normalized size = 0.86 e(x2)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-exp(-x-2),x, algorithm="giac")

[Out]

e^(-x - 2)

________________________________________________________________________________________

maple [A]  time = 0.02, size = 7, normalized size = 1.00




method result size



gosper ex2 7
derivativedivides ex2 7
default ex2 7
norman ex2 7
risch ex2 7
meijerg e2(1ex) 13



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-exp(-x-2),x,method=_RETURNVERBOSE)

[Out]

exp(-x-2)

________________________________________________________________________________________

maxima [A]  time = 0.36, size = 6, normalized size = 0.86 e(x2)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-exp(-x-2),x, algorithm="maxima")

[Out]

e^(-x - 2)

________________________________________________________________________________________

mupad [B]  time = 0.03, size = 6, normalized size = 0.86 ex2

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-exp(- x - 2),x)

[Out]

exp(- x - 2)

________________________________________________________________________________________

sympy [A]  time = 0.07, size = 5, normalized size = 0.71 ex2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(-exp(-x-2),x)

[Out]

exp(-x - 2)

________________________________________________________________________________________