3.89.84 128x2+160x332x4+e5(640x+128x2)+(640x+128x2)log(5+x)320x3176x412x5+7x6+x7+e15(320+64x)+e10(960x48x2+48x3)+e5(960x2288x3+36x4+12x5)+(240x372x4+9x5+3x6+e10(240x+48x2)+e5(480x224x3+24x4))log(2)+(60x33x4+3x5+e5(60x2+12x3))log2(2)+(5x3+x4)log3(2)+(240x372x4+9x5+3x6+e10(240x+48x2)+e5(480x224x3+24x4)+(120x36x4+6x5+e5(120x2+24x3))log(2)+(15x3+3x4)log2(2))log(3)+(60x33x4+3x5+e5(60x2+12x3)+(15x3+3x4)log(2))log2(3)+(5x3+x4)log3(3)+(960x2288x3+36x4+12x5+e10(960+192x)+e5(1920x96x2+96x3)+(480x224x3+24x4+e5(480x+96x2))log(2)+(60x2+12x3)log2(2)+(480x224x3+24x4+e5(480x+96x2)+(120x2+24x3)log(2))log(3)+(60x2+12x3)log2(3))log(5+x)+(960x48x2+48x3+e5(960+192x)+(240x+48x2)log(2)+(240x+48x2)log(3))log2(5+x)+(320+64x)log3(5+x)dx

Optimal. Leaf size=26 1(14(x+log(2)+log(3))+e5+x+log(5+x)x)2

________________________________________________________________________________________

Rubi [F]  time = 3.85, 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 = {} 128x2+160x332x4+e5(640x+128x2)+(640x+128x2)log(5+x)320x3176x412x5+7x6+x7+e15(320+64x)+e10(960x48x2+48x3)+e5(960x2288x3+36x4+12x5)+(240x372x4+9x5+3x6+e10(240x+48x2)+e5(480x224x3+24x4))log(2)+(60x33x4+3x5+e5(60x2+12x3))log2(2)+(5x3+x4)log3(2)+(240x372x4+9x5+3x6+e10(240x+48x2)+e5(480x224x3+24x4)+(120x36x4+6x5+e5(120x2+24x3))log(2)+(15x3+3x4)log2(2))log(3)+(60x33x4+3x5+e5(60x2+12x3)+(15x3+3x4)log(2))log2(3)+(5x3+x4)log3(3)+(960x2288x3+36x4+12x5+e10(960+192x)+e5(1920x96x2+96x3)+(480x224x3+24x4+e5(480x+96x2))log(2)+(60x2+12x3)log2(2)+(480x224x3+24x4+e5(480x+96x2)+(120x2+24x3)log(2))log(3)+(60x2+12x3)log2(3))log(5+x)+(960x48x2+48x3+e5(960+192x)+(240x+48x2)log(2)+(240x+48x2)log(3))log2(5+x)+(320+64x)log3(5+x)dx

Verification is not applicable to the result.

[In]

Int[(-128*x^2 + 160*x^3 - 32*x^4 + E^5*(-640*x + 128*x^2) + (-640*x + 128*x^2)*Log[-5 + x])/(-320*x^3 - 176*x^
4 - 12*x^5 + 7*x^6 + x^7 + E^15*(-320 + 64*x) + E^10*(-960*x - 48*x^2 + 48*x^3) + E^5*(-960*x^2 - 288*x^3 + 36
*x^4 + 12*x^5) + (-240*x^3 - 72*x^4 + 9*x^5 + 3*x^6 + E^10*(-240*x + 48*x^2) + E^5*(-480*x^2 - 24*x^3 + 24*x^4
))*Log[2] + (-60*x^3 - 3*x^4 + 3*x^5 + E^5*(-60*x^2 + 12*x^3))*Log[2]^2 + (-5*x^3 + x^4)*Log[2]^3 + (-240*x^3
- 72*x^4 + 9*x^5 + 3*x^6 + E^10*(-240*x + 48*x^2) + E^5*(-480*x^2 - 24*x^3 + 24*x^4) + (-120*x^3 - 6*x^4 + 6*x
^5 + E^5*(-120*x^2 + 24*x^3))*Log[2] + (-15*x^3 + 3*x^4)*Log[2]^2)*Log[3] + (-60*x^3 - 3*x^4 + 3*x^5 + E^5*(-6
0*x^2 + 12*x^3) + (-15*x^3 + 3*x^4)*Log[2])*Log[3]^2 + (-5*x^3 + x^4)*Log[3]^3 + (-960*x^2 - 288*x^3 + 36*x^4
+ 12*x^5 + E^10*(-960 + 192*x) + E^5*(-1920*x - 96*x^2 + 96*x^3) + (-480*x^2 - 24*x^3 + 24*x^4 + E^5*(-480*x +
 96*x^2))*Log[2] + (-60*x^2 + 12*x^3)*Log[2]^2 + (-480*x^2 - 24*x^3 + 24*x^4 + E^5*(-480*x + 96*x^2) + (-120*x
^2 + 24*x^3)*Log[2])*Log[3] + (-60*x^2 + 12*x^3)*Log[3]^2)*Log[-5 + x] + (-960*x - 48*x^2 + 48*x^3 + E^5*(-960
 + 192*x) + (-240*x + 48*x^2)*Log[2] + (-240*x + 48*x^2)*Log[3])*Log[-5 + x]^2 + (-320 + 64*x)*Log[-5 + x]^3),
x]

[Out]

640*Defer[Int][(-4*E^5 - x*(4 + x + Log[6]) - 4*Log[-5 + x])^(-3), x] + 128*Defer[Int][x/(-4*E^5 - x*(4 + x +
Log[6]) - 4*Log[-5 + x])^3, x] + 64*Defer[Int][x^3/(-4*E^5 - x*(4 + x + Log[6]) - 4*Log[-5 + x])^3, x] + 3200*
Defer[Int][1/((5 - x)*(4*E^5 + x^2 + 4*x*(1 + Log[6]/4) + 4*Log[-5 + x])^3), x] - 32*(4 + Log[6])*Defer[Int][x
^2/(4*E^5 + x^2 + 4*x*(1 + Log[6]/4) + 4*Log[-5 + x])^3, x] + 32*Defer[Int][x/(4*E^5 + x^2 + 4*x*(1 + Log[6]/4
) + 4*Log[-5 + x])^2, x]

Rubi steps

integral=128x2+160x332x4+e5(640x+128x2)+(640x+128x2)log(5+x)320x3176x412x5+7x6+x7+e15(320+64x)+e10(960x48x2+48x3)+e5(960x2288x3+36x4+12x5)+(240x372x4+9x5+3x6+e10(240x+48x2)+e5(480x224x3+24x4))log(2)+(60x33x4+3x5+e5(60x2+12x3))log2(2)+(240x372x4+9x5+3x6+e10(240x+48x2)+e5(480x224x3+24x4)+(120x36x4+6x5+e5(120x2+24x3))log(2)+(15x3+3x4)log2(2))log(3)+(60x33x4+3x5+e5(60x2+12x3)+(15x3+3x4)log(2))log2(3)+(5x3+x4)(log3(2)+log3(3))+(960x2288x3+36x4+12x5+e10(960+192x)+e5(1920x96x2+96x3)+(480x224x3+24x4+e5(480x+96x2))log(2)+(60x2+12x3)log2(2)+(480x224x3+24x4+e5(480x+96x2)+(120x2+24x3)log(2))log(3)+(60x2+12x3)log2(3))log(5+x)+(960x48x2+48x3+e5(960+192x)+(240x+48x2)log(2)+(240x+48x2)log(3))log2(5+x)+(320+64x)log3(5+x)dx=32x(4e5(5+x)+x(45x+x2)4(5+x)log(5+x))(5x)(4e5+x(4+x+log(6))+4log(5+x))3dx=32x(4e5(5+x)+x(45x+x2)4(5+x)log(5+x))(5x)(4e5+x(4+x+log(6))+4log(5+x))3dx=32(x2(16+2x2x(6log(6))5log(6))(5x)(4e5+x2+4x(1+log(6)4)+4log(5+x))3+x(4e5+x2+4x(1+log(6)4)+4log(5+x))2)dx=32x2(16+2x2x(6log(6))5log(6))(5x)(4e5+x2+4x(1+log(6)4)+4log(5+x))3dx+32x(4e5+x2+4x(1+log(6)4)+4log(5+x))2dx=32x(4e5+x2+4x(1+log(6)4)+4log(5+x))2dx+32(20(4e5x24x(1+log(6)4)4log(5+x))3+4x(4e5x24x(1+log(6)4)4log(5+x))3+2x3(4e5x24x(1+log(6)4)4log(5+x))3+100(5x)(4e5+x2+4x(1+log(6)4)+4log(5+x))3+x2(4log(6))(4e5+x2+4x(1+log(6)4)+4log(5+x))3)dx=32x(4e5+x2+4x(1+log(6)4)+4log(5+x))2dx+64x3(4e5x24x(1+log(6)4)4log(5+x))3dx+128x(4e5x24x(1+log(6)4)4log(5+x))3dx+6401(4e5x24x(1+log(6)4)4log(5+x))3dx+32001(5x)(4e5+x2+4x(1+log(6)4)+4log(5+x))3dx(32(4+log(6)))x2(4e5+x2+4x(1+log(6)4)+4log(5+x))3dx=32x(4e5+x2+4x(1+log(6)4)+4log(5+x))2dx+64x3(4e5x(4+x+log(6))4log(5+x))3dx+128x(4e5x(4+x+log(6))4log(5+x))3dx+6401(4e5x(4+x+log(6))4log(5+x))3dx+32001(5x)(4e5+x2+4x(1+log(6)4)+4log(5+x))3dx(32(4+log(6)))x2(4e5+x2+4x(1+log(6)4)+4log(5+x))3dx

________________________________________________________________________________________

Mathematica [A]  time = 4.19, size = 26, normalized size = 1.00 16x2(4e5+x(4+x+log(6))+4log(5+x))2

Antiderivative was successfully verified.

[In]

Integrate[(-128*x^2 + 160*x^3 - 32*x^4 + E^5*(-640*x + 128*x^2) + (-640*x + 128*x^2)*Log[-5 + x])/(-320*x^3 -
176*x^4 - 12*x^5 + 7*x^6 + x^7 + E^15*(-320 + 64*x) + E^10*(-960*x - 48*x^2 + 48*x^3) + E^5*(-960*x^2 - 288*x^
3 + 36*x^4 + 12*x^5) + (-240*x^3 - 72*x^4 + 9*x^5 + 3*x^6 + E^10*(-240*x + 48*x^2) + E^5*(-480*x^2 - 24*x^3 +
24*x^4))*Log[2] + (-60*x^3 - 3*x^4 + 3*x^5 + E^5*(-60*x^2 + 12*x^3))*Log[2]^2 + (-5*x^3 + x^4)*Log[2]^3 + (-24
0*x^3 - 72*x^4 + 9*x^5 + 3*x^6 + E^10*(-240*x + 48*x^2) + E^5*(-480*x^2 - 24*x^3 + 24*x^4) + (-120*x^3 - 6*x^4
 + 6*x^5 + E^5*(-120*x^2 + 24*x^3))*Log[2] + (-15*x^3 + 3*x^4)*Log[2]^2)*Log[3] + (-60*x^3 - 3*x^4 + 3*x^5 + E
^5*(-60*x^2 + 12*x^3) + (-15*x^3 + 3*x^4)*Log[2])*Log[3]^2 + (-5*x^3 + x^4)*Log[3]^3 + (-960*x^2 - 288*x^3 + 3
6*x^4 + 12*x^5 + E^10*(-960 + 192*x) + E^5*(-1920*x - 96*x^2 + 96*x^3) + (-480*x^2 - 24*x^3 + 24*x^4 + E^5*(-4
80*x + 96*x^2))*Log[2] + (-60*x^2 + 12*x^3)*Log[2]^2 + (-480*x^2 - 24*x^3 + 24*x^4 + E^5*(-480*x + 96*x^2) + (
-120*x^2 + 24*x^3)*Log[2])*Log[3] + (-60*x^2 + 12*x^3)*Log[3]^2)*Log[-5 + x] + (-960*x - 48*x^2 + 48*x^3 + E^5
*(-960 + 192*x) + (-240*x + 48*x^2)*Log[2] + (-240*x + 48*x^2)*Log[3])*Log[-5 + x]^2 + (-320 + 64*x)*Log[-5 +
x]^3),x]

[Out]

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

________________________________________________________________________________________

fricas [B]  time = 0.56, size = 127, normalized size = 4.88 16x2x4+x2log(3)2+x2log(2)2+8x3+16x2+8(x2+4x)e5+2(x3+x2log(2)+4x2+4xe5)log(3)+2(x3+4x2+4xe5)log(2)+8(x2+xlog(3)+xlog(2)+4x+4e5)log(x5)+16log(x5)2+16e10

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((128*x^2-640*x)*log(x-5)+(128*x^2-640*x)*exp(5)-32*x^4+160*x^3-128*x^2)/((64*x-320)*log(x-5)^3+((48
*x^2-240*x)*log(3)+(48*x^2-240*x)*log(2)+(192*x-960)*exp(5)+48*x^3-48*x^2-960*x)*log(x-5)^2+((12*x^3-60*x^2)*l
og(3)^2+((24*x^3-120*x^2)*log(2)+(96*x^2-480*x)*exp(5)+24*x^4-24*x^3-480*x^2)*log(3)+(12*x^3-60*x^2)*log(2)^2+
((96*x^2-480*x)*exp(5)+24*x^4-24*x^3-480*x^2)*log(2)+(192*x-960)*exp(5)^2+(96*x^3-96*x^2-1920*x)*exp(5)+12*x^5
+36*x^4-288*x^3-960*x^2)*log(x-5)+(x^4-5*x^3)*log(3)^3+((3*x^4-15*x^3)*log(2)+(12*x^3-60*x^2)*exp(5)+3*x^5-3*x
^4-60*x^3)*log(3)^2+((3*x^4-15*x^3)*log(2)^2+((24*x^3-120*x^2)*exp(5)+6*x^5-6*x^4-120*x^3)*log(2)+(48*x^2-240*
x)*exp(5)^2+(24*x^4-24*x^3-480*x^2)*exp(5)+3*x^6+9*x^5-72*x^4-240*x^3)*log(3)+(x^4-5*x^3)*log(2)^3+((12*x^3-60
*x^2)*exp(5)+3*x^5-3*x^4-60*x^3)*log(2)^2+((48*x^2-240*x)*exp(5)^2+(24*x^4-24*x^3-480*x^2)*exp(5)+3*x^6+9*x^5-
72*x^4-240*x^3)*log(2)+(64*x-320)*exp(5)^3+(48*x^3-48*x^2-960*x)*exp(5)^2+(12*x^5+36*x^4-288*x^3-960*x^2)*exp(
5)+x^7+7*x^6-12*x^5-176*x^4-320*x^3),x, algorithm="fricas")

[Out]

16*x^2/(x^4 + x^2*log(3)^2 + x^2*log(2)^2 + 8*x^3 + 16*x^2 + 8*(x^2 + 4*x)*e^5 + 2*(x^3 + x^2*log(2) + 4*x^2 +
 4*x*e^5)*log(3) + 2*(x^3 + 4*x^2 + 4*x*e^5)*log(2) + 8*(x^2 + x*log(3) + x*log(2) + 4*x + 4*e^5)*log(x - 5) +
 16*log(x - 5)^2 + 16*e^10)

________________________________________________________________________________________

giac [B]  time = 0.55, size = 154, normalized size = 5.92 16x2x4+2x3log(3)+x2log(3)2+2x3log(2)+2x2log(3)log(2)+x2log(2)2+8x3+8x2e5+8x2log(3)+8xe5log(3)+8x2log(2)+8xe5log(2)+8x2log(x5)+8xlog(3)log(x5)+8xlog(2)log(x5)+16x2+32xe5+32xlog(x5)+32e5log(x5)+16log(x5)2+16e10

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((128*x^2-640*x)*log(x-5)+(128*x^2-640*x)*exp(5)-32*x^4+160*x^3-128*x^2)/((64*x-320)*log(x-5)^3+((48
*x^2-240*x)*log(3)+(48*x^2-240*x)*log(2)+(192*x-960)*exp(5)+48*x^3-48*x^2-960*x)*log(x-5)^2+((12*x^3-60*x^2)*l
og(3)^2+((24*x^3-120*x^2)*log(2)+(96*x^2-480*x)*exp(5)+24*x^4-24*x^3-480*x^2)*log(3)+(12*x^3-60*x^2)*log(2)^2+
((96*x^2-480*x)*exp(5)+24*x^4-24*x^3-480*x^2)*log(2)+(192*x-960)*exp(5)^2+(96*x^3-96*x^2-1920*x)*exp(5)+12*x^5
+36*x^4-288*x^3-960*x^2)*log(x-5)+(x^4-5*x^3)*log(3)^3+((3*x^4-15*x^3)*log(2)+(12*x^3-60*x^2)*exp(5)+3*x^5-3*x
^4-60*x^3)*log(3)^2+((3*x^4-15*x^3)*log(2)^2+((24*x^3-120*x^2)*exp(5)+6*x^5-6*x^4-120*x^3)*log(2)+(48*x^2-240*
x)*exp(5)^2+(24*x^4-24*x^3-480*x^2)*exp(5)+3*x^6+9*x^5-72*x^4-240*x^3)*log(3)+(x^4-5*x^3)*log(2)^3+((12*x^3-60
*x^2)*exp(5)+3*x^5-3*x^4-60*x^3)*log(2)^2+((48*x^2-240*x)*exp(5)^2+(24*x^4-24*x^3-480*x^2)*exp(5)+3*x^6+9*x^5-
72*x^4-240*x^3)*log(2)+(64*x-320)*exp(5)^3+(48*x^3-48*x^2-960*x)*exp(5)^2+(12*x^5+36*x^4-288*x^3-960*x^2)*exp(
5)+x^7+7*x^6-12*x^5-176*x^4-320*x^3),x, algorithm="giac")

[Out]

16*x^2/(x^4 + 2*x^3*log(3) + x^2*log(3)^2 + 2*x^3*log(2) + 2*x^2*log(3)*log(2) + x^2*log(2)^2 + 8*x^3 + 8*x^2*
e^5 + 8*x^2*log(3) + 8*x*e^5*log(3) + 8*x^2*log(2) + 8*x*e^5*log(2) + 8*x^2*log(x - 5) + 8*x*log(3)*log(x - 5)
 + 8*x*log(2)*log(x - 5) + 16*x^2 + 32*x*e^5 + 32*x*log(x - 5) + 32*e^5*log(x - 5) + 16*log(x - 5)^2 + 16*e^10
)

________________________________________________________________________________________

maple [A]  time = 0.12, size = 33, normalized size = 1.27




method result size



risch 16x2(xln(2)+xln(3)+x2+4e5+4ln(x5)+4x)2 33



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((128*x^2-640*x)*ln(x-5)+(128*x^2-640*x)*exp(5)-32*x^4+160*x^3-128*x^2)/((64*x-320)*ln(x-5)^3+((48*x^2-240
*x)*ln(3)+(48*x^2-240*x)*ln(2)+(192*x-960)*exp(5)+48*x^3-48*x^2-960*x)*ln(x-5)^2+((12*x^3-60*x^2)*ln(3)^2+((24
*x^3-120*x^2)*ln(2)+(96*x^2-480*x)*exp(5)+24*x^4-24*x^3-480*x^2)*ln(3)+(12*x^3-60*x^2)*ln(2)^2+((96*x^2-480*x)
*exp(5)+24*x^4-24*x^3-480*x^2)*ln(2)+(192*x-960)*exp(5)^2+(96*x^3-96*x^2-1920*x)*exp(5)+12*x^5+36*x^4-288*x^3-
960*x^2)*ln(x-5)+(x^4-5*x^3)*ln(3)^3+((3*x^4-15*x^3)*ln(2)+(12*x^3-60*x^2)*exp(5)+3*x^5-3*x^4-60*x^3)*ln(3)^2+
((3*x^4-15*x^3)*ln(2)^2+((24*x^3-120*x^2)*exp(5)+6*x^5-6*x^4-120*x^3)*ln(2)+(48*x^2-240*x)*exp(5)^2+(24*x^4-24
*x^3-480*x^2)*exp(5)+3*x^6+9*x^5-72*x^4-240*x^3)*ln(3)+(x^4-5*x^3)*ln(2)^3+((12*x^3-60*x^2)*exp(5)+3*x^5-3*x^4
-60*x^3)*ln(2)^2+((48*x^2-240*x)*exp(5)^2+(24*x^4-24*x^3-480*x^2)*exp(5)+3*x^6+9*x^5-72*x^4-240*x^3)*ln(2)+(64
*x-320)*exp(5)^3+(48*x^3-48*x^2-960*x)*exp(5)^2+(12*x^5+36*x^4-288*x^3-960*x^2)*exp(5)+x^7+7*x^6-12*x^5-176*x^
4-320*x^3),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [B]  time = 0.62, size = 97, normalized size = 3.73 16x2x4+2x3(log(3)+log(2)+4)+(log(3)2+2(log(3)+4)log(2)+log(2)2+8e5+8log(3)+16)x2+8x(log(3)+log(2)+4)e5+8(x2+x(log(3)+log(2)+4)+4e5)log(x5)+16log(x5)2+16e10

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((128*x^2-640*x)*log(x-5)+(128*x^2-640*x)*exp(5)-32*x^4+160*x^3-128*x^2)/((64*x-320)*log(x-5)^3+((48
*x^2-240*x)*log(3)+(48*x^2-240*x)*log(2)+(192*x-960)*exp(5)+48*x^3-48*x^2-960*x)*log(x-5)^2+((12*x^3-60*x^2)*l
og(3)^2+((24*x^3-120*x^2)*log(2)+(96*x^2-480*x)*exp(5)+24*x^4-24*x^3-480*x^2)*log(3)+(12*x^3-60*x^2)*log(2)^2+
((96*x^2-480*x)*exp(5)+24*x^4-24*x^3-480*x^2)*log(2)+(192*x-960)*exp(5)^2+(96*x^3-96*x^2-1920*x)*exp(5)+12*x^5
+36*x^4-288*x^3-960*x^2)*log(x-5)+(x^4-5*x^3)*log(3)^3+((3*x^4-15*x^3)*log(2)+(12*x^3-60*x^2)*exp(5)+3*x^5-3*x
^4-60*x^3)*log(3)^2+((3*x^4-15*x^3)*log(2)^2+((24*x^3-120*x^2)*exp(5)+6*x^5-6*x^4-120*x^3)*log(2)+(48*x^2-240*
x)*exp(5)^2+(24*x^4-24*x^3-480*x^2)*exp(5)+3*x^6+9*x^5-72*x^4-240*x^3)*log(3)+(x^4-5*x^3)*log(2)^3+((12*x^3-60
*x^2)*exp(5)+3*x^5-3*x^4-60*x^3)*log(2)^2+((48*x^2-240*x)*exp(5)^2+(24*x^4-24*x^3-480*x^2)*exp(5)+3*x^6+9*x^5-
72*x^4-240*x^3)*log(2)+(64*x-320)*exp(5)^3+(48*x^3-48*x^2-960*x)*exp(5)^2+(12*x^5+36*x^4-288*x^3-960*x^2)*exp(
5)+x^7+7*x^6-12*x^5-176*x^4-320*x^3),x, algorithm="maxima")

[Out]

16*x^2/(x^4 + 2*x^3*(log(3) + log(2) + 4) + (log(3)^2 + 2*(log(3) + 4)*log(2) + log(2)^2 + 8*e^5 + 8*log(3) +
16)*x^2 + 8*x*(log(3) + log(2) + 4)*e^5 + 8*(x^2 + x*(log(3) + log(2) + 4) + 4*e^5)*log(x - 5) + 16*log(x - 5)
^2 + 16*e^10)

________________________________________________________________________________________

mupad [F(-1)]  time = 0.00, size = -1, normalized size = -0.04 Hanged

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(x - 5)*(640*x - 128*x^2) + exp(5)*(640*x - 128*x^2) + 128*x^2 - 160*x^3 + 32*x^4)/(log(2)*(exp(10)*(2
40*x - 48*x^2) + exp(5)*(480*x^2 + 24*x^3 - 24*x^4) + 240*x^3 + 72*x^4 - 9*x^5 - 3*x^6) + log(x - 5)^2*(960*x
+ log(2)*(240*x - 48*x^2) + log(3)*(240*x - 48*x^2) + 48*x^2 - 48*x^3 - exp(5)*(192*x - 960)) - log(x - 5)^3*(
64*x - 320) + log(3)^2*(exp(5)*(60*x^2 - 12*x^3) + log(2)*(15*x^3 - 3*x^4) + 60*x^3 + 3*x^4 - 3*x^5) + log(3)*
(exp(10)*(240*x - 48*x^2) + log(2)*(exp(5)*(120*x^2 - 24*x^3) + 120*x^3 + 6*x^4 - 6*x^5) + exp(5)*(480*x^2 + 2
4*x^3 - 24*x^4) + 240*x^3 + 72*x^4 - 9*x^5 - 3*x^6 + log(2)^2*(15*x^3 - 3*x^4)) + exp(10)*(960*x + 48*x^2 - 48
*x^3) + log(2)^2*(exp(5)*(60*x^2 - 12*x^3) + 60*x^3 + 3*x^4 - 3*x^5) + log(x - 5)*(log(2)*(exp(5)*(480*x - 96*
x^2) + 480*x^2 + 24*x^3 - 24*x^4) + exp(5)*(1920*x + 96*x^2 - 96*x^3) + log(3)*(exp(5)*(480*x - 96*x^2) + log(
2)*(120*x^2 - 24*x^3) + 480*x^2 + 24*x^3 - 24*x^4) + 960*x^2 + 288*x^3 - 36*x^4 - 12*x^5 + log(2)^2*(60*x^2 -
12*x^3) + log(3)^2*(60*x^2 - 12*x^3) - exp(10)*(192*x - 960)) + 320*x^3 + 176*x^4 + 12*x^5 - 7*x^6 - x^7 + log
(2)^3*(5*x^3 - x^4) + log(3)^3*(5*x^3 - x^4) - exp(15)*(64*x - 320) + exp(5)*(960*x^2 + 288*x^3 - 36*x^4 - 12*
x^5)),x)

[Out]

\text{Hanged}

________________________________________________________________________________________

sympy [B]  time = 0.77, size = 162, normalized size = 6.23 16x2x4+2x3log(2)+2x3log(3)+8x3+x2log(2)2+x2log(3)2+2x2log(2)log(3)+8x2log(2)+8x2log(3)+16x2+8x2e5+8xe5log(2)+8xe5log(3)+32xe5+(8x2+8xlog(2)+8xlog(3)+32x+32e5)log(x5)+16log(x5)2+16e10

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((128*x**2-640*x)*ln(x-5)+(128*x**2-640*x)*exp(5)-32*x**4+160*x**3-128*x**2)/((64*x-320)*ln(x-5)**3+
((48*x**2-240*x)*ln(3)+(48*x**2-240*x)*ln(2)+(192*x-960)*exp(5)+48*x**3-48*x**2-960*x)*ln(x-5)**2+((12*x**3-60
*x**2)*ln(3)**2+((24*x**3-120*x**2)*ln(2)+(96*x**2-480*x)*exp(5)+24*x**4-24*x**3-480*x**2)*ln(3)+(12*x**3-60*x
**2)*ln(2)**2+((96*x**2-480*x)*exp(5)+24*x**4-24*x**3-480*x**2)*ln(2)+(192*x-960)*exp(5)**2+(96*x**3-96*x**2-1
920*x)*exp(5)+12*x**5+36*x**4-288*x**3-960*x**2)*ln(x-5)+(x**4-5*x**3)*ln(3)**3+((3*x**4-15*x**3)*ln(2)+(12*x*
*3-60*x**2)*exp(5)+3*x**5-3*x**4-60*x**3)*ln(3)**2+((3*x**4-15*x**3)*ln(2)**2+((24*x**3-120*x**2)*exp(5)+6*x**
5-6*x**4-120*x**3)*ln(2)+(48*x**2-240*x)*exp(5)**2+(24*x**4-24*x**3-480*x**2)*exp(5)+3*x**6+9*x**5-72*x**4-240
*x**3)*ln(3)+(x**4-5*x**3)*ln(2)**3+((12*x**3-60*x**2)*exp(5)+3*x**5-3*x**4-60*x**3)*ln(2)**2+((48*x**2-240*x)
*exp(5)**2+(24*x**4-24*x**3-480*x**2)*exp(5)+3*x**6+9*x**5-72*x**4-240*x**3)*ln(2)+(64*x-320)*exp(5)**3+(48*x*
*3-48*x**2-960*x)*exp(5)**2+(12*x**5+36*x**4-288*x**3-960*x**2)*exp(5)+x**7+7*x**6-12*x**5-176*x**4-320*x**3),
x)

[Out]

16*x**2/(x**4 + 2*x**3*log(2) + 2*x**3*log(3) + 8*x**3 + x**2*log(2)**2 + x**2*log(3)**2 + 2*x**2*log(2)*log(3
) + 8*x**2*log(2) + 8*x**2*log(3) + 16*x**2 + 8*x**2*exp(5) + 8*x*exp(5)*log(2) + 8*x*exp(5)*log(3) + 32*x*exp
(5) + (8*x**2 + 8*x*log(2) + 8*x*log(3) + 32*x + 32*exp(5))*log(x - 5) + 16*log(x - 5)**2 + 16*exp(10))

________________________________________________________________________________________