3.69.77
Optimal. Leaf size=37
________________________________________________________________________________________
Rubi [F] time = 53.69, 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[(300*x - 100*x^2 + E^x*(-60 + 20*x) + E^(3*x)*(-6*x - 3*x^2 - 5*x^3 + 2*x^4) + E^(2*x)*(55*x^3 + 15*x^4 -
10*x^5) + (E^(3*x)*(6 + 6*x + 10*x^2 - 4*x^3) + E^(2*x)*(-70*x^2 - 40*x^3 + 20*x^4))*Log[(E^x*(-3 + x) + 15*x
- 5*x^2)/x] + (E^(3*x)*(-3 - 5*x + 2*x^2) + E^(2*x)*(15*x + 25*x^2 - 10*x^3))*Log[(E^x*(-3 + x) + 15*x - 5*x^2
)/x]^2)/(300*x - 100*x^2 + E^x*(-60 + 20*x)),x]
[Out]
(-13*E^x)/2 + (7*E^(2*x))/40 - (67*x)/8 + (27*E^x*x)/8 - (E^(2*x)*x)/40 - (15*x^2)/8 - (3*E^x*x^2)/4 + (E^(2*x
)*x^3)/20 - (5*x^4)/48 - x^5/8 - (E^6*ExpIntegralEi[-2*(3 - x)])/8 - (3*E^3*ExpIntegralEi[-3 + x])/2 + (3*ExpI
ntegralEi[x])/2 - ExpIntegralEi[2*x]/40 + (3*E^6*(3 - x)*ExpIntegralEi[-6 + 2*x])/10 - (225*Log[3 - x])/8 + (3
*E^x*Log[-(((E^x - 5*x)*(3 - x))/x)])/2 - (E^(2*x)*Log[-(((E^x - 5*x)*(3 - x))/x)])/40 - (3*E^x*x*Log[-(((E^x
- 5*x)*(3 - x))/x)])/2 + (E^(2*x)*x*Log[-(((E^x - 5*x)*(3 - x))/x)])/20 + (E^x*x^2*Log[-(((E^x - 5*x)*(3 - x))
/x)])/2 - (E^(2*x)*x^2*Log[-(((E^x - 5*x)*(3 - x))/x)])/10 - (5*x^3*Log[-(((E^x - 5*x)*(3 - x))/x)])/6 + (5*x^
4*Log[-(((E^x - 5*x)*(3 - x))/x)])/8 + (3*E^6*ExpIntegralEi[-2*(3 - x)]*Log[-(((E^x - 5*x)*(3 - x))/x)])/10 +
(15*Defer[Int][E^x/(E^x - 5*x), x])/2 - 15*Defer[Int][(E^x*x)/(E^x - 5*x), x] - (25*Defer[Int][x^2/(E^x - 5*x)
, x])/8 + 10*Defer[Int][(E^x*x^2)/(E^x - 5*x), x] + (125*Defer[Int][x^3/(E^x - 5*x), x])/24 - (25*Log[-(((E^x
- 5*x)*(3 - x))/x)]*Defer[Int][x^3/(E^x - 5*x), x])/2 - (5*Defer[Int][(E^x*x^3)/(E^x - 5*x), x])/2 + (25*Defer
[Int][x^4/(E^x - 5*x), x])/24 + (25*Log[-(((E^x - 5*x)*(3 - x))/x)]*Defer[Int][x^4/(E^x - 5*x), x])/2 - (25*De
fer[Int][x^5/(E^x - 5*x), x])/8 + (3*E^6*Defer[Int][ExpIntegralEi[-6 + 2*x]/(E^x - 5*x), x])/2 - (3*E^6*Defer[
Int][ExpIntegralEi[-6 + 2*x]/(-3 + x), x])/10 + (3*E^6*Defer[Int][ExpIntegralEi[-6 + 2*x]/x, x])/10 - (3*E^6*D
efer[Int][(x*ExpIntegralEi[-6 + 2*x])/(E^x - 5*x), x])/2 + Defer[Int][E^(2*x)*Log[((E^x - 5*x)*(-3 + x))/x]^2,
x]/20 + Defer[Int][E^(2*x)*x*Log[((E^x - 5*x)*(-3 + x))/x]^2, x]/10 + (25*Defer[Int][Defer[Int][x^3/(E^x - 5*
x), x], x])/2 - (125*Defer[Int][Defer[Int][x^3/(E^x - 5*x), x]/(E^x - 5*x), x])/2 + (25*Defer[Int][Defer[Int][
x^3/(E^x - 5*x), x]/(-3 + x), x])/2 - (25*Defer[Int][Defer[Int][x^3/(E^x - 5*x), x]/x, x])/2 + (125*Defer[Int]
[(x*Defer[Int][x^3/(E^x - 5*x), x])/(E^x - 5*x), x])/2 - (25*Defer[Int][Defer[Int][x^4/(E^x - 5*x), x], x])/2
+ (125*Defer[Int][Defer[Int][x^4/(E^x - 5*x), x]/(E^x - 5*x), x])/2 - (25*Defer[Int][Defer[Int][x^4/(E^x - 5*x
), x]/(-3 + x), x])/2 + (25*Defer[Int][Defer[Int][x^4/(E^x - 5*x), x]/x, x])/2 - (125*Defer[Int][(x*Defer[Int]
[x^4/(E^x - 5*x), x])/(E^x - 5*x), x])/2
Rubi steps
________________________________________________________________________________________
Mathematica [A] time = 0.12, size = 62, normalized size = 1.68
Antiderivative was successfully verified.
[In]
Integrate[(300*x - 100*x^2 + E^x*(-60 + 20*x) + E^(3*x)*(-6*x - 3*x^2 - 5*x^3 + 2*x^4) + E^(2*x)*(55*x^3 + 15*
x^4 - 10*x^5) + (E^(3*x)*(6 + 6*x + 10*x^2 - 4*x^3) + E^(2*x)*(-70*x^2 - 40*x^3 + 20*x^4))*Log[(E^x*(-3 + x) +
15*x - 5*x^2)/x] + (E^(3*x)*(-3 - 5*x + 2*x^2) + E^(2*x)*(15*x + 25*x^2 - 10*x^3))*Log[(E^x*(-3 + x) + 15*x -
5*x^2)/x]^2)/(300*x - 100*x^2 + E^x*(-60 + 20*x)),x]
[Out]
(x*(20 + E^(2*x)*x^2 - 2*E^(2*x)*x*Log[((E^x - 5*x)*(-3 + x))/x] + E^(2*x)*Log[((E^x - 5*x)*(-3 + x))/x]^2))/2
0
________________________________________________________________________________________
fricas [B] time = 0.88, size = 73, normalized size = 1.97
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((2*x^2-5*x-3)*exp(x)^3+(-10*x^3+25*x^2+15*x)*exp(x)^2)*log(((x-3)*exp(x)-5*x^2+15*x)/x)^2+((-4*x^3
+10*x^2+6*x+6)*exp(x)^3+(20*x^4-40*x^3-70*x^2)*exp(x)^2)*log(((x-3)*exp(x)-5*x^2+15*x)/x)+(2*x^4-5*x^3-3*x^2-6
*x)*exp(x)^3+(-10*x^5+15*x^4+55*x^3)*exp(x)^2+(20*x-60)*exp(x)-100*x^2+300*x)/((20*x-60)*exp(x)-100*x^2+300*x)
,x, algorithm="fricas")
[Out]
1/20*x^3*e^(2*x) - 1/10*x^2*e^(2*x)*log(-(5*x^2 - (x - 3)*e^x - 15*x)/x) + 1/20*x*e^(2*x)*log(-(5*x^2 - (x - 3
)*e^x - 15*x)/x)^2 + x
________________________________________________________________________________________
giac [B] time = 1.18, size = 77, normalized size = 2.08
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((2*x^2-5*x-3)*exp(x)^3+(-10*x^3+25*x^2+15*x)*exp(x)^2)*log(((x-3)*exp(x)-5*x^2+15*x)/x)^2+((-4*x^3
+10*x^2+6*x+6)*exp(x)^3+(20*x^4-40*x^3-70*x^2)*exp(x)^2)*log(((x-3)*exp(x)-5*x^2+15*x)/x)+(2*x^4-5*x^3-3*x^2-6
*x)*exp(x)^3+(-10*x^5+15*x^4+55*x^3)*exp(x)^2+(20*x-60)*exp(x)-100*x^2+300*x)/((20*x-60)*exp(x)-100*x^2+300*x)
,x, algorithm="giac")
[Out]
1/20*x^3*e^(2*x) - 1/10*x^2*e^(2*x)*log(-(5*x^2 - x*e^x - 15*x + 3*e^x)/x) + 1/20*x*e^(2*x)*log(-(5*x^2 - x*e^
x - 15*x + 3*e^x)/x)^2 + x
________________________________________________________________________________________
maple [C] time = 0.40, size = 2157, normalized size = 58.30
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((((2*x^2-5*x-3)*exp(x)^3+(-10*x^3+25*x^2+15*x)*exp(x)^2)*ln(((x-3)*exp(x)-5*x^2+15*x)/x)^2+((-4*x^3+10*x^2
+6*x+6)*exp(x)^3+(20*x^4-40*x^3-70*x^2)*exp(x)^2)*ln(((x-3)*exp(x)-5*x^2+15*x)/x)+(2*x^4-5*x^3-3*x^2-6*x)*exp(
x)^3+(-10*x^5+15*x^4+55*x^3)*exp(x)^2+(20*x-60)*exp(x)-100*x^2+300*x)/((20*x-60)*exp(x)-100*x^2+300*x),x,metho
d=_RETURNVERBOSE)
[Out]
x+1/20*exp(2*x)*x^3-1/20*Pi^2*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^5*exp(2*x)+1/10*Pi^2*x*csgn(I*(-
x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)-1/10*I*Pi*x^2*exp(2*x)-1/80*Pi^2*x*csgn(I*(-x^2-(-1/5*exp(x)-3
)*x-3/5*exp(x))/x)^6*exp(2*x)-1/10*ln(5)*x*exp(2*x)*ln(x)+1/20*Pi^2*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x
))/x)^3*exp(2*x)-1/20*Pi^2*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^4*exp(2*x)+1/20*I*Pi*x*csgn(I*(-x^2
-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)*ln(x)+1/20*I*Pi*ln(5)
*x*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)-1/20*I*Pi*x*csgn(I/x)*csgn(I*(-x^2-(-1/5
*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)*ln(x)+1/20*Pi^2*x*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/
x)^4*exp(2*x)+1/20*I*Pi*x^2*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^3*exp(2*x)-1/80*Pi^2*x*csgn(I*(-x^2-
(-1/5*exp(x)-3)*x-3/5*exp(x)))^2*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^4*exp(2*x)+(-1/10*x*exp(2*x)*ln
(x)-1/20*I*Pi*x*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x
))/x)*exp(2*x)+1/20*I*Pi*x*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)-1/10*I*Pi*x*csgn
(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)-1/20*I*Pi*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*c
sgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)-1/20*I*Pi*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))
/x)^3*exp(2*x)+1/10*I*Pi*x*exp(2*x)+1/10*x*ln(5)*exp(2*x)-1/10*exp(2*x)*x^2)*ln(x^2+(-1/5*exp(x)-3)*x+3/5*exp(
x))-1/10*I*Pi*x*exp(2*x)*ln(x)-1/20*Pi^2*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(
x)-3)*x-3/5*exp(x))/x)^4*exp(2*x)-1/20*Pi^2*x*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x
^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^3*exp(2*x)+1/20*I*Pi*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^3*exp
(2*x)*ln(x)-1/20*I*Pi*ln(5)*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^3*exp(2*x)+1/20*Pi^2*x*csgn(I/x)*c
sgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)*exp(2*x)-1/80*Pi^2*x*
csgn(I/x)^2*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))^2*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(
2*x)+1/20*x*exp(2*x)*ln(x^2+(-1/5*exp(x)-3)*x+3/5*exp(x))^2-1/20*Pi^2*x*exp(2*x)+1/20*ln(5)^2*x*exp(2*x)+1/20*
x*exp(2*x)*ln(x)^2+1/10*x^2*exp(2*x)*ln(x)-1/10*x^2*ln(5)*exp(2*x)+1/10*I*Pi*ln(5)*x*exp(2*x)-1/40*Pi^2*x*csgn
(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^5*exp(2*x)+1/20*Pi^2*x*c
sgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)+1/10*I*Pi*
x^2*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)-1/20*I*Pi*x^2*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)
-3)*x-3/5*exp(x))/x)^2*exp(2*x)-1/40*Pi^2*x*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))^2*csgn(I*(-x
^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^3*exp(2*x)-1/20*Pi^2*x*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)
)/x)^2*exp(2*x)-1/80*Pi^2*x*csgn(I/x)^2*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^4*exp(2*x)+1/20*I*Pi*x*c
sgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)*exp(2*x)*ln
(x)-1/20*I*Pi*ln(5)*x*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5
*exp(x))/x)*exp(2*x)+1/40*Pi^2*x*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^5*exp(2*x)+1/20*I*Pi*
x^2*csgn(I/x)*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)*exp(2*
x)-1/20*I*Pi*ln(5)*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)
^2*exp(2*x)+1/40*Pi^2*x*csgn(I/x)^2*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)-3)*x
-3/5*exp(x))/x)^3*exp(2*x)+1/20*I*Pi*x^2*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x)))*csgn(I*(-x^2-(-1/5*exp(x)
-3)*x-3/5*exp(x))/x)^2*exp(2*x)+1/10*I*Pi*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)*ln(x)-1/1
0*I*Pi*ln(5)*x*csgn(I*(-x^2-(-1/5*exp(x)-3)*x-3/5*exp(x))/x)^2*exp(2*x)
________________________________________________________________________________________
maxima [B] time = 0.75, size = 106, normalized size = 2.86
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((2*x^2-5*x-3)*exp(x)^3+(-10*x^3+25*x^2+15*x)*exp(x)^2)*log(((x-3)*exp(x)-5*x^2+15*x)/x)^2+((-4*x^3
+10*x^2+6*x+6)*exp(x)^3+(20*x^4-40*x^3-70*x^2)*exp(x)^2)*log(((x-3)*exp(x)-5*x^2+15*x)/x)+(2*x^4-5*x^3-3*x^2-6
*x)*exp(x)^3+(-10*x^5+15*x^4+55*x^3)*exp(x)^2+(20*x-60)*exp(x)-100*x^2+300*x)/((20*x-60)*exp(x)-100*x^2+300*x)
,x, algorithm="maxima")
[Out]
1/20*x*e^(2*x)*log(x - 3)^2 + 1/20*x*e^(2*x)*log(-5*x + e^x)^2 - 1/10*(x^2 + x*log(x))*e^(2*x)*log(x - 3) + 1/
20*(x^3 + 2*x^2*log(x) + x*log(x)^2)*e^(2*x) + 1/10*(x*e^(2*x)*log(x - 3) - (x^2 + x*log(x))*e^(2*x))*log(-5*x
+ e^x) + x
________________________________________________________________________________________
mupad [B] time = 4.45, size = 69, normalized size = 1.86
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((300*x + exp(x)*(20*x - 60) - exp(3*x)*(6*x + 3*x^2 + 5*x^3 - 2*x^4) - log((15*x + exp(x)*(x - 3) - 5*x^2)
/x)^2*(exp(3*x)*(5*x - 2*x^2 + 3) - exp(2*x)*(15*x + 25*x^2 - 10*x^3)) + exp(2*x)*(55*x^3 + 15*x^4 - 10*x^5) +
log((15*x + exp(x)*(x - 3) - 5*x^2)/x)*(exp(3*x)*(6*x + 10*x^2 - 4*x^3 + 6) - exp(2*x)*(70*x^2 + 40*x^3 - 20*
x^4)) - 100*x^2)/(300*x + exp(x)*(20*x - 60) - 100*x^2),x)
[Out]
x + (x^3*exp(2*x))/20 + (x*log((15*x + exp(x)*(x - 3) - 5*x^2)/x)^2*exp(2*x))/20 - (x^2*log((15*x + exp(x)*(x
- 3) - 5*x^2)/x)*exp(2*x))/10
________________________________________________________________________________________
sympy [F(-2)] time = 0.00, size = 0, normalized size = 0.00
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((((2*x**2-5*x-3)*exp(x)**3+(-10*x**3+25*x**2+15*x)*exp(x)**2)*ln(((x-3)*exp(x)-5*x**2+15*x)/x)**2+((
-4*x**3+10*x**2+6*x+6)*exp(x)**3+(20*x**4-40*x**3-70*x**2)*exp(x)**2)*ln(((x-3)*exp(x)-5*x**2+15*x)/x)+(2*x**4
-5*x**3-3*x**2-6*x)*exp(x)**3+(-10*x**5+15*x**4+55*x**3)*exp(x)**2+(20*x-60)*exp(x)-100*x**2+300*x)/((20*x-60)
*exp(x)-100*x**2+300*x),x)
[Out]
Exception raised: ShapeError
________________________________________________________________________________________