3.78.38 (512+128x512x2+128x4)log7(x)+(640224x+1152x2416x4)log8(x)640000x11+800000x122800000x133100000x14+6012500x15+5400625x168112500x175450000x18+7403125x19+3450000x204665000x211393750x22+2025000x23+350000x24593750x2550000x26+112500x27+3125x2812500x29+625x31dx

Optimal. Leaf size=22 16log8(x)625x10(x+(2+x2)2)4

________________________________________________________________________________________

Rubi [F]  time = 9.59, 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 = {} (512+128x512x2+128x4)log7(x)+(640224x+1152x2416x4)log8(x)640000x11+800000x122800000x133100000x14+6012500x15+5400625x168112500x175450000x18+7403125x19+3450000x204665000x211393750x22+2025000x23+350000x24593750x2550000x26+112500x27+3125x2812500x29+625x31dx

Verification is not applicable to the result.

[In]

Int[((512 + 128*x - 512*x^2 + 128*x^4)*Log[x]^7 + (-640 - 224*x + 1152*x^2 - 416*x^4)*Log[x]^8)/(640000*x^11 +
 800000*x^12 - 2800000*x^13 - 3100000*x^14 + 6012500*x^15 + 5400625*x^16 - 8112500*x^17 - 5450000*x^18 + 74031
25*x^19 + 3450000*x^20 - 4665000*x^21 - 1393750*x^22 + 2025000*x^23 + 350000*x^24 - 593750*x^25 - 50000*x^26 +
 112500*x^27 + 3125*x^28 - 12500*x^29 + 625*x^31),x]

[Out]

(116870431227*Log[x]^8)/16384000000000 + Log[x]^8/(10000*x^10) - Log[x]^8/(10000*x^9) + (37*Log[x]^8)/(80000*x
^8) - (17*Log[x]^8)/(32000*x^7) + (3299*Log[x]^8)/(2560000*x^6) - (2047*Log[x]^8)/(1280000*x^5) + (28981*Log[x
]^8)/(10240000*x^4) - (74143*Log[x]^8)/(20480000*x^3) + (706721*Log[x]^8)/(131072000*x^2) - (4520791*Log[x]^8)
/(655360000*x) + (16*Log[x]^8)/(390625*(1 + x)^4) + (672*Log[x]^8)/(1953125*(1 + x)^3) + (3504*Log[x]^8)/(1953
125*(1 + x)^2) - (68608*x*Log[x]^8)/(9765625*(1 + x)) - (3216893*Defer[Int][Log[x]^7/(4 - 3*x - x^2 + x^3)^4,
x])/12800000000 + (1908449*Defer[Int][(x*Log[x]^7)/(4 - 3*x - x^2 + x^3)^4, x])/12800000000 - (108397*Defer[In
t][(x^2*Log[x]^7)/(4 - 3*x - x^2 + x^3)^4, x])/12800000000 - (50053763*Defer[Int][Log[x]^7/(4 - 3*x - x^2 + x^
3)^3, x])/256000000000 + (19088719*Defer[Int][(x*Log[x]^7)/(4 - 3*x - x^2 + x^3)^3, x])/256000000000 - (185137
67*Defer[Int][(x^2*Log[x]^7)/(4 - 3*x - x^2 + x^3)^3, x])/256000000000 + (403919387*Defer[Int][Log[x]^7/(4 - 3
*x - x^2 + x^3)^2, x])/512000000000 - (10150667*Defer[Int][(x*Log[x]^7)/(4 - 3*x - x^2 + x^3)^2, x])/102400000
000 - (204251131*Defer[Int][(x^2*Log[x]^7)/(4 - 3*x - x^2 + x^3)^2, x])/512000000000 + (23762938581*Defer[Int]
[Log[x]^7/(4 - 3*x - x^2 + x^3), x])/10240000000000 - (1600204193*Defer[Int][(x*Log[x]^7)/(4 - 3*x - x^2 + x^3
), x])/10240000000000 - (8826538471*Defer[Int][(x^2*Log[x]^7)/(4 - 3*x - x^2 + x^3), x])/10240000000000 - (850
1009*Defer[Int][Log[x]^8/(4 - 3*x - x^2 + x^3)^5, x])/6400000000 + (9580037*Defer[Int][(x*Log[x]^8)/(4 - 3*x -
 x^2 + x^3)^5, x])/6400000000 - (2589761*Defer[Int][(x^2*Log[x]^8)/(4 - 3*x - x^2 + x^3)^5, x])/6400000000 - (
314035551*Defer[Int][Log[x]^8/(4 - 3*x - x^2 + x^3)^4, x])/256000000000 + (248443403*Defer[Int][(x*Log[x]^8)/(
4 - 3*x - x^2 + x^3)^4, x])/256000000000 - (42784119*Defer[Int][(x^2*Log[x]^8)/(4 - 3*x - x^2 + x^3)^4, x])/25
6000000000 - (34305931*Defer[Int][Log[x]^8/(4 - 3*x - x^2 + x^3)^3, x])/204800000000 + (256946579*Defer[Int][(
x*Log[x]^8)/(4 - 3*x - x^2 + x^3)^3, x])/1024000000000 - (173032851*Defer[Int][(x^2*Log[x]^8)/(4 - 3*x - x^2 +
 x^3)^3, x])/1024000000000 + (6304985049*Defer[Int][Log[x]^8/(4 - 3*x - x^2 + x^3)^2, x])/10240000000000 + (66
2749603*Defer[Int][(x*Log[x]^8)/(4 - 3*x - x^2 + x^3)^2, x])/10240000000000 - (2244939789*Defer[Int][(x^2*Log[
x]^8)/(4 - 3*x - x^2 + x^3)^2, x])/10240000000000 + (1982512041*Defer[Int][Log[x]^8/(4 - 3*x - x^2 + x^3), x])
/10240000000000 + (1303342833*Defer[Int][(x*Log[x]^8)/(4 - 3*x - x^2 + x^3), x])/10240000000000

Rubi steps

integral=32log7(x)(4(4+x4x2+x4)(20+7x36x2+13x4)log(x))625x11(4+x4x2+x4)5dx=32625log7(x)(4(4+x4x2+x4)(20+7x36x2+13x4)log(x))x11(4+x4x2+x4)5dx=32625(4log7(x)x11(4+x4x2+x4)4(20+7x36x2+13x4)log8(x)x11(4+x4x2+x4)5)dx=(32625(20+7x36x2+13x4)log8(x)x11(4+x4x2+x4)5dx)+128625log7(x)x11(4+x4x2+x4)4dx=Rest of rules removed due to large latex content

________________________________________________________________________________________

Mathematica [C]  time = 91.72, size = 466003, normalized size = 21181.95 Result too large to show

Warning: Unable to verify antiderivative.

[In]

Integrate[((512 + 128*x - 512*x^2 + 128*x^4)*Log[x]^7 + (-640 - 224*x + 1152*x^2 - 416*x^4)*Log[x]^8)/(640000*
x^11 + 800000*x^12 - 2800000*x^13 - 3100000*x^14 + 6012500*x^15 + 5400625*x^16 - 8112500*x^17 - 5450000*x^18 +
 7403125*x^19 + 3450000*x^20 - 4665000*x^21 - 1393750*x^22 + 2025000*x^23 + 350000*x^24 - 593750*x^25 - 50000*
x^26 + 112500*x^27 + 3125*x^28 - 12500*x^29 + 625*x^31),x]

[Out]

Result too large to show

________________________________________________________________________________________

fricas [B]  time = 0.53, size = 87, normalized size = 3.95 16log(x)8625(x2616x24+4x23+112x2248x21442x20+240x19+1072x18636x171648x16+944x15+1601x14752x13928x12+256x11+256x10)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-416*x^4+1152*x^2-224*x-640)*log(x)^8+(128*x^4-512*x^2+128*x+512)*log(x)^7)/(625*x^31-12500*x^29+3
125*x^28+112500*x^27-50000*x^26-593750*x^25+350000*x^24+2025000*x^23-1393750*x^22-4665000*x^21+3450000*x^20+74
03125*x^19-5450000*x^18-8112500*x^17+5400625*x^16+6012500*x^15-3100000*x^14-2800000*x^13+800000*x^12+640000*x^
11),x, algorithm="fricas")

[Out]

16/625*log(x)^8/(x^26 - 16*x^24 + 4*x^23 + 112*x^22 - 48*x^21 - 442*x^20 + 240*x^19 + 1072*x^18 - 636*x^17 - 1
648*x^16 + 944*x^15 + 1601*x^14 - 752*x^13 - 928*x^12 + 256*x^11 + 256*x^10)

________________________________________________________________________________________

giac [B]  time = 0.27, size = 208, normalized size = 9.45 1655360000(4520791x153533605x1469960080x13+72766060x12+455281020x11574439424x101586688070x9+2342625650x8+3147073760x75412734100x63490610724x5+7169196160x4+1960274855x35125415925x2405863120x+1562340832x1616x14+4x13+112x1248x11442x10+240x9+1072x8636x71648x6+944x5+1601x4752x3928x2+256x+2564520791x93533605x8+2372576x71854784x6+1048064x5844544x4+348160x3303104x2+65536x65536x10)log(x)8

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-416*x^4+1152*x^2-224*x-640)*log(x)^8+(128*x^4-512*x^2+128*x+512)*log(x)^7)/(625*x^31-12500*x^29+3
125*x^28+112500*x^27-50000*x^26-593750*x^25+350000*x^24+2025000*x^23-1393750*x^22-4665000*x^21+3450000*x^20+74
03125*x^19-5450000*x^18-8112500*x^17+5400625*x^16+6012500*x^15-3100000*x^14-2800000*x^13+800000*x^12+640000*x^
11),x, algorithm="giac")

[Out]

1/655360000*((4520791*x^15 - 3533605*x^14 - 69960080*x^13 + 72766060*x^12 + 455281020*x^11 - 574439424*x^10 -
1586688070*x^9 + 2342625650*x^8 + 3147073760*x^7 - 5412734100*x^6 - 3490610724*x^5 + 7169196160*x^4 + 19602748
55*x^3 - 5125415925*x^2 - 405863120*x + 1562340832)/(x^16 - 16*x^14 + 4*x^13 + 112*x^12 - 48*x^11 - 442*x^10 +
 240*x^9 + 1072*x^8 - 636*x^7 - 1648*x^6 + 944*x^5 + 1601*x^4 - 752*x^3 - 928*x^2 + 256*x + 256) - (4520791*x^
9 - 3533605*x^8 + 2372576*x^7 - 1854784*x^6 + 1048064*x^5 - 844544*x^4 + 348160*x^3 - 303104*x^2 + 65536*x - 6
5536)/x^10)*log(x)^8

________________________________________________________________________________________

maple [B]  time = 0.20, size = 85, normalized size = 3.86




method result size



risch 16ln(x)8625x10(x1616x14+4x13+112x1248x11442x10+240x9+1072x8636x71648x6+944x5+1601x4752x3928x2+256x+256) 85



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((-416*x^4+1152*x^2-224*x-640)*ln(x)^8+(128*x^4-512*x^2+128*x+512)*ln(x)^7)/(625*x^31-12500*x^29+3125*x^28
+112500*x^27-50000*x^26-593750*x^25+350000*x^24+2025000*x^23-1393750*x^22-4665000*x^21+3450000*x^20+7403125*x^
19-5450000*x^18-8112500*x^17+5400625*x^16+6012500*x^15-3100000*x^14-2800000*x^13+800000*x^12+640000*x^11),x,me
thod=_RETURNVERBOSE)

[Out]

16/625/x^10/(x^16-16*x^14+4*x^13+112*x^12-48*x^11-442*x^10+240*x^9+1072*x^8-636*x^7-1648*x^6+944*x^5+1601*x^4-
752*x^3-928*x^2+256*x+256)*ln(x)^8

________________________________________________________________________________________

maxima [B]  time = 0.48, size = 87, normalized size = 3.95 16log(x)8625(x2616x24+4x23+112x2248x21442x20+240x19+1072x18636x171648x16+944x15+1601x14752x13928x12+256x11+256x10)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-416*x^4+1152*x^2-224*x-640)*log(x)^8+(128*x^4-512*x^2+128*x+512)*log(x)^7)/(625*x^31-12500*x^29+3
125*x^28+112500*x^27-50000*x^26-593750*x^25+350000*x^24+2025000*x^23-1393750*x^22-4665000*x^21+3450000*x^20+74
03125*x^19-5450000*x^18-8112500*x^17+5400625*x^16+6012500*x^15-3100000*x^14-2800000*x^13+800000*x^12+640000*x^
11),x, algorithm="maxima")

[Out]

16/625*log(x)^8/(x^26 - 16*x^24 + 4*x^23 + 112*x^22 - 48*x^21 - 442*x^20 + 240*x^19 + 1072*x^18 - 636*x^17 - 1
648*x^16 + 944*x^15 + 1601*x^14 - 752*x^13 - 928*x^12 + 256*x^11 + 256*x^10)

________________________________________________________________________________________

mupad [B]  time = 5.91, size = 89, normalized size = 4.05 16ln(x)8625(x2616x24+4x23+112x2248x21442x20+240x19+1072x18636x171648x16+944x15+1601x14752x13928x12+256x11+256x10)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(x)^7*(128*x - 512*x^2 + 128*x^4 + 512) - log(x)^8*(224*x - 1152*x^2 + 416*x^4 + 640))/(640000*x^11 +
800000*x^12 - 2800000*x^13 - 3100000*x^14 + 6012500*x^15 + 5400625*x^16 - 8112500*x^17 - 5450000*x^18 + 740312
5*x^19 + 3450000*x^20 - 4665000*x^21 - 1393750*x^22 + 2025000*x^23 + 350000*x^24 - 593750*x^25 - 50000*x^26 +
112500*x^27 + 3125*x^28 - 12500*x^29 + 625*x^31),x)

[Out]

(16*log(x)^8)/(625*(256*x^10 + 256*x^11 - 928*x^12 - 752*x^13 + 1601*x^14 + 944*x^15 - 1648*x^16 - 636*x^17 +
1072*x^18 + 240*x^19 - 442*x^20 - 48*x^21 + 112*x^22 + 4*x^23 - 16*x^24 + x^26))

________________________________________________________________________________________

sympy [B]  time = 0.48, size = 87, normalized size = 3.95 16log(x)8625x2610000x24+2500x23+70000x2230000x21276250x20+150000x19+670000x18397500x171030000x16+590000x15+1000625x14470000x13580000x12+160000x11+160000x10

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((-416*x**4+1152*x**2-224*x-640)*ln(x)**8+(128*x**4-512*x**2+128*x+512)*ln(x)**7)/(625*x**31-12500*x
**29+3125*x**28+112500*x**27-50000*x**26-593750*x**25+350000*x**24+2025000*x**23-1393750*x**22-4665000*x**21+3
450000*x**20+7403125*x**19-5450000*x**18-8112500*x**17+5400625*x**16+6012500*x**15-3100000*x**14-2800000*x**13
+800000*x**12+640000*x**11),x)

[Out]

16*log(x)**8/(625*x**26 - 10000*x**24 + 2500*x**23 + 70000*x**22 - 30000*x**21 - 276250*x**20 + 150000*x**19 +
 670000*x**18 - 397500*x**17 - 1030000*x**16 + 590000*x**15 + 1000625*x**14 - 470000*x**13 - 580000*x**12 + 16
0000*x**11 + 160000*x**10)

________________________________________________________________________________________