3.12.85 40969984x9600x24544x3864x4+432x5+568x6+300x7+78x8+8x9+(1024+2560x+2560x2+1280x3+256x4128x5160x680x720x82x9)log(2)+(6144x8832x26208x31664x4+832x5+776x6+276x7+48x8+(1536x+2304x2+1664x3+448x4224x5208x672x712x8)log(2))log(5)+(30725440x7648x24128x3528x4+444x5+402x6+120x7+(768+1408x+1984x2+1120x3+144x4120x5108x630x7)log(2))log2(5)+(3072x2880x21728x3352x4+344x5+160x6+(768x+768x2+448x3+96x496x540x6)log(2))log3(5)+(768848x1256x2460x3+210x4+120x5+(192+224x+320x2+128x360x430x5)log(2))log4(5)+(384x168x2+84x3+48x4+(96x+48x224x312x4)log(2))log5(5)+(6428x+14x2+8x3+(16+8x4x22x3)log(2))log6(5)2048+5120x+6656x2+6400x3+4864x4+2944x5+1472x6+608x7+200x8+52x9+10x10+x11+(3072x+7680x2+9216x3+7680x4+4992x5+2496x6+960x7+288x8+60x9+6x10)log(5)+(1536+3840x+6144x2+7680x3+6720x4+4128x5+1920x6+672x7+150x8+15x9)log2(5)+(1536x+3840x2+4480x3+3520x4+2080x5+848x6+200x7+20x8)log3(5)+(384+960x+1440x2+1680x3+1320x4+612x5+150x6+15x7)log4(5)+(192x+480x2+480x3+240x4+60x5+6x6)log5(5)+(32+80x+80x2+40x3+10x4+x5)log6(5)dx

Optimal. Leaf size=29 (4+log(2)+x+4x24+(x+log(5))2(2+x)2)2

________________________________________________________________________________________

Rubi [B]  time = 5.41, antiderivative size = 1749, normalized size of antiderivative = 60.31, number of steps used = 11, number of rules used = 5, integrand size = 767, number of rulesintegrand size = 0.007, Rules used = {2074, 638, 614, 618, 204}

result too large to display

Antiderivative was successfully verified.

[In]

Int[(-4096 - 9984*x - 9600*x^2 - 4544*x^3 - 864*x^4 + 432*x^5 + 568*x^6 + 300*x^7 + 78*x^8 + 8*x^9 + (1024 + 2
560*x + 2560*x^2 + 1280*x^3 + 256*x^4 - 128*x^5 - 160*x^6 - 80*x^7 - 20*x^8 - 2*x^9)*Log[2] + (-6144*x - 8832*
x^2 - 6208*x^3 - 1664*x^4 + 832*x^5 + 776*x^6 + 276*x^7 + 48*x^8 + (1536*x + 2304*x^2 + 1664*x^3 + 448*x^4 - 2
24*x^5 - 208*x^6 - 72*x^7 - 12*x^8)*Log[2])*Log[5] + (-3072 - 5440*x - 7648*x^2 - 4128*x^3 - 528*x^4 + 444*x^5
 + 402*x^6 + 120*x^7 + (768 + 1408*x + 1984*x^2 + 1120*x^3 + 144*x^4 - 120*x^5 - 108*x^6 - 30*x^7)*Log[2])*Log
[5]^2 + (-3072*x - 2880*x^2 - 1728*x^3 - 352*x^4 + 344*x^5 + 160*x^6 + (768*x + 768*x^2 + 448*x^3 + 96*x^4 - 9
6*x^5 - 40*x^6)*Log[2])*Log[5]^3 + (-768 - 848*x - 1256*x^2 - 460*x^3 + 210*x^4 + 120*x^5 + (192 + 224*x + 320
*x^2 + 128*x^3 - 60*x^4 - 30*x^5)*Log[2])*Log[5]^4 + (-384*x - 168*x^2 + 84*x^3 + 48*x^4 + (96*x + 48*x^2 - 24
*x^3 - 12*x^4)*Log[2])*Log[5]^5 + (-64 - 28*x + 14*x^2 + 8*x^3 + (16 + 8*x - 4*x^2 - 2*x^3)*Log[2])*Log[5]^6)/
(2048 + 5120*x + 6656*x^2 + 6400*x^3 + 4864*x^4 + 2944*x^5 + 1472*x^6 + 608*x^7 + 200*x^8 + 52*x^9 + 10*x^10 +
 x^11 + (3072*x + 7680*x^2 + 9216*x^3 + 7680*x^4 + 4992*x^5 + 2496*x^6 + 960*x^7 + 288*x^8 + 60*x^9 + 6*x^10)*
Log[5] + (1536 + 3840*x + 6144*x^2 + 7680*x^3 + 6720*x^4 + 4128*x^5 + 1920*x^6 + 672*x^7 + 150*x^8 + 15*x^9)*L
og[5]^2 + (1536*x + 3840*x^2 + 4480*x^3 + 3520*x^4 + 2080*x^5 + 848*x^6 + 200*x^7 + 20*x^8)*Log[5]^3 + (384 +
960*x + 1440*x^2 + 1680*x^3 + 1320*x^4 + 612*x^5 + 150*x^6 + 15*x^7)*Log[5]^4 + (192*x + 480*x^2 + 480*x^3 + 2
40*x^4 + 60*x^5 + 6*x^6)*Log[5]^5 + (32 + 80*x + 80*x^2 + 40*x^3 + 10*x^4 + x^5)*Log[5]^6),x]

[Out]

(4*(4 - Log[5])^2*Log[5]^2)/((2 + x)^4*(8 - 4*Log[5] + Log[5]^2)^2) - (4*(4 - Log[5])*Log[5]^2*(32 - 16*Log[5]
 + 8*Log[5]^2 - Log[5]^3))/((2 + x)^3*(8 - 4*Log[5] + Log[5]^2)^3) - (Log[5]*(34816 - 59904*Log[5] + 50688*Log
[5]^2 - 26432*Log[5]^3 + 8960*Log[5]^4 - 2000*Log[5]^5 + 272*Log[5]^6 - 17*Log[5]^7 - 4*Log[2]*(4 - Log[5])*(8
 - 4*Log[5] + Log[5]^2)^3))/((2 + x)^2*(8 - 4*Log[5] + Log[5]^2)^4) - (2*Log[5]*(Log[2]*(8 - 4*Log[5] + Log[5]
^2)^3*(32 - 16*Log[5] + 8*Log[5]^2 - Log[5]^3) - 4*(17408 - 33792*Log[5] + 35712*Log[5]^2 - 24480*Log[5]^3 + 1
1888*Log[5]^4 - 4180*Log[5]^5 + 1052*Log[5]^6 - 183*Log[5]^7 + 20*Log[5]^8 - Log[5]^9)))/((2 + x)*(8 - 4*Log[5
] + Log[5]^2)^5) - (384*ArcTan[(2*x + Log[25])/Sqrt[16 + 4*Log[5]^2 - Log[25]^2]]*(2*Log[5]*(4 + Log[5]^2)*(25
6 - 384*Log[5] + 256*Log[5]^2 - 128*Log[5]^3 + 36*Log[5]^4 - 8*Log[5]^5 + Log[5]^6) + (32 - 4*Log[5]^2 + 4*Log
[5]^3 - Log[5]^4)*(32 - 32*Log[5] + 20*Log[5]^2 - 4*Log[5]^3 + Log[5]^4)*Log[25]))/((8 - 4*Log[5] + Log[5]^2)^
4*(16 + 4*Log[5]^2 - Log[25]^2)^(5/2)) - (96*(2*x + Log[25])*(2*Log[5]*(4 + Log[5]^2)*(256 - 384*Log[5] + 256*
Log[5]^2 - 128*Log[5]^3 + 36*Log[5]^4 - 8*Log[5]^5 + Log[5]^6) + (32 - 4*Log[5]^2 + 4*Log[5]^3 - Log[5]^4)*(32
 - 32*Log[5] + 20*Log[5]^2 - 4*Log[5]^3 + Log[5]^4)*Log[25]))/((8 - 4*Log[5] + Log[5]^2)^4*(4 + x^2 + Log[5]^2
 + x*Log[25])*(16 + 4*Log[5]^2 - Log[25]^2)^2) + (16*ArcTan[(2*x + Log[25])/Sqrt[16 + 4*Log[5]^2 - Log[25]^2]]
*(32768 - 64512*Log[5] + 68608*Log[5]^2 - 46208*Log[5]^3 + 21600*Log[5]^4 - 7056*Log[5]^5 + 1580*Log[5]^6 - 22
8*Log[5]^7 + 17*Log[5]^8 - 4*Log[2]*(8 - 4*Log[5] + Log[5]^2)^3*(4 - 2*Log[5] + Log[5]^2)))/((8 - 4*Log[5] + L
og[5]^2)^5*Sqrt[16 + 4*Log[5]^2 - Log[25]^2]) - (32*(x*(2*Log[5]*(4 + Log[5]^2)*(256 - 384*Log[5] + 256*Log[5]
^2 - 128*Log[5]^3 + 36*Log[5]^4 - 8*Log[5]^5 + Log[5]^6) + (32 - 4*Log[5]^2 + 4*Log[5]^3 - Log[5]^4)*(32 - 32*
Log[5] + 20*Log[5]^2 - 4*Log[5]^3 + Log[5]^4)*Log[25]) + (4 + Log[5]^2)*(2*(32 - 4*Log[5]^2 + 4*Log[5]^3 - Log
[5]^4)*(32 - 32*Log[5] + 20*Log[5]^2 - 4*Log[5]^3 + Log[5]^4) + Log[5]*(256 - 384*Log[5] + 256*Log[5]^2 - 128*
Log[5]^3 + 36*Log[5]^4 - 8*Log[5]^5 + Log[5]^6)*Log[25])))/((8 - 4*Log[5] + Log[5]^2)^4*(4 + x^2 + Log[5]^2 +
x*Log[25])^2*(16 + 4*Log[5]^2 - Log[25]^2)) - (16*((131072 - 266240*Log[5] + 322560*Log[5]^2 - 272384*Log[5]^3
 + 175872*Log[5]^4 - 89280*Log[5]^5 + 35984*Log[5]^6 - 11520*Log[5]^7 + 2848*Log[5]^8 - 516*Log[5]^9 + 63*Log[
5]^10 - 4*Log[5]^11 - Log[2]*(8 - 4*Log[5] + Log[5]^2)^3*(64 - 32*Log[5] + 32*Log[5]^2 - 12*Log[5]^3 + 4*Log[5
]^4 - Log[5]^5))*Log[25] + x*(2*(131072 - 266240*Log[5] + 322560*Log[5]^2 - 272384*Log[5]^3 + 175872*Log[5]^4
- 89280*Log[5]^5 + 35984*Log[5]^6 - 11520*Log[5]^7 + 2848*Log[5]^8 - 516*Log[5]^9 + 63*Log[5]^10 - 4*Log[5]^11
 - Log[2]*(8 - 4*Log[5] + Log[5]^2)^3*(64 - 32*Log[5] + 32*Log[5]^2 - 12*Log[5]^3 + 4*Log[5]^4 - Log[5]^5)) -
Log[25]*(4096 + 256*(303 - 80*Log[2])*Log[5]^3 - 192*(293 - 76*Log[2])*Log[5]^4 + 96*(295 - 76*Log[2])*Log[5]^
5 - 32*(324 - 83*Log[2])*Log[5]^6 + 4*(689 - 176*Log[2])*Log[5]^7 + (63 - 16*Log[2])*Log[5]^9 - (4 - Log[2])*L
og[5]^10 - 6144*Log[5]^2*(11 - Log[8]) + 2048*Log[5]*(13 - Log[16]) - 12*Log[5]^8*(43 - Log[2048]))) - 2*(4 +
Log[5]^2)*(4096 + 256*(303 - 80*Log[2])*Log[5]^3 - 192*(293 - 76*Log[2])*Log[5]^4 + 96*(295 - 76*Log[2])*Log[5
]^5 - 32*(324 - 83*Log[2])*Log[5]^6 + 4*(689 - 176*Log[2])*Log[5]^7 + (63 - 16*Log[2])*Log[5]^9 - (4 - Log[2])
*Log[5]^10 - 6144*Log[5]^2*(11 - Log[8]) + 2048*Log[5]*(13 - Log[16]) - 12*Log[5]^8*(43 - Log[2048]))))/((8 -
4*Log[5] + Log[5]^2)^5*(4 + x^2 + Log[5]^2 + x*Log[25])*(16 + 4*Log[5]^2 - Log[25]^2)) - (32*ArcTan[(2*x + Log
[25])/Sqrt[16 + 4*Log[5]^2 - Log[25]^2]]*(2*(131072 - 266240*Log[5] + 322560*Log[5]^2 - 272384*Log[5]^3 + 1758
72*Log[5]^4 - 89280*Log[5]^5 + 35984*Log[5]^6 - 11520*Log[5]^7 + 2848*Log[5]^8 - 516*Log[5]^9 + 63*Log[5]^10 -
 4*Log[5]^11 - Log[2]*(8 - 4*Log[5] + Log[5]^2)^3*(64 - 32*Log[5] + 32*Log[5]^2 - 12*Log[5]^3 + 4*Log[5]^4 - L
og[5]^5)) - Log[25]*(4096 + 256*(303 - 80*Log[2])*Log[5]^3 - 192*(293 - 76*Log[2])*Log[5]^4 + 96*(295 - 76*Log
[2])*Log[5]^5 - 32*(324 - 83*Log[2])*Log[5]^6 + 4*(689 - 176*Log[2])*Log[5]^7 + (63 - 16*Log[2])*Log[5]^9 - (4
 - Log[2])*Log[5]^10 - 6144*Log[5]^2*(11 - Log[8]) + 2048*Log[5]*(13 - Log[16]) - 12*Log[5]^8*(43 - Log[2048])
)))/((8 - 4*Log[5] + Log[5]^2)^5*(16 + 4*Log[5]^2 - Log[25]^2)^(3/2))

Rule 204

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> -Simp[ArcTan[(Rt[-b, 2]*x)/Rt[-a, 2]]/(Rt[-a, 2]*Rt[-b, 2]), x] /
; FreeQ[{a, b}, x] && PosQ[a/b] && (LtQ[a, 0] || LtQ[b, 0])

Rule 614

Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp[((b + 2*c*x)*(a + b*x + c*x^2)^(p + 1))/((p +
1)*(b^2 - 4*a*c)), x] - Dist[(2*c*(2*p + 3))/((p + 1)*(b^2 - 4*a*c)), Int[(a + b*x + c*x^2)^(p + 1), x], x] /;
 FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0] && LtQ[p, -1] && NeQ[p, -3/2] && IntegerQ[4*p]

Rule 618

Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> Dist[-2, Subst[Int[1/Simp[b^2 - 4*a*c - x^2, x], x]
, x, b + 2*c*x], x] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0]

Rule 638

Int[((d_.) + (e_.)*(x_))*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_), x_Symbol] :> Simp[((b*d - 2*a*e + (2*c*d -
b*e)*x)*(a + b*x + c*x^2)^(p + 1))/((p + 1)*(b^2 - 4*a*c)), x] - Dist[((2*p + 3)*(2*c*d - b*e))/((p + 1)*(b^2
- 4*a*c)), Int[(a + b*x + c*x^2)^(p + 1), x], x] /; FreeQ[{a, b, c, d, e}, x] && NeQ[2*c*d - b*e, 0] && NeQ[b^
2 - 4*a*c, 0] && LtQ[p, -1] && NeQ[p, -3/2]

Rule 2074

Int[(P_)^(p_)*(Q_)^(q_.), x_Symbol] :> With[{PP = Factor[P]}, Int[ExpandIntegrand[PP^p*Q^q, x], x] /;  !SumQ[N
onfreeFactors[PP, x]]] /; FreeQ[q, x] && PolyQ[P, x] && PolyQ[Q, x] && IntegerQ[p] && NeQ[P, x]

Rubi steps

integral=Rest of rules removed due to large latex content

________________________________________________________________________________________

Mathematica [B]  time = 10.66, size = 33759, normalized size = 1164.10 Result too large to show

Antiderivative was successfully verified.

[In]

Integrate[(-4096 - 9984*x - 9600*x^2 - 4544*x^3 - 864*x^4 + 432*x^5 + 568*x^6 + 300*x^7 + 78*x^8 + 8*x^9 + (10
24 + 2560*x + 2560*x^2 + 1280*x^3 + 256*x^4 - 128*x^5 - 160*x^6 - 80*x^7 - 20*x^8 - 2*x^9)*Log[2] + (-6144*x -
 8832*x^2 - 6208*x^3 - 1664*x^4 + 832*x^5 + 776*x^6 + 276*x^7 + 48*x^8 + (1536*x + 2304*x^2 + 1664*x^3 + 448*x
^4 - 224*x^5 - 208*x^6 - 72*x^7 - 12*x^8)*Log[2])*Log[5] + (-3072 - 5440*x - 7648*x^2 - 4128*x^3 - 528*x^4 + 4
44*x^5 + 402*x^6 + 120*x^7 + (768 + 1408*x + 1984*x^2 + 1120*x^3 + 144*x^4 - 120*x^5 - 108*x^6 - 30*x^7)*Log[2
])*Log[5]^2 + (-3072*x - 2880*x^2 - 1728*x^3 - 352*x^4 + 344*x^5 + 160*x^6 + (768*x + 768*x^2 + 448*x^3 + 96*x
^4 - 96*x^5 - 40*x^6)*Log[2])*Log[5]^3 + (-768 - 848*x - 1256*x^2 - 460*x^3 + 210*x^4 + 120*x^5 + (192 + 224*x
 + 320*x^2 + 128*x^3 - 60*x^4 - 30*x^5)*Log[2])*Log[5]^4 + (-384*x - 168*x^2 + 84*x^3 + 48*x^4 + (96*x + 48*x^
2 - 24*x^3 - 12*x^4)*Log[2])*Log[5]^5 + (-64 - 28*x + 14*x^2 + 8*x^3 + (16 + 8*x - 4*x^2 - 2*x^3)*Log[2])*Log[
5]^6)/(2048 + 5120*x + 6656*x^2 + 6400*x^3 + 4864*x^4 + 2944*x^5 + 1472*x^6 + 608*x^7 + 200*x^8 + 52*x^9 + 10*
x^10 + x^11 + (3072*x + 7680*x^2 + 9216*x^3 + 7680*x^4 + 4992*x^5 + 2496*x^6 + 960*x^7 + 288*x^8 + 60*x^9 + 6*
x^10)*Log[5] + (1536 + 3840*x + 6144*x^2 + 7680*x^3 + 6720*x^4 + 4128*x^5 + 1920*x^6 + 672*x^7 + 150*x^8 + 15*
x^9)*Log[5]^2 + (1536*x + 3840*x^2 + 4480*x^3 + 3520*x^4 + 2080*x^5 + 848*x^6 + 200*x^7 + 20*x^8)*Log[5]^3 + (
384 + 960*x + 1440*x^2 + 1680*x^3 + 1320*x^4 + 612*x^5 + 150*x^6 + 15*x^7)*Log[5]^4 + (192*x + 480*x^2 + 480*x
^3 + 240*x^4 + 60*x^5 + 6*x^6)*Log[5]^5 + (32 + 80*x + 80*x^2 + 40*x^3 + 10*x^4 + x^5)*Log[5]^6),x]

[Out]

Result too large to show

________________________________________________________________________________________

fricas [B]  time = 0.57, size = 426, normalized size = 14.69 8x7+63x6+216x5+(8x3+31x22(x3+4x2+4x)log(2)+32x)log(5)4+488x4+4(8x4+31x3+32x22(x4+4x3+4x2)log(2))log(5)3+864x3+2(24x5+109x4+188x3+188x22(3x5+14x4+24x3+24x2+16x)log(2)+128x)log(5)2+1008x2+4(8x6+47x5+124x4+188x3+128x22(x6+6x5+16x4+24x3+16x2)log(2))log(5)2(x7+8x6+28x5+64x4+112x3+128x2+64x)log(2)+512xx8+8x7+32x6+96x5+(x4+8x3+24x2+32x+16)log(5)4+224x4+4(x5+8x4+24x3+32x2+16x)log(5)3+384x3+2(3x6+24x5+76x4+128x3+144x2+128x+64)log(5)2+512x2+4(x7+8x6+28x5+64x4+112x3+128x2+64x)log(5)+512x+256

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-2*x^3-4*x^2+8*x+16)*log(2)+8*x^3+14*x^2-28*x-64)*log(5)^6+((-12*x^4-24*x^3+48*x^2+96*x)*log(2)+4
8*x^4+84*x^3-168*x^2-384*x)*log(5)^5+((-30*x^5-60*x^4+128*x^3+320*x^2+224*x+192)*log(2)+120*x^5+210*x^4-460*x^
3-1256*x^2-848*x-768)*log(5)^4+((-40*x^6-96*x^5+96*x^4+448*x^3+768*x^2+768*x)*log(2)+160*x^6+344*x^5-352*x^4-1
728*x^3-2880*x^2-3072*x)*log(5)^3+((-30*x^7-108*x^6-120*x^5+144*x^4+1120*x^3+1984*x^2+1408*x+768)*log(2)+120*x
^7+402*x^6+444*x^5-528*x^4-4128*x^3-7648*x^2-5440*x-3072)*log(5)^2+((-12*x^8-72*x^7-208*x^6-224*x^5+448*x^4+16
64*x^3+2304*x^2+1536*x)*log(2)+48*x^8+276*x^7+776*x^6+832*x^5-1664*x^4-6208*x^3-8832*x^2-6144*x)*log(5)+(-2*x^
9-20*x^8-80*x^7-160*x^6-128*x^5+256*x^4+1280*x^3+2560*x^2+2560*x+1024)*log(2)+8*x^9+78*x^8+300*x^7+568*x^6+432
*x^5-864*x^4-4544*x^3-9600*x^2-9984*x-4096)/((x^5+10*x^4+40*x^3+80*x^2+80*x+32)*log(5)^6+(6*x^6+60*x^5+240*x^4
+480*x^3+480*x^2+192*x)*log(5)^5+(15*x^7+150*x^6+612*x^5+1320*x^4+1680*x^3+1440*x^2+960*x+384)*log(5)^4+(20*x^
8+200*x^7+848*x^6+2080*x^5+3520*x^4+4480*x^3+3840*x^2+1536*x)*log(5)^3+(15*x^9+150*x^8+672*x^7+1920*x^6+4128*x
^5+6720*x^4+7680*x^3+6144*x^2+3840*x+1536)*log(5)^2+(6*x^10+60*x^9+288*x^8+960*x^7+2496*x^6+4992*x^5+7680*x^4+
9216*x^3+7680*x^2+3072*x)*log(5)+x^11+10*x^10+52*x^9+200*x^8+608*x^7+1472*x^6+2944*x^5+4864*x^4+6400*x^3+6656*
x^2+5120*x+2048),x, algorithm="fricas")

[Out]

-(8*x^7 + 63*x^6 + 216*x^5 + (8*x^3 + 31*x^2 - 2*(x^3 + 4*x^2 + 4*x)*log(2) + 32*x)*log(5)^4 + 488*x^4 + 4*(8*
x^4 + 31*x^3 + 32*x^2 - 2*(x^4 + 4*x^3 + 4*x^2)*log(2))*log(5)^3 + 864*x^3 + 2*(24*x^5 + 109*x^4 + 188*x^3 + 1
88*x^2 - 2*(3*x^5 + 14*x^4 + 24*x^3 + 24*x^2 + 16*x)*log(2) + 128*x)*log(5)^2 + 1008*x^2 + 4*(8*x^6 + 47*x^5 +
 124*x^4 + 188*x^3 + 128*x^2 - 2*(x^6 + 6*x^5 + 16*x^4 + 24*x^3 + 16*x^2)*log(2))*log(5) - 2*(x^7 + 8*x^6 + 28
*x^5 + 64*x^4 + 112*x^3 + 128*x^2 + 64*x)*log(2) + 512*x)/(x^8 + 8*x^7 + 32*x^6 + 96*x^5 + (x^4 + 8*x^3 + 24*x
^2 + 32*x + 16)*log(5)^4 + 224*x^4 + 4*(x^5 + 8*x^4 + 24*x^3 + 32*x^2 + 16*x)*log(5)^3 + 384*x^3 + 2*(3*x^6 +
24*x^5 + 76*x^4 + 128*x^3 + 144*x^2 + 128*x + 64)*log(5)^2 + 512*x^2 + 4*(x^7 + 8*x^6 + 28*x^5 + 64*x^4 + 112*
x^3 + 128*x^2 + 64*x)*log(5) + 512*x + 256)

________________________________________________________________________________________

giac [B]  time = 1.22, size = 1494, normalized size = 51.52 result too large to display

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-2*x^3-4*x^2+8*x+16)*log(2)+8*x^3+14*x^2-28*x-64)*log(5)^6+((-12*x^4-24*x^3+48*x^2+96*x)*log(2)+4
8*x^4+84*x^3-168*x^2-384*x)*log(5)^5+((-30*x^5-60*x^4+128*x^3+320*x^2+224*x+192)*log(2)+120*x^5+210*x^4-460*x^
3-1256*x^2-848*x-768)*log(5)^4+((-40*x^6-96*x^5+96*x^4+448*x^3+768*x^2+768*x)*log(2)+160*x^6+344*x^5-352*x^4-1
728*x^3-2880*x^2-3072*x)*log(5)^3+((-30*x^7-108*x^6-120*x^5+144*x^4+1120*x^3+1984*x^2+1408*x+768)*log(2)+120*x
^7+402*x^6+444*x^5-528*x^4-4128*x^3-7648*x^2-5440*x-3072)*log(5)^2+((-12*x^8-72*x^7-208*x^6-224*x^5+448*x^4+16
64*x^3+2304*x^2+1536*x)*log(2)+48*x^8+276*x^7+776*x^6+832*x^5-1664*x^4-6208*x^3-8832*x^2-6144*x)*log(5)+(-2*x^
9-20*x^8-80*x^7-160*x^6-128*x^5+256*x^4+1280*x^3+2560*x^2+2560*x+1024)*log(2)+8*x^9+78*x^8+300*x^7+568*x^6+432
*x^5-864*x^4-4544*x^3-9600*x^2-9984*x-4096)/((x^5+10*x^4+40*x^3+80*x^2+80*x+32)*log(5)^6+(6*x^6+60*x^5+240*x^4
+480*x^3+480*x^2+192*x)*log(5)^5+(15*x^7+150*x^6+612*x^5+1320*x^4+1680*x^3+1440*x^2+960*x+384)*log(5)^4+(20*x^
8+200*x^7+848*x^6+2080*x^5+3520*x^4+4480*x^3+3840*x^2+1536*x)*log(5)^3+(15*x^9+150*x^8+672*x^7+1920*x^6+4128*x
^5+6720*x^4+7680*x^3+6144*x^2+3840*x+1536)*log(5)^2+(6*x^10+60*x^9+288*x^8+960*x^7+2496*x^6+4992*x^5+7680*x^4+
9216*x^3+7680*x^2+3072*x)*log(5)+x^11+10*x^10+52*x^9+200*x^8+608*x^7+1472*x^6+2944*x^5+4864*x^4+6400*x^3+6656*
x^2+5120*x+2048),x, algorithm="giac")

[Out]

8*(x^2*log(5)^10*log(2) + 2*x*log(5)^11*log(2) + log(5)^12*log(2) - 4*x^2*log(5)^10 - 8*x*log(5)^11 - 4*log(5)
^12 + 4*x^3*log(5)^8*log(2) - 4*x^2*log(5)^9*log(2) - 20*x*log(5)^10*log(2) - 12*log(5)^11*log(2) - 17*x^3*log
(5)^8 + 12*x^2*log(5)^9 + 75*x*log(5)^10 + 46*log(5)^11 - 56*x^3*log(5)^7*log(2) - 36*x^2*log(5)^8*log(2) + 96
*x*log(5)^9*log(2) + 80*log(5)^10*log(2) + 228*x^3*log(5)^7 + 168*x^2*log(5)^8 - 348*x*log(5)^9 - 302*log(5)^1
0 + 400*x^3*log(5)^6*log(2) + 496*x^2*log(5)^7*log(2) - 192*x*log(5)^8*log(2) - 352*log(5)^9*log(2) - 1580*x^3
*log(5)^6 - 1984*x^2*log(5)^7 + 720*x*log(5)^8 + 1352*log(5)^9 - 1792*x^3*log(5)^5*log(2) - 2720*x^2*log(5)^6*
log(2) - 288*x*log(5)^7*log(2) + 1168*log(5)^8*log(2) + 7056*x^3*log(5)^5 + 10800*x^2*log(5)^6 + 1184*x*log(5)
^7 - 4464*log(5)^8 + 5504*x^3*log(5)^4*log(2) + 9216*x^2*log(5)^5*log(2) + 3520*x*log(5)^6*log(2) - 3008*log(5
)^7*log(2) - 21600*x^3*log(5)^4 - 36480*x^2*log(5)^5 - 13584*x*log(5)^6 + 11616*log(5)^7 - 11776*x^3*log(5)^3*
log(2) - 20736*x^2*log(5)^4*log(2) - 13312*x*log(5)^5*log(2) + 6272*log(5)^6*log(2) + 46208*x^3*log(5)^3 + 823
68*x^2*log(5)^4 + 51136*x*log(5)^5 - 24416*log(5)^6 + 17408*x^3*log(5)^2*log(2) + 31744*x^2*log(5)^3*log(2) +
33280*x*log(5)^4*log(2) - 10240*log(5)^5*log(2) - 68608*x^3*log(5)^2 - 128256*x^2*log(5)^3 - 129152*x*log(5)^4
 + 39808*log(5)^5 - 16384*x^3*log(5)*log(2) - 30720*x^2*log(5)^2*log(2) - 59392*x*log(5)^3*log(2) + 13312*log(
5)^4*log(2) + 64512*x^3*log(5) + 125952*x^2*log(5)^2 + 229888*x*log(5)^3 - 53248*log(5)^4 + 8192*x^3*log(2) +
16384*x^2*log(5)*log(2) + 77824*x*log(5)^2*log(2) - 12288*log(5)^3*log(2) - 32768*x^3 - 71680*x^2*log(5) - 305
152*x*log(5)^2 + 48128*log(5)^3 - 65536*x*log(5)*log(2) + 8192*log(5)^2*log(2) + 4096*x^2 + 258048*x*log(5) -
34816*log(5)^2 + 32768*x*log(2) - 131072*x)/((log(5)^10 - 20*log(5)^9 + 200*log(5)^8 - 1280*log(5)^7 + 5760*lo
g(5)^6 - 18944*log(5)^5 + 46080*log(5)^4 - 81920*log(5)^3 + 102400*log(5)^2 - 81920*log(5) + 32768)*(x^2 + 2*x
*log(5) + log(5)^2 + 4)^2) + (2*x^3*log(5)^10*log(2) - 8*x^3*log(5)^10 - 40*x^3*log(5)^9*log(2) + 8*x^2*log(5)
^10*log(2) + 160*x^3*log(5)^9 - 31*x^2*log(5)^10 + 368*x^3*log(5)^8*log(2) - 160*x^2*log(5)^9*log(2) + 8*x*log
(5)^10*log(2) - 1464*x^3*log(5)^8 + 620*x^2*log(5)^9 - 32*x*log(5)^10 - 2112*x^3*log(5)^7*log(2) + 1440*x^2*lo
g(5)^8*log(2) - 160*x*log(5)^9*log(2) + 8416*x^3*log(5)^7 - 5560*x^2*log(5)^8 + 640*x*log(5)^9 + 8320*x^3*log(
5)^6*log(2) - 8064*x^2*log(5)^7*log(2) + 1344*x*log(5)^8*log(2) - 33440*x^3*log(5)^6 + 31360*x^2*log(5)^7 - 53
76*x*log(5)^8 - 23552*x^3*log(5)^5*log(2) + 30976*x^2*log(5)^6*log(2) - 6912*x*log(5)^7*log(2) - 128*log(5)^8*
log(2) + 95104*x^3*log(5)^5 - 122368*x^2*log(5)^6 + 28160*x*log(5)^7 + 512*log(5)^8 + 48128*x^3*log(5)^4*log(2
) - 86016*x^2*log(5)^5*log(2) + 24064*x*log(5)^6*log(2) + 1536*log(5)^7*log(2) - 195840*x^3*log(5)^4 + 342528*
x^2*log(5)^5 - 101248*x*log(5)^6 - 5888*log(5)^7 - 69632*x^3*log(5)^3*log(2) + 174080*x^2*log(5)^4*log(2) - 61
440*x*log(5)^5*log(2) - 9216*log(5)^6*log(2) + 285696*x^3*log(5)^3 - 700928*x^2*log(5)^4 + 260608*x*log(5)^5 +
 34560*log(5)^6 + 65536*x^3*log(5)^2*log(2) - 253952*x^2*log(5)^3*log(2) + 118784*x*log(5)^4*log(2) + 32768*lo
g(5)^5*log(2) - 270336*x^3*log(5)^2 + 1034240*x^2*log(5)^3 - 506880*x*log(5)^4 - 125952*log(5)^5 - 32768*x^3*l
og(5)*log(2) + 245760*x^2*log(5)^2*log(2) - 180224*x*log(5)^3*log(2) - 73728*log(5)^4*log(2) + 139264*x^3*log(
5) - 1003520*x^2*log(5)^2 + 765952*x*log(5)^3 + 286720*log(5)^4 - 131072*x^2*log(5)*log(2) + 196608*x*log(5)^2
*log(2) + 98304*log(5)^3*log(2) + 557056*x^2*log(5) - 802816*x*log(5)^2 - 385024*log(5)^3 - 131072*x*log(5)*lo
g(2) - 65536*log(5)^2*log(2) + 557056*x*log(5) + 278528*log(5)^2)/((log(5)^10 - 20*log(5)^9 + 200*log(5)^8 - 1
280*log(5)^7 + 5760*log(5)^6 - 18944*log(5)^5 + 46080*log(5)^4 - 81920*log(5)^3 + 102400*log(5)^2 - 81920*log(
5) + 32768)*(x + 2)^4)

________________________________________________________________________________________

maple [B]  time = 0.83, size = 296, normalized size = 10.21




method result size



norman (2ln(2)8)x7+(8ln(2)ln(5)+16ln(2)32ln(5)63)x6+(12ln(2)ln(5)2+48ln(2)ln(5)48ln(5)2+56ln(2)188ln(5)216)x5+(8ln(2)ln(5)432ln(5)4+64ln(2)ln(5)2256ln(5)2+128ln(2)512)x+(8ln(2)ln(5)3+56ln(2)ln(5)232ln(5)3+128ln(2)ln(5)218ln(5)2+128ln(2)496ln(5)488)x4+(2ln(2)ln(5)4+32ln(2)ln(5)38ln(5)4+96ln(2)ln(5)2124ln(5)3+192ln(2)ln(5)376ln(5)2+224ln(2)752ln(5)864)x3+(8ln(2)ln(5)4+32ln(2)ln(5)331ln(5)4+96ln(2)ln(5)2128ln(5)3+128ln(2)ln(5)376ln(5)2+256ln(2)512ln(5)1008)x2(2+x)4(ln(5)2+2xln(5)+x2+4)2 296
risch (2ln(2)8)x7+(8ln(2)ln(5)+16ln(2)32ln(5)63)x6+(12ln(2)ln(5)2+48ln(2)ln(5)48ln(5)2+56ln(2)188ln(5)216)x5+(8ln(2)ln(5)432ln(5)4+64ln(2)ln(5)2256ln(5)2+128ln(2)512)x+(8ln(2)ln(5)3+56ln(2)ln(5)232ln(5)3+128ln(2)ln(5)218ln(5)2+128ln(2)496ln(5)488)x4+(2ln(2)ln(5)4+32ln(2)ln(5)38ln(5)4+96ln(2)ln(5)2124ln(5)3+192ln(2)ln(5)376ln(5)2+224ln(2)752ln(5)864)x3+(8ln(2)ln(5)4+32ln(2)ln(5)331ln(5)4+96ln(2)ln(5)2128ln(5)3+128ln(2)ln(5)376ln(5)2+256ln(2)512ln(5)1008)x2256+512x+256x3ln(5)2+48x5ln(5)2+x4ln(5)4+6x6ln(5)2+512x2ln(5)+16ln(5)4+32x4ln(5)3+4x5ln(5)3+128ln(5)2+8x7+x8+224x4+384x3+512x2+32x6+96x5+96x3ln(5)3+112x5ln(5)+32x6ln(5)+32xln(5)4+256xln(5)+288x2ln(5)2+448x3ln(5)+8x3ln(5)4+4x7ln(5)+64ln(5)3x+24ln(5)4x2+152x4ln(5)2+256xln(5)2+256x4ln(5)+128x2ln(5)3 502
gosper x(512+192x2ln(2)ln(5)1008x218x3ln(5)2+48x4ln(5)ln(2)+96xln(2)ln(5)2+128xln(2)ln(5)752x2ln(5)32ln(5)4256ln(5)2+128ln(2)216x4488x3864x28x663x532x3ln(5)332x5ln(5)31xln(5)4+56x4ln(2)+16x5ln(2)+2x6ln(2)512xln(5)376x2ln(5)2496x3ln(5)+256xln(2)+224x2ln(2)+128x3ln(2)+8ln(2)ln(5)4128ln(5)3x+64ln(2)ln(5)28ln(5)4x248x4ln(5)2376xln(5)2188x4ln(5)124x2ln(5)3+2ln(2)ln(5)4x2+8ln(2)ln(5)3x3+12ln(2)ln(5)2x4+8ln(2)ln(5)x5+8ln(2)ln(5)4x+32ln(2)ln(5)3x2+56ln(2)ln(5)2x3+32ln(2)ln(5)3x+96ln(2)ln(5)2x2+128ln(2)ln(5)x3)256+512x+256x3ln(5)2+48x5ln(5)2+x4ln(5)4+6x6ln(5)2+512x2ln(5)+16ln(5)4+32x4ln(5)3+4x5ln(5)3+128ln(5)2+8x7+x8+224x4+384x3+512x2+32x6+96x5+96x3ln(5)3+112x5ln(5)+32x6ln(5)+32xln(5)4+256xln(5)+288x2ln(5)2+448x3ln(5)+8x3ln(5)4+4x7ln(5)+64ln(5)3x+24ln(5)4x2+152x4ln(5)2+256xln(5)2+256x4ln(5)+128x2ln(5)3 576
default 8(4464ln(5)811616ln(5)7+24416ln(5)639808ln(5)548128ln(5)3+53248ln(5)4+34816ln(5)2+(4ln(2)ln(5)8+56ln(2)ln(5)7+17ln(5)8400ln(2)ln(5)6228ln(5)7+1792ln(2)ln(5)5+1580ln(5)65504ln(2)ln(5)47056ln(5)5+11776ln(2)ln(5)3+21600ln(5)417408ln(2)ln(5)246208ln(5)3+16384ln(2)ln(5)+68608ln(5)28192ln(2)64512ln(5)+32768)x3+(ln(2)ln(5)10+4ln(2)ln(5)9+4ln(5)10+36ln(2)ln(5)812ln(5)9496ln(2)ln(5)7168ln(5)8+2720ln(2)ln(5)6+1984ln(5)79216ln(2)ln(5)510800ln(5)6+20736ln(2)ln(5)4+36480ln(5)531744ln(2)ln(5)382368ln(5)4+30720ln(2)ln(5)2+128256ln(5)316384ln(2)ln(5)125952ln(5)2+71680ln(5)4096)x2+(2ln(2)ln(5)11+20ln(2)ln(5)10+8ln(5)1196ln(2)ln(5)975ln(5)10+192ln(2)ln(5)8+348ln(5)9+288ln(2)ln(5)7720ln(5)83520ln(2)ln(5)61184ln(5)7+13312ln(2)ln(5)5+13584ln(5)633280ln(2)ln(5)451136ln(5)5+59392ln(2)ln(5)3+129152ln(5)477824ln(2)ln(5)2229888ln(5)3+65536ln(2)ln(5)+305152ln(5)232768ln(2)258048ln(5)+131072)x80ln(2)ln(5)10ln(2)ln(5)12+12ln(2)ln(5)11+352ln(2)ln(5)9+12288ln(2)ln(5)3+3008ln(2)ln(5)7+10240ln(2)ln(5)513312ln(2)ln(5)48192ln(2)ln(5)26272ln(2)ln(5)61168ln(2)ln(5)8+302ln(5)101352ln(5)9+4ln(5)1246ln(5)11)(ln(5)24ln(5)+8)5(ln(5)2+2xln(5)+x2+4)2ln(5)(4ln(2)ln(5)764ln(2)ln(5)617ln(5)7+480ln(2)ln(5)5+272ln(5)62176ln(2)ln(5)42000ln(5)5+6400ln(2)ln(5)3+8960ln(5)412288ln(2)ln(5)226432ln(5)3+14336ln(2)ln(5)+50688ln(5)28192ln(2)59904ln(5)+34816)(ln(5)24ln(5)+8)4(2+x)2+2ln(5)(ln(2)ln(5)920ln(2)ln(5)84ln(5)9+184ln(2)ln(5)7+80ln(5)81056ln(2)ln(5)6732ln(5)7+4160ln(2)ln(5)5+4208ln(5)611776ln(2)ln(5)416720ln(5)5+24064ln(2)ln(5)3+47552ln(5)434816ln(2)ln(5)297920ln(5)3+32768ln(2)ln(5)+142848ln(5)216384ln(2)135168ln(5)+69632)(ln(5)24ln(5)+8)5(2+x)+4ln(5)2(ln(5)28ln(5)+16)(ln(5)24ln(5)+8)2(2+x)44ln(5)2(ln(5)412ln(5)3+48ln(5)296ln(5)+128)(ln(5)24ln(5)+8)3(2+x)3 952



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-2*x^3-4*x^2+8*x+16)*ln(2)+8*x^3+14*x^2-28*x-64)*ln(5)^6+((-12*x^4-24*x^3+48*x^2+96*x)*ln(2)+48*x^4+84*
x^3-168*x^2-384*x)*ln(5)^5+((-30*x^5-60*x^4+128*x^3+320*x^2+224*x+192)*ln(2)+120*x^5+210*x^4-460*x^3-1256*x^2-
848*x-768)*ln(5)^4+((-40*x^6-96*x^5+96*x^4+448*x^3+768*x^2+768*x)*ln(2)+160*x^6+344*x^5-352*x^4-1728*x^3-2880*
x^2-3072*x)*ln(5)^3+((-30*x^7-108*x^6-120*x^5+144*x^4+1120*x^3+1984*x^2+1408*x+768)*ln(2)+120*x^7+402*x^6+444*
x^5-528*x^4-4128*x^3-7648*x^2-5440*x-3072)*ln(5)^2+((-12*x^8-72*x^7-208*x^6-224*x^5+448*x^4+1664*x^3+2304*x^2+
1536*x)*ln(2)+48*x^8+276*x^7+776*x^6+832*x^5-1664*x^4-6208*x^3-8832*x^2-6144*x)*ln(5)+(-2*x^9-20*x^8-80*x^7-16
0*x^6-128*x^5+256*x^4+1280*x^3+2560*x^2+2560*x+1024)*ln(2)+8*x^9+78*x^8+300*x^7+568*x^6+432*x^5-864*x^4-4544*x
^3-9600*x^2-9984*x-4096)/((x^5+10*x^4+40*x^3+80*x^2+80*x+32)*ln(5)^6+(6*x^6+60*x^5+240*x^4+480*x^3+480*x^2+192
*x)*ln(5)^5+(15*x^7+150*x^6+612*x^5+1320*x^4+1680*x^3+1440*x^2+960*x+384)*ln(5)^4+(20*x^8+200*x^7+848*x^6+2080
*x^5+3520*x^4+4480*x^3+3840*x^2+1536*x)*ln(5)^3+(15*x^9+150*x^8+672*x^7+1920*x^6+4128*x^5+6720*x^4+7680*x^3+61
44*x^2+3840*x+1536)*ln(5)^2+(6*x^10+60*x^9+288*x^8+960*x^7+2496*x^6+4992*x^5+7680*x^4+9216*x^3+7680*x^2+3072*x
)*ln(5)+x^11+10*x^10+52*x^9+200*x^8+608*x^7+1472*x^6+2944*x^5+4864*x^4+6400*x^3+6656*x^2+5120*x+2048),x,method
=_RETURNVERBOSE)

[Out]

((2*ln(2)-8)*x^7+(8*ln(2)*ln(5)+16*ln(2)-32*ln(5)-63)*x^6+(12*ln(2)*ln(5)^2+48*ln(2)*ln(5)-48*ln(5)^2+56*ln(2)
-188*ln(5)-216)*x^5+(8*ln(2)*ln(5)^4-32*ln(5)^4+64*ln(2)*ln(5)^2-256*ln(5)^2+128*ln(2)-512)*x+(8*ln(2)*ln(5)^3
+56*ln(2)*ln(5)^2-32*ln(5)^3+128*ln(2)*ln(5)-218*ln(5)^2+128*ln(2)-496*ln(5)-488)*x^4+(2*ln(2)*ln(5)^4+32*ln(2
)*ln(5)^3-8*ln(5)^4+96*ln(2)*ln(5)^2-124*ln(5)^3+192*ln(2)*ln(5)-376*ln(5)^2+224*ln(2)-752*ln(5)-864)*x^3+(8*l
n(2)*ln(5)^4+32*ln(2)*ln(5)^3-31*ln(5)^4+96*ln(2)*ln(5)^2-128*ln(5)^3+128*ln(2)*ln(5)-376*ln(5)^2+256*ln(2)-51
2*ln(5)-1008)*x^2)/(2+x)^4/(ln(5)^2+2*x*ln(5)+x^2+4)^2

________________________________________________________________________________________

maxima [B]  time = 0.44, size = 407, normalized size = 14.03 2x7(log(2)4)+(8(log(2)4)log(5)+16log(2)63)x6+4(3(log(2)4)log(5)2+(12log(2)47)log(5)+14log(2)54)x5+2(4(log(2)4)log(5)3+(28log(2)109)log(5)2+8(8log(2)31)log(5)+64log(2)244)x4+2((log(2)4)log(5)4+2(8log(2)31)log(5)3+4(12log(2)47)log(5)2+8(12log(2)47)log(5)+112log(2)432)x3+((8log(2)31)log(5)4+32(log(2)4)log(5)3+8(12log(2)47)log(5)2+128(log(2)4)log(5)+256log(2)1008)x2+8((log(2)4)log(5)4+8(log(2)4)log(5)2+16log(2)64)xx8+4x7(log(5)+2)+2(3log(5)2+16log(5)+16)x6+4(log(5)3+12log(5)2+28log(5)+24)x5+(log(5)4+32log(5)3+152log(5)2+256log(5)+224)x4+8(log(5)4+12log(5)3+32log(5)2+56log(5)+48)x3+16log(5)4+8(3log(5)4+16log(5)3+36log(5)2+64log(5)+64)x2+32(log(5)4+2log(5)3+8log(5)2+8log(5)+16)x+128log(5)2+256

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-2*x^3-4*x^2+8*x+16)*log(2)+8*x^3+14*x^2-28*x-64)*log(5)^6+((-12*x^4-24*x^3+48*x^2+96*x)*log(2)+4
8*x^4+84*x^3-168*x^2-384*x)*log(5)^5+((-30*x^5-60*x^4+128*x^3+320*x^2+224*x+192)*log(2)+120*x^5+210*x^4-460*x^
3-1256*x^2-848*x-768)*log(5)^4+((-40*x^6-96*x^5+96*x^4+448*x^3+768*x^2+768*x)*log(2)+160*x^6+344*x^5-352*x^4-1
728*x^3-2880*x^2-3072*x)*log(5)^3+((-30*x^7-108*x^6-120*x^5+144*x^4+1120*x^3+1984*x^2+1408*x+768)*log(2)+120*x
^7+402*x^6+444*x^5-528*x^4-4128*x^3-7648*x^2-5440*x-3072)*log(5)^2+((-12*x^8-72*x^7-208*x^6-224*x^5+448*x^4+16
64*x^3+2304*x^2+1536*x)*log(2)+48*x^8+276*x^7+776*x^6+832*x^5-1664*x^4-6208*x^3-8832*x^2-6144*x)*log(5)+(-2*x^
9-20*x^8-80*x^7-160*x^6-128*x^5+256*x^4+1280*x^3+2560*x^2+2560*x+1024)*log(2)+8*x^9+78*x^8+300*x^7+568*x^6+432
*x^5-864*x^4-4544*x^3-9600*x^2-9984*x-4096)/((x^5+10*x^4+40*x^3+80*x^2+80*x+32)*log(5)^6+(6*x^6+60*x^5+240*x^4
+480*x^3+480*x^2+192*x)*log(5)^5+(15*x^7+150*x^6+612*x^5+1320*x^4+1680*x^3+1440*x^2+960*x+384)*log(5)^4+(20*x^
8+200*x^7+848*x^6+2080*x^5+3520*x^4+4480*x^3+3840*x^2+1536*x)*log(5)^3+(15*x^9+150*x^8+672*x^7+1920*x^6+4128*x
^5+6720*x^4+7680*x^3+6144*x^2+3840*x+1536)*log(5)^2+(6*x^10+60*x^9+288*x^8+960*x^7+2496*x^6+4992*x^5+7680*x^4+
9216*x^3+7680*x^2+3072*x)*log(5)+x^11+10*x^10+52*x^9+200*x^8+608*x^7+1472*x^6+2944*x^5+4864*x^4+6400*x^3+6656*
x^2+5120*x+2048),x, algorithm="maxima")

[Out]

(2*x^7*(log(2) - 4) + (8*(log(2) - 4)*log(5) + 16*log(2) - 63)*x^6 + 4*(3*(log(2) - 4)*log(5)^2 + (12*log(2) -
 47)*log(5) + 14*log(2) - 54)*x^5 + 2*(4*(log(2) - 4)*log(5)^3 + (28*log(2) - 109)*log(5)^2 + 8*(8*log(2) - 31
)*log(5) + 64*log(2) - 244)*x^4 + 2*((log(2) - 4)*log(5)^4 + 2*(8*log(2) - 31)*log(5)^3 + 4*(12*log(2) - 47)*l
og(5)^2 + 8*(12*log(2) - 47)*log(5) + 112*log(2) - 432)*x^3 + ((8*log(2) - 31)*log(5)^4 + 32*(log(2) - 4)*log(
5)^3 + 8*(12*log(2) - 47)*log(5)^2 + 128*(log(2) - 4)*log(5) + 256*log(2) - 1008)*x^2 + 8*((log(2) - 4)*log(5)
^4 + 8*(log(2) - 4)*log(5)^2 + 16*log(2) - 64)*x)/(x^8 + 4*x^7*(log(5) + 2) + 2*(3*log(5)^2 + 16*log(5) + 16)*
x^6 + 4*(log(5)^3 + 12*log(5)^2 + 28*log(5) + 24)*x^5 + (log(5)^4 + 32*log(5)^3 + 152*log(5)^2 + 256*log(5) +
224)*x^4 + 8*(log(5)^4 + 12*log(5)^3 + 32*log(5)^2 + 56*log(5) + 48)*x^3 + 16*log(5)^4 + 8*(3*log(5)^4 + 16*lo
g(5)^3 + 36*log(5)^2 + 64*log(5) + 64)*x^2 + 32*(log(5)^4 + 2*log(5)^3 + 8*log(5)^2 + 8*log(5) + 16)*x + 128*l
og(5)^2 + 256)

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(5)*(log(2)*(1536*x + 2304*x^2 + 1664*x^3 + 448*x^4 - 224*x^5 - 208*x^6 - 72*x^7 - 12*x^8) - 6144*x -
8832*x^2 - 6208*x^3 - 1664*x^4 + 832*x^5 + 776*x^6 + 276*x^7 + 48*x^8) - 9984*x - log(5)^4*(848*x + 1256*x^2 +
 460*x^3 - 210*x^4 - 120*x^5 - log(2)*(224*x + 320*x^2 + 128*x^3 - 60*x^4 - 30*x^5 + 192) + 768) + log(5)^6*(l
og(2)*(8*x - 4*x^2 - 2*x^3 + 16) - 28*x + 14*x^2 + 8*x^3 - 64) - log(5)^3*(3072*x - log(2)*(768*x + 768*x^2 +
448*x^3 + 96*x^4 - 96*x^5 - 40*x^6) + 2880*x^2 + 1728*x^3 + 352*x^4 - 344*x^5 - 160*x^6) + log(5)^5*(log(2)*(9
6*x + 48*x^2 - 24*x^3 - 12*x^4) - 384*x - 168*x^2 + 84*x^3 + 48*x^4) + log(2)*(2560*x + 2560*x^2 + 1280*x^3 +
256*x^4 - 128*x^5 - 160*x^6 - 80*x^7 - 20*x^8 - 2*x^9 + 1024) - 9600*x^2 - 4544*x^3 - 864*x^4 + 432*x^5 + 568*
x^6 + 300*x^7 + 78*x^8 + 8*x^9 - log(5)^2*(5440*x - log(2)*(1408*x + 1984*x^2 + 1120*x^3 + 144*x^4 - 120*x^5 -
 108*x^6 - 30*x^7 + 768) + 7648*x^2 + 4128*x^3 + 528*x^4 - 444*x^5 - 402*x^6 - 120*x^7 + 3072) - 4096)/(5120*x
 + log(5)^2*(3840*x + 6144*x^2 + 7680*x^3 + 6720*x^4 + 4128*x^5 + 1920*x^6 + 672*x^7 + 150*x^8 + 15*x^9 + 1536
) + log(5)^5*(192*x + 480*x^2 + 480*x^3 + 240*x^4 + 60*x^5 + 6*x^6) + log(5)^4*(960*x + 1440*x^2 + 1680*x^3 +
1320*x^4 + 612*x^5 + 150*x^6 + 15*x^7 + 384) + 6656*x^2 + 6400*x^3 + 4864*x^4 + 2944*x^5 + 1472*x^6 + 608*x^7
+ 200*x^8 + 52*x^9 + 10*x^10 + x^11 + log(5)^6*(80*x + 80*x^2 + 40*x^3 + 10*x^4 + x^5 + 32) + log(5)^3*(1536*x
 + 3840*x^2 + 4480*x^3 + 3520*x^4 + 2080*x^5 + 848*x^6 + 200*x^7 + 20*x^8) + log(5)*(3072*x + 7680*x^2 + 9216*
x^3 + 7680*x^4 + 4992*x^5 + 2496*x^6 + 960*x^7 + 288*x^8 + 60*x^9 + 6*x^10) + 2048),x)

[Out]

\text{Hanged}

________________________________________________________________________________________

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((((-2*x**3-4*x**2+8*x+16)*ln(2)+8*x**3+14*x**2-28*x-64)*ln(5)**6+((-12*x**4-24*x**3+48*x**2+96*x)*ln
(2)+48*x**4+84*x**3-168*x**2-384*x)*ln(5)**5+((-30*x**5-60*x**4+128*x**3+320*x**2+224*x+192)*ln(2)+120*x**5+21
0*x**4-460*x**3-1256*x**2-848*x-768)*ln(5)**4+((-40*x**6-96*x**5+96*x**4+448*x**3+768*x**2+768*x)*ln(2)+160*x*
*6+344*x**5-352*x**4-1728*x**3-2880*x**2-3072*x)*ln(5)**3+((-30*x**7-108*x**6-120*x**5+144*x**4+1120*x**3+1984
*x**2+1408*x+768)*ln(2)+120*x**7+402*x**6+444*x**5-528*x**4-4128*x**3-7648*x**2-5440*x-3072)*ln(5)**2+((-12*x*
*8-72*x**7-208*x**6-224*x**5+448*x**4+1664*x**3+2304*x**2+1536*x)*ln(2)+48*x**8+276*x**7+776*x**6+832*x**5-166
4*x**4-6208*x**3-8832*x**2-6144*x)*ln(5)+(-2*x**9-20*x**8-80*x**7-160*x**6-128*x**5+256*x**4+1280*x**3+2560*x*
*2+2560*x+1024)*ln(2)+8*x**9+78*x**8+300*x**7+568*x**6+432*x**5-864*x**4-4544*x**3-9600*x**2-9984*x-4096)/((x*
*5+10*x**4+40*x**3+80*x**2+80*x+32)*ln(5)**6+(6*x**6+60*x**5+240*x**4+480*x**3+480*x**2+192*x)*ln(5)**5+(15*x*
*7+150*x**6+612*x**5+1320*x**4+1680*x**3+1440*x**2+960*x+384)*ln(5)**4+(20*x**8+200*x**7+848*x**6+2080*x**5+35
20*x**4+4480*x**3+3840*x**2+1536*x)*ln(5)**3+(15*x**9+150*x**8+672*x**7+1920*x**6+4128*x**5+6720*x**4+7680*x**
3+6144*x**2+3840*x+1536)*ln(5)**2+(6*x**10+60*x**9+288*x**8+960*x**7+2496*x**6+4992*x**5+7680*x**4+9216*x**3+7
680*x**2+3072*x)*ln(5)+x**11+10*x**10+52*x**9+200*x**8+608*x**7+1472*x**6+2944*x**5+4864*x**4+6400*x**3+6656*x
**2+5120*x+2048),x)

[Out]

Timed out

________________________________________________________________________________________