3.69.53 6x16x3+e10(16x+4x216x3)+e5(12x+32x3)12e5+e10dx

Optimal. Leaf size=26 (x2+4x43)(3+x(xxe5)2)

________________________________________________________________________________________

Rubi [B]  time = 0.03, antiderivative size = 130, normalized size of antiderivative = 5.00, number of steps used = 4, number of rules used = 1, integrand size = 54, number of rulesintegrand size = 0.019, Rules used = {12} 4e10x4(1e5)2+8e5x4(1e5)24x4(1e5)2+4e10x33(1e5)23e10x2(1e5)2+6e5x2(1e5)23x2(1e5)2+e10x(1e5)2

Antiderivative was successfully verified.

[In]

Int[(-6*x - 16*x^3 + E^10*(1 - 6*x + 4*x^2 - 16*x^3) + E^5*(12*x + 32*x^3))/(1 - 2*E^5 + E^10),x]

[Out]

(E^10*x)/(1 - E^5)^2 - (3*x^2)/(1 - E^5)^2 + (6*E^5*x^2)/(1 - E^5)^2 - (3*E^10*x^2)/(1 - E^5)^2 + (4*E^10*x^3)
/(3*(1 - E^5)^2) - (4*x^4)/(1 - E^5)^2 + (8*E^5*x^4)/(1 - E^5)^2 - (4*E^10*x^4)/(1 - E^5)^2

Rule 12

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

Rubi steps

integral=(6x16x3+e10(16x+4x216x3)+e5(12x+32x3))dx12e5+e10=3x2(1e5)24x4(1e5)2+e5(12x+32x3)dx(1e5)2+e10(16x+4x216x3)dx(1e5)2=e10x(1e5)23x2(1e5)2+6e5x2(1e5)23e10x2(1e5)2+4e10x33(1e5)24x4(1e5)2+8e5x4(1e5)24e10x4(1e5)2

________________________________________________________________________________________

Mathematica [B]  time = 0.01, size = 66, normalized size = 2.54 e10x3x2+6e5x23e10x2+4e10x334x4+8e5x44e10x4(1+e5)2

Antiderivative was successfully verified.

[In]

Integrate[(-6*x - 16*x^3 + E^10*(1 - 6*x + 4*x^2 - 16*x^3) + E^5*(12*x + 32*x^3))/(1 - 2*E^5 + E^10),x]

[Out]

(E^10*x - 3*x^2 + 6*E^5*x^2 - 3*E^10*x^2 + (4*E^10*x^3)/3 - 4*x^4 + 8*E^5*x^4 - 4*E^10*x^4)/(-1 + E^5)^2

________________________________________________________________________________________

fricas [B]  time = 0.60, size = 60, normalized size = 2.31 12x4+9x2+(12x44x3+9x23x)e106(4x4+3x2)e53(e102e5+1)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-16*x^3+4*x^2-6*x+1)*exp(5)^2+(32*x^3+12*x)*exp(5)-16*x^3-6*x)/(exp(5)^2-2*exp(5)+1),x, algorithm=
"fricas")

[Out]

-1/3*(12*x^4 + 9*x^2 + (12*x^4 - 4*x^3 + 9*x^2 - 3*x)*e^10 - 6*(4*x^4 + 3*x^2)*e^5)/(e^10 - 2*e^5 + 1)

________________________________________________________________________________________

giac [B]  time = 0.15, size = 60, normalized size = 2.31 12x4+9x2+(12x44x3+9x23x)e106(4x4+3x2)e53(e102e5+1)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-16*x^3+4*x^2-6*x+1)*exp(5)^2+(32*x^3+12*x)*exp(5)-16*x^3-6*x)/(exp(5)^2-2*exp(5)+1),x, algorithm=
"giac")

[Out]

-1/3*(12*x^4 + 9*x^2 + (12*x^4 - 4*x^3 + 9*x^2 - 3*x)*e^10 - 6*(4*x^4 + 3*x^2)*e^5)/(e^10 - 2*e^5 + 1)

________________________________________________________________________________________

maple [B]  time = 0.04, size = 56, normalized size = 2.15




method result size



norman (4e5+4)x4+(3e5+3)x2+e10xe51+4e10x33(e51)e51 56
default e10(4x4+43x33x2+x)+e5(8x4+6x2)4x43x2e102e5+1 61
gosper x(12x3e104x2e1024x3e5+9xe10+12x33e1018xe5+9x)3(e102e5+1) 68
risch 4x4e10e102e5+1+4x3e103(e102e5+1)+8x4e5e102e5+13x2e10e102e5+14x4e102e5+1+xe10e102e5+1+6x2e5e102e5+13x2e102e5+1 131



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-16*x^3+4*x^2-6*x+1)*exp(5)^2+(32*x^3+12*x)*exp(5)-16*x^3-6*x)/(exp(5)^2-2*exp(5)+1),x,method=_RETURNVER
BOSE)

[Out]

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

________________________________________________________________________________________

maxima [B]  time = 0.36, size = 60, normalized size = 2.31 12x4+9x2+(12x44x3+9x23x)e106(4x4+3x2)e53(e102e5+1)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-16*x^3+4*x^2-6*x+1)*exp(5)^2+(32*x^3+12*x)*exp(5)-16*x^3-6*x)/(exp(5)^2-2*exp(5)+1),x, algorithm=
"maxima")

[Out]

-1/3*(12*x^4 + 9*x^2 + (12*x^4 - 4*x^3 + 9*x^2 - 3*x)*e^10 - 6*(4*x^4 + 3*x^2)*e^5)/(e^10 - 2*e^5 + 1)

________________________________________________________________________________________

mupad [B]  time = 4.10, size = 34, normalized size = 1.31 4x4+4e10x33(e51)23x2+e10x(e51)2

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(6*x - exp(5)*(12*x + 32*x^3) + exp(10)*(6*x - 4*x^2 + 16*x^3 - 1) + 16*x^3)/(exp(10) - 2*exp(5) + 1),x)

[Out]

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

________________________________________________________________________________________

sympy [B]  time = 0.08, size = 44, normalized size = 1.69 4x4+4x3e106e5+3+3e103x2+xe102e5+1+e10

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-16*x**3+4*x**2-6*x+1)*exp(5)**2+(32*x**3+12*x)*exp(5)-16*x**3-6*x)/(exp(5)**2-2*exp(5)+1),x)

[Out]

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

________________________________________________________________________________________