3.17.74 300x3+300x4+(3600x24500x3900x4)log(1+x3)+(14400x+21600x2+8100x3+900x4)log2(1+x3)+(1920033600x18000x23900x3300x4)log3(1+x3)+log2(x2)(30x4+(120x3+30x4)log(1+x3)+(120x2+120x3)log2(1+x3)+(480x600x2120x3)log3(1+x3))+log3(x2)(6x4log(1+x3)+(24x2+24x3)log3(1+x3))+log(x2)((60x3+60x4)log(1+x3)+(480x2600x3120x4)log2(1+x3)+(960x+1440x2+540x3+60x4)log3(1+x3))log3(x2)(5x45x5+(60x3+75x4+15x5)log(1+x3)+(240x2360x3135x415x5)log2(1+x3)+(320x+560x2+300x3+65x4+5x5)log3(1+x3))dx

Optimal. Leaf size=40 3(1+15(5log(x2)+x4x+xlog(1+x3))2)

________________________________________________________________________________________

Rubi [F]  time = 50.26, 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 = {} 300x3+300x4+(3600x24500x3900x4)log(1+x3)+(14400x+21600x2+8100x3+900x4)log2(1+x3)+(1920033600x18000x23900x3300x4)log3(1+x3)+log2(x2)(30x4+(120x3+30x4)log(1+x3)+(120x2+120x3)log2(1+x3)+(480x600x2120x3)log3(1+x3))+log3(x2)(6x4log(1+x3)+(24x2+24x3)log3(1+x3))+log(x2)((60x3+60x4)log(1+x3)+(480x2600x3120x4)log2(1+x3)+(960x+1440x2+540x3+60x4)log3(1+x3))log3(x2)(5x45x5+(60x3+75x4+15x5)log(1+x3)+(240x2360x3135x415x5)log2(1+x3)+(320x+560x2+300x3+65x4+5x5)log3(1+x3))dx

Verification is not applicable to the result.

[In]

Int[(300*x^3 + 300*x^4 + (-3600*x^2 - 4500*x^3 - 900*x^4)*Log[(1 + x)/3] + (14400*x + 21600*x^2 + 8100*x^3 + 9
00*x^4)*Log[(1 + x)/3]^2 + (-19200 - 33600*x - 18000*x^2 - 3900*x^3 - 300*x^4)*Log[(1 + x)/3]^3 + Log[x^2]^2*(
-30*x^4 + (120*x^3 + 30*x^4)*Log[(1 + x)/3] + (120*x^2 + 120*x^3)*Log[(1 + x)/3]^2 + (-480*x - 600*x^2 - 120*x
^3)*Log[(1 + x)/3]^3) + Log[x^2]^3*(-6*x^4*Log[(1 + x)/3] + (24*x^2 + 24*x^3)*Log[(1 + x)/3]^3) + Log[x^2]*((6
0*x^3 + 60*x^4)*Log[(1 + x)/3] + (-480*x^2 - 600*x^3 - 120*x^4)*Log[(1 + x)/3]^2 + (960*x + 1440*x^2 + 540*x^3
 + 60*x^4)*Log[(1 + x)/3]^3))/(Log[x^2]^3*(-5*x^4 - 5*x^5 + (60*x^3 + 75*x^4 + 15*x^5)*Log[(1 + x)/3] + (-240*
x^2 - 360*x^3 - 135*x^4 - 15*x^5)*Log[(1 + x)/3]^2 + (320*x + 560*x^2 + 300*x^3 + 65*x^4 + 5*x^5)*Log[(1 + x)/
3]^3)),x]

[Out]

(3*x^2)/(5*(4 + x)^2) + 15/Log[x^2]^2 + 12*Defer[Int][1/((4 + x)*Log[x^2]^2), x] - 24*Defer[Int][1/((4 + x)^2*
Log[x^2]), x] - (2*Defer[Int][1/((1 + x)*(-x + 4*Log[(1 + x)/3] + x*Log[(1 + x)/3])^3), x])/5 + (6144*Defer[In
t][1/((4 + x)^3*(-x + 4*Log[(1 + x)/3] + x*Log[(1 + x)/3])^3), x])/5 + (2816*Defer[Int][1/((4 + x)*(-x + 4*Log
[(1 + x)/3] + x*Log[(1 + x)/3])^3), x])/5 + (1152*Defer[Int][1/((4 + x)^3*(-x + 4*Log[(1 + x)/3] + x*Log[(1 +
x)/3])), x])/5 + (72*Defer[Int][1/((4 + x)*(-x + 4*Log[(1 + x)/3] + x*Log[(1 + x)/3])), x])/5 - 48*Defer[Int][
1/((4 + x)*Log[x^2]^2*(-x + 4*Log[(1 + x)/3] + x*Log[(1 + x)/3])), x] - 48*Defer[Int][1/((4 + x)*Log[x^2]*(-x
+ 4*Log[(1 + x)/3] + x*Log[(1 + x)/3])), x] + (102*Defer[Int][(x - (4 + x)*Log[(1 + x)/3])^(-2), x])/5 - (6*De
fer[Int][x/(x - (4 + x)*Log[(1 + x)/3])^2, x])/5 + (2*Defer[Int][1/((1 + x)*(x - (4 + x)*Log[(1 + x)/3])^2), x
])/5 - (4608*Defer[Int][1/((4 + x)^3*(x - (4 + x)*Log[(1 + x)/3])^2), x])/5 + (3456*Defer[Int][1/((4 + x)^2*(x
 - (4 + x)*Log[(1 + x)/3])^2), x])/5 - (992*Defer[Int][1/((4 + x)*(x - (4 + x)*Log[(1 + x)/3])^2), x])/5 - 30*
Defer[Int][1/(Log[x^2]*(x - (4 + x)*Log[(1 + x)/3])^2), x] + 6*Defer[Int][x/(Log[x^2]*(x - (4 + x)*Log[(1 + x)
/3])^2), x] + 6*Defer[Int][1/((1 + x)*Log[x^2]*(x - (4 + x)*Log[(1 + x)/3])^2), x] - 384*Defer[Int][1/((4 + x)
^2*Log[x^2]*(x - (4 + x)*Log[(1 + x)/3])^2), x] + 192*Defer[Int][1/((4 + x)*Log[x^2]*(x - (4 + x)*Log[(1 + x)/
3])^2), x] - (414*Defer[Int][(-x + (4 + x)*Log[(1 + x)/3])^(-3), x])/5 + (54*Defer[Int][x/(-x + (4 + x)*Log[(1
 + x)/3])^3, x])/5 - (6*Defer[Int][x^2/(-x + (4 + x)*Log[(1 + x)/3])^3, x])/5 - (6144*Defer[Int][1/((4 + x)^2*
(-x + (4 + x)*Log[(1 + x)/3])^3), x])/5 - (576*Defer[Int][1/((4 + x)^2*(-x + (4 + x)*Log[(1 + x)/3])), x])/5 +
 12*Defer[Int][1/(Log[x^2]^2*(-x + (4 + x)*Log[(1 + x)/3])), x] + 192*Defer[Int][1/((4 + x)^2*Log[x^2]*(-x + (
4 + x)*Log[(1 + x)/3])), x]

Rubi steps

integral=6(10x(1+x)log(x2)log(1+x3)(x(4+x)log(1+x3))2+50(1+x)(x+(4+x)log(1+x3))3+x2log3(x2)log(1+x3)(x24(1+x)log2(1+x3))5xlog2(x2)(x3+x2(4+x)log(1+x3)+4x(1+x)log2(1+x3)4(4+5x+x2)log3(1+x3)))5x(1+x)log3(x2)(x(4+x)log(1+x3))3dx=6510x(1+x)log(x2)log(1+x3)(x(4+x)log(1+x3))2+50(1+x)(x+(4+x)log(1+x3))3+x2log3(x2)log(1+x3)(x24(1+x)log2(1+x3))5xlog2(x2)(x3+x2(4+x)log(1+x3)+4x(1+x)log2(1+x3)4(4+5x+x2)log3(1+x3))x(1+x)log3(x2)(x(4+x)log(1+x3))3dx=65(2(16001200x300x225x3+80xlog(x2)+40x2log(x2)+5x3log(x2)40xlog2(x2)10x2log2(x2)+2x2log3(x2))x(4+x)3log3(x2)x4(12+4x+x2)(1+x)(4+x)3(x+4log(1+x3)+xlog(1+x3))3x2(240140x40x25x3+4xlog(x2)4x2log(x2)+x3log(x2))(1+x)(4+x)3log(x2)(x+4log(1+x3)+xlog(1+x3))2+2x(80+40x+5x280log(x2)20xlog(x2)+6xlog2(x2))(4+x)3log2(x2)(x+4log(1+x3)+xlog(1+x3)))dx=(65x4(12+4x+x2)(1+x)(4+x)3(x+4log(1+x3)+xlog(1+x3))3dx)65x2(240140x40x25x3+4xlog(x2)4x2log(x2)+x3log(x2))(1+x)(4+x)3log(x2)(x+4log(1+x3)+xlog(1+x3))2dx+12516001200x300x225x3+80xlog(x2)+40x2log(x2)+5x3log(x2)40xlog2(x2)10x2log2(x2)+2x2log3(x2)x(4+x)3log3(x2)dx+125x(80+40x+5x280log(x2)20xlog(x2)+6xlog2(x2))(4+x)3log2(x2)(x+4log(1+x3)+xlog(1+x3))dx=(65x2(5(48+28x+8x2+x3)+(2+x)2xlog(x2))(1+x)(4+x)3log(x2)(x(4+x)log(1+x3))2dx)65(69(x+4log(1+x3)+xlog(1+x3))39x(x+4log(1+x3)+xlog(1+x3))3+x2(x+4log(1+x3)+xlog(1+x3))3+13(1+x)(x+4log(1+x3)+xlog(1+x3))31024(4+x)3(x+4log(1+x3)+xlog(1+x3))3+1024(4+x)2(x+4log(1+x3)+xlog(1+x3))314083(4+x)(x+4log(1+x3)+xlog(1+x3))3)dx+125(2x(4+x)325xlog3(x2)+5(4+x)log2(x2)10(4+x)2log(x2))dx+125x(5(4+x)2+20(4+x)log(x2)6xlog2(x2))(4+x)3log2(x2)(x(4+x)log(1+x3))dx=Rest of rules removed due to large latex content

________________________________________________________________________________________

Mathematica [B]  time = 0.33, size = 104, normalized size = 2.60 65(252log2(x2)+5xlog(1+x3)log(x2)(x+(4+x)log(1+x3))+x22x(4+x)log(1+x3)+8(2+x)log2(1+x3)2(x(4+x)log(1+x3))2)

Antiderivative was successfully verified.

[In]

Integrate[(300*x^3 + 300*x^4 + (-3600*x^2 - 4500*x^3 - 900*x^4)*Log[(1 + x)/3] + (14400*x + 21600*x^2 + 8100*x
^3 + 900*x^4)*Log[(1 + x)/3]^2 + (-19200 - 33600*x - 18000*x^2 - 3900*x^3 - 300*x^4)*Log[(1 + x)/3]^3 + Log[x^
2]^2*(-30*x^4 + (120*x^3 + 30*x^4)*Log[(1 + x)/3] + (120*x^2 + 120*x^3)*Log[(1 + x)/3]^2 + (-480*x - 600*x^2 -
 120*x^3)*Log[(1 + x)/3]^3) + Log[x^2]^3*(-6*x^4*Log[(1 + x)/3] + (24*x^2 + 24*x^3)*Log[(1 + x)/3]^3) + Log[x^
2]*((60*x^3 + 60*x^4)*Log[(1 + x)/3] + (-480*x^2 - 600*x^3 - 120*x^4)*Log[(1 + x)/3]^2 + (960*x + 1440*x^2 + 5
40*x^3 + 60*x^4)*Log[(1 + x)/3]^3))/(Log[x^2]^3*(-5*x^4 - 5*x^5 + (60*x^3 + 75*x^4 + 15*x^5)*Log[(1 + x)/3] +
(-240*x^2 - 360*x^3 - 135*x^4 - 15*x^5)*Log[(1 + x)/3]^2 + (320*x + 560*x^2 + 300*x^3 + 65*x^4 + 5*x^5)*Log[(1
 + x)/3]^3)),x]

[Out]

(-6*(-25/(2*Log[x^2]^2) + (5*x*Log[(1 + x)/3])/(Log[x^2]*(-x + (4 + x)*Log[(1 + x)/3])) + (x^2 - 2*x*(4 + x)*L
og[(1 + x)/3] + 8*(2 + x)*Log[(1 + x)/3]^2)/(2*(x - (4 + x)*Log[(1 + x)/3])^2)))/5

________________________________________________________________________________________

fricas [B]  time = 0.92, size = 158, normalized size = 3.95 3((8(x+2)log(13x+13)2+x22(x2+4x)log(13x+13))log(x2)225(x2+8x+16)log(13x+13)225x210(x2log(13x+13)(x2+4x)log(13x+13)2)log(x2)+50(x2+4x)log(13x+13))5((x2+8x+16)log(13x+13)2+x22(x2+4x)log(13x+13))log(x2)2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((24*x^3+24*x^2)*log(1/3*x+1/3)^3-6*x^4*log(1/3*x+1/3))*log(x^2)^3+((-120*x^3-600*x^2-480*x)*log(1/
3*x+1/3)^3+(120*x^3+120*x^2)*log(1/3*x+1/3)^2+(30*x^4+120*x^3)*log(1/3*x+1/3)-30*x^4)*log(x^2)^2+((60*x^4+540*
x^3+1440*x^2+960*x)*log(1/3*x+1/3)^3+(-120*x^4-600*x^3-480*x^2)*log(1/3*x+1/3)^2+(60*x^4+60*x^3)*log(1/3*x+1/3
))*log(x^2)+(-300*x^4-3900*x^3-18000*x^2-33600*x-19200)*log(1/3*x+1/3)^3+(900*x^4+8100*x^3+21600*x^2+14400*x)*
log(1/3*x+1/3)^2+(-900*x^4-4500*x^3-3600*x^2)*log(1/3*x+1/3)+300*x^4+300*x^3)/((5*x^5+65*x^4+300*x^3+560*x^2+3
20*x)*log(1/3*x+1/3)^3+(-15*x^5-135*x^4-360*x^3-240*x^2)*log(1/3*x+1/3)^2+(15*x^5+75*x^4+60*x^3)*log(1/3*x+1/3
)-5*x^5-5*x^4)/log(x^2)^3,x, algorithm="fricas")

[Out]

-3/5*((8*(x + 2)*log(1/3*x + 1/3)^2 + x^2 - 2*(x^2 + 4*x)*log(1/3*x + 1/3))*log(x^2)^2 - 25*(x^2 + 8*x + 16)*l
og(1/3*x + 1/3)^2 - 25*x^2 - 10*(x^2*log(1/3*x + 1/3) - (x^2 + 4*x)*log(1/3*x + 1/3)^2)*log(x^2) + 50*(x^2 + 4
*x)*log(1/3*x + 1/3))/(((x^2 + 8*x + 16)*log(1/3*x + 1/3)^2 + x^2 - 2*(x^2 + 4*x)*log(1/3*x + 1/3))*log(x^2)^2
)

________________________________________________________________________________________

giac [B]  time = 1.23, size = 485, normalized size = 12.12 3(2x4log(3)log(x2)2x4log(x2)log(x+1)10x4log(3)+x4log(x2)+8x3log(3)log(x2)+10x4log(x+1)8x3log(x2)log(x+1)10x480x3log(3)+80x3log(x+1)40x3160x2log(3)+160x2log(x+1))5(x4log(3)2log(x2)2x4log(3)log(x2)log(x+1)+x4log(x2)log(x+1)2+2x4log(3)log(x2)+16x3log(3)2log(x2)2x4log(x2)log(x+1)32x3log(3)log(x2)log(x+1)+16x3log(x2)log(x+1)2+x4log(x2)+24x3log(3)log(x2)+96x2log(3)2log(x2)24x3log(x2)log(x+1)192x2log(3)log(x2)log(x+1)+96x2log(x2)log(x+1)2+8x3log(x2)+96x2log(3)log(x2)+256xlog(3)2log(x2)96x2log(x2)log(x+1)512xlog(3)log(x2)log(x+1)+256xlog(x2)log(x+1)2+16x2log(x2)+128xlog(3)log(x2)+256log(3)2log(x2)128xlog(x2)log(x+1)512log(3)log(x2)log(x+1)+256log(x2)log(x+1)2)3(2xlog(x2)5x20)xlog(x2)2+4log(x2)224(x+2)5(x2+8x+16)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((24*x^3+24*x^2)*log(1/3*x+1/3)^3-6*x^4*log(1/3*x+1/3))*log(x^2)^3+((-120*x^3-600*x^2-480*x)*log(1/
3*x+1/3)^3+(120*x^3+120*x^2)*log(1/3*x+1/3)^2+(30*x^4+120*x^3)*log(1/3*x+1/3)-30*x^4)*log(x^2)^2+((60*x^4+540*
x^3+1440*x^2+960*x)*log(1/3*x+1/3)^3+(-120*x^4-600*x^3-480*x^2)*log(1/3*x+1/3)^2+(60*x^4+60*x^3)*log(1/3*x+1/3
))*log(x^2)+(-300*x^4-3900*x^3-18000*x^2-33600*x-19200)*log(1/3*x+1/3)^3+(900*x^4+8100*x^3+21600*x^2+14400*x)*
log(1/3*x+1/3)^2+(-900*x^4-4500*x^3-3600*x^2)*log(1/3*x+1/3)+300*x^4+300*x^3)/((5*x^5+65*x^4+300*x^3+560*x^2+3
20*x)*log(1/3*x+1/3)^3+(-15*x^5-135*x^4-360*x^3-240*x^2)*log(1/3*x+1/3)^2+(15*x^5+75*x^4+60*x^3)*log(1/3*x+1/3
)-5*x^5-5*x^4)/log(x^2)^3,x, algorithm="giac")

[Out]

-3/5*(2*x^4*log(3)*log(x^2) - 2*x^4*log(x^2)*log(x + 1) - 10*x^4*log(3) + x^4*log(x^2) + 8*x^3*log(3)*log(x^2)
 + 10*x^4*log(x + 1) - 8*x^3*log(x^2)*log(x + 1) - 10*x^4 - 80*x^3*log(3) + 80*x^3*log(x + 1) - 40*x^3 - 160*x
^2*log(3) + 160*x^2*log(x + 1))/(x^4*log(3)^2*log(x^2) - 2*x^4*log(3)*log(x^2)*log(x + 1) + x^4*log(x^2)*log(x
 + 1)^2 + 2*x^4*log(3)*log(x^2) + 16*x^3*log(3)^2*log(x^2) - 2*x^4*log(x^2)*log(x + 1) - 32*x^3*log(3)*log(x^2
)*log(x + 1) + 16*x^3*log(x^2)*log(x + 1)^2 + x^4*log(x^2) + 24*x^3*log(3)*log(x^2) + 96*x^2*log(3)^2*log(x^2)
 - 24*x^3*log(x^2)*log(x + 1) - 192*x^2*log(3)*log(x^2)*log(x + 1) + 96*x^2*log(x^2)*log(x + 1)^2 + 8*x^3*log(
x^2) + 96*x^2*log(3)*log(x^2) + 256*x*log(3)^2*log(x^2) - 96*x^2*log(x^2)*log(x + 1) - 512*x*log(3)*log(x^2)*l
og(x + 1) + 256*x*log(x^2)*log(x + 1)^2 + 16*x^2*log(x^2) + 128*x*log(3)*log(x^2) + 256*log(3)^2*log(x^2) - 12
8*x*log(x^2)*log(x + 1) - 512*log(3)*log(x^2)*log(x + 1) + 256*log(x^2)*log(x + 1)^2) - 3*(2*x*log(x^2) - 5*x
- 20)/(x*log(x^2)^2 + 4*log(x^2)^2) - 24/5*(x + 2)/(x^2 + 8*x + 16)

________________________________________________________________________________________

maple [C]  time = 2.21, size = 892, normalized size = 22.30




method result size



risch 12(400200x+20x2ln(x)+64ln(x)225x2+32xln(x)2+80xln(x)20iπxcsgn(ix2)34π2csgn(ix2)632iln(x)πcsgn(ix2)34π2csgn(ix)4csgn(ix2)2+16π2csgn(ix)3csgn(ix2)324π2csgn(ix)2csgn(ix2)4+16π2csgn(ix)csgn(ix2)520iπxcsgn(ix)2csgn(ix2)+40iπxcsgn(ix)csgn(ix2)25iπx2csgn(ix)2csgn(ix2)+10iπx2csgn(ix)csgn(ix2)2+64iln(x)πcsgn(ix)csgn(ix2)232iln(x)πcsgn(ix)2csgn(ix2)16iπxcsgn(ix2)3ln(x)2π2xcsgn(ix)4csgn(ix2)2+8π2xcsgn(ix)3csgn(ix2)312π2xcsgn(ix)2csgn(ix2)4+8π2xcsgn(ix)csgn(ix2)55iπx2csgn(ix2)32π2xcsgn(ix2)616iπxcsgn(ix)2csgn(ix2)ln(x)+32iπxcsgn(ix)csgn(ix2)2ln(x))5(4+x)2(4ln(x)iπcsgn(ix2)csgn(ix)2+2iπcsgn(ix2)2csgn(ix)iπcsgn(ix2)3)2+6πx4csgn(ix)2csgn(ix2)ln(x3+13)512πx4csgn(ix)csgn(ix2)2ln(x3+13)5+6πx4csgn(ix2)3ln(x3+13)53πx4csgn(ix)2csgn(ix2)5+6πx4csgn(ix)csgn(ix2)253πx4csgn(ix2)35+24πx3csgn(ix)2csgn(ix2)ln(x3+13)548πx3csgn(ix)csgn(ix2)2ln(x3+13)5+24πx3csgn(ix2)3ln(x3+13)5+24ix4ln(x)ln(x3+13)5+48ix3192ix2ln(x3+13)+96ix3ln(x)ln(x3+13)512ix4ln(x3+13)96ix3ln(x3+13)12ix4ln(x)5+12ix4(xln(x3+13)x+4ln(x3+13))2(πcsgn(ix)2csgn(ix2)2πcsgn(ix)csgn(ix2)2+πcsgn(ix2)3+4iln(x))(x2+8x+16) 892



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((24*x^3+24*x^2)*ln(1/3*x+1/3)^3-6*x^4*ln(1/3*x+1/3))*ln(x^2)^3+((-120*x^3-600*x^2-480*x)*ln(1/3*x+1/3)^3
+(120*x^3+120*x^2)*ln(1/3*x+1/3)^2+(30*x^4+120*x^3)*ln(1/3*x+1/3)-30*x^4)*ln(x^2)^2+((60*x^4+540*x^3+1440*x^2+
960*x)*ln(1/3*x+1/3)^3+(-120*x^4-600*x^3-480*x^2)*ln(1/3*x+1/3)^2+(60*x^4+60*x^3)*ln(1/3*x+1/3))*ln(x^2)+(-300
*x^4-3900*x^3-18000*x^2-33600*x-19200)*ln(1/3*x+1/3)^3+(900*x^4+8100*x^3+21600*x^2+14400*x)*ln(1/3*x+1/3)^2+(-
900*x^4-4500*x^3-3600*x^2)*ln(1/3*x+1/3)+300*x^4+300*x^3)/((5*x^5+65*x^4+300*x^3+560*x^2+320*x)*ln(1/3*x+1/3)^
3+(-15*x^5-135*x^4-360*x^3-240*x^2)*ln(1/3*x+1/3)^2+(15*x^5+75*x^4+60*x^3)*ln(1/3*x+1/3)-5*x^5-5*x^4)/ln(x^2)^
3,x,method=_RETURNVERBOSE)

[Out]

-12/5*(-400-200*x+20*x^2*ln(x)+64*ln(x)^2-25*x^2+32*x*ln(x)^2+80*x*ln(x)-4*Pi^2*csgn(I*x^2)^6-4*Pi^2*csgn(I*x)
^4*csgn(I*x^2)^2+16*Pi^2*csgn(I*x)^3*csgn(I*x^2)^3-24*Pi^2*csgn(I*x)^2*csgn(I*x^2)^4+16*Pi^2*csgn(I*x)*csgn(I*
x^2)^5-16*I*Pi*x*csgn(I*x)^2*csgn(I*x^2)*ln(x)+32*I*Pi*x*csgn(I*x)*csgn(I*x^2)^2*ln(x)-2*Pi^2*x*csgn(I*x^2)^6-
2*Pi^2*x*csgn(I*x)^4*csgn(I*x^2)^2+8*Pi^2*x*csgn(I*x)^3*csgn(I*x^2)^3-12*Pi^2*x*csgn(I*x)^2*csgn(I*x^2)^4+8*Pi
^2*x*csgn(I*x)*csgn(I*x^2)^5-5*I*Pi*x^2*csgn(I*x^2)^3-20*I*Pi*x*csgn(I*x^2)^3-32*I*ln(x)*Pi*csgn(I*x^2)^3-5*I*
Pi*x^2*csgn(I*x)^2*csgn(I*x^2)+10*I*Pi*x^2*csgn(I*x)*csgn(I*x^2)^2-20*I*Pi*x*csgn(I*x)^2*csgn(I*x^2)+64*I*ln(x
)*Pi*csgn(I*x)*csgn(I*x^2)^2+40*I*Pi*x*csgn(I*x)*csgn(I*x^2)^2-32*I*ln(x)*Pi*csgn(I*x)^2*csgn(I*x^2)-16*I*Pi*x
*csgn(I*x^2)^3*ln(x))/(4+x)^2/(4*ln(x)-I*Pi*csgn(I*x^2)*csgn(I*x)^2+2*I*Pi*csgn(I*x^2)^2*csgn(I*x)-I*Pi*csgn(I
*x^2)^3)^2+3/5*(2*Pi*x^4*csgn(I*x)^2*csgn(I*x^2)*ln(1/3*x+1/3)-4*Pi*x^4*csgn(I*x)*csgn(I*x^2)^2*ln(1/3*x+1/3)+
2*Pi*x^4*csgn(I*x^2)^3*ln(1/3*x+1/3)-Pi*x^4*csgn(I*x)^2*csgn(I*x^2)+2*Pi*x^4*csgn(I*x)*csgn(I*x^2)^2-Pi*x^4*cs
gn(I*x^2)^3+8*Pi*x^3*csgn(I*x)^2*csgn(I*x^2)*ln(1/3*x+1/3)-16*Pi*x^3*csgn(I*x)*csgn(I*x^2)^2*ln(1/3*x+1/3)+8*P
i*x^3*csgn(I*x^2)^3*ln(1/3*x+1/3)+8*I*x^4*ln(x)*ln(1/3*x+1/3)+80*I*x^3-320*I*x^2*ln(1/3*x+1/3)+32*I*x^3*ln(x)*
ln(1/3*x+1/3)-20*I*x^4*ln(1/3*x+1/3)-160*I*x^3*ln(1/3*x+1/3)-4*I*x^4*ln(x)+20*I*x^4)/(x*ln(1/3*x+1/3)-x+4*ln(1
/3*x+1/3))^2/(Pi*csgn(I*x)^2*csgn(I*x^2)-2*Pi*csgn(I*x)*csgn(I*x^2)^2+Pi*csgn(I*x^2)^3+4*I*ln(x))/(x^2+8*x+16)

________________________________________________________________________________________

maxima [B]  time = 0.81, size = 290, normalized size = 7.25 3(25(log(3)2+2log(3)+1)x2(32(x+2)log(x)225x2+20(x2+4x)log(x)200x400)log(x+1)24(x2(2log(3)+1)+8(log(3)2+log(3))x+16log(3)2)log(x)2+200(log(3)2+log(3))x+400log(3)22(25x2(log(3)+1)4(x2+4x(2log(3)+1)+16log(3))log(x)2+100x(2log(3)+1)10(x2(2log(3)+1)+8xlog(3))log(x)+400log(3))log(x+1)20((log(3)2+log(3))x2+4xlog(3)2)log(x))20((x2+8x+16)log(x+1)2log(x)22(x2(log(3)+1)+4x(2log(3)+1)+16log(3))log(x+1)log(x)2+((log(3)2+2log(3)+1)x2+8(log(3)2+log(3))x+16log(3)2)log(x)2)

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((24*x^3+24*x^2)*log(1/3*x+1/3)^3-6*x^4*log(1/3*x+1/3))*log(x^2)^3+((-120*x^3-600*x^2-480*x)*log(1/
3*x+1/3)^3+(120*x^3+120*x^2)*log(1/3*x+1/3)^2+(30*x^4+120*x^3)*log(1/3*x+1/3)-30*x^4)*log(x^2)^2+((60*x^4+540*
x^3+1440*x^2+960*x)*log(1/3*x+1/3)^3+(-120*x^4-600*x^3-480*x^2)*log(1/3*x+1/3)^2+(60*x^4+60*x^3)*log(1/3*x+1/3
))*log(x^2)+(-300*x^4-3900*x^3-18000*x^2-33600*x-19200)*log(1/3*x+1/3)^3+(900*x^4+8100*x^3+21600*x^2+14400*x)*
log(1/3*x+1/3)^2+(-900*x^4-4500*x^3-3600*x^2)*log(1/3*x+1/3)+300*x^4+300*x^3)/((5*x^5+65*x^4+300*x^3+560*x^2+3
20*x)*log(1/3*x+1/3)^3+(-15*x^5-135*x^4-360*x^3-240*x^2)*log(1/3*x+1/3)^2+(15*x^5+75*x^4+60*x^3)*log(1/3*x+1/3
)-5*x^5-5*x^4)/log(x^2)^3,x, algorithm="maxima")

[Out]

3/20*(25*(log(3)^2 + 2*log(3) + 1)*x^2 - (32*(x + 2)*log(x)^2 - 25*x^2 + 20*(x^2 + 4*x)*log(x) - 200*x - 400)*
log(x + 1)^2 - 4*(x^2*(2*log(3) + 1) + 8*(log(3)^2 + log(3))*x + 16*log(3)^2)*log(x)^2 + 200*(log(3)^2 + log(3
))*x + 400*log(3)^2 - 2*(25*x^2*(log(3) + 1) - 4*(x^2 + 4*x*(2*log(3) + 1) + 16*log(3))*log(x)^2 + 100*x*(2*lo
g(3) + 1) - 10*(x^2*(2*log(3) + 1) + 8*x*log(3))*log(x) + 400*log(3))*log(x + 1) - 20*((log(3)^2 + log(3))*x^2
 + 4*x*log(3)^2)*log(x))/((x^2 + 8*x + 16)*log(x + 1)^2*log(x)^2 - 2*(x^2*(log(3) + 1) + 4*x*(2*log(3) + 1) +
16*log(3))*log(x + 1)*log(x)^2 + ((log(3)^2 + 2*log(3) + 1)*x^2 + 8*(log(3)^2 + log(3))*x + 16*log(3)^2)*log(x
)^2)

________________________________________________________________________________________

mupad [B]  time = 1.64, size = 366, normalized size = 9.15 6xln(x2)2(x+4)23xln(x2)x+4+15ln(x2)23xx+46xln(x2)(x+4)2+3xln(x2)2(x4)(x+4)3ln(x2)84x5+485x2+8x+16ln(x2)(12x3x2)x3+12x2+48x+64+6(x6ln(x2)2+5x6ln(x2)5x5ln(x2)2+45x5ln(x2)16x4ln(x2)2+180x4ln(x2)12x3ln(x2)2+380x3ln(x2)+240x2ln(x2))5ln(x2)2(xln(x3+13)(x+4))(x+4)2(x3+5x2+16x+12)+3(x7ln(x2)2+5x6ln(x2)2+16x5ln(x2)2+12x4ln(x2)2)5ln(x2)2(x+4)2(ln(x3+13)2(x+4)2+x22xln(x3+13)(x+4))(x3+5x2+16x+12)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(log(x/3 + 1/3)^2*(14400*x + 21600*x^2 + 8100*x^3 + 900*x^4) - log(x/3 + 1/3)*(3600*x^2 + 4500*x^3 + 900*
x^4) - log(x/3 + 1/3)^3*(33600*x + 18000*x^2 + 3900*x^3 + 300*x^4 + 19200) + log(x^2)^3*(log(x/3 + 1/3)^3*(24*
x^2 + 24*x^3) - 6*x^4*log(x/3 + 1/3)) + log(x^2)*(log(x/3 + 1/3)^3*(960*x + 1440*x^2 + 540*x^3 + 60*x^4) - log
(x/3 + 1/3)^2*(480*x^2 + 600*x^3 + 120*x^4) + log(x/3 + 1/3)*(60*x^3 + 60*x^4)) - log(x^2)^2*(log(x/3 + 1/3)^3
*(480*x + 600*x^2 + 120*x^3) - log(x/3 + 1/3)^2*(120*x^2 + 120*x^3) - log(x/3 + 1/3)*(120*x^3 + 30*x^4) + 30*x
^4) + 300*x^3 + 300*x^4)/(log(x^2)^3*(log(x/3 + 1/3)^2*(240*x^2 + 360*x^3 + 135*x^4 + 15*x^5) - log(x/3 + 1/3)
^3*(320*x + 560*x^2 + 300*x^3 + 65*x^4 + 5*x^5) - log(x/3 + 1/3)*(60*x^3 + 75*x^4 + 15*x^5) + 5*x^4 + 5*x^5)),
x)

[Out]

((6*x*log(x^2)^2)/(x + 4)^2 - (3*x*log(x^2))/(x + 4) + 15)/log(x^2)^2 - ((3*x)/(x + 4) - (6*x*log(x^2))/(x + 4
)^2 + (3*x*log(x^2)^2*(x - 4))/(x + 4)^3)/log(x^2) - ((84*x)/5 + 48/5)/(8*x + x^2 + 16) - (log(x^2)*(12*x - 3*
x^2))/(48*x + 12*x^2 + x^3 + 64) + (6*(240*x^2*log(x^2) + 380*x^3*log(x^2) + 180*x^4*log(x^2) + 45*x^5*log(x^2
) + 5*x^6*log(x^2) - 12*x^3*log(x^2)^2 - 16*x^4*log(x^2)^2 - 5*x^5*log(x^2)^2 - x^6*log(x^2)^2))/(5*log(x^2)^2
*(x - log(x/3 + 1/3)*(x + 4))*(x + 4)^2*(16*x + 5*x^2 + x^3 + 12)) + (3*(12*x^4*log(x^2)^2 + 16*x^5*log(x^2)^2
 + 5*x^6*log(x^2)^2 + x^7*log(x^2)^2))/(5*log(x^2)^2*(x + 4)^2*(log(x/3 + 1/3)^2*(x + 4)^2 + x^2 - 2*x*log(x/3
 + 1/3)*(x + 4))*(16*x + 5*x^2 + x^3 + 12))

________________________________________________________________________________________

sympy [B]  time = 1.19, size = 240, normalized size = 6.00 24(x2)5x2+40x+80+3x4log(x2)+30x4+120x3+(6x4log(x2)30x4+24x3log(x2)240x3480x2)log(x3+13)5x4log(x2)+40x3log(x2)+80x2log(x2)+(10x4log(x2)120x3log(x2)480x2log(x2)640xlog(x2))log(x3+13)+(5x4log(x2)+80x3log(x2)+480x2log(x2)+1280xlog(x2)+1280log(x2))log(x3+13)2+6xlog(x2)+15x+60(x+4)log(x2)2

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((24*x**3+24*x**2)*ln(1/3*x+1/3)**3-6*x**4*ln(1/3*x+1/3))*ln(x**2)**3+((-120*x**3-600*x**2-480*x)*l
n(1/3*x+1/3)**3+(120*x**3+120*x**2)*ln(1/3*x+1/3)**2+(30*x**4+120*x**3)*ln(1/3*x+1/3)-30*x**4)*ln(x**2)**2+((6
0*x**4+540*x**3+1440*x**2+960*x)*ln(1/3*x+1/3)**3+(-120*x**4-600*x**3-480*x**2)*ln(1/3*x+1/3)**2+(60*x**4+60*x
**3)*ln(1/3*x+1/3))*ln(x**2)+(-300*x**4-3900*x**3-18000*x**2-33600*x-19200)*ln(1/3*x+1/3)**3+(900*x**4+8100*x*
*3+21600*x**2+14400*x)*ln(1/3*x+1/3)**2+(-900*x**4-4500*x**3-3600*x**2)*ln(1/3*x+1/3)+300*x**4+300*x**3)/((5*x
**5+65*x**4+300*x**3+560*x**2+320*x)*ln(1/3*x+1/3)**3+(-15*x**5-135*x**4-360*x**3-240*x**2)*ln(1/3*x+1/3)**2+(
15*x**5+75*x**4+60*x**3)*ln(1/3*x+1/3)-5*x**5-5*x**4)/ln(x**2)**3,x)

[Out]

24*(-x - 2)/(5*x**2 + 40*x + 80) + (-3*x**4*log(x**2) + 30*x**4 + 120*x**3 + (6*x**4*log(x**2) - 30*x**4 + 24*
x**3*log(x**2) - 240*x**3 - 480*x**2)*log(x/3 + 1/3))/(5*x**4*log(x**2) + 40*x**3*log(x**2) + 80*x**2*log(x**2
) + (-10*x**4*log(x**2) - 120*x**3*log(x**2) - 480*x**2*log(x**2) - 640*x*log(x**2))*log(x/3 + 1/3) + (5*x**4*
log(x**2) + 80*x**3*log(x**2) + 480*x**2*log(x**2) + 1280*x*log(x**2) + 1280*log(x**2))*log(x/3 + 1/3)**2) + (
-6*x*log(x**2) + 15*x + 60)/((x + 4)*log(x**2)**2)

________________________________________________________________________________________