3.33.73 8240x2+7800x464000x6+390625x9+1600000x104875000x12+3750000x143125000x16390625x9dx

Optimal. Leaf size=30 5e3+e3(1+(15xx)4)2+x

________________________________________________________________________________________

Rubi [A]  time = 0.03, antiderivative size = 56, normalized size of antiderivative = 1.87, number of steps used = 3, number of rules used = 2, integrand size = 49, number of rulesintegrand size = 0.041, Rules used = {12, 14} x81390625x8+8x65+878125x678x4257815625x4+256x2125+2563125x2+x

Antiderivative was successfully verified.

[In]

Int[(8 - 240*x^2 + 7800*x^4 - 64000*x^6 + 390625*x^9 + 1600000*x^10 - 4875000*x^12 + 3750000*x^14 - 3125000*x^
16)/(390625*x^9),x]

[Out]

-1/390625*1/x^8 + 8/(78125*x^6) - 78/(15625*x^4) + 256/(3125*x^2) + x + (256*x^2)/125 - (78*x^4)/25 + (8*x^6)/
5 - x^8

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 14

Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x], x] /; FreeQ[{c, m}, x] && SumQ[u]
 &&  !LinearQ[u, x] &&  !MatchQ[u, (a_) + (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]

Rubi steps

integral=8240x2+7800x464000x6+390625x9+1600000x104875000x12+3750000x143125000x16x9dx390625=(390625+8x9240x7+7800x564000x3+1600000x4875000x3+3750000x53125000x7)dx390625=1390625x8+878125x67815625x4+2563125x2+x+256x212578x425+8x65x8

________________________________________________________________________________________

Mathematica [A]  time = 0.01, size = 56, normalized size = 1.87 1390625x8+878125x67815625x4+2563125x2+x+256x212578x425+8x65x8

Antiderivative was successfully verified.

[In]

Integrate[(8 - 240*x^2 + 7800*x^4 - 64000*x^6 + 390625*x^9 + 1600000*x^10 - 4875000*x^12 + 3750000*x^14 - 3125
000*x^16)/(390625*x^9),x]

[Out]

-1/390625*1/x^8 + 8/(78125*x^6) - 78/(15625*x^4) + 256/(3125*x^2) + x + (256*x^2)/125 - (78*x^4)/25 + (8*x^6)/
5 - x^8

________________________________________________________________________________________

fricas [A]  time = 0.65, size = 47, normalized size = 1.57 390625x16625000x14+1218750x12800000x10390625x932000x6+1950x440x2+1390625x8

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/390625*(-3125000*x^16+3750000*x^14-4875000*x^12+1600000*x^10+390625*x^9-64000*x^6+7800*x^4-240*x^2
+8)/x^9,x, algorithm="fricas")

[Out]

-1/390625*(390625*x^16 - 625000*x^14 + 1218750*x^12 - 800000*x^10 - 390625*x^9 - 32000*x^6 + 1950*x^4 - 40*x^2
 + 1)/x^8

________________________________________________________________________________________

giac [A]  time = 0.24, size = 44, normalized size = 1.47 x8+85x67825x4+256125x2+x+32000x61950x4+40x21390625x8

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/390625*(-3125000*x^16+3750000*x^14-4875000*x^12+1600000*x^10+390625*x^9-64000*x^6+7800*x^4-240*x^2
+8)/x^9,x, algorithm="giac")

[Out]

-x^8 + 8/5*x^6 - 78/25*x^4 + 256/125*x^2 + x + 1/390625*(32000*x^6 - 1950*x^4 + 40*x^2 - 1)/x^8

________________________________________________________________________________________

maple [A]  time = 0.02, size = 43, normalized size = 1.43




method result size



default x8+8x6578x425+256x2125+x1390625x8+878125x6+2563125x27815625x4 43
norman 1390625+x9+878125x27815625x4+2563125x6+256125x107825x12+85x14x16x8 45
risch x8+8x6578x425+256x2125+x+32000x61950x4+40x21390625x8 45
gosper 390625x16625000x14+1218750x12800000x10390625x932000x6+1950x440x2+1390625x8 48



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/390625*(-3125000*x^16+3750000*x^14-4875000*x^12+1600000*x^10+390625*x^9-64000*x^6+7800*x^4-240*x^2+8)/x^
9,x,method=_RETURNVERBOSE)

[Out]

-x^8+8/5*x^6-78/25*x^4+256/125*x^2+x-1/390625/x^8+8/78125/x^6+256/3125/x^2-78/15625/x^4

________________________________________________________________________________________

maxima [A]  time = 0.40, size = 44, normalized size = 1.47 x8+85x67825x4+256125x2+x+32000x61950x4+40x21390625x8

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/390625*(-3125000*x^16+3750000*x^14-4875000*x^12+1600000*x^10+390625*x^9-64000*x^6+7800*x^4-240*x^2
+8)/x^9,x, algorithm="maxima")

[Out]

-x^8 + 8/5*x^6 - 78/25*x^4 + 256/125*x^2 + x + 1/390625*(32000*x^6 - 1950*x^4 + 40*x^2 - 1)/x^8

________________________________________________________________________________________

mupad [B]  time = 1.98, size = 43, normalized size = 1.43 x+256x6312578x415625+8x2781251390625x8+256x212578x425+8x65x8

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((312*x^4)/15625 - (48*x^2)/78125 - (512*x^6)/3125 + x^9 + (512*x^10)/125 - (312*x^12)/25 + (48*x^14)/5 -
8*x^16 + 8/390625)/x^9,x)

[Out]

x + ((8*x^2)/78125 - (78*x^4)/15625 + (256*x^6)/3125 - 1/390625)/x^8 + (256*x^2)/125 - (78*x^4)/25 + (8*x^6)/5
 - x^8

________________________________________________________________________________________

sympy [B]  time = 0.13, size = 46, normalized size = 1.53 x8+8x6578x425+256x2125+x32000x6+1950x440x2+1390625x8

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/390625*(-3125000*x**16+3750000*x**14-4875000*x**12+1600000*x**10+390625*x**9-64000*x**6+7800*x**4-
240*x**2+8)/x**9,x)

[Out]

-x**8 + 8*x**6/5 - 78*x**4/25 + 256*x**2/125 + x - (-32000*x**6 + 1950*x**4 - 40*x**2 + 1)/(390625*x**8)

________________________________________________________________________________________