3.89.72
Optimal. Leaf size=29
________________________________________________________________________________________
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, = 0.000, Rules used =
{}
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
________________________________________________________________________________________
Mathematica [A] time = 0.08, size = 32, normalized size = 1.10
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
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
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 |
|
|
norman |
|
|
|
|
|
|
|
|
|
|
|
|
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
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
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
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)
________________________________________________________________________________________