3.17.91 (16+16x+96x2112x380x4+96x5+e32(2x6x2+4x3)+e16(424x+12x2+48x340x4))dx

Optimal. Leaf size=27 (2e162x+4x)2(xx2)2

________________________________________________________________________________________

Rubi [B]  time = 0.05, antiderivative size = 89, normalized size of antiderivative = 3.30, number of steps used = 3, number of rules used = 0, integrand size = 67, number of rulesintegrand size = 0.000, Rules used = {} 16x68e16x516x5+e32x4+12e16x428x42e32x3+4e16x3+32x3+e32x212e16x2+8x2+4e16x16x

Antiderivative was successfully verified.

[In]

Int[-16 + 16*x + 96*x^2 - 112*x^3 - 80*x^4 + 96*x^5 + E^32*(2*x - 6*x^2 + 4*x^3) + E^16*(4 - 24*x + 12*x^2 + 4
8*x^3 - 40*x^4),x]

[Out]

-16*x + 4*E^16*x + 8*x^2 - 12*E^16*x^2 + E^32*x^2 + 32*x^3 + 4*E^16*x^3 - 2*E^32*x^3 - 28*x^4 + 12*E^16*x^4 +
E^32*x^4 - 16*x^5 - 8*E^16*x^5 + 16*x^6

Rubi steps

integral=16x+8x2+32x328x416x5+16x6+e16(424x+12x2+48x340x4)dx+e32(2x6x2+4x3)dx=16x+4e16x+8x212e16x2+e32x2+32x3+4e16x32e32x328x4+12e16x4+e32x416x58e16x5+16x6

________________________________________________________________________________________

Mathematica [B]  time = 0.01, size = 89, normalized size = 3.30 16x+4e16x+8x212e16x2+e32x2+32x3+4e16x32e32x328x4+12e16x4+e32x416x58e16x5+16x6

Antiderivative was successfully verified.

[In]

Integrate[-16 + 16*x + 96*x^2 - 112*x^3 - 80*x^4 + 96*x^5 + E^32*(2*x - 6*x^2 + 4*x^3) + E^16*(4 - 24*x + 12*x
^2 + 48*x^3 - 40*x^4),x]

[Out]

-16*x + 4*E^16*x + 8*x^2 - 12*E^16*x^2 + E^32*x^2 + 32*x^3 + 4*E^16*x^3 - 2*E^32*x^3 - 28*x^4 + 12*E^16*x^4 +
E^32*x^4 - 16*x^5 - 8*E^16*x^5 + 16*x^6

________________________________________________________________________________________

fricas [B]  time = 0.83, size = 72, normalized size = 2.67 16x616x528x4+32x3+8x2+(x42x3+x2)e324(2x53x4x3+3x2x)e1616x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((4*x^3-6*x^2+2*x)*exp(16)^2+(-40*x^4+48*x^3+12*x^2-24*x+4)*exp(16)+96*x^5-80*x^4-112*x^3+96*x^2+16*x
-16,x, algorithm="fricas")

[Out]

16*x^6 - 16*x^5 - 28*x^4 + 32*x^3 + 8*x^2 + (x^4 - 2*x^3 + x^2)*e^32 - 4*(2*x^5 - 3*x^4 - x^3 + 3*x^2 - x)*e^1
6 - 16*x

________________________________________________________________________________________

giac [B]  time = 0.33, size = 72, normalized size = 2.67 16x616x528x4+32x3+8x2+(x42x3+x2)e324(2x53x4x3+3x2x)e1616x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((4*x^3-6*x^2+2*x)*exp(16)^2+(-40*x^4+48*x^3+12*x^2-24*x+4)*exp(16)+96*x^5-80*x^4-112*x^3+96*x^2+16*x
-16,x, algorithm="giac")

[Out]

16*x^6 - 16*x^5 - 28*x^4 + 32*x^3 + 8*x^2 + (x^4 - 2*x^3 + x^2)*e^32 - 4*(2*x^5 - 3*x^4 - x^3 + 3*x^2 - x)*e^1
6 - 16*x

________________________________________________________________________________________

maple [B]  time = 0.03, size = 69, normalized size = 2.56




method result size



norman (8e1616)x5+(4e1616)x+(2e32+4e16+32)x3+(e3212e16+8)x2+(e32+12e1628)x4+16x6 69
default e32(x42x3+x2)+e16(8x5+12x4+4x312x2+4x)+16x616x528x4+32x3+8x216x 74
gosper x(e32x38e16x4+16x52e32x2+12x3e1616x4+xe32+4x2e1628x312xe16+32x2+4e16+8x16) 81
risch x4e322e32x3+e32x28e16x5+12e16x4+4x3e1612x2e16+4xe16+16x616x528x4+32x3+8x216x 82



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((4*x^3-6*x^2+2*x)*exp(16)^2+(-40*x^4+48*x^3+12*x^2-24*x+4)*exp(16)+96*x^5-80*x^4-112*x^3+96*x^2+16*x-16,x,
method=_RETURNVERBOSE)

[Out]

(-8*exp(16)-16)*x^5+(4*exp(16)-16)*x+(-2*exp(16)^2+4*exp(16)+32)*x^3+(exp(16)^2-12*exp(16)+8)*x^2+(exp(16)^2+1
2*exp(16)-28)*x^4+16*x^6

________________________________________________________________________________________

maxima [B]  time = 0.39, size = 72, normalized size = 2.67 16x616x528x4+32x3+8x2+(x42x3+x2)e324(2x53x4x3+3x2x)e1616x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((4*x^3-6*x^2+2*x)*exp(16)^2+(-40*x^4+48*x^3+12*x^2-24*x+4)*exp(16)+96*x^5-80*x^4-112*x^3+96*x^2+16*x
-16,x, algorithm="maxima")

[Out]

16*x^6 - 16*x^5 - 28*x^4 + 32*x^3 + 8*x^2 + (x^4 - 2*x^3 + x^2)*e^32 - 4*(2*x^5 - 3*x^4 - x^3 + 3*x^2 - x)*e^1
6 - 16*x

________________________________________________________________________________________

mupad [B]  time = 0.08, size = 63, normalized size = 2.33 16x6+(8e1616)x5+(12e16+e3228)x4+(4e162e32+32)x3+(e3212e16+8)x2+(4e1616)x

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(16*x + exp(32)*(2*x - 6*x^2 + 4*x^3) + exp(16)*(12*x^2 - 24*x + 48*x^3 - 40*x^4 + 4) + 96*x^2 - 112*x^3 -
80*x^4 + 96*x^5 - 16,x)

[Out]

x^3*(4*exp(16) - 2*exp(32) + 32) - x^5*(8*exp(16) + 16) + x^2*(exp(32) - 12*exp(16) + 8) + x^4*(12*exp(16) + e
xp(32) - 28) + 16*x^6 + x*(4*exp(16) - 16)

________________________________________________________________________________________

sympy [B]  time = 0.07, size = 66, normalized size = 2.44 16x6+x5(8e1616)+x4(28+12e16+e32)+x3(2e32+32+4e16)+x2(12e16+8+e32)+x(16+4e16)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((4*x**3-6*x**2+2*x)*exp(16)**2+(-40*x**4+48*x**3+12*x**2-24*x+4)*exp(16)+96*x**5-80*x**4-112*x**3+96
*x**2+16*x-16,x)

[Out]

16*x**6 + x**5*(-8*exp(16) - 16) + x**4*(-28 + 12*exp(16) + exp(32)) + x**3*(-2*exp(32) + 32 + 4*exp(16)) + x*
*2*(-12*exp(16) + 8 + exp(32)) + x*(-16 + 4*exp(16))

________________________________________________________________________________________