3.73.42 e23x2e2x2dx

Optimal. Leaf size=14 17(3e2+1x2)x

________________________________________________________________________________________

Rubi [A]  time = 0.01, antiderivative size = 12, normalized size of antiderivative = 0.86, number of steps used = 3, number of rules used = 2, integrand size = 16, number of rulesintegrand size = 0.125, Rules used = {12, 14} 3xe21x

Antiderivative was successfully verified.

[In]

Int[(E^2 - 3*x^2)/(E^2*x^2),x]

[Out]

-x^(-1) - (3*x)/E^2

Rule 12

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

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
 &&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rubi steps

integral=e23x2x2dxe2=(3+e2x2)dxe2=1x3xe2

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 12, normalized size = 0.86 1x3xe2

Antiderivative was successfully verified.

[In]

Integrate[(E^2 - 3*x^2)/(E^2*x^2),x]

[Out]

-x^(-1) - (3*x)/E^2

________________________________________________________________________________________

fricas [A]  time = 0.65, size = 15, normalized size = 1.07 (3x2+e2)e(2)x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((exp(2)-3*x^2)/x^2/exp(2),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.15, size = 14, normalized size = 1.00 (3x+e2x)e(2)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((exp(2)-3*x^2)/x^2/exp(2),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [A]  time = 0.02, size = 12, normalized size = 0.86




method result size



risch 3xe21x 12
norman 13x2e2x 16
default e2(3xe2x) 17
gosper (3x2+e2)e2x 18



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(2)-3*x^2)/x^2/exp(2),x,method=_RETURNVERBOSE)

[Out]

-3*x*exp(-2)-1/x

________________________________________________________________________________________

maxima [A]  time = 0.36, size = 14, normalized size = 1.00 (3x+e2x)e(2)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((exp(2)-3*x^2)/x^2/exp(2),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 0.03, size = 11, normalized size = 0.79 3xe21x

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(-2)*(exp(2) - 3*x^2))/x^2,x)

[Out]

- 3*x*exp(-2) - 1/x

________________________________________________________________________________________

sympy [A]  time = 0.08, size = 12, normalized size = 0.86 3xe2xe2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((exp(2)-3*x**2)/x**2/exp(2),x)

[Out]

(-3*x - exp(2)/x)*exp(-2)

________________________________________________________________________________________