3.85.98 75x330x4+3x5+e3/x(15+2x+24x210x3+x4)+(e3/xx23x3)log(e3/x+3xx)75x530x6+3x7+e3/x(25x410x5+x6)+(30x4+6x5+e3/x(10x3+2x4))log(e3/x+3xx)+(e3/xx2+3x3)log2(e3/x+3xx)dx

Optimal. Leaf size=30 4+1x+log(3+e3/xx)5x

________________________________________________________________________________________

Rubi [F]  time = 3.93, 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 = {} 75x330x4+3x5+e3/x(15+2x+24x210x3+x4)+(e3/xx23x3)log(e3/x+3xx)75x530x6+3x7+e3/x(25x410x5+x6)+(30x4+6x5+e3/x(10x3+2x4))log(e3/x+3xx)+(e3/xx2+3x3)log2(e3/x+3xx)dx

Verification is not applicable to the result.

[In]

Int[(75*x^3 - 30*x^4 + 3*x^5 + E^(3/x)*(15 + 2*x + 24*x^2 - 10*x^3 + x^4) + (-(E^(3/x)*x^2) - 3*x^3)*Log[(E^(3
/x) + 3*x)/x])/(75*x^5 - 30*x^6 + 3*x^7 + E^(3/x)*(25*x^4 - 10*x^5 + x^6) + (-30*x^4 + 6*x^5 + E^(3/x)*(-10*x^
3 + 2*x^4))*Log[(E^(3/x) + 3*x)/x] + (E^(3/x)*x^2 + 3*x^3)*Log[(E^(3/x) + 3*x)/x]^2),x]

[Out]

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

Rubi steps

integral=(5+x)(3(5+x)x3+e3/x(3x5x2+x3))x2(e3/x+3x)log(3+e3/xx)x2(e3/x+3x)((5+x)x+log(3+e3/xx))2dx=(3(152x+x2)x(e3/x+3x)(5x+x2+log(3+e3/xx))2+15+2x+24x210x3+x4x2log(3+e3/xx)x2(5x+x2+log(3+e3/xx))2)dx=3152x+x2x(e3/x+3x)(5x+x2+log(3+e3/xx))2dx+15+2x+24x210x3+x4x2log(3+e3/xx)x2(5x+x2+log(3+e3/xx))2dx=3(2(e3/x+3x)(5x+x2+log(3+e3/xx))215x(e3/x+3x)(5x+x2+log(3+e3/xx))2+x(e3/x+3x)(5x+x2+log(3+e3/xx))2)dx+(15+2x+24x215x3+2x4x2(5x+x2+log(3+e3/xx))215x+x2+log(3+e3/xx))dx=3x(e3/x+3x)(5x+x2+log(3+e3/xx))2dx61(e3/x+3x)(5x+x2+log(3+e3/xx))2dx451x(e3/x+3x)(5x+x2+log(3+e3/xx))2dx+15+2x+24x215x3+2x4x2(5x+x2+log(3+e3/xx))2dx15x+x2+log(3+e3/xx)dx=3x(e3/x+3x)(5x+x2+log(3+e3/xx))2dx61(e3/x+3x)(5x+x2+log(3+e3/xx))2dx451x(e3/x+3x)(5x+x2+log(3+e3/xx))2dx15x+x2+log(3+e3/xx)dx+(24(5x+x2+log(3+e3/xx))2+15x2(5x+x2+log(3+e3/xx))2+2x(5x+x2+log(3+e3/xx))215x(5x+x2+log(3+e3/xx))2+2x2(5x+x2+log(3+e3/xx))2)dx=21x(5x+x2+log(3+e3/xx))2dx+2x2(5x+x2+log(3+e3/xx))2dx+3x(e3/x+3x)(5x+x2+log(3+e3/xx))2dx61(e3/x+3x)(5x+x2+log(3+e3/xx))2dx+151x2(5x+x2+log(3+e3/xx))2dx15x(5x+x2+log(3+e3/xx))2dx+241(5x+x2+log(3+e3/xx))2dx451x(e3/x+3x)(5x+x2+log(3+e3/xx))2dx15x+x2+log(3+e3/xx)dx

________________________________________________________________________________________

Mathematica [A]  time = 0.10, size = 29, normalized size = 0.97 5x5x+x2+log(3+e3/xx)

Antiderivative was successfully verified.

[In]

Integrate[(75*x^3 - 30*x^4 + 3*x^5 + E^(3/x)*(15 + 2*x + 24*x^2 - 10*x^3 + x^4) + (-(E^(3/x)*x^2) - 3*x^3)*Log
[(E^(3/x) + 3*x)/x])/(75*x^5 - 30*x^6 + 3*x^7 + E^(3/x)*(25*x^4 - 10*x^5 + x^6) + (-30*x^4 + 6*x^5 + E^(3/x)*(
-10*x^3 + 2*x^4))*Log[(E^(3/x) + 3*x)/x] + (E^(3/x)*x^2 + 3*x^3)*Log[(E^(3/x) + 3*x)/x]^2),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.49, size = 29, normalized size = 0.97 x5x25x+log(3x+e3xx)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-x^2*exp(3/x)-3*x^3)*log((exp(3/x)+3*x)/x)+(x^4-10*x^3+24*x^2+2*x+15)*exp(3/x)+3*x^5-30*x^4+75*x^3
)/((x^2*exp(3/x)+3*x^3)*log((exp(3/x)+3*x)/x)^2+((2*x^4-10*x^3)*exp(3/x)+6*x^5-30*x^4)*log((exp(3/x)+3*x)/x)+(
x^6-10*x^5+25*x^4)*exp(3/x)+3*x^7-30*x^6+75*x^5),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [A]  time = 0.39, size = 29, normalized size = 0.97 x5x25x+log(3x+e3xx)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-x^2*exp(3/x)-3*x^3)*log((exp(3/x)+3*x)/x)+(x^4-10*x^3+24*x^2+2*x+15)*exp(3/x)+3*x^5-30*x^4+75*x^3
)/((x^2*exp(3/x)+3*x^3)*log((exp(3/x)+3*x)/x)^2+((2*x^4-10*x^3)*exp(3/x)+6*x^5-30*x^4)*log((exp(3/x)+3*x)/x)+(
x^6-10*x^5+25*x^4)*exp(3/x)+3*x^7-30*x^6+75*x^5),x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

maple [C]  time = 0.15, size = 170, normalized size = 5.67




method result size



risch 2(x5)iπcsgn(ix)csgn(i(e3x3+x))csgn(i(e3x3+x)x)+iπcsgn(ix)csgn(i(e3x3+x)x)2+iπcsgn(i(e3x3+x))csgn(i(e3x3+x)x)2iπcsgn(i(e3x3+x)x)3+2x2+2ln(3)10x2ln(x)+2ln(e3x3+x) 170



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-x^2*exp(3/x)-3*x^3)*ln((exp(3/x)+3*x)/x)+(x^4-10*x^3+24*x^2+2*x+15)*exp(3/x)+3*x^5-30*x^4+75*x^3)/((x^2
*exp(3/x)+3*x^3)*ln((exp(3/x)+3*x)/x)^2+((2*x^4-10*x^3)*exp(3/x)+6*x^5-30*x^4)*ln((exp(3/x)+3*x)/x)+(x^6-10*x^
5+25*x^4)*exp(3/x)+3*x^7-30*x^6+75*x^5),x,method=_RETURNVERBOSE)

[Out]

-2*(x-5)/(-I*Pi*csgn(I/x)*csgn(I*(1/3*exp(3/x)+x))*csgn(I/x*(1/3*exp(3/x)+x))+I*Pi*csgn(I/x)*csgn(I/x*(1/3*exp
(3/x)+x))^2+I*Pi*csgn(I*(1/3*exp(3/x)+x))*csgn(I/x*(1/3*exp(3/x)+x))^2-I*Pi*csgn(I/x*(1/3*exp(3/x)+x))^3+2*x^2
+2*ln(3)-10*x-2*ln(x)+2*ln(1/3*exp(3/x)+x))

________________________________________________________________________________________

maxima [A]  time = 0.42, size = 29, normalized size = 0.97 x5x25x+log(3x+e3x)log(x)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-x^2*exp(3/x)-3*x^3)*log((exp(3/x)+3*x)/x)+(x^4-10*x^3+24*x^2+2*x+15)*exp(3/x)+3*x^5-30*x^4+75*x^3
)/((x^2*exp(3/x)+3*x^3)*log((exp(3/x)+3*x)/x)^2+((2*x^4-10*x^3)*exp(3/x)+6*x^5-30*x^4)*log((exp(3/x)+3*x)/x)+(
x^6-10*x^5+25*x^4)*exp(3/x)+3*x^7-30*x^6+75*x^5),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.03 e3/x(x410x3+24x2+2x+15)ln(3x+e3/xx)(x2e3/x+3x3)+75x330x4+3x5ln(3x+e3/xx)2(x2e3/x+3x3)ln(3x+e3/xx)(e3/x(10x32x4)+30x46x5)+e3/x(x610x5+25x4)+75x530x6+3x7dx

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(3/x)*(2*x + 24*x^2 - 10*x^3 + x^4 + 15) - log((3*x + exp(3/x))/x)*(x^2*exp(3/x) + 3*x^3) + 75*x^3 - 3
0*x^4 + 3*x^5)/(log((3*x + exp(3/x))/x)^2*(x^2*exp(3/x) + 3*x^3) - log((3*x + exp(3/x))/x)*(exp(3/x)*(10*x^3 -
 2*x^4) + 30*x^4 - 6*x^5) + exp(3/x)*(25*x^4 - 10*x^5 + x^6) + 75*x^5 - 30*x^6 + 3*x^7),x)

[Out]

int((exp(3/x)*(2*x + 24*x^2 - 10*x^3 + x^4 + 15) - log((3*x + exp(3/x))/x)*(x^2*exp(3/x) + 3*x^3) + 75*x^3 - 3
0*x^4 + 3*x^5)/(log((3*x + exp(3/x))/x)^2*(x^2*exp(3/x) + 3*x^3) - log((3*x + exp(3/x))/x)*(exp(3/x)*(10*x^3 -
 2*x^4) + 30*x^4 - 6*x^5) + exp(3/x)*(25*x^4 - 10*x^5 + x^6) + 75*x^5 - 30*x^6 + 3*x^7), x)

________________________________________________________________________________________

sympy [A]  time = 0.55, size = 20, normalized size = 0.67 5xx25x+log(3x+e3xx)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-x**2*exp(3/x)-3*x**3)*ln((exp(3/x)+3*x)/x)+(x**4-10*x**3+24*x**2+2*x+15)*exp(3/x)+3*x**5-30*x**4+
75*x**3)/((x**2*exp(3/x)+3*x**3)*ln((exp(3/x)+3*x)/x)**2+((2*x**4-10*x**3)*exp(3/x)+6*x**5-30*x**4)*ln((exp(3/
x)+3*x)/x)+(x**6-10*x**5+25*x**4)*exp(3/x)+3*x**7-30*x**6+75*x**5),x)

[Out]

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

________________________________________________________________________________________