3.85.82 3x4+3e25+10e3x+e6x2x2x3log(x)+e13(5+log(x+e25+10e3x+e6x2x2log(x)))(e25+10e3x+e6x2x2x2x3+e25+10e3x+e6x2x2(5010e3x)log(x))3x4+3e25+10e3x+e6x2x2x3log(x)dx

Optimal. Leaf size=31 e13(5+log(x+e(e3+5x)2log(x)))+x

________________________________________________________________________________________

Rubi [F]  time = 10.45, 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 = {} 3x4+3e25+10e3x+e6x2x2x3log(x)+exp(13(5+log(x+e25+10e3x+e6x2x2log(x))))(e25+10e3x+e6x2x2x2x3+e25+10e3x+e6x2x2(5010e3x)log(x))3x4+3e25+10e3x+e6x2x2x3log(x)dx

Verification is not applicable to the result.

[In]

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

[Out]

x - Defer[Int][(-x + E^((5 + E^3*x)^2/x^2)*Log[x])^(-2/3), x]/(3*E^(5/3)) + Defer[Int][E^((5 + E^3*x)^2/x^2)/(
x*(-x + E^((5 + E^3*x)^2/x^2)*Log[x])^(2/3)), x]/(3*E^(5/3)) - (50*Defer[Int][(E^((5 + E^3*x)^2/x^2)*Log[x])/(
x^3*(-x + E^((5 + E^3*x)^2/x^2)*Log[x])^(2/3)), x])/(3*E^(5/3)) - (10*Defer[Int][(E^(3 + (5 + E^3*x)^2/x^2)*Lo
g[x])/(x^2*(-x + E^((5 + E^3*x)^2/x^2)*Log[x])^(2/3)), x])/(3*E^(5/3))

Rubi steps

integral=3x43e25+10e3x+e6x2x2x3log(x)exp(13(5+log(x+e25+10e3x+e6x2x2log(x))))(e25+10e3x+e6x2x2x2x3+e25+10e3x+e6x2x2(5010e3x)log(x))3x3(xe(5+e3x)2x2log(x))dx=133x43e25+10e3x+e6x2x2x3log(x)exp(13(5+log(x+e25+10e3x+e6x2x2log(x))))(e25+10e3x+e6x2x2x2x3+e25+10e3x+e6x2x2(5010e3x)log(x))x3(xe(5+e3x)2x2log(x))dx=13(3e(5+e3x)2x2x2+x3+50e(5+e3x)2x2log(x)+10e3+(5+e3x)2x2xlog(x)e5/3x3(x+e(5+e3x)2x2log(x))2/3)dx=xe(5+e3x)2x2x2+x3+50e(5+e3x)2x2log(x)+10e3+(5+e3x)2x2xlog(x)x3(x+e(5+e3x)2x2log(x))2/3dx3e5/3=x(1(x+e(5+e3x)2x2log(x))2/3e(5+e3x)2x2(x250log(x)10e3xlog(x))x3(x+e(5+e3x)2x2log(x))2/3)dx3e5/3=x1(x+e(5+e3x)2x2log(x))2/3dx3e5/3+e(5+e3x)2x2(x250log(x)10e3xlog(x))x3(x+e(5+e3x)2x2log(x))2/3dx3e5/3=x1(x+e(5+e3x)2x2log(x))2/3dx3e5/3+(e(5+e3x)2x2x(x+e(5+e3x)2x2log(x))2/310e(5+e3x)2x2(5+e3x)log(x)x3(x+e(5+e3x)2x2log(x))2/3)dx3e5/3=x1(x+e(5+e3x)2x2log(x))2/3dx3e5/3+e(5+e3x)2x2x(x+e(5+e3x)2x2log(x))2/3dx3e5/310e(5+e3x)2x2(5+e3x)log(x)x3(x+e(5+e3x)2x2log(x))2/3dx3e5/3=x1(x+e(5+e3x)2x2log(x))2/3dx3e5/3+e(5+e3x)2x2x(x+e(5+e3x)2x2log(x))2/3dx3e5/310(5e(5+e3x)2x2log(x)x3(x+e(5+e3x)2x2log(x))2/3+e3+(5+e3x)2x2log(x)x2(x+e(5+e3x)2x2log(x))2/3)dx3e5/3=x1(x+e(5+e3x)2x2log(x))2/3dx3e5/3+e(5+e3x)2x2x(x+e(5+e3x)2x2log(x))2/3dx3e5/310e3+(5+e3x)2x2log(x)x2(x+e(5+e3x)2x2log(x))2/3dx3e5/350e(5+e3x)2x2log(x)x3(x+e(5+e3x)2x2log(x))2/3dx3e5/3

________________________________________________________________________________________

Mathematica [A]  time = 0.89, size = 41, normalized size = 1.32 13(3x+3x+e(5+e3x)2x2log(x)3e5/3)

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

fricas [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((((-10*x*exp(3)-50)*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*log(x)+x^2*exp((x^2*exp(3)^2+10*x*exp(3)+
25)/x^2)-x^3)*exp(1/3*log(exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*log(x)-x)-5/3)+3*x^3*exp((x^2*exp(3)^2+10*x*e
xp(3)+25)/x^2)*log(x)-3*x^4)/(3*x^3*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*log(x)-3*x^4),x, algorithm="fricas"
)

[Out]

Exception raised: TypeError >>  Error detected within library code:   integrate: implementation incomplete (co
nstant residues)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 3x3e(x2e6+10xe3+25x2)log(x)3x4(x3x2e(x2e6+10xe3+25x2)+10(xe3+5)e(x2e6+10xe3+25x2)log(x))e(13log(e(x2e6+10xe3+25x2)log(x)x)53)3(x3e(x2e6+10xe3+25x2)log(x)x4)dx

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-10*x*exp(3)-50)*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*log(x)+x^2*exp((x^2*exp(3)^2+10*x*exp(3)+
25)/x^2)-x^3)*exp(1/3*log(exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*log(x)-x)-5/3)+3*x^3*exp((x^2*exp(3)^2+10*x*e
xp(3)+25)/x^2)*log(x)-3*x^4)/(3*x^3*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*log(x)-3*x^4),x, algorithm="giac")

[Out]

integrate(1/3*(3*x^3*e^((x^2*e^6 + 10*x*e^3 + 25)/x^2)*log(x) - 3*x^4 - (x^3 - x^2*e^((x^2*e^6 + 10*x*e^3 + 25
)/x^2) + 10*(x*e^3 + 5)*e^((x^2*e^6 + 10*x*e^3 + 25)/x^2)*log(x))*e^(1/3*log(e^((x^2*e^6 + 10*x*e^3 + 25)/x^2)
*log(x) - x) - 5/3))/(x^3*e^((x^2*e^6 + 10*x*e^3 + 25)/x^2)*log(x) - x^4), x)

________________________________________________________________________________________

maple [F]  time = 0.11, size = 0, normalized size = 0.00 ((10xe350)ex2e6+10xe3+25x2ln(x)+x2ex2e6+10xe3+25x2x3)eln(ex2e6+10xe3+25x2ln(x)x)353+3x3ex2e6+10xe3+25x2ln(x)3x43x3ex2e6+10xe3+25x2ln(x)3x4dx

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-10*x*exp(3)-50)*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*ln(x)+x^2*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2
)-x^3)*exp(1/3*ln(exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*ln(x)-x)-5/3)+3*x^3*exp((x^2*exp(3)^2+10*x*exp(3)+25)
/x^2)*ln(x)-3*x^4)/(3*x^3*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*ln(x)-3*x^4),x)

[Out]

int((((-10*x*exp(3)-50)*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*ln(x)+x^2*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2
)-x^3)*exp(1/3*ln(exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*ln(x)-x)-5/3)+3*x^3*exp((x^2*exp(3)^2+10*x*exp(3)+25)
/x^2)*ln(x)-3*x^4)/(3*x^3*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*ln(x)-3*x^4),x)

________________________________________________________________________________________

maxima [A]  time = 0.53, size = 33, normalized size = 1.06 (xe53+(e(10e3x+25x2+e6)log(x)x)13)e(53)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-10*x*exp(3)-50)*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*log(x)+x^2*exp((x^2*exp(3)^2+10*x*exp(3)+
25)/x^2)-x^3)*exp(1/3*log(exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*log(x)-x)-5/3)+3*x^3*exp((x^2*exp(3)^2+10*x*e
xp(3)+25)/x^2)*log(x)-3*x^4)/(3*x^3*exp((x^2*exp(3)^2+10*x*exp(3)+25)/x^2)*log(x)-3*x^4),x, algorithm="maxima"
)

[Out]

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

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.03 eln(ee6x2+10e3x+25x2ln(x)x)353(x3x2ee6x2+10e3x+25x2+ee6x2+10e3x+25x2ln(x)(10xe3+50))+3x43x3ee6x2+10e3x+25x2ln(x)3x43x3ee6x2+10e3x+25x2ln(x)dx

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

int((exp(log(exp((10*x*exp(3) + x^2*exp(6) + 25)/x^2)*log(x) - x)/3 - 5/3)*(x^3 - x^2*exp((10*x*exp(3) + x^2*e
xp(6) + 25)/x^2) + exp((10*x*exp(3) + x^2*exp(6) + 25)/x^2)*log(x)*(10*x*exp(3) + 50)) + 3*x^4 - 3*x^3*exp((10
*x*exp(3) + x^2*exp(6) + 25)/x^2)*log(x))/(3*x^4 - 3*x^3*exp((10*x*exp(3) + x^2*exp(6) + 25)/x^2)*log(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((((-10*x*exp(3)-50)*exp((x**2*exp(3)**2+10*x*exp(3)+25)/x**2)*ln(x)+x**2*exp((x**2*exp(3)**2+10*x*ex
p(3)+25)/x**2)-x**3)*exp(1/3*ln(exp((x**2*exp(3)**2+10*x*exp(3)+25)/x**2)*ln(x)-x)-5/3)+3*x**3*exp((x**2*exp(3
)**2+10*x*exp(3)+25)/x**2)*ln(x)-3*x**4)/(3*x**3*exp((x**2*exp(3)**2+10*x*exp(3)+25)/x**2)*ln(x)-3*x**4),x)

[Out]

Timed out

________________________________________________________________________________________