3.89.72 e78+56x13x2+x3+ex(16+8xx2)(55+82x29x2+3x3+e3(5626x+3x2)+ex(814x+7x2x3+e3(8+6xx2)))dx

Optimal. Leaf size=29 e2(4x)(4+x)(5ex+x)(1+e3+x)

________________________________________________________________________________________

Rubi [F]  time = 4.72, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, number of rulesintegrand size = 0.000, Rules used = {} exp(78+56x13x2+x3+ex(16+8xx2))(55+82x29x2+3x3+e3(5626x+3x2)+ex(814x+7x2x3+e3(8+6xx2)))dx

Verification is not applicable to the result.

[In]

Int[E^(-78 + 56*x - 13*x^2 + x^3 + E^x*(-16 + 8*x - x^2))*(-55 + 82*x - 29*x^2 + 3*x^3 + E^3*(56 - 26*x + 3*x^
2) + E^x*(8 - 14*x + 7*x^2 - x^3 + E^3*(-8 + 6*x - x^2))),x]

[Out]

-55*Defer[Int][E^(-78 + 56*x - 13*x^2 + x^3 + E^x*(-16 + 8*x - x^2)), x] + 56*Defer[Int][E^(-75 + 56*x - 13*x^
2 + x^3 + E^x*(-16 + 8*x - x^2)), x] + 8*(1 - E^3)*Defer[Int][E^(-78 + 57*x - 13*x^2 + x^3 + E^x*(-16 + 8*x -
x^2)), x] + 82*Defer[Int][E^(-78 + 56*x - 13*x^2 + x^3 + E^x*(-16 + 8*x - x^2))*x, x] - 26*Defer[Int][E^(-75 +
 56*x - 13*x^2 + x^3 + E^x*(-16 + 8*x - x^2))*x, x] - 2*(7 - 3*E^3)*Defer[Int][E^(-78 + 57*x - 13*x^2 + x^3 +
E^x*(-16 + 8*x - x^2))*x, x] - 29*Defer[Int][E^(-78 + 56*x - 13*x^2 + x^3 + E^x*(-16 + 8*x - x^2))*x^2, x] + 3
*Defer[Int][E^(-75 + 56*x - 13*x^2 + x^3 + E^x*(-16 + 8*x - x^2))*x^2, x] + (7 - E^3)*Defer[Int][E^(-78 + 57*x
 - 13*x^2 + x^3 + E^x*(-16 + 8*x - x^2))*x^2, x] + 3*Defer[Int][E^(-78 + 56*x - 13*x^2 + x^3 + E^x*(-16 + 8*x
- x^2))*x^3, x] - Defer[Int][E^(-78 + 57*x - 13*x^2 + x^3 + E^x*(-16 + 8*x - x^2))*x^3, x]

Rubi steps

integral=(55exp(78+56x13x2+x3+ex(16+8xx2))+82exp(78+56x13x2+x3+ex(16+8xx2))x29exp(78+56x13x2+x3+ex(16+8xx2))x2+3exp(78+56x13x2+x3+ex(16+8xx2))x3exp(78+57x13x2+x3+ex(16+8xx2))(1+e3+x)(86x+x2)+exp(75+56x13x2+x3+ex(16+8xx2))(5626x+3x2))dx=3exp(78+56x13x2+x3+ex(16+8xx2))x3dx29exp(78+56x13x2+x3+ex(16+8xx2))x2dx55exp(78+56x13x2+x3+ex(16+8xx2))dx+82exp(78+56x13x2+x3+ex(16+8xx2))xdxexp(78+57x13x2+x3+ex(16+8xx2))(1+e3+x)(86x+x2)dx+exp(75+56x13x2+x3+ex(16+8xx2))(5626x+3x2)dx=3exp(78+56x13x2+x3+ex(16+8xx2))x3dx29exp(78+56x13x2+x3+ex(16+8xx2))x2dx55exp(78+56x13x2+x3+ex(16+8xx2))dx+82exp(78+56x13x2+x3+ex(16+8xx2))xdx+(56exp(75+56x13x2+x3+ex(16+8xx2))26exp(75+56x13x2+x3+ex(16+8xx2))x+3exp(75+56x13x2+x3+ex(16+8xx2))x2)dx(8exp(78+57x13x2+x3+ex(16+8xx2))(1+e3)2exp(78+57x13x2+x3+ex(16+8xx2))(7+3e3)x+exp(78+57x13x2+x3+ex(16+8xx2))(7+e3)x2+exp(78+57x13x2+x3+ex(16+8xx2))x3)dx=3exp(75+56x13x2+x3+ex(16+8xx2))x2dx+3exp(78+56x13x2+x3+ex(16+8xx2))x3dx26exp(75+56x13x2+x3+ex(16+8xx2))xdx29exp(78+56x13x2+x3+ex(16+8xx2))x2dx55exp(78+56x13x2+x3+ex(16+8xx2))dx+56exp(75+56x13x2+x3+ex(16+8xx2))dx+82exp(78+56x13x2+x3+ex(16+8xx2))xdx(2(73e3))exp(78+57x13x2+x3+ex(16+8xx2))xdx+(8(1e3))exp(78+57x13x2+x3+ex(16+8xx2))dx(7+e3)exp(78+57x13x2+x3+ex(16+8xx2))x2dxexp(78+57x13x2+x3+ex(16+8xx2))x3dx

________________________________________________________________________________________

Mathematica [A]  time = 0.08, size = 32, normalized size = 1.10 e78ex(4+x)2+56x13x2+x3(1+e3+x)

Antiderivative was successfully verified.

[In]

Integrate[E^(-78 + 56*x - 13*x^2 + x^3 + E^x*(-16 + 8*x - x^2))*(-55 + 82*x - 29*x^2 + 3*x^3 + E^3*(56 - 26*x
+ 3*x^2) + E^x*(8 - 14*x + 7*x^2 - x^3 + E^3*(-8 + 6*x - x^2))),x]

[Out]

E^(-78 - E^x*(-4 + x)^2 + 56*x - 13*x^2 + x^3)*(-1 + E^3 + x)

________________________________________________________________________________________

fricas [A]  time = 0.51, size = 32, normalized size = 1.10 (x+e31)e(x313x2(x28x+16)ex+56x78)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^2+6*x-8)*exp(3)-x^3+7*x^2-14*x+8)*exp(x)+(3*x^2-26*x+56)*exp(3)+3*x^3-29*x^2+82*x-55)*exp((-x^
2+8*x-16)*exp(x)+x^3-13*x^2+56*x-78),x, algorithm="fricas")

[Out]

(x + e^3 - 1)*e^(x^3 - 13*x^2 - (x^2 - 8*x + 16)*e^x + 56*x - 78)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 (3x329x2+(3x226x+56)e3(x37x2+(x26x+8)e3+14x8)ex+82x55)e(x313x2(x28x+16)ex+56x78)dx

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^2+6*x-8)*exp(3)-x^3+7*x^2-14*x+8)*exp(x)+(3*x^2-26*x+56)*exp(3)+3*x^3-29*x^2+82*x-55)*exp((-x^
2+8*x-16)*exp(x)+x^3-13*x^2+56*x-78),x, algorithm="giac")

[Out]

integrate((3*x^3 - 29*x^2 + (3*x^2 - 26*x + 56)*e^3 - (x^3 - 7*x^2 + (x^2 - 6*x + 8)*e^3 + 14*x - 8)*e^x + 82*
x - 55)*e^(x^3 - 13*x^2 - (x^2 - 8*x + 16)*e^x + 56*x - 78), x)

________________________________________________________________________________________

maple [A]  time = 0.10, size = 37, normalized size = 1.28




method result size



risch (e3+x1)eexx2+x3+8exx13x216ex+56x78 37
norman xe(x2+8x16)ex+x313x2+56x78+(e31)e(x2+8x16)ex+x313x2+56x78 63



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-x^2+6*x-8)*exp(3)-x^3+7*x^2-14*x+8)*exp(x)+(3*x^2-26*x+56)*exp(3)+3*x^3-29*x^2+82*x-55)*exp((-x^2+8*x-
16)*exp(x)+x^3-13*x^2+56*x-78),x,method=_RETURNVERBOSE)

[Out]

(exp(3)+x-1)*exp(-exp(x)*x^2+x^3+8*exp(x)*x-13*x^2-16*exp(x)+56*x-78)

________________________________________________________________________________________

maxima [A]  time = 33.82, size = 36, normalized size = 1.24 (x+e31)e(x3x2ex13x2+8xex+56x16ex78)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^2+6*x-8)*exp(3)-x^3+7*x^2-14*x+8)*exp(x)+(3*x^2-26*x+56)*exp(3)+3*x^3-29*x^2+82*x-55)*exp((-x^
2+8*x-16)*exp(x)+x^3-13*x^2+56*x-78),x, algorithm="maxima")

[Out]

(x + e^3 - 1)*e^(x^3 - x^2*e^x - 13*x^2 + 8*x*e^x + 56*x - 16*e^x - 78)

________________________________________________________________________________________

mupad [B]  time = 0.15, size = 111, normalized size = 3.83 e8xexe56xex3e75ex2exe13x2e16exe8xexe56xex3e78ex2exe13x2e16ex+xe8xexe56xex3e78ex2exe13x2e16ex

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(56*x - exp(x)*(x^2 - 8*x + 16) - 13*x^2 + x^3 - 78)*(82*x + exp(3)*(3*x^2 - 26*x + 56) - exp(x)*(14*x
+ exp(3)*(x^2 - 6*x + 8) - 7*x^2 + x^3 - 8) - 29*x^2 + 3*x^3 - 55),x)

[Out]

exp(8*x*exp(x))*exp(56*x)*exp(x^3)*exp(-75)*exp(-x^2*exp(x))*exp(-13*x^2)*exp(-16*exp(x)) - exp(8*x*exp(x))*ex
p(56*x)*exp(x^3)*exp(-78)*exp(-x^2*exp(x))*exp(-13*x^2)*exp(-16*exp(x)) + x*exp(8*x*exp(x))*exp(56*x)*exp(x^3)
*exp(-78)*exp(-x^2*exp(x))*exp(-13*x^2)*exp(-16*exp(x))

________________________________________________________________________________________

sympy [A]  time = 0.33, size = 32, normalized size = 1.10 (x1+e3)ex313x2+56x+(x2+8x16)ex78

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x**2+6*x-8)*exp(3)-x**3+7*x**2-14*x+8)*exp(x)+(3*x**2-26*x+56)*exp(3)+3*x**3-29*x**2+82*x-55)*ex
p((-x**2+8*x-16)*exp(x)+x**3-13*x**2+56*x-78),x)

[Out]

(x - 1 + exp(3))*exp(x**3 - 13*x**2 + 56*x + (-x**2 + 8*x - 16)*exp(x) - 78)

________________________________________________________________________________________