combstruct 0.1.0a0__py3-none-any.whl

combstruct/data/ecs01/ecs_0170.json

@@ -0,0 +1,38 @@
+{
+    "id": 170,
+    "name": "Pisot sequences E(2,6), L(2,6), P(2,6), T(2,6)",
+    "description": "Pisot sequences E(2,6), L(2,6), P(2,6), T(2,6)",
+    "specification": "{B = Sequence(Z,1 <= card), C = Union(B,E), E = Sequence(Z,1 <= card), S = Sequence(C)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        6,
+        18,
+        54,
+        162,
+        486,
+        1458,
+        4374,
+        13122,
+        39366,
+        118098,
+        354294,
+        1062882,
+        3188646,
+        9565938,
+        28697814,
+        86093442,
+        258280326,
+        774840978,
+        2324522934
+    ],
+    "references": [
+        "EIS A008776"
+    ],
+    "gf": "(-1+_x)/(-1+3*_x)",
+    "rec": "{3*_f(_n)-_f(_n+1), _f(0) = 1, _f(1) = 2}",
+    "closedform": "2*3^(_n-1)+piecewise(_n = 0,1/3,0)",
+    "equiv": "2/3*exp(-_n)^(-ln(3))"
+}

combstruct/data/ecs01/ecs_0171.json

@@ -0,0 +1,38 @@
+{
+    "id": 171,
+    "name": "Expansion of e.g.f.: 1/2 + exp(-4*x)/2",
+    "description": "Expansion of e.g.f.: 1/2 + exp(-4*x)/2",
+    "specification": "{B = Sequence(Z,1 <= card), C = Sequence(B,1 <= card), E = Sequence(B,1 <=card), F = Union(C,E), S = Sequence(F)}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        2,
+        8,
+        32,
+        128,
+        512,
+        2048,
+        8192,
+        32768,
+        131072,
+        524288,
+        2097152,
+        8388608,
+        33554432,
+        134217728,
+        536870912,
+        2147483648,
+        8589934592,
+        34359738368,
+        137438953472,
+        549755813888
+    ],
+    "references": [
+        "EIS A009117"
+    ],
+    "gf": "(-1+2*_x)/(-1+4*_x)",
+    "rec": "{4*_f(_n)-_f(_n+1), _f(0) = 1, _f(1) = 2}",
+    "closedform": "1/2*4^_n+piecewise(_n = 0,1/2,0)",
+    "equiv": "1/2*exp(-_n)^(-2*ln(2))"
+}

combstruct/data/ecs01/ecs_0172.json

@@ -0,0 +1,36 @@
+{
+    "id": 172,
+    "name": "Expansion of log(1+log(1+x))/exp(x)",
+    "description": "Expansion of log(1+log(1+x))/exp(x)",
+    "specification": "{B = Cycle(E), C = Set(Z), E = Cycle(Z), S = Prod(B,C)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        16,
+        79,
+        498,
+        3903,
+        36727,
+        403548,
+        5071441,
+        71752592,
+        1128768188,
+        19545504383,
+        369430614902,
+        7568453115871,
+        167056552799575,
+        3952337703492608,
+        99774721152384553,
+        2676963889524158084,
+        76067112266151867312,
+        2282055475092930611991
+    ],
+    "references": [
+        "EIS A009318"
+    ],
+    "gf": "ln(-1/(-1+ln(-1/(-1+_x))))*exp(_x)",
+    "equiv": "exp((exp(1)-1)/exp(1))/_n*exp(-_n)^(ln(exp(1)-1)-1)"
+}

combstruct/data/ecs01/ecs_0173.json

@@ -0,0 +1,36 @@
+{
+    "id": 173,
+    "name": "Expansion of e.g.f. log(1+log(1+x)/exp(x))",
+    "description": "Expansion of e.g.f. log(1+log(1+x)/exp(x))",
+    "specification": "{B = Set(Z), C = Cycle(Z), E = Prod(B,C), S = Cycle(E)}",
+    "labeled": true,
+    "symbol": "S",
+    "terms": [
+        0,
+        1,
+        4,
+        19,
+        125,
+        1083,
+        11669,
+        150512,
+        2262546,
+        38851957,
+        750394759,
+        16102118954,
+        380058372572,
+        9785829784651,
+        272962664838317,
+        8199582838569366,
+        263901999580713904,
+        9059869807873906105,
+        330468448384810109019,
+        12763258092699749753194,
+        520324363216878538958812
+    ],
+    "references": [
+        "EIS A009324"
+    ],
+    "gf": "ln(-1/(-1+exp(_x)*ln(-1/(-1+_x))))",
+    "equiv": "1/_n*exp(-_n)^(ln(exp(RootOf(_Z*exp(1-exp(-_Z))-1,.6274701796))-1)-ln(exp(RootOf(_Z*exp(1-exp(-_Z))-1,.6274701796))))"
+}

combstruct/data/ecs01/ecs_0174.json

@@ -0,0 +1,38 @@
+{
+    "id": 174,
+    "name": "Denumerant for coin values 1, 2, 5, 10",
+    "description": "number of ways to make n cents with coins of 1 2 5 10 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        11,
+        12,
+        15,
+        16,
+        19,
+        22,
+        25,
+        28,
+        31,
+        34,
+        40
+    ],
+    "references": [
+        "EIS A000008"
+    ],
+    "gf": "1/(-1+_x)/(_x^2-1)/(_x^5-1)/(_x^10-1)",
+    "rec": "{6*_f(_n)+18*_f(_n+1)+30*_f(_n+2)+42*_f(_n+3)+54*_f(_n+4)+60*_f(_n+5)+60*_f(_n+6)+60*_f(_n+7)+60*_f(_n+8)+60*_f(_n+9)+54*_f(_n+10)+42*_f(_n+11)+30*_f(_n+12)+18*_f(_n+13)+6*_f(_n+14)-_n^3-48*_n^2-767*_n-4080, _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 2, _f(4) = 3, _f(5) = 4, _f(6) = 5, _f(7) = 6, _f(8) = 7, _f(9)= 8, _f(10) = 11, _f(11) = 12, _f(12) = 15, _f(13) = 16}",
+    "closedform": "291/400+9/200*_n^2+421/1200*_n+1/600*_n^3+Sum(1/100*(4*_alpha^3-3*_alpha^2+2*_alpha-6)*_alpha^(-1-_n),_alpha = RootOf(_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/2000*(17*_alpha^4+9*_alpha^3+17*_alpha^2+_alpha+1)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))+Sum(-1/500*(_alpha^4-27*_alpha^3-14*_alpha^2-33*_alpha+3)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+2*_Z^4+2*_Z^3+2*_Z^2+2*_Z+1))",
+    "equiv": "(1/50*exp(Complex(1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^15+1/50*exp(Complex(-1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*conjugate(_n))/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^15)*_n*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0175.json

@@ -0,0 +1,38 @@
+{
+    "id": 175,
+    "name": "Denumerant for coin values 1, 5, 10, 25",
+    "description": "number of ways to make n cents with coins of 1 5 10 25 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        1,
+        1,
+        1,
+        2,
+        2,
+        2,
+        2,
+        2,
+        4,
+        4,
+        4,
+        4,
+        4,
+        6,
+        6,
+        6,
+        6,
+        6,
+        9
+    ],
+    "references": [
+        "EIS A001299"
+    ],
+    "gf": "1/(-1+_x)/(_x^5-1)/(_x^10-1)/(_x^25-1)",
+    "rec": "{-59280-4562*_n+6*_f(_n)+36*_f(_n+2)+18*_f(_n+1)-117*_n^2+150*_f(_n+6)+120*_f(_n+5)+90*_f(_n+4)+60*_f(_n+3)-_n^3+180*_f(_n+7)+210*_f(_n+8)+240*_f(_n+9)+264*_f(_n+10)+282*_f(_n+11)+294*_f(_n+12)+300*_f(_n+13)+300*_f(_n+14)+300*_f(_n+15)+300*_f(_n+16)+300*_f(_n+17)+300*_f(_n+18)+300*_f(_n+19)+300*_f(_n+20)+300*_f(_n+21)+300*_f(_n+22)+300*_f(_n+23)+300*_f(_n+24)+294*_f(_n+25)+282*_f(_n+26)+264*_f(_n+27)+240*_f(_n+28)+210*_f(_n+29)+180*_f(_n+30)+150*_f(_n+31)+120*_f(_n+32)+90*_f(_n+33)+60*_f(_n+34)+36*_f(_n+35)+18*_f(_n+36)+6*_f(_n+37), _f(0) = 1, _f(1) = 1, _f(2) = 1, _f(3) = 1, _f(4) = 1, _f(5) = 2, _f(6) = 2, _f(7) = 2, _f(8) = 2, _f(9) = 2, _f(10) = 4, _f(11) = 4, _f(12) = 4, _f(13) = 4, _f(14) = 4, _f(15) = 6, _f(16) = 6, _f(17) = 6, _f(18) = 6, _f(19) = 6, _f(20) = 9, _f(21) = 9, _f(22) = 9, _f(23) =9, _f(24) = 9, _f(25) = 13, _f(26) = 13, _f(27) = 13, _f(28) = 13, _f(29) = 13, _f(30) = 18, _f(31) = 18, _f(32) = 18, _f(33) = 18, _f(34) = 18, _f(35) = 24, _f(36) = 24}",
+    "closedform": "1271/2000+41/5000*_n^2+1073/7500*_n+1/7500*_n^3+Sum(1/12500*(_alpha^3-3*_alpha^2-2*_alpha-1)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/12500*(39*_alpha^3+80*_alpha^2-72*_alpha-37)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/25000*(593*_alpha^3+1264*_alpha^2+2017*_alpha-519)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/80*(_alpha^4+_alpha^3+_alpha^2+_alpha-1)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+1))+Sum(1/125*(_alpha^19+_alpha^18+_alpha^17+_alpha^16+_alpha^15+2*_alpha^14+2*_alpha^13+2*_alpha^12+2*_alpha^11+_alpha^9+_alpha^8+_alpha^7+_alpha^6+_alpha^4+_alpha^3+_alpha^2+_alpha-1)*_alpha^(-1-_n),_alpha =RootOf(_Z^20+_Z^15+_Z^10+_Z^5+1))",
+    "equiv": "(-1/2500*exp(Complex(1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473)))/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^40-1/2500*exp(Complex(-1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*conjugate(_n))/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473)))/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^40)*_n^2*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0176.json

@@ -0,0 +1,38 @@
+{
+    "id": 176,
+    "name": "Denumerant for coin values 1, 5, 10, 25, 50",
+    "description": "number of ways to make n cents with coins of 1 5 10 25 50 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        1,
+        1,
+        1,
+        2,
+        2,
+        2,
+        2,
+        2,
+        4,
+        4,
+        4,
+        4,
+        4,
+        6,
+        6,
+        6,
+        6,
+        6,
+        9
+    ],
+    "references": [
+        "EIS A001300"
+    ],
+    "gf": "-1/(-1+_x)/(_x^5-1)/(_x^10-1)/(_x^25-1)/(_x^50-1)",
+    "rec": "{61324560+2772174*_n-24*_f(_n)-240*_f(_n+2)-96*_f(_n+1)+46991*_n^2-1920*_f(_n+6)-96*_f(_n+85)-24*_f(_n+86)-30000*_f(_n+38)-30000*_f(_n+39)-30000*_f(_n+40)-30000*_f(_n+41)-30000*_f(_n+42)-30000*_f(_n+43)-30000*_f(_n+44)-30000*_f(_n+45)-30000*_f(_n+46)-30000*_f(_n+47)-30000*_f(_n+48)-30000*_f(_n+49)-29976*_f(_n+50)-29904*_f(_n+51)-29760*_f(_n+52)-29520*_f(_n+53)-29160*_f(_n+54)-28680*_f(_n+55)-28080*_f(_n+56)-27360*_f(_n+57)-26520*_f(_n+58)-25560*_f(_n+59)-24504*_f(_n+60)-23376*_f(_n+61)-22200*_f(_n+62)-21000*_f(_n+63)-19800*_f(_n+64)-18600*_f(_n+65)-17400*_f(_n+66)-16200*_f(_n+67)-15000*_f(_n+68)-13800*_f(_n+69)-12600*_f(_n+70)-11400*_f(_n+71)-10200*_f(_n+72)-9000*_f(_n+73)-7800*_f(_n+74)-6624*_f(_n+75)-5496*_f(_n+76)-4440*_f(_n+77)-3480*_f(_n+78)-2640*_f(_n+79)-1920*_f(_n+80)-1320*_f(_n+81)-840*_f(_n+82)-480*_f(_n+83)-240*_f(_n+84)-1320*_f(_n+5)-840*_f(_n+4)-480*_f(_n+3)+354*_n^3+_n^4-2640*_f(_n+7)-3480*_f(_n+8)-4440*_f(_n+9)-5496*_f(_n+10)-6624*_f(_n+11)-7800*_f(_n+12)-9000*_f(_n+13)-10200*_f(_n+14)-11400*_f(_n+15)-12600*_f(_n+16)-13800*_f(_n+17)-15000*_f(_n+18)-16200*_f(_n+19)-17400*_f(_n+20)-18600*_f(_n+21)-19800*_f(_n+22)-21000*_f(_n+23)-22200*_f(_n+24)-23376*_f(_n+25)-24504*_f(_n+26)-25560*_f(_n+27)-26520*_f(_n+28)-27360*_f(_n+29)-28080*_f(_n+30)-28680*_f(_n+31)-29160*_f(_n+32)-29520*_f(_n+33)-29760*_f(_n+34)-29904*_f(_n+35)-29976*_f(_n+36)-30000*_f(_n+37), _f(0) = 1, _f(1) =1, _f(2) = 1, _f(3) = 1, _f(4) = 1, _f(5) = 2, _f(6) = 2, _f(7) = 2, _f(8) = 2, _f(9) = 2, _f(10) = 4, _f(11) = 4, _f(12) = 4, _f(13) = 4, _f(14) = 4, _f(15) = 6, _f(16) = 6, _f(17) = 6, _f(18) = 6, _f(19) = 6, _f(20) = 9, _f(21) = 9,_f(22) = 9, _f(23) = 9, _f(24) = 9, _f(25) = 13, _f(26) = 13, _f(27) = 13, _f(28) = 13, _f(29) = 13, _f(30) = 18, _f(31) = 18, _f(32) = 18, _f(33) = 18, _f(34) = 18, _f(35) = 24, _f(36) = 24, _f(37) = 24, _f(38) = 24, _f(39) = 24, _f(40) = 31, _f(41) = 31, _f(42) = 31, _f(43) = 31, _f(44) = 31, _f(45) = 39, _f(46) = 39, _f(47) = 39, _f(48) = 39, _f(49) = 39, _f(50) = 50, _f(51) = 50, _f(52) = 50, _f(53) = 50, _f(54) = 50, _f(55) = 62, _f(56) = 62, _f(57) = 62, _f(58) = 62, _f(59) = 62, _f(60) = 77, _f(61) = 77, _f(62) = 77, _f(63) = 77, _f(64) = 77, _f(65) = 93, _f(66) = 93, _f(67) = 93, _f(68) = 93, _f(69) = 93, _f(70) = 112, _f(71) = 112, _f(72) = 112, _f(73) = 112, _f(74) = 112, _f(75) = 134, _f(76) = 134, _f(77) = 134, _f(78) = 134, _f(79) = 134, _f(80) = 159, _f(81) = 159, _f(82) = 159, _f(83) = 159, _f(84) = 159, _f(85) = 187}",
+    "closedform": "3987861/5000000+2699/375000*_n^2+45773/300000*_n+1/1500000*_n^4+91/750000*_n^3+Sum(-1/1875000*(4*_alpha^3+3*_alpha^2+2*_alpha+1)*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/625000*(45*_alpha^3-129*_alpha^2-87*_alpha-44)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/1250000*(3415*_alpha^3+7010*_alpha^2-6306*_alpha-3239)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/1250000*(32780*_alpha^3+68975*_alpha^2+108765*_alpha-29541)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/500*(1+_alpha)*(3*_alpha^18+3*_alpha^16-3*_alpha^14-3*_alpha^13-3*_alpha^12-3*_alpha^11-3*_alpha^10-_alpha^9-_alpha^7-_alpha^5-3*_alpha^4-4*_alpha^3-3*_alpha^2-4*_alpha-3)*_alpha^(-1-_n),_alpha = RootOf(_Z^20-_Z^15+_Z^10-_Z^5+1))+Sum(1/100000*(9*_alpha^24+9*_alpha^23+9*_alpha^22+7*_alpha^21+7*_alpha^20+25*_alpha^19+25*_alpha^18+25*_alpha^17+23*_alpha^16+23*_alpha^15+41*_alpha^14+41*_alpha^13+41*_alpha^12+7*_alpha^11+7*_alpha^10+25*_alpha^9+25*_alpha^8+25*_alpha^7+7*_alpha^6+7*_alpha^5+25*_alpha^4+25*_alpha^3+25*_alpha^2-9*_alpha-9)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^25+2*_Z^20+2*_Z^15+2*_Z^10+2*_Z^5+1))+Sum(1/200000*(783*_alpha^24+801*_alpha^23+819*_alpha^22+837*_alpha^21+595*_alpha^20+2175*_alpha^19+2225*_alpha^18+2275*_alpha^17+2325*_alpha^16+1955*_alpha^15+3567*_alpha^14+3649*_alpha^13+3731*_alpha^12+3813*_alpha^11+915*_alpha^10+2495*_alpha^9+2545*_alpha^8+2595*_alpha^7+2645*_alpha^6+915*_alpha^5+2495*_alpha^4+2545*_alpha^3+2595*_alpha^2+2645*_alpha-765)*_alpha^(-1-_n),_alpha = RootOf(_Z^25+2*_Z^20+2*_Z^15+2*_Z^10+2*_Z^5+1))",
+    "equiv": "(-1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148)))/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148))^90-1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148)))/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148))^90-1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374946,-.951056516295157)))/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374946,-.951056516295157))^90-1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154)))/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154))^90-1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157)))/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157))^90)*_n^3*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0177.json

@@ -0,0 +1,38 @@
+{
+    "id": 177,
+    "name": "Denumerant for coin values 1, 2, 5, 10, 25",
+    "description": "number of ways to make n cents with coins of 1 2 5 10 25 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        11,
+        12,
+        15,
+        16,
+        19,
+        22,
+        25,
+        28,
+        31,
+        34,
+        40
+    ],
+    "references": [
+        "EIS A001301"
+    ],
+    "gf": "-1/(-1+_x)/(_x^2-1)/(_x^5-1)/(_x^10-1)/(_x^25-1)",
+    "rec": "{2686320+265518*_n-24*_f(_n)-216*_f(_n+2)-96*_f(_n+1)+9839*_n^2-1080*_f(_n+6)-24*_f(_n+38)-840*_f(_n+5)-600*_f(_n+4)-384*_f(_n+3)+162*_n^3+_n^4-1320*_f(_n+7)-1560*_f(_n+8)-1800*_f(_n+9)-2016*_f(_n+10)-2184*_f(_n+11)-2304*_f(_n+12)-2376*_f(_n+13)-2400*_f(_n+14)-2400*_f(_n+15)-2400*_f(_n+16)-2400*_f(_n+17)-2400*_f(_n+18)-2400*_f(_n+19)-2400*_f(_n+20)-2400*_f(_n+21)-2400*_f(_n+22)-2400*_f(_n+23)-2400*_f(_n+24)-2376*_f(_n+25)-2304*_f(_n+26)-2184*_f(_n+27)-2016*_f(_n+28)-1800*_f(_n+29)-1560*_f(_n+30)-1320*_f(_n+31)-1080*_f(_n+32)-840*_f(_n+33)-600*_f(_n+34)-384*_f(_n+35)-216*_f(_n+36)-96*_f(_n+37), _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 2, _f(4) = 3, _f(5) = 4, _f(6) = 5, _f(7) = 6, _f(8) = 7, _f(9) = 8, _f(10) = 11, _f(11) = 12, _f(12) = 15, _f(13) = 16, _f(14) = 19, _f(15) = 22, _f(16) = 25, _f(17) =28, _f(18) = 31, _f(19) = 34, _f(20) = 40, _f(21) = 43, _f(22) = 49, _f(23) =52, _f(24) = 58, _f(25) = 65, _f(26) = 71, _f(27) = 78, _f(28) = 84, _f(29) =91, _f(30) = 102, _f(31) = 109, _f(32) = 120, _f(33) = 127, _f(34) = 138, _f(35) = 151, _f(36) = 162, _f(37) = 175}",
+    "closedform": "181317/200000+599/15000*_n^2+23521/60000*_n+1/60000*_n^4+43/30000*_n^3+Sum(1/12500*(1+_alpha)*(_alpha-1)^2*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(-1/12500*(37*_alpha^3-6*_alpha^2+78*_alpha+76)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/25000*(1252*_alpha^3+671*_alpha^2+1498*_alpha-82)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/125*(3*_alpha^19+_alpha^18+2*_alpha^17+_alpha^15+2*_alpha^14+_alpha^13-_alpha^11-2*_alpha^10-_alpha^8-_alpha^7-2*_alpha^6-2*_alpha^5-_alpha^3-_alpha^2-2*_alpha-2)*_alpha^(-1-_n),_alpha = RootOf(_Z^20+_Z^15+_Z^10+_Z^5+1))+1/160*(-1)^(-_n)*_n+43/320*(-1)^(-_n)+Sum(1/200*(4*_alpha^3-3*_alpha^2+2*_alpha-6)*_alpha^(-1-_n),_alpha =RootOf(_Z^4-_Z^3+_Z^2-_Z+1))",
+    "equiv": "(1/2500*exp(Complex(1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,-.587785252292473))^40+1/2500*exp(Complex(-1)*(arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)-1))+Pi)*conjugate(_n))/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(-.809016994374947,.587785252292473))^40)*_n^2*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.587785252292473)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,-.809016994374947)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0178.json

@@ -0,0 +1,38 @@
+{
+    "id": 178,
+    "name": "Denumerant for coin values 1, 2, 5, 10, 25, 50",
+    "description": "number of ways to make n cents with coins of 1 2 5 10 25 50 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        11,
+        12,
+        15,
+        16,
+        19,
+        22,
+        25,
+        28,
+        31,
+        34,
+        40
+    ],
+    "references": [
+        "EIS A001302"
+    ],
+    "gf": "1/(-1+_x)/(_x^2-1)/(_x^5-1)/(_x^10-1)/(_x^25-1)/(_x^50-1)",
+    "rec": "{-5901255360-327928504*_n+120*_f(_n)+1680*_f(_n+2)-_n^5+600*_f(_n+1)-7288650*_n^2+16200*_f(_n+6)+1680*_f(_n+85)+600*_f(_n+86)+300000*_f(_n+38)+300000*_f(_n+39)+300000*_f(_n+40)+300000*_f(_n+41)+300000*_f(_n+42)+300000*_f(_n+43)+300000*_f(_n+44)+300000*_f(_n+45)+300000*_f(_n+46)+300000*_f(_n+47)+300000*_f(_n+48)+300000*_f(_n+49)+299880*_f(_n+50)+299400*_f(_n+51)+298320*_f(_n+52)+296400*_f(_n+53)+293400*_f(_n+54)+289200*_f(_n+55)+283800*_f(_n+56)+277200*_f(_n+57)+269400*_f(_n+58)+260400*_f(_n+59)+250320*_f(_n+60)+239400*_f(_n+61)+227880*_f(_n+62)+216000*_f(_n+63)+204000*_f(_n+64)+192000*_f(_n+65)+180000*_f(_n+66)+168000*_f(_n+67)+156000*_f(_n+68)+144000*_f(_n+69)+132000*_f(_n+70)+120000*_f(_n+71)+108000*_f(_n+72)+96000*_f(_n+73)+84000*_f(_n+74)+72120*_f(_n+75)+60600*_f(_n+76)+49680*_f(_n+77)+39600*_f(_n+78)+30600*_f(_n+79)+22800*_f(_n+80)+16200*_f(_n+81)+10800*_f(_n+82)+6600*_f(_n+83)+3600*_f(_n+84)+10800*_f(_n+5)+6600*_f(_n+4)+3600*_f(_n+3)+120*_f(_n+87)-80995*_n^3-450*_n^4+22800*_f(_n+7)+30600*_f(_n+8)+39600*_f(_n+9)+49680*_f(_n+10)+60600*_f(_n+11)+72120*_f(_n+12)+84000*_f(_n+13)+96000*_f(_n+14)+108000*_f(_n+15)+120000*_f(_n+16)+132000*_f(_n+17)+144000*_f(_n+18)+156000*_f(_n+19)+168000*_f(_n+20)+180000*_f(_n+21)+192000*_f(_n+22)+204000*_f(_n+23)+216000*_f(_n+24)+227880*_f(_n+25)+239400*_f(_n+26)+250320*_f(_n+27)+260400*_f(_n+28)+269400*_f(_n+29)+277200*_f(_n+30)+283800*_f(_n+31)+289200*_f(_n+32)+293400*_f(_n+33)+296400*_f(_n+34)+298320*_f(_n+35)+299400*_f(_n+36)+299880*_f(_n+37), _f(0) = 1, _f(1) =1, _f(2) = 2, _f(3) = 2, _f(4) = 3, _f(5) = 4, _f(6) = 5, _f(7) = 6, _f(8) = 7, _f(9) = 8, _f(10) = 11, _f(11) = 12, _f(12) = 15, _f(13) = 16, _f(14) = 19,_f(15) = 22, _f(16) = 25, _f(17) = 28, _f(18) = 31, _f(19) = 34, _f(20) = 40,_f(21) = 43, _f(22) = 49, _f(23) = 52, _f(24) = 58, _f(25) = 65, _f(26) = 71,_f(27) = 78, _f(28) = 84, _f(29) = 91, _f(30) = 102, _f(31) = 109, _f(32) = 120, _f(33) = 127, _f(34) = 138, _f(35) = 151, _f(36) = 162, _f(37) = 175, _f(38) = 186, _f(39) = 199, _f(40) = 217, _f(41) = 230, _f(42) = 248, _f(43) = 261, _f(44) = 279, _f(45) = 300, _f(46) = 318, _f(47) = 339, _f(48) = 357, _f(49) = 378, _f(50) = 407, _f(51) = 428, _f(52) = 457, _f(53) = 478, _f(54) = 507, _f(55) = 540, _f(56) = 569, _f(57) = 602, _f(58) = 631, _f(59) = 664, _f(60) = 708, _f(61) = 741, _f(62) = 785, _f(63) = 818, _f(64) = 862, _f(65) = 911, _f(66) = 955, _f(67) = 1004, _f(68) = 1048, _f(69) = 1097, _f(70) = 1160,_f(71) = 1209, _f(72) = 1272, _f(73) = 1321, _f(74) = 1384, _f(75) = 1455, _f(76) = 1518, _f(77) = 1589, _f(78) = 1652, _f(79) = 1723, _f(80) = 1811, _f(81)= 1882, _f(82) = 1970, _f(83) = 2041, _f(84) = 2129, _f(85) = 2228, _f(86) = 2316}",
+    "closedform": "Sum(1/50000*(21*_alpha^23-2*_alpha^22+14*_alpha^21-4*_alpha^20+8*_alpha^19+37*_alpha^18-2*_alpha^17+22*_alpha^16-12*_alpha^15+8*_alpha^14+21*_alpha^13-10*_alpha^12-2*_alpha^11-28*_alpha^10-8*_alpha^9+13*_alpha^8-18*_alpha^7-2*_alpha^6-28*_alpha^5-8*_alpha^4+13*_alpha^3-18*_alpha^2-2*_alpha-28)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^24-_Z^23+_Z^22-_Z^21+_Z^20+_Z^19-_Z^18+_Z^17-_Z^16+_Z^15+_Z^14-_Z^13+_Z^12-_Z^11+_Z^10+_Z^9-_Z^8+_Z^7-_Z^6+_Z^5+_Z^4-_Z^3+_Z^2-_Z+1))+Sum(1/50000*(1343*_alpha^23-275*_alpha^22+1260*_alpha^21-573*_alpha^20+1164*_alpha^19+1859*_alpha^18+573*_alpha^17+1420*_alpha^16-73*_alpha^15+936*_alpha^14+2019*_alpha^13-35*_alpha^12+1208*_alpha^11-1093*_alpha^10+320*_alpha^9+1227*_alpha^8-399*_alpha^7+676*_alpha^6-1173*_alpha^5+80*_alpha^4+1147*_alpha^3-639*_alpha^2+596*_alpha-1413)*_alpha^(-1-_n),_alpha = RootOf(_Z^24-_Z^23+_Z^22-_Z^21+_Z^20+_Z^19-_Z^18+_Z^17-_Z^16+_Z^15+_Z^14-_Z^13+_Z^12-_Z^11+_Z^10+_Z^9-_Z^8+_Z^7-_Z^6+_Z^5+_Z^4-_Z^3+_Z^2-_Z+1))+Sum(-1/500*(29*_alpha^19+29*_alpha^18+32*_alpha^17+32*_alpha^16+35*_alpha^15+6*_alpha^14+3*_alpha^13-3*_alpha^11-6*_alpha^10+20*_alpha^9+19*_alpha^8+19*_alpha^7+18*_alpha^6+18*_alpha^5-12*_alpha^4-15*_alpha^3-19*_alpha^2-22*_alpha-26)*_alpha^(-1-_n),_alpha = RootOf(_Z^20-_Z^15+_Z^10-_Z^5+1))+Sum(1/625000*(46*_alpha^3-45*_alpha^2-44*_alpha+43)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(-1/1250000*(3227*_alpha^3-540*_alpha^2+6822*_alpha+6642)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/6250000*(342223*_alpha^3+181011*_alpha^2+396084*_alpha-17903)*_alpha^(-1-_n),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(-1/937500*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3)*(_alpha^3+_alpha^2+1/2),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+1/60000000*(3750*_n^2+348750*_n+6684375)*(-1)^(-_n)+1/15000000*_n^5+31/2000000*_n^4+1891/1500000*_n^3+83607/2000000*_n^2+14324201/30000000*_n+11842403/20000000",
+    "equiv": "(1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,-.951056516295148))^90+1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,.951056516295148)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374944,.951056516295148))^90+1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374946)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374946,-.951056516295157)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374946,-.951056516295157))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374946,-.951056516295157))^90+1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295154)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374947)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374947,-.951056516295154))^90+1/375000*exp(Complex(1)*arctan((-3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^3-2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157))/(3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^3+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295157)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)^2-RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374948)-1))*_n)/(-1+RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157)))/(RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157))^2-1)/RootOf(_Z^4+_Z^3+_Z^2+_Z+1,Complex(.309016994374948,-.951056516295157))^90)*_n^3*(RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^6+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^6+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^5+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^4+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^4+4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^3-4*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+3*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295148)^2+2*RootOf(64*_Z^10+160*_Z^9+240*_Z^8+280*_Z^7+280*_Z^6+212*_Z^5+115*_Z^4+35*_Z^3-5*_Z^2-5*_Z-1,.309016994374944)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0179.json

@@ -0,0 +1,38 @@
+{
+    "id": 179,
+    "name": "Denumerant for coin values 1, 5, 10, 20, 50, 100",
+    "description": "number of ways to make n cents with coins of 1 5 10 20 50 100 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        1,
+        1,
+        1,
+        2,
+        2,
+        2,
+        2,
+        2,
+        4,
+        4,
+        4,
+        4,
+        4,
+        6,
+        6,
+        6,
+        6,
+        6,
+        10
+    ],
+    "references": [
+        "EIS A001306"
+    ],
+    "gf": "1/(-1+_x)/(_x^5-1)/(_x^10-1)/(_x^20-1)/(_x^50-1)/(_x^100-1)",
+    "rec": "{-205206259440-5607063274*_n+120*_f(_n)+1800*_f(_n+2)-_n^5+600*_f(_n+1)-61282125*_n^2+24600*_f(_n+6)+6000000*_f(_n+85)+6000000*_f(_n+86)+2760000*_f(_n+38)+2880000*_f(_n+39)+3000000*_f(_n+40)+3120000*_f(_n+41)+3240000*_f(_n+42)+3360000*_f(_n+43)+3480000*_f(_n+44)+3600000*_f(_n+45)+3720000*_f(_n+46)+3840000*_f(_n+47)+3960000*_f(_n+48)+4080000*_f(_n+49)+4199880*_f(_n+50)+4319400*_f(_n+51)+4438200*_f(_n+52)+4555800*_f(_n+53)+4671600*_f(_n+54)+4785000*_f(_n+55)+4895400*_f(_n+56)+5002200*_f(_n+57)+5104800*_f(_n+58)+5202600*_f(_n+59)+5295120*_f(_n+60)+5382000*_f(_n+61)+5463000*_f(_n+62)+5538000*_f(_n+63)+5607000*_f(_n+64)+5670000*_f(_n+65)+5727000*_f(_n+66)+5778000*_f(_n+67)+5823000*_f(_n+68)+5862000*_f(_n+69)+5895120*_f(_n+70)+5922600*_f(_n+71)+5944800*_f(_n+72)+5962200*_f(_n+73)+5975400*_f(_n+74)+5985000*_f(_n+75)+5991600*_f(_n+76)+5995800*_f(_n+77)+5998200*_f(_n+78)+5999400*_f(_n+79)+5999880*_f(_n+80)+6000000*_f(_n+81)+6000000*_f(_n+82)+6000000*_f(_n+83)+6000000*_f(_n+84)+15000*_f(_n+5)+8400*_f(_n+4)+4200*_f(_n+3)+6000000*_f(_n+87)-334885*_n^3+5607000*_f(_n+116)+5538000*_f(_n+117)+5463000*_f(_n+118)+5382000*_f(_n+119)+5295120*_f(_n+120)+5202600*_f(_n+121)+5104800*_f(_n+122)+5002200*_f(_n+123)+4895400*_f(_n+124)+4785000*_f(_n+125)+4671600*_f(_n+126)+4555800*_f(_n+127)+4438200*_f(_n+128)+4319400*_f(_n+129)+4199880*_f(_n+130)+4080000*_f(_n+131)+3960000*_f(_n+132)+3840000*_f(_n+133)+3720000*_f(_n+134)+3600000*_f(_n+135)+3480000*_f(_n+136)+3360000*_f(_n+137)+3240000*_f(_n+138)+3120000*_f(_n+139)+3000000*_f(_n+140)+2880000*_f(_n+141)+2760000*_f(_n+142)+2640000*_f(_n+143)+2520000*_f(_n+144)+2400000*_f(_n+145)+2280000*_f(_n+146)+2160000*_f(_n+147)+2040000*_f(_n+148)+1920000*_f(_n+149)+1800120*_f(_n+150)+1680600*_f(_n+151)+1561800*_f(_n+152)+1444200*_f(_n+153)+1328400*_f(_n+154)+1215000*_f(_n+155)+1104600*_f(_n+156)+997800*_f(_n+157)+895200*_f(_n+158)+797400*_f(_n+159)+704880*_f(_n+160)+618000*_f(_n+161)+537000*_f(_n+162)+462000*_f(_n+163)+393000*_f(_n+164)+330000*_f(_n+165)+273000*_f(_n+166)+222000*_f(_n+167)+177000*_f(_n+168)+138000*_f(_n+169)+104880*_f(_n+170)+77400*_f(_n+171)+55200*_f(_n+172)+6000000*_f(_n+88)+6000000*_f(_n+89)+6000000*_f(_n+90)+6000000*_f(_n+91)+6000000*_f(_n+92)+6000000*_f(_n+93)+6000000*_f(_n+94)+6000000*_f(_n+95)+6000000*_f(_n+96)+6000000*_f(_n+97)+6000000*_f(_n+98)+6000000*_f(_n+99)+5999880*_f(_n+100)+5999400*_f(_n+101)+5998200*_f(_n+102)+5995800*_f(_n+103)+5991600*_f(_n+104)+5985000*_f(_n+105)+5975400*_f(_n+106)+5962200*_f(_n+107)+5944800*_f(_n+108)+5922600*_f(_n+109)+5895120*_f(_n+110)+5862000*_f(_n+111)+5823000*_f(_n+112)+5778000*_f(_n+113)+5727000*_f(_n+114)+5670000*_f(_n+115)-915*_n^4+37800*_f(_n+7)+55200*_f(_n+8)+77400*_f(_n+9)+104880*_f(_n+10)+138000*_f(_n+11)+177000*_f(_n+12)+222000*_f(_n+13)+273000*_f(_n+14)+330000*_f(_n+15)+393000*_f(_n+16)+462000*_f(_n+17)+537000*_f(_n+18)+618000*_f(_n+19)+704880*_f(_n+20)+797400*_f(_n+21)+895200*_f(_n+22)+997800*_f(_n+23)+1104600*_f(_n+24)+1215000*_f(_n+25)+1328400*_f(_n+26)+1444200*_f(_n+27)+1561800*_f(_n+28)+1680600*_f(_n+29)+1800120*_f(_n+30)+1920000*_f(_n+31)+2040000*_f(_n+32)+2160000*_f(_n+33)+2280000*_f(_n+34)+2400000*_f(_n+35)+2520000*_f(_n+36)+2640000*_f(_n+37)+37800*_f(_n+173)+24600*_f(_n+174)+15000*_f(_n+175)+8400*_f(_n+176)+4200*_f(_n+177)+1800*_f(_n+178)+600*_f(_n+179)+120*_f(_n+180), _f(0) = 1, _f(1) = 1, _f(2) = 1, _f(3) = 1, _f(4) = 1, _f(5) = 2, _f(6) = 2, _f(7) = 2, _f(8) = 2, _f(9) = 2,_f(10) = 4, _f(11) = 4, _f(12) = 4, _f(13) = 4, _f(14) = 4, _f(15) = 6, _f(16)= 6, _f(17) = 6, _f(18) = 6, _f(19) = 6, _f(20) = 10, _f(21) = 10, _f(22) = 10, _f(23) = 10, _f(24) = 10, _f(25) = 14, _f(26) = 14, _f(27) = 14, _f(28) = 14, _f(29) = 14, _f(30) = 20, _f(31) = 20, _f(32) = 20, _f(33) = 20, _f(34) = 20, _f(35) = 26, _f(36) = 26, _f(37) = 26, _f(38) = 26, _f(39) = 26, _f(40) = 35, _f(41) = 35, _f(42) = 35, _f(43) = 35, _f(44) = 35, _f(45) = 44, _f(46) = 44, _f(47) = 44, _f(48) = 44, _f(49) = 44, _f(50) = 57, _f(51) = 57, _f(52) = 57, _f(53) = 57, _f(54) = 57, _f(55) = 70, _f(56) = 70, _f(57) = 70, _f(58) = 70, _f(59) = 70, _f(60) = 88, _f(61) = 88, _f(62) = 88, _f(63) = 88, _f(64) = 88, _f(65) = 106, _f(66) = 106, _f(67) = 106, _f(68) = 106, _f(69) = 106, _f(70)= 130, _f(71) = 130, _f(72) = 130, _f(73) = 130, _f(74) = 130, _f(75) = 154, _f(76) = 154, _f(77) = 154, _f(78) = 154, _f(79) = 154, _f(80) = 185, _f(81) =185, _f(82) = 185, _f(83) = 185, _f(84) = 185, _f(85) = 216, _f(86) = 216, _f(87) = 216, _f(88) = 216, _f(89) = 216, _f(90) = 255, _f(91) = 255, _f(92) = 255, _f(93) = 255, _f(94) = 255, _f(95) = 294, _f(96) = 294, _f(97) = 294, _f(98) = 294, _f(99) = 294, _f(100) = 344, _f(101) = 344, _f(102) = 344, _f(103)= 344, _f(104) = 344, _f(105) = 394, _f(106) = 394, _f(107) = 394, _f(108) = 394, _f(109) = 394, _f(110) = 456, _f(111) = 456, _f(112) = 456, _f(113) = 456, _f(114) = 456, _f(115) = 518, _f(116) = 518, _f(117) = 518, _f(118) = 518, _f(119) = 518, _f(120) = 595, _f(121) = 595, _f(122) = 595, _f(123) = 595, _f(124) = 595, _f(125) = 672, _f(126) = 672, _f(127) = 672, _f(128) = 672, _f(129) = 672, _f(130) = 765, _f(131) = 765, _f(132) = 765, _f(133) = 765, _f(134) =765, _f(135) = 858, _f(136) = 858, _f(137) = 858, _f(138) = 858, _f(139) = 858, _f(140) = 970, _f(141) = 970, _f(142) = 970, _f(143) = 970, _f(144) = 970, _f(145) = 1082, _f(146) = 1082, _f(147) = 1082, _f(148) = 1082, _f(149) = 1082, _f(150) = 1216, _f(151) = 1216, _f(152) = 1216, _f(153) = 1216, _f(154) = 1216, _f(155) = 1350, _f(156) = 1350, _f(157) = 1350, _f(158) = 1350, _f(159)= 1350, _f(160) = 1509, _f(161) = 1509, _f(162) = 1509, _f(163) = 1509, _f(164) = 1509, _f(165) = 1668, _f(166) = 1668, _f(167) = 1668, _f(168) = 1668, _f(169) = 1668, _f(170) = 1855, _f(171) = 1855, _f(172) = 1855, _f(173) = 1855, _f(174) = 1855, _f(175) = 2042, _f(176) = 2042, _f(177) = 2042, _f(178) = 2042, _f(179) = 2042}",
+    "closedform": "76320111/400000000*_n+1/600000000*_n^5+66867/8000000*_n^2+15127/120000000*_n^3+31/40000000*_n^4+Sum(1/400000*(25*_alpha^49+25*_alpha^48+25*_alpha^47+16*_alpha^46+16*_alpha^45+16*_alpha^44+16*_alpha^43+16*_alpha^42+7*_alpha^41+7*_alpha^40+57*_alpha^39+57*_alpha^38+57*_alpha^37+32*_alpha^36+32*_alpha^35+32*_alpha^34+32*_alpha^33+32*_alpha^32+7*_alpha^31+7*_alpha^30+57*_alpha^29+57*_alpha^28+57*_alpha^27+16*_alpha^26+16*_alpha^25+16*_alpha^24+16*_alpha^23+16*_alpha^22-25*_alpha^21-25*_alpha^20+25*_alpha^19+25*_alpha^18+25*_alpha^17-25*_alpha^11-25*_alpha^10+25*_alpha^9+25*_alpha^8+25*_alpha^7-25*_alpha-25)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^50+2*_Z^40+2*_Z^30+2*_Z^20+2*_Z^10+1))+Sum(1/400000*(2339*_alpha^49+2364*_alpha^48+2389*_alpha^47+2414*_alpha^46+1629*_alpha^45+1645*_alpha^44+1661*_alpha^43+1677*_alpha^42+1693*_alpha^41+854*_alpha^40+5539*_alpha^39+5596*_alpha^38+5653*_alpha^37+5710*_alpha^36+3517*_alpha^35+3549*_alpha^34+3581*_alpha^33+3613*_alpha^32+3645*_alpha^31+1302*_alpha^30+5987*_alpha^29+6044*_alpha^28+6101*_alpha^27+6158*_alpha^26+2525*_alpha^25+2541*_alpha^24+2557*_alpha^23+2573*_alpha^22+2589*_alpha^21-1290*_alpha^20+3363*_alpha^19+3388*_alpha^18+3413*_alpha^17+3438*_alpha^16+893*_alpha^15+893*_alpha^14+893*_alpha^13+893*_alpha^12+893*_alpha^11-1802*_alpha^10+2851*_alpha^9+2876*_alpha^8+2901*_alpha^7+2926*_alpha^6+381*_alpha^5+381*_alpha^4+381*_alpha^3+381*_alpha^2+381*_alpha-2314)*_alpha^(-1-_n),_alpha = RootOf(_Z^50+2*_Z^40+2*_Z^30+2*_Z^20+2*_Z^10+1))+Sum(1/600000000*(_alpha^3+2*_alpha^2+3*_alpha+4)*_alpha^(-_n-5)*(_n+1)*(_n+2)*(_n+3)*(_n+4),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(-1/150000000*(362*_alpha^3+273*_alpha^2+183*_alpha+92)*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/100000000*(7469*_alpha^3-21311*_alpha^2-14388*_alpha-7285)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/50000000*(159528*_alpha^3+326525*_alpha^2-297383*_alpha-152243)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/2000000000*(66346979*_alpha^3+139075078*_alpha^2+218483057*_alpha-60257259)*_alpha^(-1-_n),_alpha =RootOf(_Z^4+_Z^3+_Z^2+_Z+1))+Sum(1/24000000*(_alpha^4-_alpha^3-_alpha^2-_alpha-1)*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^5+1))+Sum(1/8000000*(92*_alpha^4+93*_alpha^3-89*_alpha^2-90*_alpha-91)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^5+1))+Sum(1/16000000*(14553*_alpha^4+14921*_alpha^3+15293*_alpha^2-13829*_alpha-14189)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^5+1))+Sum(1/16000000*(302939*_alpha^4+317492*_alpha^3+332413*_alpha^2+347706*_alpha-288750)*_alpha^(-1-_n),_alpha = RootOf(_Z^5+1))+Sum(-1/1000*(22*_alpha^39+22*_alpha^38+22*_alpha^37+22*_alpha^36+25*_alpha^35+25*_alpha^34+25*_alpha^33+25*_alpha^32+25*_alpha^31+28*_alpha^30+6*_alpha^29+6*_alpha^28+6*_alpha^27+6*_alpha^26-6*_alpha^20+16*_alpha^19+16*_alpha^18+16*_alpha^17+16*_alpha^16+15*_alpha^15+15*_alpha^14+15*_alpha^13+15*_alpha^12+15*_alpha^11+14*_alpha^10-8*_alpha^9-8*_alpha^8-8*_alpha^7-8*_alpha^6-15*_alpha^5-15*_alpha^4-15*_alpha^3-15*_alpha^2-15*_alpha-22)*_alpha^(-1-_n),_alpha = RootOf(_Z^40-_Z^30+_Z^20-_Z^10+1))+37561491/80000000",
+    "equiv": "(1/6000000*exp(Complex(1)*(arctan((-3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^3+2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122))/(3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)+1))+Pi)*_n)/(-1+RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122)))/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122))^5-1)/RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122))^180+1/6000000*exp(Complex(-1)*(arctan((-3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^3+2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122))/(3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)+1))+Pi)*conjugate(_n))/(-1+RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122)))/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122))^5-1)/RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122))^180)*_n^3*(RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^6+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^6-2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^5-4*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^4+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^4+2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^4-4*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3+4*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)+1)^(-1/2*ln(exp(-_n)))"
+}

combstruct/data/ecs01/ecs_0180.json

@@ -0,0 +1,38 @@
+{
+    "id": 180,
+    "name": "Denumerant for coin values 1, 2, 4, 10, 20, 40, 100",
+    "description": "number of ways to make n cents with coins of 1 2 4 10 20 40 100 cents",
+    "specification": "{S = Prod(Sequence(Z),Sequence(Prod(Z,Z)),Sequence(Prod(Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)),Sequence(Prod(Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z,Z)))}",
+    "labeled": false,
+    "symbol": "S",
+    "terms": [
+        1,
+        1,
+        2,
+        2,
+        4,
+        4,
+        6,
+        6,
+        9,
+        9,
+        13,
+        13,
+        18,
+        18,
+        24,
+        24,
+        31,
+        31,
+        39,
+        39,
+        50
+    ],
+    "references": [
+        "EIS A001310"
+    ],
+    "gf": "-1/(-1+_x)/(_x^2-1)/(_x^4-1)/(_x^10-1)/(_x^20-1)/(_x^40-1)/(_x^100-1)",
+    "rec": "{943114628424*_n-720*_f(_n)-14400*_f(_n+2)+1041*_n^5-4320*_f(_n+1)+13590601474*_n^2-227520*_f(_n+6)+_n^6-46080000*_f(_n+85)-46080000*_f(_n+86)-26496000*_f(_n+38)-27648000*_f(_n+39)-28799280*_f(_n+40)-29947680*_f(_n+41)-31089600*_f(_n+42)-32220000*_f(_n+43)-33333120*_f(_n+44)-34423200*_f(_n+45)-35484480*_f(_n+46)-36511200*_f(_n+47)-37497600*_f(_n+48)-38437920*_f(_n+49)-39327120*_f(_n+50)-40161600*_f(_n+51)-40939200*_f(_n+52)-41659200*_f(_n+53)-42321600*_f(_n+54)-42926400*_f(_n+55)-43473600*_f(_n+56)-43963200*_f(_n+57)-44395200*_f(_n+58)-44769600*_f(_n+59)-45087120*_f(_n+60)-45349920*_f(_n+61)-45561600*_f(_n+62)-45727200*_f(_n+63)-45852480*_f(_n+64)-45943200*_f(_n+65)-46005120*_f(_n+66)-46044000*_f(_n+67)-46065600*_f(_n+68)-46075680*_f(_n+69)-46079280*_f(_n+70)-46080000*_f(_n+71)-46080000*_f(_n+72)-46080000*_f(_n+73)-46080000*_f(_n+74)-46080000*_f(_n+75)-46080000*_f(_n+76)-46080000*_f(_n+77)-46080000*_f(_n+78)-46080000*_f(_n+79)-46080000*_f(_n+80)-46080000*_f(_n+81)-46080000*_f(_n+82)-46080000*_f(_n+83)-46080000*_f(_n+84)-136800*_f(_n+5)-74880*_f(_n+4)-36000*_f(_n+3)-46080000*_f(_n+87)+104448735*_n^3-42321600*_f(_n+116)-41659200*_f(_n+117)-40939200*_f(_n+118)-40161600*_f(_n+119)-39327120*_f(_n+120)-38437920*_f(_n+121)-37497600*_f(_n+122)-36511200*_f(_n+123)-35484480*_f(_n+124)-34423200*_f(_n+125)-33333120*_f(_n+126)-32220000*_f(_n+127)-31089600*_f(_n+128)-29947680*_f(_n+129)-28799280*_f(_n+130)-27648000*_f(_n+131)-26496000*_f(_n+132)-25344000*_f(_n+133)-24192000*_f(_n+134)-23040000*_f(_n+135)-21888000*_f(_n+136)-20736000*_f(_n+137)-19584000*_f(_n+138)-18432000*_f(_n+139)-17280720*_f(_n+140)-16132320*_f(_n+141)-14990400*_f(_n+142)-13860000*_f(_n+143)-12746880*_f(_n+144)-11656800*_f(_n+145)-10595520*_f(_n+146)-9568800*_f(_n+147)-8582400*_f(_n+148)-7642080*_f(_n+149)-6752880*_f(_n+150)-5918400*_f(_n+151)-5140800*_f(_n+152)-4420800*_f(_n+153)-3758400*_f(_n+154)-3153600*_f(_n+155)-2606400*_f(_n+156)-2116800*_f(_n+157)-1684800*_f(_n+158)-1310400*_f(_n+159)-992880*_f(_n+160)-730080*_f(_n+161)-518400*_f(_n+162)-352800*_f(_n+163)-227520*_f(_n+164)-136800*_f(_n+165)-74880*_f(_n+166)-36000*_f(_n+167)-14400*_f(_n+168)-4320*_f(_n+169)-720*_f(_n+170)-46080000*_f(_n+88)-46080000*_f(_n+89)-46080000*_f(_n+90)-46080000*_f(_n+91)-46080000*_f(_n+92)-46080000*_f(_n+93)-46080000*_f(_n+94)-46080000*_f(_n+95)-46080000*_f(_n+96)-46080000*_f(_n+97)-46080000*_f(_n+98)-46080000*_f(_n+99)-46079280*_f(_n+100)-46075680*_f(_n+101)-46065600*_f(_n+102)-46044000*_f(_n+103)-46005120*_f(_n+104)-45943200*_f(_n+105)-45852480*_f(_n+106)-45727200*_f(_n+107)-45561600*_f(_n+108)-45349920*_f(_n+109)-45087120*_f(_n+110)-44769600*_f(_n+111)-44395200*_f(_n+112)-43963200*_f(_n+113)-43473600*_f(_n+114)-42926400*_f(_n+115)+451525*_n^4-352800*_f(_n+7)-518400*_f(_n+8)-730080*_f(_n+9)-992880*_f(_n+10)-1310400*_f(_n+11)-1684800*_f(_n+12)-2116800*_f(_n+13)-2606400*_f(_n+14)-3153600*_f(_n+15)-3758400*_f(_n+16)-4420800*_f(_n+17)-5140800*_f(_n+18)-5918400*_f(_n+19)-6752880*_f(_n+20)-7642080*_f(_n+21)-8582400*_f(_n+22)-9568800*_f(_n+23)-10595520*_f(_n+24)-11656800*_f(_n+25)-12746880*_f(_n+26)-13860000*_f(_n+27)-14990400*_f(_n+28)-16132320*_f(_n+29)-17280720*_f(_n+30)-18432000*_f(_n+31)-19584000*_f(_n+32)-20736000*_f(_n+33)-21888000*_f(_n+34)-23040000*_f(_n+35)-24192000*_f(_n+36)-25344000*_f(_n+37)+27269088739200, _f(0) = 1, _f(1) = 1, _f(2) = 2, _f(3) = 2, _f(4) = 4, _f(5) = 4, _f(6) = 6, _f(7) = 6, _f(8) = 9, _f(9) = 9, _f(10) = 13, _f(11) = 13, _f(12) = 18, _f(13) = 18, _f(14) = 24, _f(15) = 24, _f(16) = 31, _f(17) = 31, _f(18) = 39, _f(19) = 39, _f(20) = 50, _f(21) = 50, _f(22) = 62, _f(23) = 62, _f(24) = 77, _f(25) = 77, _f(26) = 93, _f(27) = 93, _f(28) = 112, _f(29) = 112, _f(30) = 134, _f(31) = 134, _f(32) = 159,_f(33) = 159, _f(34) = 187, _f(35) = 187, _f(36) = 218, _f(37) = 218, _f(38) =252, _f(39) = 252, _f(40) = 293, _f(41) = 293, _f(42) = 337, _f(43) = 337, _f(44) = 388, _f(45) = 388, _f(46) = 442, _f(47) = 442, _f(48) = 503, _f(49) = 503, _f(50) = 571, _f(51) = 571, _f(52) = 646, _f(53) = 646, _f(54) = 728, _f(55) = 728, _f(56) = 817, _f(57) = 817, _f(58) = 913, _f(59) = 913, _f(60) = 1022, _f(61) = 1022, _f(62) = 1138, _f(63) = 1138, _f(64) = 1267, _f(65) = 1267, _f(66) = 1403, _f(67) = 1403, _f(68) = 1552, _f(69) = 1552, _f(70) = 1714, _f(71) = 1714, _f(72) = 1889, _f(73) = 1889, _f(74) = 2077, _f(75) = 2077, _f(76) = 2278, _f(77) = 2278, _f(78) = 2492, _f(79) = 2492, _f(80) = 2728, _f(81) = 2728, _f(82) = 2977, _f(83) = 2977, _f(84) = 3248, _f(85) = 3248, _f(86) = 3532, _f(87) = 3532, _f(88) = 3838, _f(89) = 3838, _f(90) = 4166, _f(91) = 4166, _f(92) = 4516, _f(93) = 4516, _f(94) = 4888, _f(95) = 4888, _f(96) = 5282, _f(97) = 5282, _f(98) = 5698, _f(99) = 5698, _f(100) = 6149, _f(101) = 6149, _f(102) = 6622, _f(103) = 6622, _f(104) = 7130, _f(105)= 7130, _f(106) = 7660, _f(107) = 7660, _f(108) = 8225, _f(109) = 8225, _f(110) = 8825, _f(111) = 8825, _f(112) = 9460, _f(113) = 9460, _f(114) = 10130, _f(115) = 10130, _f(116) = 10835, _f(117) = 10835, _f(118) = 11575, _f(119) = 11575, _f(120) = 12368, _f(121) = 12368, _f(122) = 13196, _f(123) = 13196, _f(124) = 14077, _f(125) = 14077, _f(126) = 14993, _f(127) = 14993, _f(128) = 15962, _f(129) = 15962, _f(130) = 16984, _f(131) = 16984, _f(132) = 18059, _f(133) = 18059, _f(134) = 19187, _f(135) = 19187, _f(136) = 20368, _f(137) = 20368, _f(138) = 21602, _f(139) = 21602, _f(140) = 22913, _f(141) = 22913, _f(142) = 24277, _f(143) = 24277, _f(144) = 25718, _f(145) = 25718, _f(146) = 27212, _f(147) = 27212, _f(148) = 28783, _f(149) = 28783, _f(150) = 30431, _f(151) = 30431, _f(152) = 32156, _f(153) = 32156, _f(154) = 33958, _f(155) = 33958, _f(156) = 35837, _f(157) = 35837, _f(158) = 37793, _f(159) = 37793, _f(160) = 39857, _f(161) = 39857, _f(162) = 41998, _f(163) = 41998, _f(164) = 44247, _f(165) = 44247, _f(166) = 46573, _f(167) = 46573, _f(168) = 49007, _f(169) = 49007}",
+    "closedform": "1/1536000000*(_n+177/2)*(_n^4+354*_n^3+36891*_n^2+984474*_n+1808339)*(-1)^(-_n)+1/4608000000*_n^6+59/512000000*_n^5+40933/1843200000*_n^4+141659/76800000*_n^3+533810387/9216000000*_n^2+Sum(-1/1600000*(3*_alpha^7+7*_alpha^6+4*_alpha^5+_alpha^4+4*_alpha^3+6*_alpha^2+3*_alpha-3)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^8-_Z^6+_Z^4-_Z^2+1))+Sum(1/1600000*(32533*_alpha^7-6808*_alpha^6-39722*_alpha^5-30576*_alpha^4+1201*_alpha^3-20832*_alpha^2-54009*_alpha-31864)*_alpha^(-1-_n),_alpha = RootOf(_Z^8-_Z^6+_Z^4-_Z^2+1))+Sum(1/384000000*(1+_alpha)*(9*_alpha^8-7*_alpha^6-7*_alpha^4-23*_alpha^2-7)*_alpha^(-_n-4)*(_n+1)*(_n+2)*(_n+3),_alpha = RootOf(_Z^10+2*_Z^8+2*_Z^6+2*_Z^4+2*_Z^2+1))+Sum(-1/1280*(7*_alpha^19+13*_alpha^18+13*_alpha^17+17*_alpha^16+17*_alpha^15+19*_alpha^14+19*_alpha^13+19*_alpha^12+19*_alpha^11+17*_alpha^10+17*_alpha^9+13*_alpha^8+13*_alpha^7+7*_alpha^6+7*_alpha^5+3*_alpha^4+3*_alpha^3-3*_alpha^2-3*_alpha-7)*_alpha^(-1-_n),_alpha = RootOf(_Z^20+1))+Sum(1/128000000*(609*_alpha^9+774*_alpha^8+2001*_alpha^7-538*_alpha^6+673*_alpha^5-538*_alpha^4+673*_alpha^3-1978*_alpha^2-783*_alpha-602)*_alpha^(-_n-3)*(_n+2)*(_n+1),_alpha = RootOf(_Z^10+2*_Z^8+2*_Z^6+2*_Z^4+2*_Z^2+1))+Sum(1/160000000*(1532926*_alpha^9+1140599*_alpha^8+4264478*_alpha^7+3740247*_alpha^6+6996670*_alpha^5+1661495*_alpha^4+4799342*_alpha^3+1667063*_alpha^2+4804974*_alpha-1458409)*_alpha^(-1-_n),_alpha = RootOf(_Z^10+2*_Z^8+2*_Z^6+2*_Z^4+2*_Z^2+1))+Sum(-1/500*(42*_alpha^79+44*_alpha^78+44*_alpha^77+45*_alpha^76+45*_alpha^75+45*_alpha^74+45*_alpha^73+44*_alpha^72+44*_alpha^71+42*_alpha^70+42*_alpha^69+39*_alpha^68+39*_alpha^67+35*_alpha^66+35*_alpha^65+31*_alpha^64+31*_alpha^63+26*_alpha^62+26*_alpha^61+21*_alpha^60+63*_alpha^59+59*_alpha^58+59*_alpha^57+54*_alpha^56+54*_alpha^55+48*_alpha^54+48*_alpha^53+41*_alpha^52+41*_alpha^51+33*_alpha^50+33*_alpha^49+24*_alpha^48+24*_alpha^47+14*_alpha^46+14*_alpha^45+5*_alpha^44+5*_alpha^43-5*_alpha^42-5*_alpha^41-14*_alpha^40+28*_alpha^39+20*_alpha^38+20*_alpha^37+12*_alpha^36+12*_alpha^35+4*_alpha^34+4*_alpha^33-4*_alpha^32-4*_alpha^31-12*_alpha^30-12*_alpha^29-20*_alpha^28-20*_alpha^27-28*_alpha^26-28*_alpha^25-35*_alpha^24-35*_alpha^23-42*_alpha^22-42*_alpha^21-48*_alpha^20-6*_alpha^19-10*_alpha^18-10*_alpha^17-14*_alpha^16-14*_alpha^15-18*_alpha^14-18*_alpha^13-22*_alpha^12-22*_alpha^11-26*_alpha^10-26*_alpha^9-30*_alpha^8-30*_alpha^7-34*_alpha^6-34*_alpha^5-37*_alpha^4-37*_alpha^3-40*_alpha^2-40*_alpha-42)*_alpha^(-1-_n),_alpha = RootOf(_Z^80+_Z^60+_Z^40+_Z^20+1))+Sum(1/320000000*(113009*_alpha^9+116054*_alpha^8+371137*_alpha^7+381142*_alpha^6+140625*_alpha^5+143990*_alpha^4+140753*_alpha^3+144118*_alpha^2-145119*_alpha-149034)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^10+2*_Z^8+2*_Z^6+2*_Z^4+2*_Z^2+1))+Sum(-1/1600000*(375*_alpha^7+381*_alpha^6+748*_alpha^5+756*_alpha^4+636*_alpha^3+644*_alpha^2+663*_alpha+669)*_alpha^(-_n-2)*(_n+1),_alpha = RootOf(_Z^8-_Z^6+_Z^4-_Z^2+1))+5023319/24000000*_n-4715696737/1024000000",
+    "equiv": "(-1/4800000*exp(Complex(1)*(arctan((-3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^3+2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122))/(3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)+1))+Pi)*_n)/(-1+RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122)))/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122))^2-1)/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122))^4-1)/RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,-.951056516295122))^170-1/4800000*exp(Complex(-1)*(arctan((-3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^3+2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122))/(3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2-RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)+1))+Pi)*conjugate(_n))/(-1+RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122)))/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122))^2-1)/(RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122))^4-1)/RootOf(_Z^4-_Z^3+_Z^2-_Z+1,Complex(-.309016994374895,.951056516295122))^170)*_n^3*(RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^6+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^4*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^4+RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^6-2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^5-4*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^4+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^4+2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^4-4*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^3+4*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)*RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2+3*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)^2-RootOf(4096*_Z^12-5120*_Z^10+3840*_Z^8-1600*_Z^6-800*_Z^4+125,-.951056516295122)^2-2*RootOf(64*_Z^10-160*_Z^9+240*_Z^8-280*_Z^7+280*_Z^6-212*_Z^5+115*_Z^4-35*_Z^3-5*_Z^2+5*_Z-1,-.309016994374895)+1)^(-1/2*ln(exp(-_n)))"
+}