(3*2^(17 - 17*w) - 3*2^(18 - 16*w)*(-3 + 2^(2 - w)*(1 - l + u)) + 2^(15 - 15*w)*(157 - 63*2^(3 - w)*(1 - l + u) + 21*2^(4 - 2*w)*(1 - l + u)^2) + 7*2^(3 - 3*w)*(1 - l + u)^3*(-9 + 2^(3 - 3*w)*(1 - l + u)^3) - 3*2^(14 - 14*w)*(-108 + 321*2^(1 - w)*(1 - l + u) - 63*2^(4 - 2*w)*(1 - l + u)^2 + 7*2^(6 - 3*w)*(1 - l + u)^3) + 3*2^(13 - 13*w)*(78 - 569*2^(1 - w)*(1 - l + u) + 413*2^(3 - 2*w)*(1 - l + u)^2 - 105*2^(5 - 3*w)*(1 - l + u)^3 + 35*2^(5 - 4*w)*(1 - l + u)^4) - 2^(12 - 12*w)*(304 + 879*2^(1 - w)*(1 - l + u) - 3657*2^(2 - 2*w)*(1 - l + u)^2 + 3437*2^(3 - 3*w)*(1 - l + u)^3 - 315*2^(6 - 4*w)*(1 - l + u)^4 + 21*2^(8 - 5*w)*(1 - l + u)^5) - 3*2^(3 - 3*w)*(1 - l + u)^2*(-63 + 11*2^(5 - 3*w)*(1 - l + u)^3 - 21*2^(4 - 4*w)*(1 - l + u)^4 + 2^(6 - 6*w)*(1 - l + u)^6) - 3*2^(3 - 3*w)*(1 - l + u)*(63 - 63*2^(2 - 2*w)*(1 - l + u)^2 - 123*2^(3 - 3*w)*(1 - l + u)^3 + 39*2^(6 - 4*w)*(1 - l + u)^4 - 49*2^(5 - 5*w)*(1 - l + u)^5 + 2^(8 - 6*w)*(1 - l + u)^6) + 3*2^(11 - 11*w)*(-282 + 643*2^(1 - w)*(1 - l + u) + 21*2^(6 - 2*w)*(1 - l + u)^2 - 669*2^(4 - 3*w)*(1 - l + u)^3 + 455*2^(5 - 4*w)*(1 - l + u)^4 - 63*2^(7 - 5*w)*(1 - l + u)^5 + 7*2^(8 - 6*w)*(1 - l + u)^6) - 3*2^(10 - 10*w)*(-1 + 2^(1 - w)*(1 - l + u))*(-204 + 1163*2^(1 - w)*(1 - l + u) - 121*2^(4 - 2*w)*(1 - l + u)^2 - 437*2^(3 - 3*w)*(1 - l + u)^3 + 323*2^(4 - 4*w)*(1 - l + u)^4 - 19*2^(7 - 5*w)*(1 - l + u)^5 + 2^(9 - 6*w)*(1 - l + u)^6) - 3*2^(8 - 8*w)*(-236 + 203*2^(2 - w)*(1 - l + u) + 87*2^(6 - 2*w)*(1 - l + u)^2 - 1435*2^(4 - 3*w)*(1 - l + u)^3 + 1695*2^(4 - 4*w)*(1 - l + u)^4 - 369*2^(5 - 5*w)*(1 - l + u)^5 + 21*2^(6 - 6*w)*(1 - l + u)^6 + 2^(7 - 7*w)*(1 - l + u)^7) + 3*2^(5 - 5*w)*(-63 + 147*2^(1 - w)*(1 - l + u) + 201*2^(4 - 2*w)*(1 - l + u)^2 - 1539*2^(3 - 3*w)*(1 - l + u)^3 + 331*2^(5 - 4*w)*(1 - l + u)^4 + 39*2^(5 - 5*w)*(1 - l + u)^5 - 7*2^(9 - 6*w)*(1 - l + u)^6 + 5*2^(7 - 7*w)*(1 - l + u)^7) + 3*2^(5 - 5*w)*(1 - l + u)*(189 - 25*2^(3 - w)*(1 - l + u) - 783*2^(2 - 2*w)*(1 - l + u)^2 + 859*2^(3 - 3*w)*(1 - l + u)^3 - 281*2^(4 - 4*w)*(1 - l + u)^4 + 35*2^(5 - 5*w)*(1 - l + u)^5 - 2^(9 - 6*w)*(1 - l + u)^6 + 2^(8 - 7*w)*(1 - l + u)^7) - 3*2^(7 - 7*w)*(-114 + 979*2^(1 - w)*(1 - l + u) - 429*2^(3 - 2*w)*(1 - l + u)^2 - 289*2^(5 - 3*w)*(1 - l + u)^3 + 1689*2^(4 - 4*w)*(1 - l + u)^4 - 181*2^(7 - 5*w)*(1 - l + u)^5 + 35*2^(8 - 6*w)*(1 - l + u)^6 - 2^(11 - 7*w)*(1 - l + u)^7 + 2^(8 - 8*w)*(1 - l + u)^8) + 2^(3 - 3*w)*(63 - 567*2^(2 - 2*w)*(1 - l + u)^2 - 233*2^(3 - 3*w)*(1 - l + u)^3 + 1395*2^(4 - 4*w)*(1 - l + u)^4 - 441*2^(6 - 5*w)*(1 - l + u)^5 + 203*2^(6 - 6*w)*(1 - l + u)^6 - 27*2^(7 - 7*w)*(1 - l + u)^7 + 3*2^(8 - 8*w)*(1 - l + u)^8) + 2^(9 - 9*w)*(236 + 1263*2^(2 - w)*(1 - l + u) - 4089*2^(3 - 2*w)*(1 - l + u)^2 + 13*2^(12 - 3*w)*(1 - l + u)^3 - 627*2^(5 - 4*w)*(1 - l + u)^4 - 519*2^(5 - 5*w)*(1 - l + u)^5 + 119*2^(7 - 6*w)*(1 - l + u)^6 - 9*2^(9 - 7*w)*(1 - l + u)^7 + 3*2^(8 - 8*w)*(1 - l + u)^8) - 2^(6 - 6*w)*(152 + 1395*2^(1 - w)*(1 - l + u) - 1251*2^(4 - 2*w)*(1 - l + u)^2 + 2923*2^(3 - 3*w)*(1 - l + u)^3 + 1401*2^(4 - 4*w)*(1 - l + u)^4 - 1569*2^(5 - 5*w)*(1 - l + u)^5 + 7*2^(12 - 6*w)*(1 - l + u)^6 - 63*2^(7 - 7*w)*(1 - l + u)^7 + 3*2^(9 - 8*w)*(1 - l + u)^8))/(2^(18 - 18*w) - 3*2^(17 - 17*w)*(-5 + 3*2^(1 - w)*(1 - l + u) + 3*w) + 9*2^(16 - 16*w)*(-3 + 2^(2 - w)*(1 - l + u) + w)*(-4 + 2^(2 - w)*(1 - l + u) + 3*w) - (-7 + 2^(3 - 3*w)*(1 - l + u)^3 + 7*w)^3 - 3*2^(1 - w)*(-7 + 2^(3 - 3*w)*(1 - l + u)^3 + 7*w)^2*(7 - 3*2^(3 - 2*w)*(1 - l + u)^2 + 2^(4 - 3*w)*(1 - l + u)^3 - 7*w + 3*2^(2 - 2*w)*(1 - l + u)^2*w) - 9*2^(3 - 3*w)*(1 - l + u)*(-7 + 2^(3 - 3*w)*(1 - l + u)^3 + 7*w)*(-7*2^(2 - w)*(1 - l + u) + 7*2^(2 - 2*w)*(1 - l + u)^2 + 3*2^(5 - 3*w)*(1 - l + u)^3 - 5*2^(5 - 4*w)*(1 - l + u)^4 + 2^(6 - 5*w)*(1 - l + u)^5 - 7*w + 7*2^(3 - w)*(1 - l + u)*w - 7*2^(2 - 2*w)*(1 - l + u)^2*w - 11*2^(3 - 3*w)*(1 - l + u)^3*w + 2^(6 - 4*w)*(1 - l + u)^4*w + 7*w^2 - 7*2^(2 - w)*(1 - l + u)*w^2 + 3*2^(3 - 3*w)*(1 - l + u)^3*w^2) - 2^(15 - 15*w)*(-461 + 207*2^(3 - w)*(1 - l + u) - 117*2^(4 - 2*w)*(1 - l + u)^2 + 21*2^(5 - 3*w)*(1 - l + u)^3 + 696*w - 855*2^(1 - w)*(1 - l + u)*w + 63*2^(4 - 2*w)*(1 - l + u)^2*w - 297*w^2 + 189*2^(1 - w)*(1 - l + u)*w^2 + 27*w^3) + 3*2^(14 - 14*w)*(409 - 33*2^(6 - w)*(1 - l + u) + 465*2^(3 - 2*w)*(1 - l + u)^2 - 21*2^(7 - 3*w)*(1 - l + u)^3 + 21*2^(5 - 4*w)*(1 - l + u)^4 - 768*w + 1509*2^(1 - w)*(1 - l + u)*w - 903*2^(2 - 2*w)*(1 - l + u)^2*w + 21*2^(6 - 3*w)*(1 - l + u)^3*w + 456*w^2 - 153*2^(3 - w)*(1 - l + u)*w^2 + 189*2^(2 - 2*w)*(1 - l + u)^2*w^2 - 81*w^3 + 27*2^(2 - w)*(1 - l + u)*w^3) - 3*2^(13 - 13*w)*(-622 + 1227*2^(2 - w)*(1 - l + u) - 3171*2^(2 - 2*w)*(1 - l + u)^2 + 903*2^(4 - 3*w)*(1 - l + u)^3 - 231*2^(5 - 4*w)*(1 - l + u)^4 + 21*2^(6 - 5*w)*(1 - l + u)^5 + 1377*w - 4311*2^(1 - w)*(1 - l + u)*w + 4209*2^(2 - 2*w)*(1 - l + u)^2*w - 1617*2^(3 - 3*w)*(1 - l + u)^3*w + 105*2^(5 - 4*w)*(1 - l + u)^4*w - 1023*w^2 + 1203*2^(2 - w)*(1 - l + u)*w^2 - 1593*2^(2 - 2*w)*(1 - l + u)^2*w^2 + 315*2^(3 - 3*w)*(1 - l + u)^3*w^2 + 252*w^3 - 405*2^(1 - w)*(1 - l + u)*w^3 + 135*2^(2 - 2*w)*(1 - l + u)^2*w^3) + 2^(12 - 12*w)*(827 - 4671*2^(2 - w)*(1 - l + u) + 19287*2^(2 - 2*w)*(1 - l + u)^2 - 16401*2^(3 - 3*w)*(1 - l + u)^3 + 3339*2^(5 - 4*w)*(1 - l + u)^4 - 315*2^(7 - 5*w)*(1 - l + u)^5 + 21*2^(8 - 6*w)*(1 - l + u)^6 - 2235*w + 18855*2^(1 - w)*(1 - l + u)*w - 30807*2^(2 - 2*w)*(1 - l + u)^2*w + 19671*2^(3 - 3*w)*(1 - l + u)^3*w - 5355*2^(4 - 4*w)*(1 - l + u)^4*w + 63*2^(8 - 5*w)*(1 - l + u)^5*w + 2145*w^2 - 1611*2^(4 - w)*(1 - l + u)*w^2 + 7839*2^(3 - 2*w)*(1 - l + u)^2*w^2 - 3375*2^(4 - 3*w)*(1 - l + u)^3*w^2 + 945*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 702*w^3 + 2943*2^(1 - w)*(1 - l + u)*w^3 - 1215*2^(3 - 2*w)*(1 - l + u)^2*w^3 + 135*2^(5 - 3*w)*(1 - l + u)^3*w^3) - 9*2^(11 - 11*w)*(265 + 269*2^(1 - w)*(1 - l + u) - 2325*2^(2 - 2*w)*(1 - l + u)^2 + 813*2^(5 - 3*w)*(1 - l + u)^3 - 1995*2^(4 - 4*w)*(1 - l + u)^4 + 301*2^(6 - 5*w)*(1 - l + u)^5 - 21*2^(8 - 6*w)*(1 - l + u)^6 + 2^(9 - 7*w)*(1 - l + u)^7 - 636*w - 571*2^(1 - w)*(1 - l + u)*w + 127*2^(7 - 2*w)*(1 - l + u)^2*w - 2267*2^(4 - 3*w)*(1 - l + u)^3*w + 2075*2^(4 - 4*w)*(1 - l + u)^4*w - 413*2^(5 - 5*w)*(1 - l + u)^5*w + 7*2^(8 - 6*w)*(1 - l + u)^6*w + 488*w^2 + 31*2^(5 - w)*(1 - l + u)*w^2 - 301*2^(5 - 2*w)*(1 - l + u)^2*w^2 + 125*2^(7 - 3*w)*(1 - l + u)^3*w^2 - 615*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 63*2^(5 - 5*w)*(1 - l + u)^5*w^2 - 119*w^3 - 159*2^(1 - w)*(1 - l + u)*w^3 + 477*2^(2 - 2*w)*(1 - l + u)^2*w^3 - 135*2^(4 - 3*w)*(1 - l + u)^3*w^3 + 45*2^(4 - 4*w)*(1 - l + u)^4*w^3) + 2^(6 - 6*w)*(-2611 - 189*2^(5 - w)*(1 - l + u) + 2205*2^(4 - 2*w)*(1 - l + u)^2 + 249*2^(5 - 3*w)*(1 - l + u)^3 - 4059*2^(4 - 4*w)*(1 - l + u)^4 - 4707*2^(5 - 5*w)*(1 - l + u)^5 + 3507*2^(7 - 6*w)*(1 - l + u)^6 - 3069*2^(7 - 7*w)*(1 - l + u)^7 + 279*2^(9 - 8*w)*(1 - l + u)^8 - 35*2^(9 - 9*w)*(1 - l + u)^9 + 7476*w + 6363*2^(1 - w)*(1 - l + u)*w - 18711*2^(2 - 2*w)*(1 - l + u)^2*w - 879*2^(4 - 3*w)*(1 - l + u)^3*w + 7857*2^(4 - 4*w)*(1 - l + u)^4*w + 1683*2^(6 - 5*w)*(1 - l + u)^5*w - 5019*2^(6 - 6*w)*(1 - l + u)^6*w + 369*2^(9 - 7*w)*(1 - l + u)^7*w - 63*2^(9 - 8*w)*(1 - l + u)^8*w - 7098*w^2 - 63*2^(7 - w)*(1 - l + u)*w^2 + 11907*2^(2 - 2*w)*(1 - l + u)^2*w^2 + 1137*2^(3 - 3*w)*(1 - l + u)^3*w^2 - 1737*2^(5 - 4*w)*(1 - l + u)^4*w^2 - 927*2^(5 - 5*w)*(1 - l + u)^5*w^2 + 945*2^(6 - 6*w)*(1 - l + u)^6*w^2 - 135*2^(7 - 7*w)*(1 - l + u)^7*w^2 + 2233*w^3 + 693*2^(1 - w)*(1 - l + u)*w^3 - 63*2^(7 - 2*w)*(1 - l + u)^2*w^3 - 459*2^(3 - 3*w)*(1 - l + u)^3*w^3 + 27*2^(8 - 4*w)*(1 - l + u)^4*w^3) - 3*2^(4 - 4*w)*(-343 - 441*2^(2 - w)*(1 - l + u) + 273*2^(2 - 2*w)*(1 - l + u)^2 + 1491*2^(3 - 3*w)*(1 - l + u)^3 - 315*2^(5 - 4*w)*(1 - l + u)^4 - 9*2^(9 - 5*w)*(1 - l + u)^5 - 345*2^(6 - 6*w)*(1 - l + u)^6 + 27*2^(11 - 7*w)*(1 - l + u)^7 - 147*2^(8 - 8*w)*(1 - l + u)^8 + 2^(13 - 9*w)*(1 - l + u)^9 + 1029*w + 2205*2^(1 - w)*(1 - l + u)*w - 273*2^(3 - 2*w)*(1 - l + u)^2*w - 1533*2^(4 - 3*w)*(1 - l + u)^3*w + 63*2^(8 - 4*w)*(1 - l + u)^4*w + 21*2^(9 - 5*w)*(1 - l + u)^5*w + 249*2^(6 - 6*w)*(1 - l + u)^6*w - 63*2^(9 - 7*w)*(1 - l + u)^7*w + 21*2^(9 - 8*w)*(1 - l + u)^8*w - 1029*w^2 - 441*2^(3 - w)*(1 - l + u)*w^2 + 21*2^(5 - 2*w)*(1 - l + u)^2*w^2 + 2079*2^(3 - 3*w)*(1 - l + u)^3*w^2 - 441*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 177*2^(5 - 5*w)*(1 - l + u)^5*w^2 - 9*2^(9 - 6*w)*(1 - l + u)^6*w^2 + 9*2^(9 - 7*w)*(1 - l + u)^7*w^2 + 343*w^3 + 441*2^(1 - w)*(1 - l + u)*w^3 + 105*2^(2 - 2*w)*(1 - l + u)^2*w^3 - 63*2^(6 - 3*w)*(1 - l + u)^3*w^3 + 63*2^(4 - 4*w)*(1 - l + u)^4*w^3 + 27*2^(5 - 5*w)*(1 - l + u)^5*w^3) + 3*2^(8 - 8*w)*(1631 - 399*2^(2 - w)*(1 - l + u) - 69*2^(8 - 2*w)*(1 - l + u)^2 + 2511*2^(3 - 3*w)*(1 - l + u)^3 + 2553*2^(5 - 4*w)*(1 - l + u)^4 - 825*2^(8 - 5*w)*(1 - l + u)^5 + 3099*2^(6 - 6*w)*(1 - l + u)^6 - 681*2^(7 - 7*w)*(1 - l + u)^7 + 33*2^(9 - 8*w)*(1 - l + u)^8 - 2^(10 - 9*w)*(1 - l + u)^9 - 4452*w + 141*2^(5 - w)*(1 - l + u)*w + 9273*2^(2 - 2*w)*(1 - l + u)^2*w - 5811*2^(3 - 3*w)*(1 - l + u)^3*w - 333*2^(8 - 4*w)*(1 - l + u)^4*w + 6057*2^(5 - 5*w)*(1 - l + u)^5*w - 2061*2^(6 - 6*w)*(1 - l + u)^6*w + 279*2^(7 - 7*w)*(1 - l + u)^7*w - 3*2^(10 - 8*w)*(1 - l + u)^8*w + 4032*w^2 - 1023*2^(2 - w)*(1 - l + u)*w^2 - 5943*2^(2 - 2*w)*(1 - l + u)^2*w^2 + 3165*2^(3 - 3*w)*(1 - l + u)^3*w^2 + 1953*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 777*2^(6 - 5*w)*(1 - l + u)^5*w^2 + 153*2^(7 - 6*w)*(1 - l + u)^6*w^2 - 9*2^(8 - 7*w)*(1 - l + u)^7*w^2 - 1211*w^3 + 585*2^(1 - w)*(1 - l + u)*w^3 + 579*2^(3 - 2*w)*(1 - l + u)^2*w^3 - 369*2^(3 - 3*w)*(1 - l + u)^3*w^3 - 261*2^(4 - 4*w)*(1 - l + u)^4*w^3 + 81*2^(5 - 5*w)*(1 - l + u)^5*w^3) + 3*2^(10 - 10*w)*(-1363 + 213*2^(5 - w)*(1 - l + u) + 99*2^(6 - 2*w)*(1 - l + u)^2 - 9615*2^(3 - 3*w)*(1 - l + u)^3 + 9621*2^(4 - 4*w)*(1 - l + u)^4 - 4347*2^(5 - 5*w)*(1 - l + u)^5 + 483*2^(7 - 6*w)*(1 - l + u)^6 - 3*2^(12 - 7*w)*(1 - l + u)^7 + 3*2^(8 - 8*w)*(1 - l + u)^8 + 3588*w - 8115*2^(1 - w)*(1 - l + u)*w - 57*2^(7 - 2*w)*(1 - l + u)^2*w + 6879*2^(4 - 3*w)*(1 - l + u)^3*w - 2775*2^(6 - 4*w)*(1 - l + u)^4*w + 3687*2^(5 - 5*w)*(1 - l + u)^5*w - 525*2^(6 - 6*w)*(1 - l + u)^6*w + 3*2^(10 - 7*w)*(1 - l + u)^7*w - 3138*w^2 + 1533*2^(3 - w)*(1 - l + u)*w^2 + 849*2^(2 - 2*w)*(1 - l + u)^2*w^2 - 6441*2^(3 - 3*w)*(1 - l + u)^3*w^2 + 975*2^(6 - 4*w)*(1 - l + u)^4*w^2 - 27*2^(10 - 5*w)*(1 - l + u)^5*w^2 + 63*2^(6 - 6*w)*(1 - l + u)^6*w^2 + 915*w^3 - 1479*2^(1 - w)*(1 - l + u)*w^3 - 189*2^(2 - 2*w)*(1 - l + u)^2*w^3 + 477*2^(4 - 3*w)*(1 - l + u)^3*w^3 - 405*2^(4 - 4*w)*(1 - l + u)^4*w^3 + 27*2^(6 - 5*w)*(1 - l + u)^5*w^3) - 9*2^(7 - 7*w)*(-371 + 665*2^(2 - w)*(1 - l + u) - 165*2^(3 - 2*w)*(1 - l + u)^2 - 1055*2^(3 - 3*w)*(1 - l + u)^3 - 161*2^(4 - 4*w)*(1 - l + u)^4 + 369*2^(7 - 5*w)*(1 - l + u)^5 - 1077*2^(6 - 6*w)*(1 - l + u)^6 + 41*2^(10 - 7*w)*(1 - l + u)^7 - 11*2^(10 - 8*w)*(1 - l + u)^8 + 2^(10 - 9*w)*(1 - l + u)^9 + 1036*w - 3423*2^(1 - w)*(1 - l + u)*w + 31*2^(7 - 2*w)*(1 - l + u)^2*w + 243*2^(6 - 3*w)*(1 - l + u)^3*w - 67*2^(5 - 4*w)*(1 - l + u)^4*w - 691*2^(6 - 5*w)*(1 - l + u)^5*w + 385*2^(7 - 6*w)*(1 - l + u)^6*w - 37*2^(9 - 7*w)*(1 - l + u)^7*w + 9*2^(8 - 8*w)*(1 - l + u)^8*w - 966*w^2 + 1449*2^(2 - w)*(1 - l + u)*w^2 - 117*2^(5 - 2*w)*(1 - l + u)^2*w^2 - 463*2^(4 - 3*w)*(1 - l + u)^3*w^2 - 5*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 225*2^(6 - 5*w)*(1 - l + u)^5*w^2 - 75*2^(7 - 6*w)*(1 - l + u)^6*w^2 + 3*2^(9 - 7*w)*(1 - l + u)^7*w^2 + 301*w^3 - 805*2^(1 - w)*(1 - l + u)*w^3 + 135*2^(3 - 2*w)*(1 - l + u)^2*w^3 + 93*2^(3 - 3*w)*(1 - l + u)^3*w^3 + 3*2^(8 - 4*w)*(1 - l + u)^4*w^3 - 27*2^(6 - 5*w)*(1 - l + u)^5*w^3 + 9*2^(6 - 6*w)*(1 - l + u)^6*w^3) - 2^(3 - 3*w)*(-2009 + 2205*2^(1 - w)*(1 - l + u) + 1323*2^(2 - 2*w)*(1 - l + u)^2 - 357*2^(3 - 3*w)*(1 - l + u)^3 - 693*2^(5 - 4*w)*(1 - l + u)^4 + 189*2^(6 - 5*w)*(1 - l + u)^5 - 45*2^(8 - 6*w)*(1 - l + u)^6 + 477*2^(7 - 7*w)*(1 - l + u)^7 - 243*2^(8 - 8*w)*(1 - l + u)^8 + 35*2^(9 - 9*w)*(1 - l + u)^9 + 5880*w - 6615*2^(1 - w)*(1 - l + u)*w - 1323*2^(3 - 2*w)*(1 - l + u)^2*w + 189*2^(6 - 3*w)*(1 - l + u)^3*w + 819*2^(5 - 4*w)*(1 - l + u)^4*w - 189*2^(6 - 5*w)*(1 - l + u)^5*w + 177*2^(6 - 6*w)*(1 - l + u)^6*w - 315*2^(7 - 7*w)*(1 - l + u)^7*w + 81*2^(8 - 8*w)*(1 - l + u)^8*w - 5733*w^2 + 6615*2^(1 - w)*(1 - l + u)*w^2 + 1323*2^(2 - 2*w)*(1 - l + u)^2*w^2 - 1533*2^(3 - 3*w)*(1 - l + u)^3*w^2 - 63*2^(4 - 4*w)*(1 - l + u)^4*w^2 - 27*2^(8 - 6*w)*(1 - l + u)^6*w^2 + 27*2^(8 - 7*w)*(1 - l + u)^7*w^2 + 1862*w^3 - 2205*2^(1 - w)*(1 - l + u)*w^3 + 189*2^(4 - 3*w)*(1 - l + u)^3*w^3 - 189*2^(4 - 4*w)*(1 - l + u)^4*w^3 + 27*2^(6 - 6*w)*(1 - l + u)^6*w^3) - 2^(9 - 9*w)*(454 - 11727*2^(1 - w)*(1 - l + u) + 1827*2^(5 - 2*w)*(1 - l + u)^2 + 10263*2^(3 - 3*w)*(1 - l + u)^3 - 7011*2^(6 - 4*w)*(1 - l + u)^4 + 9801*2^(6 - 5*w)*(1 - l + u)^5 - 6363*2^(6 - 6*w)*(1 - l + u)^6 + 495*2^(8 - 7*w)*(1 - l + u)^7 - 63*2^(8 - 8*w)*(1 - l + u)^8 + 2^(9 - 9*w)*(1 - l + u)^9 - 1500*w + 3573*2^(4 - w)*(1 - l + u)*w - 4203*2^(5 - 2*w)*(1 - l + u)^2*w - 10035*2^(3 - 3*w)*(1 - l + u)^3*w + 31995*2^(4 - 4*w)*(1 - l + u)^4*w - 17649*2^(5 - 5*w)*(1 - l + u)^5*w + 4017*2^(6 - 6*w)*(1 - l + u)^6*w - 369*2^(7 - 7*w)*(1 - l + u)^7*w + 9*2^(8 - 8*w)*(1 - l + u)^8*w + 1674*w^2 - 5715*2^(3 - w)*(1 - l + u)*w^2 + 11673*2^(3 - 2*w)*(1 - l + u)^2*w^2 + 2847*2^(3 - 3*w)*(1 - l + u)^3*w^2 - 10917*2^(4 - 4*w)*(1 - l + u)^4*w^2 + 2169*2^(6 - 5*w)*(1 - l + u)^5*w^2 - 621*2^(6 - 6*w)*(1 - l + u)^6*w^2 + 27*2^(7 - 7*w)*(1 - l + u)^7*w^2 - 629*w^3 + 6057*2^(1 - w)*(1 - l + u)*w^3 - 2493*2^(3 - 2*w)*(1 - l + u)^2*w^3 - 135*2^(3 - 3*w)*(1 - l + u)^3*w^3 + 459*2^(5 - 4*w)*(1 - l + u)^4*w^3 - 243*2^(5 - 5*w)*(1 - l + u)^5*w^3 + 27*2^(6 - 6*w)*(1 - l + u)^6*w^3) - 3*2^(5 - 5*w)*(1274 - 441*2^(3 - w)*(1 - l + u) - 1071*2^(2 - 2*w)*(1 - l + u)^2 + 1449*2^(3 - 3*w)*(1 - l + u)^3 + 27*2^(8 - 4*w)*(1 - l + u)^4 + 39*2^(7 - 5*w)*(1 - l + u)^5 - 1191*2^(6 - 6*w)*(1 - l + u)^6 + 783*2^(7 - 7*w)*(1 - l + u)^7 - 3*2^(14 - 8*w)*(1 - l + u)^8 + 2^(13 - 9*w)*(1 - l + u)^9 - 3675*w + 4935*2^(1 - w)*(1 - l + u)*w + 861*2^(3 - 2*w)*(1 - l + u)^2*w - 147*2^(7 - 3*w)*(1 - l + u)^3*w - 207*2^(6 - 4*w)*(1 - l + u)^4*w - 9*2^(7 - 5*w)*(1 - l + u)^5*w + 939*2^(6 - 6*w)*(1 - l + u)^6*w - 51*2^(10 - 7*w)*(1 - l + u)^7*w + 3*2^(12 - 8*w)*(1 - l + u)^8*w + 3528*w^2 - 567*2^(4 - w)*(1 - l + u)*w^2 - 273*2^(3 - 2*w)*(1 - l + u)^2*w^2 + 777*2^(3 - 3*w)*(1 - l + u)^3*w^2 + 111*2^(6 - 4*w)*(1 - l + u)^4*w^2 + 213*2^(5 - 5*w)*(1 - l + u)^5*w^2 - 279*2^(6 - 6*w)*(1 - l + u)^6*w^2 + 45*2^(7 - 7*w)*(1 - l + u)^7*w^2 - 1127*w^3 + 1365*2^(1 - w)*(1 - l + u)*w^3 - 105*2^(2 - 2*w)*(1 - l + u)^2*w^3 + 63*2^(4 - 3*w)*(1 - l + u)^3*w^3 - 45*2^(5 - 4*w)*(1 - l + u)^4*w^3 - 81*2^(5 - 5*w)*(1 - l + u)^5*w^3 + 27*2^(6 - 6*w)*(1 - l + u)^6*w^3))