3.37.91 exlog(e2+e7(5+x)log(x)x)((25x2+10x3+x4)log2(x)+e7(5+x)log(x)(35x+7x2+7x2log(x))+log2(e2+e7(5+x)log(x)x)(e7(5+x)log(x)(2510xx2)log2(x)+(25x+10x2+x3+e2(25+10x+x2))log2(x))+log(e2+e7(5+x)log(x)x)(e7(5+x)log(x)(25x+10x2+x3)log2(x)+(25x210x3x4+e2(25x10x2x3))log2(x)))log2(e2+e7(5+x)log(x)x)(e7(5+x)log(x)(25x2+10x3+x4)log2(x)+(25x310x4x5+e2(25x210x3x4))log2(x))dx

Optimal. Leaf size=33 exlog(e2+e7(5+x)log(x)x)x

________________________________________________________________________________________

Rubi [B]  time = 6.47, antiderivative size = 386, normalized size of antiderivative = 11.70, number of steps used = 1, number of rules used = 1, integrand size = 359, number of rulesintegrand size = 0.003, Rules used = {2288} exlog(x+e7(x+5)log(x)e2)(7e7(x+5)log(x)(x2+x2log(x)+5x)+(x4+10x3+25x2)log2(x)+log(x+e7(x+5)log(x)e2)((x3+10x2+25x)e7(x+5)log(x)log2(x)(x4+10x3+25x2+e2(x3+10x2+25x))log2(x)))log2(x+e7(x+5)log(x)e2)(1log(x+e7(x+5)log(x)e2)x(7e7(x+5)log(x)(1x(x+5)log2(x)+1(x+5)2log(x))+1)(xe7(x+5)log(x)+e2)log2(x+e7(x+5)log(x)e2))((x4+10x3+25x2)e7(x+5)log(x)log2(x)(x5+10x4+25x3+e2(x4+10x3+25x2))log2(x))

Antiderivative was successfully verified.

[In]

Int[(E^(x/Log[-E^2 + E^(7/((5 + x)*Log[x])) - x])*((25*x^2 + 10*x^3 + x^4)*Log[x]^2 + E^(7/((5 + x)*Log[x]))*(
35*x + 7*x^2 + 7*x^2*Log[x]) + Log[-E^2 + E^(7/((5 + x)*Log[x])) - x]^2*(E^(7/((5 + x)*Log[x]))*(-25 - 10*x -
x^2)*Log[x]^2 + (25*x + 10*x^2 + x^3 + E^2*(25 + 10*x + x^2))*Log[x]^2) + Log[-E^2 + E^(7/((5 + x)*Log[x])) -
x]*(E^(7/((5 + x)*Log[x]))*(25*x + 10*x^2 + x^3)*Log[x]^2 + (-25*x^2 - 10*x^3 - x^4 + E^2*(-25*x - 10*x^2 - x^
3))*Log[x]^2)))/(Log[-E^2 + E^(7/((5 + x)*Log[x])) - x]^2*(E^(7/((5 + x)*Log[x]))*(25*x^2 + 10*x^3 + x^4)*Log[
x]^2 + (-25*x^3 - 10*x^4 - x^5 + E^2*(-25*x^2 - 10*x^3 - x^4))*Log[x]^2)),x]

[Out]

(E^(x/Log[-E^2 + E^(7/((5 + x)*Log[x])) - x])*((25*x^2 + 10*x^3 + x^4)*Log[x]^2 + 7*E^(7/((5 + x)*Log[x]))*(5*
x + x^2 + x^2*Log[x]) + Log[-E^2 + E^(7/((5 + x)*Log[x])) - x]*(E^(7/((5 + x)*Log[x]))*(25*x + 10*x^2 + x^3)*L
og[x]^2 - (25*x^2 + 10*x^3 + x^4 + E^2*(25*x + 10*x^2 + x^3))*Log[x]^2)))/(Log[-E^2 + E^(7/((5 + x)*Log[x])) -
 x]^2*(Log[-E^2 + E^(7/((5 + x)*Log[x])) - x]^(-1) - (x*(1 + 7*E^(7/((5 + x)*Log[x]))*(1/(x*(5 + x)*Log[x]^2)
+ 1/((5 + x)^2*Log[x]))))/((E^2 - E^(7/((5 + x)*Log[x])) + x)*Log[-E^2 + E^(7/((5 + x)*Log[x])) - x]^2))*(E^(7
/((5 + x)*Log[x]))*(25*x^2 + 10*x^3 + x^4)*Log[x]^2 - (25*x^3 + 10*x^4 + x^5 + E^2*(25*x^2 + 10*x^3 + x^4))*Lo
g[x]^2))

Rule 2288

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = (v*y)/(Log[F]*D[u, x])}, Simp[F^u*z, x] /; EqQ[D[z,
x], w*y]] /; FreeQ[F, x]

Rubi steps

integral=exlog(e2+e7(5+x)log(x)x)((25x2+10x3+x4)log2(x)+7e7(5+x)log(x)(5x+x2+x2log(x))+log(e2+e7(5+x)log(x)x)(e7(5+x)log(x)(25x+10x2+x3)log2(x)(25x2+10x3+x4+e2(25x+10x2+x3))log2(x)))log2(e2+e7(5+x)log(x)x)(1log(e2+e7(5+x)log(x)x)x(1+7e7(5+x)log(x)(1x(5+x)log2(x)+1(5+x)2log(x)))(e2e7(5+x)log(x)+x)log2(e2+e7(5+x)log(x)x))(e7(5+x)log(x)(25x2+10x3+x4)log2(x)(25x3+10x4+x5+e2(25x2+10x3+x4))log2(x))

________________________________________________________________________________________

Mathematica [A]  time = 0.82, size = 33, normalized size = 1.00 exlog(e2+e7(5+x)log(x)x)x

Antiderivative was successfully verified.

[In]

Integrate[(E^(x/Log[-E^2 + E^(7/((5 + x)*Log[x])) - x])*((25*x^2 + 10*x^3 + x^4)*Log[x]^2 + E^(7/((5 + x)*Log[
x]))*(35*x + 7*x^2 + 7*x^2*Log[x]) + Log[-E^2 + E^(7/((5 + x)*Log[x])) - x]^2*(E^(7/((5 + x)*Log[x]))*(-25 - 1
0*x - x^2)*Log[x]^2 + (25*x + 10*x^2 + x^3 + E^2*(25 + 10*x + x^2))*Log[x]^2) + Log[-E^2 + E^(7/((5 + x)*Log[x
])) - x]*(E^(7/((5 + x)*Log[x]))*(25*x + 10*x^2 + x^3)*Log[x]^2 + (-25*x^2 - 10*x^3 - x^4 + E^2*(-25*x - 10*x^
2 - x^3))*Log[x]^2)))/(Log[-E^2 + E^(7/((5 + x)*Log[x])) - x]^2*(E^(7/((5 + x)*Log[x]))*(25*x^2 + 10*x^3 + x^4
)*Log[x]^2 + (-25*x^3 - 10*x^4 - x^5 + E^2*(-25*x^2 - 10*x^3 - x^4))*Log[x]^2)),x]

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.85, size = 30, normalized size = 0.91 e(xlog(xe2+e(7(x+5)log(x))))x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^2-10*x-25)*log(x)^2*exp(7/log(x)/(5+x))+((x^2+10*x+25)*exp(2)+x^3+10*x^2+25*x)*log(x)^2)*log(e
xp(7/log(x)/(5+x))-exp(2)-x)^2+((x^3+10*x^2+25*x)*log(x)^2*exp(7/log(x)/(5+x))+((-x^3-10*x^2-25*x)*exp(2)-x^4-
10*x^3-25*x^2)*log(x)^2)*log(exp(7/log(x)/(5+x))-exp(2)-x)+(7*x^2*log(x)+7*x^2+35*x)*exp(7/log(x)/(5+x))+(x^4+
10*x^3+25*x^2)*log(x)^2)*exp(x/log(exp(7/log(x)/(5+x))-exp(2)-x))/((x^4+10*x^3+25*x^2)*log(x)^2*exp(7/log(x)/(
5+x))+((-x^4-10*x^3-25*x^2)*exp(2)-x^5-10*x^4-25*x^3)*log(x)^2)/log(exp(7/log(x)/(5+x))-exp(2)-x)^2,x, algorit
hm="fricas")

[Out]

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

________________________________________________________________________________________

giac [F(-2)]  time = 0.00, size = 0, normalized size = 0.00 Exception raised: TypeError

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^2-10*x-25)*log(x)^2*exp(7/log(x)/(5+x))+((x^2+10*x+25)*exp(2)+x^3+10*x^2+25*x)*log(x)^2)*log(e
xp(7/log(x)/(5+x))-exp(2)-x)^2+((x^3+10*x^2+25*x)*log(x)^2*exp(7/log(x)/(5+x))+((-x^3-10*x^2-25*x)*exp(2)-x^4-
10*x^3-25*x^2)*log(x)^2)*log(exp(7/log(x)/(5+x))-exp(2)-x)+(7*x^2*log(x)+7*x^2+35*x)*exp(7/log(x)/(5+x))+(x^4+
10*x^3+25*x^2)*log(x)^2)*exp(x/log(exp(7/log(x)/(5+x))-exp(2)-x))/((x^4+10*x^3+25*x^2)*log(x)^2*exp(7/log(x)/(
5+x))+((-x^4-10*x^3-25*x^2)*exp(2)-x^5-10*x^4-25*x^3)*log(x)^2)/log(exp(7/log(x)/(5+x))-exp(2)-x)^2,x, algorit
hm="giac")

[Out]

Exception raised: TypeError >> An error occurred running a Giac command:INPUT:sage2:=int(sage0,sageVARx):;OUTP
UT:Evaluation time: 5.48Unable to divide, perhaps due to rounding error%%%{117649,[0,20]%%%}+%%%{9411920,[0,19
]%%%}+%%%{3

________________________________________________________________________________________

maple [A]  time = 0.08, size = 31, normalized size = 0.94




method result size



risch exln(e7ln(x)(5+x)e2x)x 31



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-x^2-10*x-25)*ln(x)^2*exp(7/ln(x)/(5+x))+((x^2+10*x+25)*exp(2)+x^3+10*x^2+25*x)*ln(x)^2)*ln(exp(7/ln(x)
/(5+x))-exp(2)-x)^2+((x^3+10*x^2+25*x)*ln(x)^2*exp(7/ln(x)/(5+x))+((-x^3-10*x^2-25*x)*exp(2)-x^4-10*x^3-25*x^2
)*ln(x)^2)*ln(exp(7/ln(x)/(5+x))-exp(2)-x)+(7*x^2*ln(x)+7*x^2+35*x)*exp(7/ln(x)/(5+x))+(x^4+10*x^3+25*x^2)*ln(
x)^2)*exp(x/ln(exp(7/ln(x)/(5+x))-exp(2)-x))/((x^4+10*x^3+25*x^2)*ln(x)^2*exp(7/ln(x)/(5+x))+((-x^4-10*x^3-25*
x^2)*exp(2)-x^5-10*x^4-25*x^3)*ln(x)^2)/ln(exp(7/ln(x)/(5+x))-exp(2)-x)^2,x,method=_RETURNVERBOSE)

[Out]

exp(x/ln(exp(7/ln(x)/(5+x))-exp(2)-x))/x

________________________________________________________________________________________

maxima [F(-2)]  time = 0.00, size = 0, normalized size = 0.00 Exception raised: RuntimeError

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x^2-10*x-25)*log(x)^2*exp(7/log(x)/(5+x))+((x^2+10*x+25)*exp(2)+x^3+10*x^2+25*x)*log(x)^2)*log(e
xp(7/log(x)/(5+x))-exp(2)-x)^2+((x^3+10*x^2+25*x)*log(x)^2*exp(7/log(x)/(5+x))+((-x^3-10*x^2-25*x)*exp(2)-x^4-
10*x^3-25*x^2)*log(x)^2)*log(exp(7/log(x)/(5+x))-exp(2)-x)+(7*x^2*log(x)+7*x^2+35*x)*exp(7/log(x)/(5+x))+(x^4+
10*x^3+25*x^2)*log(x)^2)*exp(x/log(exp(7/log(x)/(5+x))-exp(2)-x))/((x^4+10*x^3+25*x^2)*log(x)^2*exp(7/log(x)/(
5+x))+((-x^4-10*x^3-25*x^2)*exp(2)-x^5-10*x^4-25*x^3)*log(x)^2)/log(exp(7/log(x)/(5+x))-exp(2)-x)^2,x, algorit
hm="maxima")

[Out]

Exception raised: RuntimeError >> ECL says: In function CAR, the value of the first argument is  0which is not
 of the expected type LIST

________________________________________________________________________________________

mupad [B]  time = 3.62, size = 32, normalized size = 0.97 exln(e75ln(x)+xln(x)e2x)x

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(exp(x/log(exp(7/(log(x)*(x + 5))) - x - exp(2)))*(exp(7/(log(x)*(x + 5)))*(35*x + 7*x^2*log(x) + 7*x^2)
+ log(x)^2*(25*x^2 + 10*x^3 + x^4) + log(exp(7/(log(x)*(x + 5))) - x - exp(2))^2*(log(x)^2*(25*x + exp(2)*(10*
x + x^2 + 25) + 10*x^2 + x^3) - exp(7/(log(x)*(x + 5)))*log(x)^2*(10*x + x^2 + 25)) - log(exp(7/(log(x)*(x + 5
))) - x - exp(2))*(log(x)^2*(exp(2)*(25*x + 10*x^2 + x^3) + 25*x^2 + 10*x^3 + x^4) - exp(7/(log(x)*(x + 5)))*l
og(x)^2*(25*x + 10*x^2 + x^3))))/(log(exp(7/(log(x)*(x + 5))) - x - exp(2))^2*(log(x)^2*(exp(2)*(25*x^2 + 10*x
^3 + x^4) + 25*x^3 + 10*x^4 + x^5) - exp(7/(log(x)*(x + 5)))*log(x)^2*(25*x^2 + 10*x^3 + x^4))),x)

[Out]

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

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 Timed out

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-x**2-10*x-25)*ln(x)**2*exp(7/ln(x)/(5+x))+((x**2+10*x+25)*exp(2)+x**3+10*x**2+25*x)*ln(x)**2)*ln
(exp(7/ln(x)/(5+x))-exp(2)-x)**2+((x**3+10*x**2+25*x)*ln(x)**2*exp(7/ln(x)/(5+x))+((-x**3-10*x**2-25*x)*exp(2)
-x**4-10*x**3-25*x**2)*ln(x)**2)*ln(exp(7/ln(x)/(5+x))-exp(2)-x)+(7*x**2*ln(x)+7*x**2+35*x)*exp(7/ln(x)/(5+x))
+(x**4+10*x**3+25*x**2)*ln(x)**2)*exp(x/ln(exp(7/ln(x)/(5+x))-exp(2)-x))/((x**4+10*x**3+25*x**2)*ln(x)**2*exp(
7/ln(x)/(5+x))+((-x**4-10*x**3-25*x**2)*exp(2)-x**5-10*x**4-25*x**3)*ln(x)**2)/ln(exp(7/ln(x)/(5+x))-exp(2)-x)
**2,x)

[Out]

Timed out

________________________________________________________________________________________