3.33.28 2xe5xx2+ex(6e5x36x4)+e2x(6e5x36x4)+(e5+x+ex(18e5x218x3)+e2x(18e5x218x3))log(e5+x)+(ex(18e5x18x2)+e2x(18e5x18x2))log2(e5+x)+(ex(6e56x)+e2x(6e56x))log3(e5+x)e5x3+x4+(3e5x2+3x3)log(e5+x)+(3e5x+3x2)log2(e5+x)+(e5+x)log3(e5+x)dx

Optimal. Leaf size=22 3(1+ex)2+x(x+log(e5+x))2

________________________________________________________________________________________

Rubi [F]  time = 2.15, 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 = {} 2xe5xx2+ex(6e5x36x4)+e2x(6e5x36x4)+(e5+x+ex(18e5x218x3)+e2x(18e5x218x3))log(e5+x)+(ex(18e5x18x2)+e2x(18e5x18x2))log2(e5+x)+(ex(6e56x)+e2x(6e56x))log3(e5+x)e5x3+x4+(3e5x2+3x3)log(e5+x)+(3e5x+3x2)log2(e5+x)+(e5+x)log3(e5+x)dx

Verification is not applicable to the result.

[In]

Int[(-2*x - E^5*x - x^2 + E^x*(-6*E^5*x^3 - 6*x^4) + E^(2*x)*(-6*E^5*x^3 - 6*x^4) + (E^5 + x + E^x*(-18*E^5*x^
2 - 18*x^3) + E^(2*x)*(-18*E^5*x^2 - 18*x^3))*Log[E^5 + x] + (E^x*(-18*E^5*x - 18*x^2) + E^(2*x)*(-18*E^5*x -
18*x^2))*Log[E^5 + x]^2 + (E^x*(-6*E^5 - 6*x) + E^(2*x)*(-6*E^5 - 6*x))*Log[E^5 + x]^3)/(E^5*x^3 + x^4 + (3*E^
5*x^2 + 3*x^3)*Log[E^5 + x] + (3*E^5*x + 3*x^2)*Log[E^5 + x]^2 + (E^5 + x)*Log[E^5 + x]^3),x]

[Out]

-6*E^x - 3*E^(2*x) + E^5*Defer[Int][(x + Log[E^5 + x])^(-3), x] - (2 + E^5)*Defer[Int][(x + Log[E^5 + x])^(-3)
, x] - 2*Defer[Int][x/(x + Log[E^5 + x])^3, x] - E^10*Defer[Int][1/((E^5 + x)*(x + Log[E^5 + x])^3), x] + E^5*
(2 + E^5)*Defer[Int][1/((E^5 + x)*(x + Log[E^5 + x])^3), x] + Defer[Int][(x + Log[E^5 + x])^(-2), x]

Rubi steps

integral=(2e5)xx2+ex(6e5x36x4)+e2x(6e5x36x4)+(e5+x+ex(18e5x218x3)+e2x(18e5x218x3))log(e5+x)+(ex(18e5x18x2)+e2x(18e5x18x2))log2(e5+x)+(ex(6e56x)+e2x(6e56x))log3(e5+x)e5x3+x4+(3e5x2+3x3)log(e5+x)+(3e5x+3x2)log2(e5+x)+(e5+x)log3(e5+x)dx=x(2+e5+x+6e5+xx2+6e5+2xx2+6exx3+6e2xx3)(e5+x)(1+18exx2+18e2xx2)log(e5+x)18ex(1+ex)x(e5+x)log2(e5+x)6ex(1+ex)(e5+x)log3(e5+x)(e5+x)(x+log(e5+x))3dx=(6ex6e2x2(1+e52)x(e5+x)(x+log(e5+x))3x2(e5+x)(x+log(e5+x))3+log(e5+x)(x+log(e5+x))3)dx=(6exdx)6e2xdx(2+e5)x(e5+x)(x+log(e5+x))3dxx2(e5+x)(x+log(e5+x))3dx+log(e5+x)(x+log(e5+x))3dx=6ex3e2x(2+e5)(1(x+log(e5+x))3e5(e5+x)(x+log(e5+x))3)dx(e5(x+log(e5+x))3+x(x+log(e5+x))3+e10(e5+x)(x+log(e5+x))3)dx+(x(x+log(e5+x))3+1(x+log(e5+x))2)dx=6ex3e2x+e51(x+log(e5+x))3dxe101(e5+x)(x+log(e5+x))3dx(2+e5)1(x+log(e5+x))3dx+(e5(2+e5))1(e5+x)(x+log(e5+x))3dx2x(x+log(e5+x))3dx+1(x+log(e5+x))2dx

________________________________________________________________________________________

Mathematica [A]  time = 0.13, size = 25, normalized size = 1.14 6ex3e2x+x(x+log(e5+x))2

Antiderivative was successfully verified.

[In]

Integrate[(-2*x - E^5*x - x^2 + E^x*(-6*E^5*x^3 - 6*x^4) + E^(2*x)*(-6*E^5*x^3 - 6*x^4) + (E^5 + x + E^x*(-18*
E^5*x^2 - 18*x^3) + E^(2*x)*(-18*E^5*x^2 - 18*x^3))*Log[E^5 + x] + (E^x*(-18*E^5*x - 18*x^2) + E^(2*x)*(-18*E^
5*x - 18*x^2))*Log[E^5 + x]^2 + (E^x*(-6*E^5 - 6*x) + E^(2*x)*(-6*E^5 - 6*x))*Log[E^5 + x]^3)/(E^5*x^3 + x^4 +
 (3*E^5*x^2 + 3*x^3)*Log[E^5 + x] + (3*E^5*x + 3*x^2)*Log[E^5 + x]^2 + (E^5 + x)*Log[E^5 + x]^3),x]

[Out]

-6*E^x - 3*E^(2*x) + x/(x + Log[E^5 + x])^2

________________________________________________________________________________________

fricas [B]  time = 0.71, size = 80, normalized size = 3.64 3x2e(2x)+6x2ex+3(e(2x)+2ex)log(x+e5)2+6(xe(2x)+2xex)log(x+e5)xx2+2xlog(x+e5)+log(x+e5)2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-6*exp(5)-6*x)*exp(x)^2+(-6*exp(5)-6*x)*exp(x))*log(exp(5)+x)^3+((-18*x*exp(5)-18*x^2)*exp(x)^2+(
-18*x*exp(5)-18*x^2)*exp(x))*log(exp(5)+x)^2+((-18*x^2*exp(5)-18*x^3)*exp(x)^2+(-18*x^2*exp(5)-18*x^3)*exp(x)+
exp(5)+x)*log(exp(5)+x)+(-6*x^3*exp(5)-6*x^4)*exp(x)^2+(-6*x^3*exp(5)-6*x^4)*exp(x)-x*exp(5)-x^2-2*x)/((exp(5)
+x)*log(exp(5)+x)^3+(3*x*exp(5)+3*x^2)*log(exp(5)+x)^2+(3*x^2*exp(5)+3*x^3)*log(exp(5)+x)+x^3*exp(5)+x^4),x, a
lgorithm="fricas")

[Out]

-(3*x^2*e^(2*x) + 6*x^2*e^x + 3*(e^(2*x) + 2*e^x)*log(x + e^5)^2 + 6*(x*e^(2*x) + 2*x*e^x)*log(x + e^5) - x)/(
x^2 + 2*x*log(x + e^5) + log(x + e^5)^2)

________________________________________________________________________________________

giac [B]  time = 1.11, size = 89, normalized size = 4.05 3x2e(2x)+6x2ex+6xe(2x)log(x+e5)+12xexlog(x+e5)+3e(2x)log(x+e5)2+6exlog(x+e5)2xx2+2xlog(x+e5)+log(x+e5)2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-6*exp(5)-6*x)*exp(x)^2+(-6*exp(5)-6*x)*exp(x))*log(exp(5)+x)^3+((-18*x*exp(5)-18*x^2)*exp(x)^2+(
-18*x*exp(5)-18*x^2)*exp(x))*log(exp(5)+x)^2+((-18*x^2*exp(5)-18*x^3)*exp(x)^2+(-18*x^2*exp(5)-18*x^3)*exp(x)+
exp(5)+x)*log(exp(5)+x)+(-6*x^3*exp(5)-6*x^4)*exp(x)^2+(-6*x^3*exp(5)-6*x^4)*exp(x)-x*exp(5)-x^2-2*x)/((exp(5)
+x)*log(exp(5)+x)^3+(3*x*exp(5)+3*x^2)*log(exp(5)+x)^2+(3*x^2*exp(5)+3*x^3)*log(exp(5)+x)+x^3*exp(5)+x^4),x, a
lgorithm="giac")

[Out]

-(3*x^2*e^(2*x) + 6*x^2*e^x + 6*x*e^(2*x)*log(x + e^5) + 12*x*e^x*log(x + e^5) + 3*e^(2*x)*log(x + e^5)^2 + 6*
e^x*log(x + e^5)^2 - x)/(x^2 + 2*x*log(x + e^5) + log(x + e^5)^2)

________________________________________________________________________________________

maple [A]  time = 0.36, size = 23, normalized size = 1.05




method result size



risch 3e2x6ex+x(ln(e5+x)+x)2 23



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-6*exp(5)-6*x)*exp(x)^2+(-6*exp(5)-6*x)*exp(x))*ln(exp(5)+x)^3+((-18*x*exp(5)-18*x^2)*exp(x)^2+(-18*x*e
xp(5)-18*x^2)*exp(x))*ln(exp(5)+x)^2+((-18*x^2*exp(5)-18*x^3)*exp(x)^2+(-18*x^2*exp(5)-18*x^3)*exp(x)+exp(5)+x
)*ln(exp(5)+x)+(-6*x^3*exp(5)-6*x^4)*exp(x)^2+(-6*x^3*exp(5)-6*x^4)*exp(x)-x*exp(5)-x^2-2*x)/((exp(5)+x)*ln(ex
p(5)+x)^3+(3*x*exp(5)+3*x^2)*ln(exp(5)+x)^2+(3*x^2*exp(5)+3*x^3)*ln(exp(5)+x)+x^3*exp(5)+x^4),x,method=_RETURN
VERBOSE)

[Out]

-3*exp(2*x)-6*exp(x)+x/(ln(exp(5)+x)+x)^2

________________________________________________________________________________________

maxima [B]  time = 0.81, size = 80, normalized size = 3.64 3x2e(2x)+6x2ex+3(e(2x)+2ex)log(x+e5)2+6(xe(2x)+2xex)log(x+e5)xx2+2xlog(x+e5)+log(x+e5)2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-6*exp(5)-6*x)*exp(x)^2+(-6*exp(5)-6*x)*exp(x))*log(exp(5)+x)^3+((-18*x*exp(5)-18*x^2)*exp(x)^2+(
-18*x*exp(5)-18*x^2)*exp(x))*log(exp(5)+x)^2+((-18*x^2*exp(5)-18*x^3)*exp(x)^2+(-18*x^2*exp(5)-18*x^3)*exp(x)+
exp(5)+x)*log(exp(5)+x)+(-6*x^3*exp(5)-6*x^4)*exp(x)^2+(-6*x^3*exp(5)-6*x^4)*exp(x)-x*exp(5)-x^2-2*x)/((exp(5)
+x)*log(exp(5)+x)^3+(3*x*exp(5)+3*x^2)*log(exp(5)+x)^2+(3*x^2*exp(5)+3*x^3)*log(exp(5)+x)+x^3*exp(5)+x^4),x, a
lgorithm="maxima")

[Out]

-(3*x^2*e^(2*x) + 6*x^2*e^x + 3*(e^(2*x) + 2*e^x)*log(x + e^5)^2 + 6*(x*e^(2*x) + 2*x*e^x)*log(x + e^5) - x)/(
x^2 + 2*x*log(x + e^5) + log(x + e^5)^2)

________________________________________________________________________________________

mupad [B]  time = 2.70, size = 181, normalized size = 8.23 x(x+e5+2)2(x+e5+1)ln(x+e5)(x+e5)2(x+e5+1)x2+2xln(x+e5)+ln(x+e5)26ex3e2x+(x+e5)(x+2e5+e10+2xe5+x2+1)2(x+e5+1)3ln(x+e5)(x+e5)2(x+e5+1)3x+ln(x+e5)+x+e52x3+(6e5+6)x2+(12e5+6e10+6)x+6e5+6e10+2e15+2

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(2*x + x*exp(5) + log(x + exp(5))^2*(exp(x)*(18*x*exp(5) + 18*x^2) + exp(2*x)*(18*x*exp(5) + 18*x^2)) + e
xp(x)*(6*x^3*exp(5) + 6*x^4) - log(x + exp(5))*(x + exp(5) - exp(x)*(18*x^2*exp(5) + 18*x^3) - exp(2*x)*(18*x^
2*exp(5) + 18*x^3)) + log(x + exp(5))^3*(exp(x)*(6*x + 6*exp(5)) + exp(2*x)*(6*x + 6*exp(5))) + exp(2*x)*(6*x^
3*exp(5) + 6*x^4) + x^2)/(log(x + exp(5))^2*(3*x*exp(5) + 3*x^2) + log(x + exp(5))*(3*x^2*exp(5) + 3*x^3) + x^
3*exp(5) + log(x + exp(5))^3*(x + exp(5)) + x^4),x)

[Out]

((x*(x + exp(5) + 2))/(2*(x + exp(5) + 1)) - (log(x + exp(5))*(x + exp(5)))/(2*(x + exp(5) + 1)))/(log(x + exp
(5))^2 + 2*x*log(x + exp(5)) + x^2) - 6*exp(x) - 3*exp(2*x) + (((x + exp(5))*(x + 2*exp(5) + exp(10) + 2*x*exp
(5) + x^2 + 1))/(2*(x + exp(5) + 1)^3) - (log(x + exp(5))*(x + exp(5)))/(2*(x + exp(5) + 1)^3))/(x + log(x + e
xp(5))) + (x + exp(5))/(6*exp(5) + 6*exp(10) + 2*exp(15) + x^2*(6*exp(5) + 6) + x*(12*exp(5) + 6*exp(10) + 6)
+ 2*x^3 + 2)

________________________________________________________________________________________

sympy [A]  time = 0.59, size = 34, normalized size = 1.55 xx2+2xlog(x+e5)+log(x+e5)23e2x6ex

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-6*exp(5)-6*x)*exp(x)**2+(-6*exp(5)-6*x)*exp(x))*ln(exp(5)+x)**3+((-18*x*exp(5)-18*x**2)*exp(x)**
2+(-18*x*exp(5)-18*x**2)*exp(x))*ln(exp(5)+x)**2+((-18*x**2*exp(5)-18*x**3)*exp(x)**2+(-18*x**2*exp(5)-18*x**3
)*exp(x)+exp(5)+x)*ln(exp(5)+x)+(-6*x**3*exp(5)-6*x**4)*exp(x)**2+(-6*x**3*exp(5)-6*x**4)*exp(x)-x*exp(5)-x**2
-2*x)/((exp(5)+x)*ln(exp(5)+x)**3+(3*x*exp(5)+3*x**2)*ln(exp(5)+x)**2+(3*x**2*exp(5)+3*x**3)*ln(exp(5)+x)+x**3
*exp(5)+x**4),x)

[Out]

x/(x**2 + 2*x*log(x + exp(5)) + log(x + exp(5))**2) - 3*exp(2*x) - 6*exp(x)

________________________________________________________________________________________