3.69.81 11264+83968x+107520x2+50688x3+8192x4+(2304+14592x+12864x2+3072x3)log(5)+(144+840x+384x2)log2(5)+(3+16x)log3(5)32768+49152x+24576x2+4096x3+(6144+6144x+1536x2)log(5)+(384+192x)log2(5)+8log3(5)dx

Optimal. Leaf size=27 x2+38(x+43(4+2x+log(5)4)2)

________________________________________________________________________________________

Rubi [A]  time = 0.19, antiderivative size = 20, normalized size of antiderivative = 0.74, number of steps used = 2, number of rules used = 1, integrand size = 110, number of rulesintegrand size = 0.009, Rules used = {2074} x2+3x8+8(8x+16+log(5))2

Antiderivative was successfully verified.

[In]

Int[(11264 + 83968*x + 107520*x^2 + 50688*x^3 + 8192*x^4 + (2304 + 14592*x + 12864*x^2 + 3072*x^3)*Log[5] + (1
44 + 840*x + 384*x^2)*Log[5]^2 + (3 + 16*x)*Log[5]^3)/(32768 + 49152*x + 24576*x^2 + 4096*x^3 + (6144 + 6144*x
 + 1536*x^2)*Log[5] + (384 + 192*x)*Log[5]^2 + 8*Log[5]^3),x]

[Out]

(3*x)/8 + x^2 + 8/(16 + 8*x + Log[5])^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=(38+2x128(16+8x+log(5))3)dx=3x8+x2+8(16+8x+log(5))2

________________________________________________________________________________________

Mathematica [B]  time = 0.06, size = 95, normalized size = 3.52 4096x4+9log4(5)+576x2(16+log(5))+log3(5)(4195log(25))3840log(5)(7+log(25))8x(16+log(5))2(23+log(25))+512x3(35+log(25))48log2(5)(131+5log(25))512(103+40log(25))64(16+8x+log(5))2

Antiderivative was successfully verified.

[In]

Integrate[(11264 + 83968*x + 107520*x^2 + 50688*x^3 + 8192*x^4 + (2304 + 14592*x + 12864*x^2 + 3072*x^3)*Log[5
] + (144 + 840*x + 384*x^2)*Log[5]^2 + (3 + 16*x)*Log[5]^3)/(32768 + 49152*x + 24576*x^2 + 4096*x^3 + (6144 +
6144*x + 1536*x^2)*Log[5] + (384 + 192*x)*Log[5]^2 + 8*Log[5]^3),x]

[Out]

(4096*x^4 + 9*Log[5]^4 + 576*x^2*(16 + Log[5]) + Log[5]^3*(419 - 5*Log[25]) - 3840*Log[5]*(-7 + Log[25]) - 8*x
*(16 + Log[5])^2*(23 + Log[25]) + 512*x^3*(35 + Log[25]) - 48*Log[5]^2*(-131 + 5*Log[25]) - 512*(103 + 40*Log[
25]))/(64*(16 + 8*x + Log[5])^2)

________________________________________________________________________________________

fricas [B]  time = 0.57, size = 77, normalized size = 2.85 512x4+2240x3+(8x2+3x)log(5)2+2816x2+16(8x3+19x2+6x)log(5)+768x+648(64x2+16(x+2)log(5)+log(5)2+256x+256)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((16*x+3)*log(5)^3+(384*x^2+840*x+144)*log(5)^2+(3072*x^3+12864*x^2+14592*x+2304)*log(5)+8192*x^4+50
688*x^3+107520*x^2+83968*x+11264)/(8*log(5)^3+(192*x+384)*log(5)^2+(1536*x^2+6144*x+6144)*log(5)+4096*x^3+2457
6*x^2+49152*x+32768),x, algorithm="fricas")

[Out]

1/8*(512*x^4 + 2240*x^3 + (8*x^2 + 3*x)*log(5)^2 + 2816*x^2 + 16*(8*x^3 + 19*x^2 + 6*x)*log(5) + 768*x + 64)/(
64*x^2 + 16*(x + 2)*log(5) + log(5)^2 + 256*x + 256)

________________________________________________________________________________________

giac [A]  time = 0.13, size = 18, normalized size = 0.67 x2+38x+8(8x+log(5)+16)2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((16*x+3)*log(5)^3+(384*x^2+840*x+144)*log(5)^2+(3072*x^3+12864*x^2+14592*x+2304)*log(5)+8192*x^4+50
688*x^3+107520*x^2+83968*x+11264)/(8*log(5)^3+(192*x+384)*log(5)^2+(1536*x^2+6144*x+6144)*log(5)+4096*x^3+2457
6*x^2+49152*x+32768),x, algorithm="giac")

[Out]

x^2 + 3/8*x + 8/(8*x + log(5) + 16)^2

________________________________________________________________________________________

maple [A]  time = 0.07, size = 19, normalized size = 0.70




method result size



default x2+3x8+8(ln(5)+8x+16)2 19
risch x2+3x8+8ln(5)2+16xln(5)+64x2+32ln(5)+256x+256 35
norman (16ln(5)+280)x3+(ln(5)34105ln(5)281312228ln(5))x+64x4ln(5)46435ln(5)33257ln(5)22328ln(5)1400(ln(5)+8x+16)2 70
gosper ln(5)4+16ln(5)3x1024x3ln(5)4096x4+70ln(5)3+840xln(5)217920x3+1824ln(5)2+14592xln(5)+20992ln(5)+83968x+8960064(ln(5)2+16xln(5)+64x2+32ln(5)+256x+256) 89



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((16*x+3)*ln(5)^3+(384*x^2+840*x+144)*ln(5)^2+(3072*x^3+12864*x^2+14592*x+2304)*ln(5)+8192*x^4+50688*x^3+1
07520*x^2+83968*x+11264)/(8*ln(5)^3+(192*x+384)*ln(5)^2+(1536*x^2+6144*x+6144)*ln(5)+4096*x^3+24576*x^2+49152*
x+32768),x,method=_RETURNVERBOSE)

[Out]

x^2+3/8*x+8/(ln(5)+8*x+16)^2

________________________________________________________________________________________

maxima [A]  time = 0.42, size = 33, normalized size = 1.22 x2+38x+864x2+16x(log(5)+16)+log(5)2+32log(5)+256

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((16*x+3)*log(5)^3+(384*x^2+840*x+144)*log(5)^2+(3072*x^3+12864*x^2+14592*x+2304)*log(5)+8192*x^4+50
688*x^3+107520*x^2+83968*x+11264)/(8*log(5)^3+(192*x+384)*log(5)^2+(1536*x^2+6144*x+6144)*log(5)+4096*x^3+2457
6*x^2+49152*x+32768),x, algorithm="maxima")

[Out]

x^2 + 3/8*x + 8/(64*x^2 + 16*x*(log(5) + 16) + log(5)^2 + 32*log(5) + 256)

________________________________________________________________________________________

mupad [B]  time = 4.15, size = 34, normalized size = 1.26 3x8+864x2+(16ln(5)+256)x+32ln(5)+ln(5)2+256+x2

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((83968*x + log(5)^3*(16*x + 3) + log(5)*(14592*x + 12864*x^2 + 3072*x^3 + 2304) + log(5)^2*(840*x + 384*x^
2 + 144) + 107520*x^2 + 50688*x^3 + 8192*x^4 + 11264)/(49152*x + log(5)*(6144*x + 1536*x^2 + 6144) + log(5)^2*
(192*x + 384) + 8*log(5)^3 + 24576*x^2 + 4096*x^3 + 32768),x)

[Out]

(3*x)/8 + 8/(32*log(5) + x*(16*log(5) + 256) + log(5)^2 + 64*x^2 + 256) + x^2

________________________________________________________________________________________

sympy [A]  time = 0.39, size = 34, normalized size = 1.26 x2+3x8+864x2+x(16log(5)+256)+log(5)2+32log(5)+256

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((16*x+3)*ln(5)**3+(384*x**2+840*x+144)*ln(5)**2+(3072*x**3+12864*x**2+14592*x+2304)*ln(5)+8192*x**4
+50688*x**3+107520*x**2+83968*x+11264)/(8*ln(5)**3+(192*x+384)*ln(5)**2+(1536*x**2+6144*x+6144)*ln(5)+4096*x**
3+24576*x**2+49152*x+32768),x)

[Out]

x**2 + 3*x/8 + 8/(64*x**2 + x*(16*log(5) + 256) + log(5)**2 + 32*log(5) + 256)

________________________________________________________________________________________