3.20.17 1625(38416+724416x+3677352x2+6497568x3+1502805x43480840x5+1094450x6132000x7+5625x8+(362208+2451568x+4873176x2+1202244x32900700x4+938100x5115500x6+5000x7)log(2)+e4exx(16+320x+1800x2+4000x3+3125x4+(160+1200x+3000x2+2500x3)log(2)+ex(64x+704x2+3040x3+6400x4+6500x5+2500x6+(64+704x+3040x2+6400x3+6500x4+2500x5)log(2)))+e3exx(4488832x48480x2102400x367500x4+15000x5+(441632320x76800x254000x3+12500x4)log(2)+ex(1344x14592x261728x3125280x4117300x533000x6+7500x7+(134414592x61728x2125280x3117300x433000x5+7500x6)log(2)))+e2exx(4704+91392x+489168x2+978240x3+516750x4279000x5+26250x6+(45696+326112x+733680x2+413400x3232500x4+22500x5)log(2)+ex(9408x+100800x2+417504x3+815232x4+695820x5+113700x685500x7+7500x8+(9408+100800x+417504x2+815232x3+695820x4+113700x585500x6+7500x7)log(2)))+eexx(21952420224x2191392x24130304x31596300x4+1715400x5339500x6+20000x7+(2101121460928x3097728x21277040x3+1429500x4291000x5+17500x6)log(2)+ex(21952x232064x2940576x31763040x41351836x533360x6+237400x746000x8+2500x9+(21952232064x940576x21763040x31351836x433360x5+237400x646000x7+2500x8)log(2))))dx

Optimal. Leaf size=28 (7eexxx)4(25+x)4(x+log(2))

________________________________________________________________________________________

Rubi [B]  time = 1.14, antiderivative size = 512, normalized size of antiderivative = 18.29, number of steps used = 7, number of rules used = 2, integrand size = 633, number of rulesintegrand size = 0.003, Rules used = {12, 2288} x9132x85+x8log(2)+6254x7251325x7log(2)116028x6125+625425x6log(2)+300561x5625116028125x5log(2)+1624392x4625+300561625x4log(2)+1225784x3625+1624392625x3log(2)+362208x2625+1225784625x2log(2)+e4exx+x(625x6+1625x5+1600x4+760x3+176x2+(625x5+1625x4+1600x3+760x2+176x+16)log(2)+16x)625(exx+ex)4e3exx+x(625x7+2750x6+9775x5+10440x4+5144x3+1216x2+(625x6+2750x5+9775x4+10440x3+5144x2+1216x+112)log(2)+112x)625(exx+ex)+6e2exx+x(625x87125x7+9475x6+57985x5+67936x4+34792x3+8400x2+(625x77125x6+9475x5+57985x4+67936x3+34792x2+8400x+784)log(2)+784x)625(exx+ex)4eexx+x(625x9+11500x859350x7+8340x6+337959x5+440760x4+235144x3+58016x2+(625x8+11500x759350x6+8340x5+337959x4+440760x3+235144x2+58016x+5488)log(2)+5488x)625(exx+ex)+38416x625+362208625xlog(2)

Antiderivative was successfully verified.

[In]

Int[(38416 + 724416*x + 3677352*x^2 + 6497568*x^3 + 1502805*x^4 - 3480840*x^5 + 1094450*x^6 - 132000*x^7 + 562
5*x^8 + (362208 + 2451568*x + 4873176*x^2 + 1202244*x^3 - 2900700*x^4 + 938100*x^5 - 115500*x^6 + 5000*x^7)*Lo
g[2] + E^(4*E^x*x)*(16 + 320*x + 1800*x^2 + 4000*x^3 + 3125*x^4 + (160 + 1200*x + 3000*x^2 + 2500*x^3)*Log[2]
+ E^x*(64*x + 704*x^2 + 3040*x^3 + 6400*x^4 + 6500*x^5 + 2500*x^6 + (64 + 704*x + 3040*x^2 + 6400*x^3 + 6500*x
^4 + 2500*x^5)*Log[2])) + E^(3*E^x*x)*(-448 - 8832*x - 48480*x^2 - 102400*x^3 - 67500*x^4 + 15000*x^5 + (-4416
 - 32320*x - 76800*x^2 - 54000*x^3 + 12500*x^4)*Log[2] + E^x*(-1344*x - 14592*x^2 - 61728*x^3 - 125280*x^4 - 1
17300*x^5 - 33000*x^6 + 7500*x^7 + (-1344 - 14592*x - 61728*x^2 - 125280*x^3 - 117300*x^4 - 33000*x^5 + 7500*x
^6)*Log[2])) + E^(2*E^x*x)*(4704 + 91392*x + 489168*x^2 + 978240*x^3 + 516750*x^4 - 279000*x^5 + 26250*x^6 + (
45696 + 326112*x + 733680*x^2 + 413400*x^3 - 232500*x^4 + 22500*x^5)*Log[2] + E^x*(9408*x + 100800*x^2 + 41750
4*x^3 + 815232*x^4 + 695820*x^5 + 113700*x^6 - 85500*x^7 + 7500*x^8 + (9408 + 100800*x + 417504*x^2 + 815232*x
^3 + 695820*x^4 + 113700*x^5 - 85500*x^6 + 7500*x^7)*Log[2])) + E^(E^x*x)*(-21952 - 420224*x - 2191392*x^2 - 4
130304*x^3 - 1596300*x^4 + 1715400*x^5 - 339500*x^6 + 20000*x^7 + (-210112 - 1460928*x - 3097728*x^2 - 1277040
*x^3 + 1429500*x^4 - 291000*x^5 + 17500*x^6)*Log[2] + E^x*(-21952*x - 232064*x^2 - 940576*x^3 - 1763040*x^4 -
1351836*x^5 - 33360*x^6 + 237400*x^7 - 46000*x^8 + 2500*x^9 + (-21952 - 232064*x - 940576*x^2 - 1763040*x^3 -
1351836*x^4 - 33360*x^5 + 237400*x^6 - 46000*x^7 + 2500*x^8)*Log[2])))/625,x]

[Out]

(38416*x)/625 + (362208*x^2)/625 + (1225784*x^3)/625 + (1624392*x^4)/625 + (300561*x^5)/625 - (116028*x^6)/125
 + (6254*x^7)/25 - (132*x^8)/5 + x^9 + (362208*x*Log[2])/625 + (1225784*x^2*Log[2])/625 + (1624392*x^3*Log[2])
/625 + (300561*x^4*Log[2])/625 - (116028*x^5*Log[2])/125 + (6254*x^6*Log[2])/25 - (132*x^7*Log[2])/5 + x^8*Log
[2] + (E^(x + 4*E^x*x)*(16*x + 176*x^2 + 760*x^3 + 1600*x^4 + 1625*x^5 + 625*x^6 + (16 + 176*x + 760*x^2 + 160
0*x^3 + 1625*x^4 + 625*x^5)*Log[2]))/(625*(E^x + E^x*x)) - (4*E^(x + 3*E^x*x)*(112*x + 1216*x^2 + 5144*x^3 + 1
0440*x^4 + 9775*x^5 + 2750*x^6 - 625*x^7 + (112 + 1216*x + 5144*x^2 + 10440*x^3 + 9775*x^4 + 2750*x^5 - 625*x^
6)*Log[2]))/(625*(E^x + E^x*x)) + (6*E^(x + 2*E^x*x)*(784*x + 8400*x^2 + 34792*x^3 + 67936*x^4 + 57985*x^5 + 9
475*x^6 - 7125*x^7 + 625*x^8 + (784 + 8400*x + 34792*x^2 + 67936*x^3 + 57985*x^4 + 9475*x^5 - 7125*x^6 + 625*x
^7)*Log[2]))/(625*(E^x + E^x*x)) - (4*E^(x + E^x*x)*(5488*x + 58016*x^2 + 235144*x^3 + 440760*x^4 + 337959*x^5
 + 8340*x^6 - 59350*x^7 + 11500*x^8 - 625*x^9 + (5488 + 58016*x + 235144*x^2 + 440760*x^3 + 337959*x^4 + 8340*
x^5 - 59350*x^6 + 11500*x^7 - 625*x^8)*Log[2]))/(625*(E^x + E^x*x))

Rule 12

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

Rule 2288

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = (v*y)/(Log[F]*D[u, x])}, Simp[F^u*z, x] /; EqQ[D[z,
x], w*y]] /; FreeQ[F, x]

Rubi steps

integral=1625(38416+724416x+3677352x2+6497568x3+1502805x43480840x5+1094450x6132000x7+5625x8+(362208+2451568x+4873176x2+1202244x32900700x4+938100x5115500x6+5000x7)log(2)+e4exx(16+320x+1800x2+4000x3+3125x4+(160+1200x+3000x2+2500x3)log(2)+ex(64x+704x2+3040x3+6400x4+6500x5+2500x6+(64+704x+3040x2+6400x3+6500x4+2500x5)log(2)))+e3exx(4488832x48480x2102400x367500x4+15000x5+(441632320x76800x254000x3+12500x4)log(2)+ex(1344x14592x261728x3125280x4117300x533000x6+7500x7+(134414592x61728x2125280x3117300x433000x5+7500x6)log(2)))+e2exx(4704+91392x+489168x2+978240x3+516750x4279000x5+26250x6+(45696+326112x+733680x2+413400x3232500x4+22500x5)log(2)+ex(9408x+100800x2+417504x3+815232x4+695820x5+113700x685500x7+7500x8+(9408+100800x+417504x2+815232x3+695820x4+113700x585500x6+7500x7)log(2)))+eexx(21952420224x2191392x24130304x31596300x4+1715400x5339500x6+20000x7+(2101121460928x3097728x21277040x3+1429500x4291000x5+17500x6)log(2)+ex(21952x232064x2940576x31763040x41351836x533360x6+237400x746000x8+2500x9+(21952232064x940576x21763040x31351836x433360x5+237400x646000x7+2500x8)log(2))))dx=38416x625+362208x2625+1225784x3625+1624392x4625+300561x5625116028x6125+6254x725132x85+x9+1625e4exx(16+320x+1800x2+4000x3+3125x4+(160+1200x+3000x2+2500x3)log(2)+ex(64x+704x2+3040x3+6400x4+6500x5+2500x6+(64+704x+3040x2+6400x3+6500x4+2500x5)log(2)))dx+1625e3exx(4488832x48480x2102400x367500x4+15000x5+(441632320x76800x254000x3+12500x4)log(2)+ex(1344x14592x261728x3125280x4117300x533000x6+7500x7+(134414592x61728x2125280x3117300x433000x5+7500x6)log(2)))dx+1625e2exx(4704+91392x+489168x2+978240x3+516750x4279000x5+26250x6+(45696+326112x+733680x2+413400x3232500x4+22500x5)log(2)+ex(9408x+100800x2+417504x3+815232x4+695820x5+113700x685500x7+7500x8+(9408+100800x+417504x2+815232x3+695820x4+113700x585500x6+7500x7)log(2)))dx+1625eexx(21952420224x2191392x24130304x31596300x4+1715400x5339500x6+20000x7+(2101121460928x3097728x21277040x3+1429500x4291000x5+17500x6)log(2)+ex(21952x232064x2940576x31763040x41351836x533360x6+237400x746000x8+2500x9+(21952232064x940576x21763040x31351836x433360x5+237400x646000x7+2500x8)log(2)))dx+1625log(2)(362208+2451568x+4873176x2+1202244x32900700x4+938100x5115500x6+5000x7)dx=38416x625+362208x2625+1225784x3625+1624392x4625+300561x5625116028x6125+6254x725132x85+x9+362208625xlog(2)+1225784625x2log(2)+1624392625x3log(2)+300561625x4log(2)116028125x5log(2)+625425x6log(2)1325x7log(2)+x8log(2)+ex+4exx(16x+176x2+760x3+1600x4+1625x5+625x6+(16+176x+760x2+1600x3+1625x4+625x5)log(2))625(ex+exx)4ex+3exx(112x+1216x2+5144x3+10440x4+9775x5+2750x6625x7+(112+1216x+5144x2+10440x3+9775x4+2750x5625x6)log(2))625(ex+exx)+6ex+2exx(784x+8400x2+34792x3+67936x4+57985x5+9475x67125x7+625x8+(784+8400x+34792x2+67936x3+57985x4+9475x57125x6+625x7)log(2))625(ex+exx)4ex+exx(5488x+58016x2+235144x3+440760x4+337959x5+8340x659350x7+11500x8625x9+(5488+58016x+235144x2+440760x3+337959x4+8340x559350x6+11500x7625x8)log(2))625(ex+exx)

________________________________________________________________________________________

Mathematica [F]  time = 7.53, size = 635, normalized size = 22.68 1625(38416+724416x+3677352x2+6497568x3+1502805x43480840x5+1094450x6132000x7+5625x8+(362208+2451568x+4873176x2+1202244x32900700x4+938100x5115500x6+5000x7)log(2)+e4exx(16+320x+1800x2+4000x3+3125x4+(160+1200x+3000x2+2500x3)log(2)+ex(64x+704x2+3040x3+6400x4+6500x5+2500x6+(64+704x+3040x2+6400x3+6500x4+2500x5)log(2)))+e3exx(4488832x48480x2102400x367500x4+15000x5+(441632320x76800x254000x3+12500x4)log(2)+ex(1344x14592x261728x3125280x4117300x533000x6+7500x7+(134414592x61728x2125280x3117300x433000x5+7500x6)log(2)))+e2exx(4704+91392x+489168x2+978240x3+516750x4279000x5+26250x6+(45696+326112x+733680x2+413400x3232500x4+22500x5)log(2)+ex(9408x+100800x2+417504x3+815232x4+695820x5+113700x685500x7+7500x8+(9408+100800x+417504x2+815232x3+695820x4+113700x585500x6+7500x7)log(2)))+eexx(21952420224x2191392x24130304x31596300x4+1715400x5339500x6+20000x7+(2101121460928x3097728x21277040x3+1429500x4291000x5+17500x6)log(2)+ex(21952x232064x2940576x31763040x41351836x533360x6+237400x746000x8+2500x9+(21952232064x940576x21763040x31351836x433360x5+237400x646000x7+2500x8)log(2))))dx

Antiderivative was successfully verified.

[In]

Integrate[(38416 + 724416*x + 3677352*x^2 + 6497568*x^3 + 1502805*x^4 - 3480840*x^5 + 1094450*x^6 - 132000*x^7
 + 5625*x^8 + (362208 + 2451568*x + 4873176*x^2 + 1202244*x^3 - 2900700*x^4 + 938100*x^5 - 115500*x^6 + 5000*x
^7)*Log[2] + E^(4*E^x*x)*(16 + 320*x + 1800*x^2 + 4000*x^3 + 3125*x^4 + (160 + 1200*x + 3000*x^2 + 2500*x^3)*L
og[2] + E^x*(64*x + 704*x^2 + 3040*x^3 + 6400*x^4 + 6500*x^5 + 2500*x^6 + (64 + 704*x + 3040*x^2 + 6400*x^3 +
6500*x^4 + 2500*x^5)*Log[2])) + E^(3*E^x*x)*(-448 - 8832*x - 48480*x^2 - 102400*x^3 - 67500*x^4 + 15000*x^5 +
(-4416 - 32320*x - 76800*x^2 - 54000*x^3 + 12500*x^4)*Log[2] + E^x*(-1344*x - 14592*x^2 - 61728*x^3 - 125280*x
^4 - 117300*x^5 - 33000*x^6 + 7500*x^7 + (-1344 - 14592*x - 61728*x^2 - 125280*x^3 - 117300*x^4 - 33000*x^5 +
7500*x^6)*Log[2])) + E^(2*E^x*x)*(4704 + 91392*x + 489168*x^2 + 978240*x^3 + 516750*x^4 - 279000*x^5 + 26250*x
^6 + (45696 + 326112*x + 733680*x^2 + 413400*x^3 - 232500*x^4 + 22500*x^5)*Log[2] + E^x*(9408*x + 100800*x^2 +
 417504*x^3 + 815232*x^4 + 695820*x^5 + 113700*x^6 - 85500*x^7 + 7500*x^8 + (9408 + 100800*x + 417504*x^2 + 81
5232*x^3 + 695820*x^4 + 113700*x^5 - 85500*x^6 + 7500*x^7)*Log[2])) + E^(E^x*x)*(-21952 - 420224*x - 2191392*x
^2 - 4130304*x^3 - 1596300*x^4 + 1715400*x^5 - 339500*x^6 + 20000*x^7 + (-210112 - 1460928*x - 3097728*x^2 - 1
277040*x^3 + 1429500*x^4 - 291000*x^5 + 17500*x^6)*Log[2] + E^x*(-21952*x - 232064*x^2 - 940576*x^3 - 1763040*
x^4 - 1351836*x^5 - 33360*x^6 + 237400*x^7 - 46000*x^8 + 2500*x^9 + (-21952 - 232064*x - 940576*x^2 - 1763040*
x^3 - 1351836*x^4 - 33360*x^5 + 237400*x^6 - 46000*x^7 + 2500*x^8)*Log[2])))/625,x]

[Out]

Integrate[38416 + 724416*x + 3677352*x^2 + 6497568*x^3 + 1502805*x^4 - 3480840*x^5 + 1094450*x^6 - 132000*x^7
+ 5625*x^8 + (362208 + 2451568*x + 4873176*x^2 + 1202244*x^3 - 2900700*x^4 + 938100*x^5 - 115500*x^6 + 5000*x^
7)*Log[2] + E^(4*E^x*x)*(16 + 320*x + 1800*x^2 + 4000*x^3 + 3125*x^4 + (160 + 1200*x + 3000*x^2 + 2500*x^3)*Lo
g[2] + E^x*(64*x + 704*x^2 + 3040*x^3 + 6400*x^4 + 6500*x^5 + 2500*x^6 + (64 + 704*x + 3040*x^2 + 6400*x^3 + 6
500*x^4 + 2500*x^5)*Log[2])) + E^(3*E^x*x)*(-448 - 8832*x - 48480*x^2 - 102400*x^3 - 67500*x^4 + 15000*x^5 + (
-4416 - 32320*x - 76800*x^2 - 54000*x^3 + 12500*x^4)*Log[2] + E^x*(-1344*x - 14592*x^2 - 61728*x^3 - 125280*x^
4 - 117300*x^5 - 33000*x^6 + 7500*x^7 + (-1344 - 14592*x - 61728*x^2 - 125280*x^3 - 117300*x^4 - 33000*x^5 + 7
500*x^6)*Log[2])) + E^(2*E^x*x)*(4704 + 91392*x + 489168*x^2 + 978240*x^3 + 516750*x^4 - 279000*x^5 + 26250*x^
6 + (45696 + 326112*x + 733680*x^2 + 413400*x^3 - 232500*x^4 + 22500*x^5)*Log[2] + E^x*(9408*x + 100800*x^2 +
417504*x^3 + 815232*x^4 + 695820*x^5 + 113700*x^6 - 85500*x^7 + 7500*x^8 + (9408 + 100800*x + 417504*x^2 + 815
232*x^3 + 695820*x^4 + 113700*x^5 - 85500*x^6 + 7500*x^7)*Log[2])) + E^(E^x*x)*(-21952 - 420224*x - 2191392*x^
2 - 4130304*x^3 - 1596300*x^4 + 1715400*x^5 - 339500*x^6 + 20000*x^7 + (-210112 - 1460928*x - 3097728*x^2 - 12
77040*x^3 + 1429500*x^4 - 291000*x^5 + 17500*x^6)*Log[2] + E^x*(-21952*x - 232064*x^2 - 940576*x^3 - 1763040*x
^4 - 1351836*x^5 - 33360*x^6 + 237400*x^7 - 46000*x^8 + 2500*x^9 + (-21952 - 232064*x - 940576*x^2 - 1763040*x
^3 - 1351836*x^4 - 33360*x^5 + 237400*x^6 - 46000*x^7 + 2500*x^8)*Log[2])), x]/625

________________________________________________________________________________________

fricas [B]  time = 0.91, size = 364, normalized size = 13.00 x91325x8+625425x7116028125x6+300561625x5+1624392625x4+1225784625x3+362208625x2+1625(625x5+1000x4+600x3+160x2+(625x4+1000x3+600x2+160x+16)log(2)+16x)e(4xex)+4625(625x63375x56400x44040x31104x2+(625x53375x46400x34040x21104x112)log(2)112x)e(3xex)+6625(625x77750x6+17225x5+40760x4+27176x3+7616x2+(625x67750x5+17225x4+40760x3+27176x2+7616x+784)log(2)+784x)e(2xex)+4625(625x812125x7+71475x679815x5258144x4182616x352528x2+(625x712125x6+71475x579815x4258144x3182616x252528x5488)log(2)5488x)e(xex)+1625(625x816500x7+156350x6580140x5+300561x4+1624392x3+1225784x2+362208x)log(2)+38416625x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/625*(((2500*x^5+6500*x^4+6400*x^3+3040*x^2+704*x+64)*log(2)+2500*x^6+6500*x^5+6400*x^4+3040*x^3+70
4*x^2+64*x)*exp(x)+(2500*x^3+3000*x^2+1200*x+160)*log(2)+3125*x^4+4000*x^3+1800*x^2+320*x+16)*exp(exp(x)*x)^4+
1/625*(((7500*x^6-33000*x^5-117300*x^4-125280*x^3-61728*x^2-14592*x-1344)*log(2)+7500*x^7-33000*x^6-117300*x^5
-125280*x^4-61728*x^3-14592*x^2-1344*x)*exp(x)+(12500*x^4-54000*x^3-76800*x^2-32320*x-4416)*log(2)+15000*x^5-6
7500*x^4-102400*x^3-48480*x^2-8832*x-448)*exp(exp(x)*x)^3+1/625*(((7500*x^7-85500*x^6+113700*x^5+695820*x^4+81
5232*x^3+417504*x^2+100800*x+9408)*log(2)+7500*x^8-85500*x^7+113700*x^6+695820*x^5+815232*x^4+417504*x^3+10080
0*x^2+9408*x)*exp(x)+(22500*x^5-232500*x^4+413400*x^3+733680*x^2+326112*x+45696)*log(2)+26250*x^6-279000*x^5+5
16750*x^4+978240*x^3+489168*x^2+91392*x+4704)*exp(exp(x)*x)^2+1/625*(((2500*x^8-46000*x^7+237400*x^6-33360*x^5
-1351836*x^4-1763040*x^3-940576*x^2-232064*x-21952)*log(2)+2500*x^9-46000*x^8+237400*x^7-33360*x^6-1351836*x^5
-1763040*x^4-940576*x^3-232064*x^2-21952*x)*exp(x)+(17500*x^6-291000*x^5+1429500*x^4-1277040*x^3-3097728*x^2-1
460928*x-210112)*log(2)+20000*x^7-339500*x^6+1715400*x^5-1596300*x^4-4130304*x^3-2191392*x^2-420224*x-21952)*e
xp(exp(x)*x)+1/625*(5000*x^7-115500*x^6+938100*x^5-2900700*x^4+1202244*x^3+4873176*x^2+2451568*x+362208)*log(2
)+9*x^8-1056/5*x^7+43778/25*x^6-696168/125*x^5+300561/125*x^4+6497568/625*x^3+3677352/625*x^2+724416/625*x+384
16/625,x, algorithm="fricas")

[Out]

x^9 - 132/5*x^8 + 6254/25*x^7 - 116028/125*x^6 + 300561/625*x^5 + 1624392/625*x^4 + 1225784/625*x^3 + 362208/6
25*x^2 + 1/625*(625*x^5 + 1000*x^4 + 600*x^3 + 160*x^2 + (625*x^4 + 1000*x^3 + 600*x^2 + 160*x + 16)*log(2) +
16*x)*e^(4*x*e^x) + 4/625*(625*x^6 - 3375*x^5 - 6400*x^4 - 4040*x^3 - 1104*x^2 + (625*x^5 - 3375*x^4 - 6400*x^
3 - 4040*x^2 - 1104*x - 112)*log(2) - 112*x)*e^(3*x*e^x) + 6/625*(625*x^7 - 7750*x^6 + 17225*x^5 + 40760*x^4 +
 27176*x^3 + 7616*x^2 + (625*x^6 - 7750*x^5 + 17225*x^4 + 40760*x^3 + 27176*x^2 + 7616*x + 784)*log(2) + 784*x
)*e^(2*x*e^x) + 4/625*(625*x^8 - 12125*x^7 + 71475*x^6 - 79815*x^5 - 258144*x^4 - 182616*x^3 - 52528*x^2 + (62
5*x^7 - 12125*x^6 + 71475*x^5 - 79815*x^4 - 258144*x^3 - 182616*x^2 - 52528*x - 5488)*log(2) - 5488*x)*e^(x*e^
x) + 1/625*(625*x^8 - 16500*x^7 + 156350*x^6 - 580140*x^5 + 300561*x^4 + 1624392*x^3 + 1225784*x^2 + 362208*x)
*log(2) + 38416/625*x

________________________________________________________________________________________

giac [B]  time = 1.99, size = 663, normalized size = 23.68 result too large to display

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/625*(((2500*x^5+6500*x^4+6400*x^3+3040*x^2+704*x+64)*log(2)+2500*x^6+6500*x^5+6400*x^4+3040*x^3+70
4*x^2+64*x)*exp(x)+(2500*x^3+3000*x^2+1200*x+160)*log(2)+3125*x^4+4000*x^3+1800*x^2+320*x+16)*exp(exp(x)*x)^4+
1/625*(((7500*x^6-33000*x^5-117300*x^4-125280*x^3-61728*x^2-14592*x-1344)*log(2)+7500*x^7-33000*x^6-117300*x^5
-125280*x^4-61728*x^3-14592*x^2-1344*x)*exp(x)+(12500*x^4-54000*x^3-76800*x^2-32320*x-4416)*log(2)+15000*x^5-6
7500*x^4-102400*x^3-48480*x^2-8832*x-448)*exp(exp(x)*x)^3+1/625*(((7500*x^7-85500*x^6+113700*x^5+695820*x^4+81
5232*x^3+417504*x^2+100800*x+9408)*log(2)+7500*x^8-85500*x^7+113700*x^6+695820*x^5+815232*x^4+417504*x^3+10080
0*x^2+9408*x)*exp(x)+(22500*x^5-232500*x^4+413400*x^3+733680*x^2+326112*x+45696)*log(2)+26250*x^6-279000*x^5+5
16750*x^4+978240*x^3+489168*x^2+91392*x+4704)*exp(exp(x)*x)^2+1/625*(((2500*x^8-46000*x^7+237400*x^6-33360*x^5
-1351836*x^4-1763040*x^3-940576*x^2-232064*x-21952)*log(2)+2500*x^9-46000*x^8+237400*x^7-33360*x^6-1351836*x^5
-1763040*x^4-940576*x^3-232064*x^2-21952*x)*exp(x)+(17500*x^6-291000*x^5+1429500*x^4-1277040*x^3-3097728*x^2-1
460928*x-210112)*log(2)+20000*x^7-339500*x^6+1715400*x^5-1596300*x^4-4130304*x^3-2191392*x^2-420224*x-21952)*e
xp(exp(x)*x)+1/625*(5000*x^7-115500*x^6+938100*x^5-2900700*x^4+1202244*x^3+4873176*x^2+2451568*x+362208)*log(2
)+9*x^8-1056/5*x^7+43778/25*x^6-696168/125*x^5+300561/125*x^4+6497568/625*x^3+3677352/625*x^2+724416/625*x+384
16/625,x, algorithm="giac")

[Out]

x^9 + 4*x^8*e^(x*e^x) + 4*x^7*e^(x*e^x)*log(2) - 132/5*x^8 + 6*x^7*e^(2*x*e^x) - 388/5*x^7*e^(x*e^x) + 6*x^6*e
^(2*x*e^x)*log(2) - 388/5*x^6*e^(x*e^x)*log(2) + 6254/25*x^7 + 4*x^6*e^(3*x*e^x) - 372/5*x^6*e^(2*x*e^x) + 114
36/25*x^6*e^(x*e^x) + 4*x^5*e^(3*x*e^x)*log(2) - 372/5*x^5*e^(2*x*e^x)*log(2) + 11436/25*x^5*e^(x*e^x)*log(2)
- 116028/125*x^6 + x^5*e^(4*x*e^x) - 108/5*x^5*e^(3*x*e^x) + 4134/25*x^5*e^(2*x*e^x) - 63852/125*x^5*e^(x*e^x)
 + x^4*e^(4*x*e^x)*log(2) - 108/5*x^4*e^(3*x*e^x)*log(2) + 4134/25*x^4*e^(2*x*e^x)*log(2) - 63852/125*x^4*e^(x
*e^x)*log(2) + 300561/625*x^5 + 8/5*x^4*e^(4*x*e^x) - 1024/25*x^4*e^(3*x*e^x) + 48912/125*x^4*e^(2*x*e^x) - 10
32576/625*x^4*e^(x*e^x) + 8/5*x^3*e^(4*x*e^x)*log(2) - 1024/25*x^3*e^(3*x*e^x)*log(2) + 48912/125*x^3*e^(2*x*e
^x)*log(2) - 1032576/625*x^3*e^(x*e^x)*log(2) + 1624392/625*x^4 + 24/25*x^3*e^(4*x*e^x) - 3232/125*x^3*e^(3*x*
e^x) + 163056/625*x^3*e^(2*x*e^x) - 730464/625*x^3*e^(x*e^x) + 24/25*x^2*e^(4*x*e^x)*log(2) - 3232/125*x^2*e^(
3*x*e^x)*log(2) + 163056/625*x^2*e^(2*x*e^x)*log(2) - 730464/625*x^2*e^(x*e^x)*log(2) + 1225784/625*x^3 + 32/1
25*x^2*e^(4*x*e^x) - 4416/625*x^2*e^(3*x*e^x) + 45696/625*x^2*e^(2*x*e^x) - 210112/625*x^2*e^(x*e^x) + 32/125*
x*e^(4*x*e^x)*log(2) - 4416/625*x*e^(3*x*e^x)*log(2) + 45696/625*x*e^(2*x*e^x)*log(2) - 210112/625*x*e^(x*e^x)
*log(2) + 362208/625*x^2 + 16/625*x*e^(4*x*e^x) - 448/625*x*e^(3*x*e^x) + 4704/625*x*e^(2*x*e^x) - 21952/625*x
*e^(x*e^x) + 1/625*(625*x^8 - 16500*x^7 + 156350*x^6 - 580140*x^5 + 300561*x^4 + 1624392*x^3 + 1225784*x^2 + 3
62208*x)*log(2) + 16/625*e^(4*x*e^x)*log(2) - 448/625*e^(3*x*e^x)*log(2) + 4704/625*e^(2*x*e^x)*log(2) - 21952
/625*e^(x*e^x)*log(2) + 38416/625*x

________________________________________________________________________________________

maple [B]  time = 0.14, size = 415, normalized size = 14.82




method result size



risch (625x4ln(2)+625x5+1000x3ln(2)+1000x4+600x2ln(2)+600x3+160xln(2)+160x2+16ln(2)+16x)e4exx625+(2500x5ln(2)+2500x613500x4ln(2)13500x525600x3ln(2)25600x416160x2ln(2)16160x34416xln(2)4416x2448ln(2)448x)e3exx625+(3750x6ln(2)+3750x746500x5ln(2)46500x6+103350x4ln(2)+103350x5+244560x3ln(2)+244560x4+163056x2ln(2)+163056x3+45696xln(2)+45696x2+4704ln(2)+4704x)e2exx625+(2500x7ln(2)+2500x848500x6ln(2)48500x7+285900x5ln(2)+285900x6319260x4ln(2)319260x51032576x3ln(2)1032576x4730464x2ln(2)730464x3210112xln(2)210112x221952ln(2)21952x)eexx625+x8ln(2)132x7ln(2)5+6254x6ln(2)25116028x5ln(2)125+300561x4ln(2)625+1624392x3ln(2)625+1225784x2ln(2)625+362208xln(2)625+x9132x85+6254x725116028x6125+300561x5625+1624392x4625+1225784x3625+362208x2625+38416x625 415



Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/625*(((2500*x^5+6500*x^4+6400*x^3+3040*x^2+704*x+64)*ln(2)+2500*x^6+6500*x^5+6400*x^4+3040*x^3+704*x^2+6
4*x)*exp(x)+(2500*x^3+3000*x^2+1200*x+160)*ln(2)+3125*x^4+4000*x^3+1800*x^2+320*x+16)*exp(exp(x)*x)^4+1/625*((
(7500*x^6-33000*x^5-117300*x^4-125280*x^3-61728*x^2-14592*x-1344)*ln(2)+7500*x^7-33000*x^6-117300*x^5-125280*x
^4-61728*x^3-14592*x^2-1344*x)*exp(x)+(12500*x^4-54000*x^3-76800*x^2-32320*x-4416)*ln(2)+15000*x^5-67500*x^4-1
02400*x^3-48480*x^2-8832*x-448)*exp(exp(x)*x)^3+1/625*(((7500*x^7-85500*x^6+113700*x^5+695820*x^4+815232*x^3+4
17504*x^2+100800*x+9408)*ln(2)+7500*x^8-85500*x^7+113700*x^6+695820*x^5+815232*x^4+417504*x^3+100800*x^2+9408*
x)*exp(x)+(22500*x^5-232500*x^4+413400*x^3+733680*x^2+326112*x+45696)*ln(2)+26250*x^6-279000*x^5+516750*x^4+97
8240*x^3+489168*x^2+91392*x+4704)*exp(exp(x)*x)^2+1/625*(((2500*x^8-46000*x^7+237400*x^6-33360*x^5-1351836*x^4
-1763040*x^3-940576*x^2-232064*x-21952)*ln(2)+2500*x^9-46000*x^8+237400*x^7-33360*x^6-1351836*x^5-1763040*x^4-
940576*x^3-232064*x^2-21952*x)*exp(x)+(17500*x^6-291000*x^5+1429500*x^4-1277040*x^3-3097728*x^2-1460928*x-2101
12)*ln(2)+20000*x^7-339500*x^6+1715400*x^5-1596300*x^4-4130304*x^3-2191392*x^2-420224*x-21952)*exp(exp(x)*x)+1
/625*(5000*x^7-115500*x^6+938100*x^5-2900700*x^4+1202244*x^3+4873176*x^2+2451568*x+362208)*ln(2)+9*x^8-1056/5*
x^7+43778/25*x^6-696168/125*x^5+300561/125*x^4+6497568/625*x^3+3677352/625*x^2+724416/625*x+38416/625,x,method
=_RETURNVERBOSE)

[Out]

1/625*(625*x^4*ln(2)+625*x^5+1000*x^3*ln(2)+1000*x^4+600*x^2*ln(2)+600*x^3+160*x*ln(2)+160*x^2+16*ln(2)+16*x)*
exp(4*exp(x)*x)+1/625*(2500*x^5*ln(2)+2500*x^6-13500*x^4*ln(2)-13500*x^5-25600*x^3*ln(2)-25600*x^4-16160*x^2*l
n(2)-16160*x^3-4416*x*ln(2)-4416*x^2-448*ln(2)-448*x)*exp(3*exp(x)*x)+1/625*(3750*x^6*ln(2)+3750*x^7-46500*x^5
*ln(2)-46500*x^6+103350*x^4*ln(2)+103350*x^5+244560*x^3*ln(2)+244560*x^4+163056*x^2*ln(2)+163056*x^3+45696*x*l
n(2)+45696*x^2+4704*ln(2)+4704*x)*exp(2*exp(x)*x)+1/625*(2500*x^7*ln(2)+2500*x^8-48500*x^6*ln(2)-48500*x^7+285
900*x^5*ln(2)+285900*x^6-319260*x^4*ln(2)-319260*x^5-1032576*x^3*ln(2)-1032576*x^4-730464*x^2*ln(2)-730464*x^3
-210112*x*ln(2)-210112*x^2-21952*ln(2)-21952*x)*exp(exp(x)*x)+x^8*ln(2)-132/5*x^7*ln(2)+6254/25*x^6*ln(2)-1160
28/125*x^5*ln(2)+300561/625*x^4*ln(2)+1624392/625*x^3*ln(2)+1225784/625*x^2*ln(2)+362208/625*x*ln(2)+x^9-132/5
*x^8+6254/25*x^7-116028/125*x^6+300561/625*x^5+1624392/625*x^4+1225784/625*x^3+362208/625*x^2+38416/625*x

________________________________________________________________________________________

maxima [B]  time = 0.82, size = 390, normalized size = 13.93 x91325x8+625425x7116028125x6+300561625x5+1624392625x4+1225784625x3+362208625x2+1625(625x5+125x4(5log(2)+8)+200x3(5log(2)+3)+40x2(15log(2)+4)+16x(10log(2)+1)+16log(2))e(4xex)+4625(625x6+125x5(5log(2)27)25x4(135log(2)+256)40x3(160log(2)+101)8x2(505log(2)+138)16x(69log(2)+7)112log(2))e(3xex)+6625(625x7+125x6(5log(2)62)25x5(310log(2)689)+5x4(3445log(2)+8152)+8x3(5095log(2)+3397)+8x2(3397log(2)+952)+112x(68log(2)+7)+784log(2))e(2xex)+4625(625x8+125x7(5log(2)97)25x6(485log(2)2859)+15x5(4765log(2)5321)3x4(26605log(2)+86048)24x3(10756log(2)+7609)56x2(3261log(2)+938)784x(67log(2)+7)5488log(2))e(xex)+1625(625x816500x7+156350x6580140x5+300561x4+1624392x3+1225784x2+362208x)log(2)+38416625x

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/625*(((2500*x^5+6500*x^4+6400*x^3+3040*x^2+704*x+64)*log(2)+2500*x^6+6500*x^5+6400*x^4+3040*x^3+70
4*x^2+64*x)*exp(x)+(2500*x^3+3000*x^2+1200*x+160)*log(2)+3125*x^4+4000*x^3+1800*x^2+320*x+16)*exp(exp(x)*x)^4+
1/625*(((7500*x^6-33000*x^5-117300*x^4-125280*x^3-61728*x^2-14592*x-1344)*log(2)+7500*x^7-33000*x^6-117300*x^5
-125280*x^4-61728*x^3-14592*x^2-1344*x)*exp(x)+(12500*x^4-54000*x^3-76800*x^2-32320*x-4416)*log(2)+15000*x^5-6
7500*x^4-102400*x^3-48480*x^2-8832*x-448)*exp(exp(x)*x)^3+1/625*(((7500*x^7-85500*x^6+113700*x^5+695820*x^4+81
5232*x^3+417504*x^2+100800*x+9408)*log(2)+7500*x^8-85500*x^7+113700*x^6+695820*x^5+815232*x^4+417504*x^3+10080
0*x^2+9408*x)*exp(x)+(22500*x^5-232500*x^4+413400*x^3+733680*x^2+326112*x+45696)*log(2)+26250*x^6-279000*x^5+5
16750*x^4+978240*x^3+489168*x^2+91392*x+4704)*exp(exp(x)*x)^2+1/625*(((2500*x^8-46000*x^7+237400*x^6-33360*x^5
-1351836*x^4-1763040*x^3-940576*x^2-232064*x-21952)*log(2)+2500*x^9-46000*x^8+237400*x^7-33360*x^6-1351836*x^5
-1763040*x^4-940576*x^3-232064*x^2-21952*x)*exp(x)+(17500*x^6-291000*x^5+1429500*x^4-1277040*x^3-3097728*x^2-1
460928*x-210112)*log(2)+20000*x^7-339500*x^6+1715400*x^5-1596300*x^4-4130304*x^3-2191392*x^2-420224*x-21952)*e
xp(exp(x)*x)+1/625*(5000*x^7-115500*x^6+938100*x^5-2900700*x^4+1202244*x^3+4873176*x^2+2451568*x+362208)*log(2
)+9*x^8-1056/5*x^7+43778/25*x^6-696168/125*x^5+300561/125*x^4+6497568/625*x^3+3677352/625*x^2+724416/625*x+384
16/625,x, algorithm="maxima")

[Out]

x^9 - 132/5*x^8 + 6254/25*x^7 - 116028/125*x^6 + 300561/625*x^5 + 1624392/625*x^4 + 1225784/625*x^3 + 362208/6
25*x^2 + 1/625*(625*x^5 + 125*x^4*(5*log(2) + 8) + 200*x^3*(5*log(2) + 3) + 40*x^2*(15*log(2) + 4) + 16*x*(10*
log(2) + 1) + 16*log(2))*e^(4*x*e^x) + 4/625*(625*x^6 + 125*x^5*(5*log(2) - 27) - 25*x^4*(135*log(2) + 256) -
40*x^3*(160*log(2) + 101) - 8*x^2*(505*log(2) + 138) - 16*x*(69*log(2) + 7) - 112*log(2))*e^(3*x*e^x) + 6/625*
(625*x^7 + 125*x^6*(5*log(2) - 62) - 25*x^5*(310*log(2) - 689) + 5*x^4*(3445*log(2) + 8152) + 8*x^3*(5095*log(
2) + 3397) + 8*x^2*(3397*log(2) + 952) + 112*x*(68*log(2) + 7) + 784*log(2))*e^(2*x*e^x) + 4/625*(625*x^8 + 12
5*x^7*(5*log(2) - 97) - 25*x^6*(485*log(2) - 2859) + 15*x^5*(4765*log(2) - 5321) - 3*x^4*(26605*log(2) + 86048
) - 24*x^3*(10756*log(2) + 7609) - 56*x^2*(3261*log(2) + 938) - 784*x*(67*log(2) + 7) - 5488*log(2))*e^(x*e^x)
 + 1/625*(625*x^8 - 16500*x^7 + 156350*x^6 - 580140*x^5 + 300561*x^4 + 1624392*x^3 + 1225784*x^2 + 362208*x)*l
og(2) + 38416/625*x

________________________________________________________________________________________

mupad [B]  time = 2.50, size = 365, normalized size = 13.04 x(362208ln(2)625+38416625)exex(4x8+(38854ln(2))x7+(388ln(2)51143625)x6+(6385212511436ln(2)25)x5+(63852ln(2)125+1032576625)x4+(1032576ln(2)625+730464625)x3+(730464ln(2)625+210112625)x2+(210112ln(2)625+21952625)x+21952ln(2)625)+e4xex(x5+(ln(2)+85)x4+(8ln(2)5+2425)x3+(24ln(2)25+32125)x2+(32ln(2)125+16625)x+16ln(2)625)+x8(ln(256)81325)x7(132ln(2)5625425)+x6(6254ln(2)25116028125)x5(116028ln(2)125300561625)+x2(1225784ln(2)625+362208625)+x4(300561ln(2)625+1624392625)+x3(1624392ln(2)625+1225784625)e3xex(4x6+(10854ln(2))x5+(108ln(2)5+102425)x4+(1024ln(2)25+3232125)x3+(3232ln(2)125+4416625)x2+(4416ln(2)625+448625)x+448ln(2)625)+e2xex(6x7+(6ln(2)3725)x6+(413425372ln(2)5)x5+(4134ln(2)25+48912125)x4+(48912ln(2)125+163056625)x3+(163056ln(2)625+45696625)x2+(45696ln(2)625+4704625)x+4704ln(2)625)+x9

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((724416*x)/625 - (exp(3*x*exp(x))*(8832*x + log(2)*(32320*x + 76800*x^2 + 54000*x^3 - 12500*x^4 + 4416) +
exp(x)*(1344*x + log(2)*(14592*x + 61728*x^2 + 125280*x^3 + 117300*x^4 + 33000*x^5 - 7500*x^6 + 1344) + 14592*
x^2 + 61728*x^3 + 125280*x^4 + 117300*x^5 + 33000*x^6 - 7500*x^7) + 48480*x^2 + 102400*x^3 + 67500*x^4 - 15000
*x^5 + 448))/625 + (exp(4*x*exp(x))*(320*x + exp(x)*(64*x + 704*x^2 + 3040*x^3 + 6400*x^4 + 6500*x^5 + 2500*x^
6 + log(2)*(704*x + 3040*x^2 + 6400*x^3 + 6500*x^4 + 2500*x^5 + 64)) + log(2)*(1200*x + 3000*x^2 + 2500*x^3 +
160) + 1800*x^2 + 4000*x^3 + 3125*x^4 + 16))/625 + (log(2)*(2451568*x + 4873176*x^2 + 1202244*x^3 - 2900700*x^
4 + 938100*x^5 - 115500*x^6 + 5000*x^7 + 362208))/625 - (exp(x*exp(x))*(420224*x + log(2)*(1460928*x + 3097728
*x^2 + 1277040*x^3 - 1429500*x^4 + 291000*x^5 - 17500*x^6 + 210112) + exp(x)*(21952*x + log(2)*(232064*x + 940
576*x^2 + 1763040*x^3 + 1351836*x^4 + 33360*x^5 - 237400*x^6 + 46000*x^7 - 2500*x^8 + 21952) + 232064*x^2 + 94
0576*x^3 + 1763040*x^4 + 1351836*x^5 + 33360*x^6 - 237400*x^7 + 46000*x^8 - 2500*x^9) + 2191392*x^2 + 4130304*
x^3 + 1596300*x^4 - 1715400*x^5 + 339500*x^6 - 20000*x^7 + 21952))/625 + (3677352*x^2)/625 + (6497568*x^3)/625
 + (300561*x^4)/125 - (696168*x^5)/125 + (43778*x^6)/25 - (1056*x^7)/5 + 9*x^8 + (exp(2*x*exp(x))*(91392*x + e
xp(x)*(9408*x + log(2)*(100800*x + 417504*x^2 + 815232*x^3 + 695820*x^4 + 113700*x^5 - 85500*x^6 + 7500*x^7 +
9408) + 100800*x^2 + 417504*x^3 + 815232*x^4 + 695820*x^5 + 113700*x^6 - 85500*x^7 + 7500*x^8) + 489168*x^2 +
978240*x^3 + 516750*x^4 - 279000*x^5 + 26250*x^6 + log(2)*(326112*x + 733680*x^2 + 413400*x^3 - 232500*x^4 + 2
2500*x^5 + 45696) + 4704))/625 + 38416/625,x)

[Out]

x*((362208*log(2))/625 + 38416/625) - exp(x*exp(x))*((21952*log(2))/625 + x*((210112*log(2))/625 + 21952/625)
- x^7*(4*log(2) - 388/5) + x^6*((388*log(2))/5 - 11436/25) - x^5*((11436*log(2))/25 - 63852/125) + x^2*((73046
4*log(2))/625 + 210112/625) + x^4*((63852*log(2))/125 + 1032576/625) + x^3*((1032576*log(2))/625 + 730464/625)
 - 4*x^8) + exp(4*x*exp(x))*((16*log(2))/625 + x*((32*log(2))/125 + 16/625) + x^4*(log(2) + 8/5) + x^3*((8*log
(2))/5 + 24/25) + x^2*((24*log(2))/25 + 32/125) + x^5) + x^8*(log(256)/8 - 132/5) - x^7*((132*log(2))/5 - 6254
/25) + x^6*((6254*log(2))/25 - 116028/125) - x^5*((116028*log(2))/125 - 300561/625) + x^2*((1225784*log(2))/62
5 + 362208/625) + x^4*((300561*log(2))/625 + 1624392/625) + x^3*((1624392*log(2))/625 + 1225784/625) - exp(3*x
*exp(x))*((448*log(2))/625 + x*((4416*log(2))/625 + 448/625) - x^5*(4*log(2) - 108/5) + x^4*((108*log(2))/5 +
1024/25) + x^3*((1024*log(2))/25 + 3232/125) + x^2*((3232*log(2))/125 + 4416/625) - 4*x^6) + exp(2*x*exp(x))*(
(4704*log(2))/625 + x*((45696*log(2))/625 + 4704/625) + x^6*(6*log(2) - 372/5) - x^5*((372*log(2))/5 - 4134/25
) + x^4*((4134*log(2))/25 + 48912/125) + x^2*((163056*log(2))/625 + 45696/625) + x^3*((48912*log(2))/125 + 163
056/625) + 6*x^7) + x^9

________________________________________________________________________________________

sympy [B]  time = 1.45, size = 471, normalized size = 16.82 x9+x8(1325+log(2))+x7(625425132log(2)5)+x6(116028125+6254log(2)25)+x5(300561625116028log(2)125)+x4(300561log(2)625+1624392625)+x3(1624392log(2)625+1225784625)+x2(362208625+1225784log(2)625)+x(38416625+362208log(2)625)+(152587890625x5+152587890625x4log(2)+244140625000x4+146484375000x3+244140625000x3log(2)+39062500000x2+146484375000x2log(2)+3906250000x+39062500000xlog(2)+3906250000log(2))e4xex152587890625+(610351562500x63295898437500x5+610351562500x5log(2)6250000000000x43295898437500x4log(2)6250000000000x3log(2)3945312500000x33945312500000x2log(2)1078125000000x21078125000000xlog(2)109375000000x109375000000log(2))e3xex152587890625+(915527343750x711352539062500x6+915527343750x6log(2)11352539062500x5log(2)+25231933593750x5+25231933593750x4log(2)+59707031250000x4+39808593750000x3+59707031250000x3log(2)+11156250000000x2+39808593750000x2log(2)+1148437500000x+11156250000000xlog(2)+1148437500000log(2))e2xex152587890625+(610351562500x811840820312500x7+610351562500x7log(2)11840820312500x6log(2)+69799804687500x677944335937500x5+69799804687500x5log(2)252093750000000x477944335937500x4log(2)178335937500000x3252093750000000x3log(2)178335937500000x2log(2)51296875000000x251296875000000xlog(2)5359375000000x5359375000000log(2))exex152587890625

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/625*(((2500*x**5+6500*x**4+6400*x**3+3040*x**2+704*x+64)*ln(2)+2500*x**6+6500*x**5+6400*x**4+3040*
x**3+704*x**2+64*x)*exp(x)+(2500*x**3+3000*x**2+1200*x+160)*ln(2)+3125*x**4+4000*x**3+1800*x**2+320*x+16)*exp(
exp(x)*x)**4+1/625*(((7500*x**6-33000*x**5-117300*x**4-125280*x**3-61728*x**2-14592*x-1344)*ln(2)+7500*x**7-33
000*x**6-117300*x**5-125280*x**4-61728*x**3-14592*x**2-1344*x)*exp(x)+(12500*x**4-54000*x**3-76800*x**2-32320*
x-4416)*ln(2)+15000*x**5-67500*x**4-102400*x**3-48480*x**2-8832*x-448)*exp(exp(x)*x)**3+1/625*(((7500*x**7-855
00*x**6+113700*x**5+695820*x**4+815232*x**3+417504*x**2+100800*x+9408)*ln(2)+7500*x**8-85500*x**7+113700*x**6+
695820*x**5+815232*x**4+417504*x**3+100800*x**2+9408*x)*exp(x)+(22500*x**5-232500*x**4+413400*x**3+733680*x**2
+326112*x+45696)*ln(2)+26250*x**6-279000*x**5+516750*x**4+978240*x**3+489168*x**2+91392*x+4704)*exp(exp(x)*x)*
*2+1/625*(((2500*x**8-46000*x**7+237400*x**6-33360*x**5-1351836*x**4-1763040*x**3-940576*x**2-232064*x-21952)*
ln(2)+2500*x**9-46000*x**8+237400*x**7-33360*x**6-1351836*x**5-1763040*x**4-940576*x**3-232064*x**2-21952*x)*e
xp(x)+(17500*x**6-291000*x**5+1429500*x**4-1277040*x**3-3097728*x**2-1460928*x-210112)*ln(2)+20000*x**7-339500
*x**6+1715400*x**5-1596300*x**4-4130304*x**3-2191392*x**2-420224*x-21952)*exp(exp(x)*x)+1/625*(5000*x**7-11550
0*x**6+938100*x**5-2900700*x**4+1202244*x**3+4873176*x**2+2451568*x+362208)*ln(2)+9*x**8-1056/5*x**7+43778/25*
x**6-696168/125*x**5+300561/125*x**4+6497568/625*x**3+3677352/625*x**2+724416/625*x+38416/625,x)

[Out]

x**9 + x**8*(-132/5 + log(2)) + x**7*(6254/25 - 132*log(2)/5) + x**6*(-116028/125 + 6254*log(2)/25) + x**5*(30
0561/625 - 116028*log(2)/125) + x**4*(300561*log(2)/625 + 1624392/625) + x**3*(1624392*log(2)/625 + 1225784/62
5) + x**2*(362208/625 + 1225784*log(2)/625) + x*(38416/625 + 362208*log(2)/625) + (152587890625*x**5 + 1525878
90625*x**4*log(2) + 244140625000*x**4 + 146484375000*x**3 + 244140625000*x**3*log(2) + 39062500000*x**2 + 1464
84375000*x**2*log(2) + 3906250000*x + 39062500000*x*log(2) + 3906250000*log(2))*exp(4*x*exp(x))/152587890625 +
 (610351562500*x**6 - 3295898437500*x**5 + 610351562500*x**5*log(2) - 6250000000000*x**4 - 3295898437500*x**4*
log(2) - 6250000000000*x**3*log(2) - 3945312500000*x**3 - 3945312500000*x**2*log(2) - 1078125000000*x**2 - 107
8125000000*x*log(2) - 109375000000*x - 109375000000*log(2))*exp(3*x*exp(x))/152587890625 + (915527343750*x**7
- 11352539062500*x**6 + 915527343750*x**6*log(2) - 11352539062500*x**5*log(2) + 25231933593750*x**5 + 25231933
593750*x**4*log(2) + 59707031250000*x**4 + 39808593750000*x**3 + 59707031250000*x**3*log(2) + 11156250000000*x
**2 + 39808593750000*x**2*log(2) + 1148437500000*x + 11156250000000*x*log(2) + 1148437500000*log(2))*exp(2*x*e
xp(x))/152587890625 + (610351562500*x**8 - 11840820312500*x**7 + 610351562500*x**7*log(2) - 11840820312500*x**
6*log(2) + 69799804687500*x**6 - 77944335937500*x**5 + 69799804687500*x**5*log(2) - 252093750000000*x**4 - 779
44335937500*x**4*log(2) - 178335937500000*x**3 - 252093750000000*x**3*log(2) - 178335937500000*x**2*log(2) - 5
1296875000000*x**2 - 51296875000000*x*log(2) - 5359375000000*x - 5359375000000*log(2))*exp(x*exp(x))/152587890
625

________________________________________________________________________________________