Profiling results ----------------- Total cpu time observed: 154524ms (out of 154508ms) Number of samples taken: 766 (once every 202ms) (Hiding functions with self<1.0% and local<2.0%: 16 of 312 hidden) =========================================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================================================== [1] 154524(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [20] 100.0% ------------------------------------------------------------------------------------------- ??? [216] 100.0% [2] 109626(70.9%) 0(0.0%) approximate9 ...better-rr/src/core/taylor.rkt:11:0 loop [21] 96.1% for-loop [30] 3.2% taylor [192] 0.6% f40 [173] 0.1% ------------------------------------------------------------------------------------------- hash-ref! [228] 100.0% [3] 104296(67.5%) 0(0.0%) ??? .../herbie/better-rr/src/core/taylor.rkt:67:15 hash-ref! [228] 70.9% ??? [216] 29.1% ------------------------------------------------------------------------------------------- hash-ref! [228] 100.0% [4] 80472(52.1%) 0(0.0%) ??? .../herbie/better-rr/src/core/taylor.rkt:44:15 ??? [36] 59.7% hash-ref! [228] 38.7% f40 [173] 1.3% simplify-node [39] 0.2% ------------------------------------------------------------------------------------------- hash-ref! [228] 100.0% [5] 63502(41.1%) 402(0.3%) ??? ...herbie/better-rr/src/core/taylor.rkt:300:23 for-loop [22] 99.8% ------------------------------------------------------------------------------------------- hash-ref! [228] 100.0% [6] 58592(37.9%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:290:26 for-loop [23] 100.0% ------------------------------------------------------------------------------------------- hash-ref! [228] 100.0% [7] 29768(19.3%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:406:23 for-loop [25] 73.7% for-loop [38] 25.6% rle [34] 0.7% ------------------------------------------------------------------------------------------- stx-pair? [170] 3.1% loop [172] 32.6% for-loop [204] 62.8% [8] 13428(8.7%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [26] 100.0% ------------------------------------------------------------------------------------------- hash-ref! [228] 100.0% [9] 11170(7.2%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:509:23 for-loop [27] 100.0% ------------------------------------------------------------------------------------------- for-loop [210] 1.9% hash-ref! [228] 3.9% for-loop [220] 17.0% map [181] 32.2% parse-loop368 [193] 45.1% [10] 10648(6.9%) 152(0.1%) make-multiplication-node .../core/reduce.rkt:231:0 make-multiplication-subnode [28] 98.6% ------------------------------------------------------------------------------------------- for-loop [204] 100.0% [11] 5614(3.6%) 390(0.3%) expand-implicit (unknown source) resolve+shift28 [183] 71.0% datum->syntax6 [163] 10.7% binding-lookup52 [187] 7.8% syntax-rearm [33] 3.6% ------------------------------------------------------------------------------------------- taylor [192] 100.0% [12] 5286(3.4%) 0(0.0%) taylor-quotient ...er-rr/src/core/taylor.rkt:333:0 first-nonzero-exp [29] 66.7% f40 [173] 30.3% compose [255] 3.0% ------------------------------------------------------------------------------------------- taylor [192] 100.0% [13] 2656(1.7%) 0(0.0%) taylor-cbrt ...better-rr/src/core/taylor.rkt:377:0 parse-loop74 [24] 77.6% f61 [241] 22.4% ------------------------------------------------------------------------------------------- taylor [192] 100.0% [14] 2586(1.7%) 0(0.0%) taylor-exp .../better-rr/src/core/taylor.rkt:400:0 f61 [241] 70.0% f40 [173] 22.3% simplify* [197] 7.7% ------------------------------------------------------------------------------------------- for-loop [204] 100.0% [15] 2142(1.4%) 200(0.1%) expand-identifier (unknown source) resolve+shift28 [183] 90.7% ------------------------------------------------------------------------------------------- taylor [192] 100.0% [16] 2008(1.3%) 0(0.0%) taylor-log .../better-rr/src/core/taylor.rkt:502:0 f61 [241] 71.8% f40 [173] 28.2% ------------------------------------------------------------------------------------------- taylor [192] 100.0% [17] 1998(1.3%) 0(0.0%) taylor-invert ...tter-rr/src/core/taylor.rkt:317:0 first-nonzero-exp [29] 80.0% f40 [173] 10.0% parse-loop74 [24] 10.0% ------------------------------------------------------------------------------------------- matcher [244] 100.0% [18] 1718(1.1%) 0(0.0%) ??? ...erbie/better-rr/src/core/matcher.rkt:129:11 for-loop [31] 88.2% for-loop [32] 11.8% ------------------------------------------------------------------------------------------- taylor [192] 100.0% [19] 804(0.5%) 400(0.3%) debug5 ...ies/herbie/better-rr/src/debug.rkt:102:0 ??? [123] 50.2% ------------------------------------------------------------------------------------------- ??? [1] 100.0% [20] 154524(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [35] 100.0% ------------------------------------------------------------------------------------------- approximate9 [2] 100.0% [21] 105338(68.2%) 0(0.0%) loop .../herbie/better-rr/src/core/taylor.rkt:86:4 hash-ref! [228] 99.0% ??? [216] 1.0% ------------------------------------------------------------------------------------------- ??? [5] 100.0% [22] 63502(41.1%) 188(0.1%) for-loop ...e/better-rr/src/core/taylor.rkt:303:27 hash-ref! [228] 98.7% f40 [173] 0.8% simplify-node [39] 0.2% ------------------------------------------------------------------------------------------- ??? [6] 100.0% [23] 58592(37.9%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:290:52 ??? [36] 62.0% hash-ref! [228] 30.1% f40 [173] 4.9% f61 [241] 2.3% simplify-node [39] 0.8% ------------------------------------------------------------------------------------------- parse-loop74 [24] 0.2% taylor-sqrt [206] 0.4% loop [172] 0.4% taylor-invert [17] 0.4% taylor-cbrt [13] 4.4% hash-ref! [228] 26.7% map [181] 67.6% [24] 47330(30.6%) 5416(3.5%) parse-loop74 (unknown source) eval-const-expr [37] 75.8% f61 [241] 12.2% simplify-node [39] 0.4% parse-loop74 [24] 0.2% ------------------------------------------------------------------------------------------- ??? [7] 100.0% [25] 21946(14.2%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:410:33 for-loop [38] 57.2% hash-ref! [228] 42.8% ------------------------------------------------------------------------------------------- gf [174] 3.5% expand-id-application-form17 [176] 17.4% syntax-e [8] 79.1% [26] 16980(11.0%) 198(0.1%) syntax-e/no-taint (unknown source) loop [172] 98.8% ------------------------------------------------------------------------------------------- ??? [9] 100.0% [27] 11170(7.2%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:513:35 parse-loop402 [40] 100.0% ------------------------------------------------------------------------------------------- make-multiplication-node [10] 100.0% [28] 10496(6.8%) 156(0.1%) make-multiplication-subnode ...re/reduce.rkt:241:0 for-loop [41] 66.4% group-by61 [42] 32.1% ------------------------------------------------------------------------------------------- taylor-sqrt [206] 6.5% taylor-invert [17] 29.2% taylor-quotient [12] 64.3% [29] 5480(3.5%) 0(0.0%) first-nonzero-exp ...-rr/src/core/taylor.rkt:265:0 hash-ref! [228] 100.0% ------------------------------------------------------------------------------------------- approximate9 [2] 100.0% [30] 3486(2.3%) 0(0.0%) for-loop ...ie/better-rr/src/core/taylor.rkt:29:18 taylor [192] 100.0% ------------------------------------------------------------------------------------------- ??? [18] 100.0% [31] 1718(1.1%) 0(0.0%) for-loop .../better-rr/src/core/matcher.rkt:131:15 hash-ref! [228] 100.0% ------------------------------------------------------------------------------------------- ??? [18] 100.0% [32] 548(0.4%) 164(0.1%) for-loop ...e/better-rr/src/core/matcher.rkt:101:4 foldl [43] 70.1% ------------------------------------------------------------------------------------------- expand-implicit [11] 100.0% [33] 200(0.1%) 200(0.1%) syntax-rearm (unknown source) ------------------------------------------------------------------------------------------- ??? [7] 100.0% [34] 200(0.1%) 0(0.0%) rle .../herbie/better-rr/src/core/taylor.rkt:396:0 group-by61 [42] 100.0% ------------------------------------------------------------------------------------------- profile-thunk16 [20] 100.0% [35] 154524(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [44] 100.0% ------------------------------------------------------------------------------------------- ??? [4] 35.5% for-loop [23] 64.2% [36] 57106(37.0%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:293:19 hash-ref! [228] 100.0% ------------------------------------------------------------------------------------------- f61 [241] 32.4% parse-loop74 [24] 67.6% [37] 53072(34.3%) 0(0.0%) eval-const-expr ...etter-rr/src/programs.rkt:150:0 temp85_0 [136] 84.6% loop [172] 5.9% eval [138] 4.7% batch-eval-progs [48] 2.6% ------------------------------------------------------------------------------------------- ??? [7] 37.8% for-loop [25] 62.2% [38] 20184(13.1%) 200(0.1%) for-loop ...e/better-rr/src/core/taylor.rkt:412:39 hash-ref! [228] 99.0% ------------------------------------------------------------------------------------------- for-loop [210] 1.0% parse-loop74 [24] 1.1% ??? [4] 1.1% for-loop [22] 1.2% for-loop [220] 2.3% for-loop [23] 5.2% parse-loop368 [193] 8.6% hash-ref! [228] 10.6% map [181] 69.0% [39] 17906(11.6%) 720(0.5%) simplify-node ...etter-rr/src/core/reduce.rkt:45:0 append-map [182] 31.4% gather-additive-terms6 [175] 30.8% gather-multiplicative-terms [198] 19.8% combine-mterms [46] 10.0% combine-aterms [50] 3.4% ------------------------------------------------------------------------------------------- for-loop [27] 100.0% [40] 11170(7.2%) 0(0.0%) parse-loop402 (unknown source) for-loop [45] 100.0% ------------------------------------------------------------------------------------------- make-multiplication-subnode [28] 100.0% [41] 6966(4.5%) 800(0.5%) for-loop ...ie/better-rr/src/core/reduce.rkt:243:3 mterm->expr [57] 51.3% make-multiplication-subsubsubnode [47] 28.9% compose [255] 2.9% map [181] 2.8% partition [53] 2.6% ------------------------------------------------------------------------------------------- rle [34] 5.6% make-multiplication-subnode [28] 94.4% [42] 3574(2.3%) 2744(1.8%) group-by61 ...t-7.5/collects/racket/list.rkt:771:0 hash-update [49] 17.6% for-loop [52] 5.6% ------------------------------------------------------------------------------------------- for-loop [32] 100.0% [43] 384(0.2%) 0(0.0%) foldl ....5/collects/racket/private/list.rkt:229:4 ??? [51] 100.0% ------------------------------------------------------------------------------------------- for-loop [124] 1.0% for-loop [137] 1.6% run [35] 97.3% [44] 154524(100.0%) 1870(1.2%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [54] 82.3% prepare-points-intervals [103] 6.8% oracle-error [56] 3.8% get-final-combination [55] 3.4% ??? [218] 1.5% errors [118] 0.6% for-loop [59] 0.3% ??? [216] 0.2% loop [172] 0.2% for-loop [62] 0.1% baseline-error [63] 0.1% eval-errors [64] 0.1% *bit-width* [69] 0.1% ------------------------------------------------------------------------------------------- parse-loop402 [40] 100.0% [45] 11170(7.2%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:516:59 hash-ref! [228] 100.0% ------------------------------------------------------------------------------------------- simplify-node [39] 100.0% [46] 2604(1.7%) 1208(0.8%) combine-mterms ...ter-rr/src/core/reduce.rkt:192:0 for-loop [58] 53.6% ------------------------------------------------------------------------------------------- make-multiplication-subsubsubnode [47] 10.1% for-loop [41] 89.9% [47] 2010(1.3%) 0(0.0%) make-multiplication-subsubsubnode ...uce.rkt:263:0 mterm->expr [57] 89.9% make-multiplication-subsubsubnode [47] 10.1% ------------------------------------------------------------------------------------------- eval-const-expr [37] 100.0% [48] 1384(0.9%) 200(0.1%) batch-eval-progs ...tter-rr/src/programs.rkt:108:0 compile [60] 56.2% ??? [126] 14.9% inductor [179] 14.5% ------------------------------------------------------------------------------------------- group-by61 [42] 100.0% [49] 630(0.4%) 630(0.4%) hash-update ...acket/private/more-scheme.rkt:358:4 ------------------------------------------------------------------------------------------- simplify-node [39] 100.0% [50] 606(0.4%) 0(0.0%) combine-aterms ...ter-rr/src/core/reduce.rkt:184:0 for-loop [61] 100.0% ------------------------------------------------------------------------------------------- foldl [43] 100.0% [51] 384(0.2%) 0(0.0%) ??? .../herbie/better-rr/src/core/matcher.rkt:25:7 core457 [242] 52.1% return/no-unsupplied [285] 47.9% ------------------------------------------------------------------------------------------- group-by61 [42] 100.0% [52] 200(0.1%) 200(0.1%) for-loop ...ket-7.5/collects/racket/list.rkt:805:4 ------------------------------------------------------------------------------------------- for-loop [41] 100.0% [53] 184(0.1%) 184(0.1%) partition ...et-7.5/collects/racket/list.rkt:555:0 ------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [44] 100.0% [54] 129948(84.1%) 0(0.0%) run-improve47 .../better-rr/src/mainloop.rkt:364:0 for-loop [65] 99.4% prepare-points-intervals [103] 0.4% simplify! [80] 0.3% ------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [44] 100.0% [55] 5950(3.9%) 0(0.0%) get-final-combination ...rr/src/mainloop.rkt:389:0 infer-splitpoints [67] 67.3% f33 [68] 32.7% ------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [44] 100.0% [56] 5804(3.8%) 200(0.1%) oracle-error ...bie/better-rr/src/points.rkt:179:0 for-loop [66] 96.6% ------------------------------------------------------------------------------------------- make-multiplication-subsubsubnode [47] 36.0% for-loop [41] 64.0% [57] 5586(3.6%) 784(0.5%) mterm->expr ...better-rr/src/core/reduce.rkt:271:0 type-of [278] 86.0% ------------------------------------------------------------------------------------------- combine-mterms [46] 100.0% [58] 1396(0.9%) 582(0.4%) for-loop ...ie/better-rr/src/core/reduce.rkt:196:5 hash-ref! [228] 58.3% ------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [44] 100.0% [59] 800(0.5%) 0(0.0%) for-loop .../herbie/better-rr/src/points.rkt:202:6 *bit-width* [69] 100.0% ------------------------------------------------------------------------------------------- batch-eval-progs [48] 100.0% [60] 778(0.5%) 0(0.0%) compile ...herbie/better-rr/src/programs.rkt:200:0 hash-ref! [228] 100.0% ------------------------------------------------------------------------------------------- combine-aterms [50] 100.0% [61] 606(0.4%) 404(0.3%) for-loop ...ie/better-rr/src/core/reduce.rkt:186:4 hash-ref! [228] 33.3% ------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [44] 100.0% [62] 222(0.1%) 0(0.0%) for-loop .../herbie/better-rr/src/sandbox.rkt:69:8 errors-score [70] 100.0% ------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [44] 100.0% [63] 220(0.1%) 0(0.0%) baseline-error ...e/better-rr/src/points.rkt:183:0 loop [107] 100.0% ------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [44] 100.0% [64] 200(0.1%) 0(0.0%) eval-errors ...rbie/better-rr/src/points.rkt:170:0 for-loop [71] 100.0% ------------------------------------------------------------------------------------------- run-improve47 [54] 100.0% [65] 129106(83.6%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:383:4 run-iter! [72] 100.0% ------------------------------------------------------------------------------------------- oracle-error [56] 100.0% [66] 5604(3.6%) 194(0.1%) for-loop .../herbie/better-rr/src/points.rkt:180:2 loop [172] 53.7% map [181] 42.8% ------------------------------------------------------------------------------------------- get-final-combination [55] 100.0% [67] 4002(2.6%) 0(0.0%) infer-splitpoints ...-rr/src/core/regimes.rkt:33:0 for-loop [73] 100.0% ------------------------------------------------------------------------------------------- get-final-combination [55] 100.0% [68] 1948(1.3%) 0(0.0%) f33 (unknown source) sindices->spoints [74] 100.0% ------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [44] 21.3% for-loop [59] 78.7% [69] 1016(0.7%) 814(0.5%) *bit-width* ...herbie/better-rr/src/float.rkt:34:0 return/no-unsupplied [285] 19.9% ------------------------------------------------------------------------------------------- for-loop [62] 100.0% [70] 222(0.1%) 0(0.0%) errors-score ...bie/better-rr/src/points.rkt:187:0 loop [172] 100.0% ------------------------------------------------------------------------------------------- eval-errors [64] 100.0% [71] 200(0.1%) 0(0.0%) for-loop .../herbie/better-rr/src/points.rkt:172:2 ??? [218] 100.0% ------------------------------------------------------------------------------------------- for-loop [65] 100.0% [72] 129106(83.6%) 0(0.0%) run-iter! ...rbie/better-rr/src/mainloop.rkt:345:0 gen-series! [75] 84.9% finalize-iter! [76] 11.0% gen-rewrites! [79] 1.5% simplify! [80] 1.2% choose-best-alt! [81] 0.9% localize! [82] 0.5% ------------------------------------------------------------------------------------------- infer-splitpoints [67] 100.0% [73] 4002(2.6%) 0(0.0%) for-loop ...ie/better-rr/src/core/regimes.rkt:45:6 option-on-expr [77] 100.0% ------------------------------------------------------------------------------------------- f33 [68] 100.0% [74] 1948(1.3%) 0(0.0%) sindices->spoints ...rr/src/core/regimes.rkt:194:0 for-loop [78] 100.0% ------------------------------------------------------------------------------------------- run-iter! [72] 100.0% [75] 109626(70.9%) 0(0.0%) gen-series! ...ie/better-rr/src/mainloop.rkt:159:0 for-loop [83] 100.0% ------------------------------------------------------------------------------------------- run-iter! [72] 100.0% [76] 14238(9.2%) 0(0.0%) finalize-iter! ...better-rr/src/mainloop.rkt:277:0 ??? [123] 100.0% ------------------------------------------------------------------------------------------- for-loop [73] 100.0% [77] 4002(2.6%) 0(0.0%) option-on-expr ...er-rr/src/core/regimes.rkt:124:0 for-loop [84] 63.2% err-lsts->split-indices [87] 31.7% sort-context-on-expr [92] 5.1% ------------------------------------------------------------------------------------------- sindices->spoints [74] 100.0% [78] 1948(1.3%) 0(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:234:9 binary-search-floats [89] 56.4% pred [95] 43.6% ------------------------------------------------------------------------------------------- run-iter! [72] 100.0% [79] 1940(1.3%) 0(0.0%) gen-rewrites! .../better-rr/src/mainloop.rkt:182:0 for-loop [85] 88.6% for-loop [91] 11.4% ------------------------------------------------------------------------------------------- run-improve47 [54] 18.5% run-iter! [72] 81.5% [80] 1830(1.2%) 0(0.0%) simplify! ...rbie/better-rr/src/mainloop.rkt:223:0 ??? [86] 89.5% for-loop [93] 10.5% ------------------------------------------------------------------------------------------- run-iter! [72] 100.0% [81] 1212(0.8%) 0(0.0%) choose-best-alt! ...tter-rr/src/mainloop.rkt:116:0 ...ow-val-first.rkt:486:18 [88] 100.0% ------------------------------------------------------------------------------------------- run-iter! [72] 100.0% [82] 598(0.4%) 0(0.0%) localize! ...rbie/better-rr/src/mainloop.rkt:126:0 localize-error [90] 100.0% ------------------------------------------------------------------------------------------- gen-series! [75] 100.0% [83] 109626(70.9%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:166:7 taylor-alt [94] 100.0% ------------------------------------------------------------------------------------------- option-on-expr [77] 100.0% [84] 2530(1.6%) 0(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:135:4 errors [118] 100.0% ------------------------------------------------------------------------------------------- gen-rewrites! [79] 100.0% [85] 1718(1.1%) 0(0.0%) for-loop ...rbie/better-rr/src/mainloop.rkt:190:11 rewrite-expression-head23 [96] 100.0% ------------------------------------------------------------------------------------------- simplify! [80] 100.0% [86] 1638(1.1%) 0(0.0%) ??? ...herbie/better-rr/src/core/simplify.rkt:42:0 egraph-run [97] 100.0% ------------------------------------------------------------------------------------------- option-on-expr [77] 100.0% [87] 1268(0.8%) 0(0.0%) err-lsts->split-indices .../core/regimes.rkt:263:0 loop [98] 100.0% ------------------------------------------------------------------------------------------- choose-best-alt! [81] 100.0% [88] 1212(0.8%) 0(0.0%) ...ow-val-first.rkt:486:18 (unknown source) ??? [99] 100.0% ------------------------------------------------------------------------------------------- for-loop [78] 100.0% [89] 1098(0.7%) 0(0.0%) binary-search-floats ...src/core/regimes.rkt:176:0 pred [95] 100.0% ------------------------------------------------------------------------------------------- localize! [82] 100.0% [90] 598(0.4%) 0(0.0%) localize-error ...er-rr/src/core/localize.rkt:57:0 hash-ref! [228] 100.0% ------------------------------------------------------------------------------------------- gen-rewrites! [79] 100.0% [91] 222(0.1%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:207:4 for-loop [100] 100.0% ------------------------------------------------------------------------------------------- option-on-expr [77] 100.0% [92] 204(0.1%) 0(0.0%) sort-context-on-expr ...src/core/regimes.rkt:117:0 ??? [101] 100.0% ------------------------------------------------------------------------------------------- simplify! [80] 100.0% [93] 192(0.1%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:228:6 ??? [216] 100.0% ------------------------------------------------------------------------------------------- for-loop [83] 100.0% [94] 109626(70.9%) 0(0.0%) taylor-alt ...bie/better-rr/src/mainloop.rkt:145:0 for-loop [102] 100.0% ------------------------------------------------------------------------------------------- for-loop [78] 43.6% binary-search-floats [89] 56.4% [95] 1948(1.3%) 0(0.0%) pred ...erbie/better-rr/src/core/regimes.rkt:204:4 prepare-points-intervals [103] 78.4% errors [118] 21.6% ------------------------------------------------------------------------------------------- for-loop [85] 100.0% [96] 1718(1.1%) 0(0.0%) rewrite-expression-head23 ...core/matcher.rkt:83:0 rewriter [104] 100.0% ------------------------------------------------------------------------------------------- ??? [86] 100.0% [97] 1638(1.1%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [105] 100.0% ------------------------------------------------------------------------------------------- err-lsts->split-indices [87] 100.0% [98] 1268(0.8%) 0(0.0%) loop ...erbie/better-rr/src/core/regimes.rkt:314:4 for-loop [106] 100.0% ------------------------------------------------------------------------------------------- ...ow-val-first.rkt:486:18 [88] 100.0% [99] 1212(0.8%) 0(0.0%) ??? ...erbie/better-rr/src/core/alt-table.rkt:40:0 loop [107] 83.3% argmin [109] 16.7% ------------------------------------------------------------------------------------------- for-loop [91] 100.0% [100] 222(0.1%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:208:6 ??? [216] 100.0% ------------------------------------------------------------------------------------------- sort-context-on-expr [92] 100.0% [101] 204(0.1%) 0(0.0%) ??? ...-7.5/collects/racket/private/sort.rkt:369:3 generic-sort/key [108] 100.0% ------------------------------------------------------------------------------------------- taylor-alt [94] 100.0% [102] 109626(70.9%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:151:6 ??? [216] 100.0% ------------------------------------------------------------------------------------------- run-improve47 [54] 4.0% pred [95] 12.2% .../more-scheme.rkt:261:28 [44] 83.7% [103] 12474(8.1%) 0(0.0%) prepare-points-intervals ...r/src/points.rkt:122:0 loop [110] 98.3% temp85_0 [136] 1.7% ------------------------------------------------------------------------------------------- rewrite-expression-head23 [96] 30.2% matcher [244] 69.8% [104] 1718(1.1%) 0(0.0%) rewriter ...ie/better-rr/src/core/matcher.rkt:85:2 for-loop [111] 100.0% ------------------------------------------------------------------------------------------- egraph-run [97] 100.0% [105] 1638(1.1%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [113] 75.2% loop [172] 24.8% ------------------------------------------------------------------------------------------- loop [98] 100.0% [106] 1268(0.8%) 0(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:279:4 for-loop [112] 100.0% ------------------------------------------------------------------------------------------- baseline-error [63] 17.9% ??? [99] 82.1% [107] 1230(0.8%) 0(0.0%) loop .../racket-7.5/collects/racket/list.rkt:751:4 ??? [114] 82.1% ??? [115] 17.9% ------------------------------------------------------------------------------------------- ??? [101] 100.0% [108] 204(0.1%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [116] 100.0% ------------------------------------------------------------------------------------------- ??? [99] 100.0% [109] 202(0.1%) 0(0.0%) argmin ...acket-7.5/collects/racket/list.rkt:765:0 ??? [114] 100.0% ------------------------------------------------------------------------------------------- prepare-points-intervals [103] 100.0% [110] 12266(7.9%) 200(0.1%) loop ...lies/herbie/better-rr/src/points.rkt:134:4 loop [117] 71.6% ??? [119] 25.1% do-curry [211] 1.6% ------------------------------------------------------------------------------------------- rewriter [104] 100.0% [111] 1718(1.1%) 0(0.0%) for-loop ...ie/better-rr/src/core/matcher.rkt:87:4 hash-ref! [228] 83.9% for-loop [121] 16.1% ------------------------------------------------------------------------------------------- for-loop [106] 100.0% [112] 1268(0.8%) 1052(0.7%) for-loop ...e/better-rr/src/core/regimes.rkt:283:8 ??? [223] 17.0% ------------------------------------------------------------------------------------------- egraph-add-exprs [105] 100.0% [113] 1232(0.8%) 0(0.0%) ??? ...erbie/better-rr/src/core/simplify.rkt:103:6 for-loop [120] 100.0% ------------------------------------------------------------------------------------------- argmin [109] 16.7% loop [107] 83.3% [114] 1212(0.8%) 0(0.0%) ??? ...es/herbie/better-rr/src/mainloop.rkt:113:10 errors [118] 100.0% ------------------------------------------------------------------------------------------- loop [107] 100.0% [115] 220(0.1%) 0(0.0%) ??? ...lies/herbie/better-rr/src/points.rkt:184:27 loop [172] 100.0% ------------------------------------------------------------------------------------------- generic-sort/key [108] 33.3% copying-mergesort [116] 66.7% [116] 204(0.1%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [116] 66.7% loop [122] 33.3% ------------------------------------------------------------------------------------------- loop [110] 100.0% [117] 8780(5.7%) 418(0.3%) loop ...tlies/herbie/better-rr/src/points.rkt:79:2 ??? [216] 56.7% real->precision [125] 26.7% ??? [126] 9.2% ??? [123] 2.7% ------------------------------------------------------------------------------------------- pred [95] 7.4% ??? [114] 21.4% .../more-scheme.rkt:261:28 [44] 26.5% for-loop [84] 44.7% [118] 5662(3.7%) 0(0.0%) errors ...es/herbie/better-rr/src/points.rkt:192:0 for-loop [124] 56.3% temp85_0 [136] 40.1% loop [172] 3.5% ------------------------------------------------------------------------------------------- loop [110] 100.0% [119] 3084(2.0%) 624(0.4%) ??? ...tlies/herbie/better-rr/src/points.rkt:115:6 loop [172] 40.4% sample-multi-bounded [178] 39.4% ------------------------------------------------------------------------------------------- ??? [113] 100.0% [120] 1232(0.8%) 1232(0.8%) for-loop .../better-rr/src/core/simplify.rkt:121:2 ------------------------------------------------------------------------------------------- for-loop [111] 100.0% [121] 1012(0.7%) 0(0.0%) for-loop ...ie/better-rr/src/core/matcher.rkt:94:8 fix-up-variables [127] 100.0% ------------------------------------------------------------------------------------------- copying-mergesort [116] 100.0% [122] 204(0.1%) 204(0.1%) loop ...7.5/collects/racket/private/sort.rkt:96:12 ------------------------------------------------------------------------------------------- simplify* [197] 1.1% pattern-match [217] 1.2% pattern-substitute [130] 1.2% gather-additive-terms6 [175] 1.2% loop [117] 1.4% debug5 [19] 2.4% free-variables [264] 3.1% variable? [286] 5.7% finalize-iter! [76] 82.9% [123] 17168(11.1%) 2526(1.6%) ??? ...contract/private/arrow-val-first.rkt:486:18 atab-add-altns [128] 73.6% for-loop [129] 9.4% ??? [256] 2.4% ------------------------------------------------------------------------------------------- errors [118] 100.0% [124] 3190(2.1%) 0(0.0%) for-loop .../herbie/better-rr/src/points.rkt:194:2 .../more-scheme.rkt:261:28 [44] 100.0% ------------------------------------------------------------------------------------------- loop [117] 100.0% [125] 2346(1.5%) 216(0.1%) real->precision ...tter-rr/src/programs.rkt:120:11 ??? [216] 90.8% ------------------------------------------------------------------------------------------- batch-eval-progs [48] 20.4% loop [117] 79.6% [126] 1012(0.7%) 402(0.3%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-sub [131] 39.9% ??? [258] 20.4% ------------------------------------------------------------------------------------------- for-loop [121] 100.0% [127] 1012(0.7%) 186(0.1%) fix-up-variables ...-rr/src/core/matcher.rkt:106:2 pattern-substitute [130] 41.3% pattern-match [217] 20.6% for-loop [132] 19.8% ------------------------------------------------------------------------------------------- ??? [123] 100.0% [128] 12630(8.2%) 0(0.0%) atab-add-altns ...-rr/src/core/alt-table.rkt:185:0 batch-errors [133] 100.0% ------------------------------------------------------------------------------------------- ??? [123] 100.0% [129] 1608(1.0%) 0(0.0%) for-loop ...better-rr/src/core/alt-table.rkt:198:4 atab-add-altn [134] 74.5% loop [135] 25.5% ------------------------------------------------------------------------------------------- pattern-substitute [130] 32.5% fix-up-variables [127] 67.5% [130] 418(0.3%) 214(0.1%) pattern-substitute ...rr/src/core/matcher.rkt:45:0 pattern-substitute [130] 32.5% ??? [123] 16.3% ------------------------------------------------------------------------------------------- ??? [126] 100.0% [131] 404(0.3%) 0(0.0%) ival-sub ...ie/better-rr/src/biginterval.rkt:117:0 bfmul [243] 100.0% ------------------------------------------------------------------------------------------- fix-up-variables [127] 100.0% [132] 200(0.1%) 0(0.0%) for-loop ...ie/better-rr/src/core/matcher.rkt:41:9 for-loop [230] 100.0% ------------------------------------------------------------------------------------------- atab-add-altns [128] 100.0% [133] 12630(8.2%) 0(0.0%) batch-errors ...bie/better-rr/src/points.rkt:198:0 temp85_0 [136] 56.6% for-loop [137] 40.2% eval [138] 3.2% ------------------------------------------------------------------------------------------- for-loop [129] 100.0% [134] 1198(0.8%) 0(0.0%) atab-add-altn ...r-rr/src/core/alt-table.rkt:201:0 override-at-pnts [139] 66.6% for-loop [140] 33.4% ------------------------------------------------------------------------------------------- for-loop [129] 100.0% [135] 410(0.3%) 0(0.0%) loop ...bie/better-rr/src/core/alt-table.rkt:159:2 loop [172] 50.2% loop [141] 49.8% ------------------------------------------------------------------------------------------- prepare-points-intervals [103] 0.4% loop [172] 0.4% errors [118] 4.1% batch-errors [133] 13.0% eval-const-expr [37] 82.0% [136] 54784(35.5%) 200(0.1%) temp85_0 (unknown source) compile15 [142] 99.6% ------------------------------------------------------------------------------------------- batch-errors [133] 100.0% [137] 5076(3.3%) 0(0.0%) for-loop .../herbie/better-rr/src/points.rkt:200:2 .../more-scheme.rkt:261:28 [44] 100.0% ------------------------------------------------------------------------------------------- batch-errors [133] 14.1% eval-const-expr [37] 85.9% [138] 2874(1.9%) 0(0.0%) eval (unknown source) namespace-syntax-introduce3 [143] 36.7% datum->syntax6 [163] 35.4% add-ns-scopes [146] 27.9% ------------------------------------------------------------------------------------------- atab-add-altn [134] 100.0% [139] 798(0.5%) 0(0.0%) override-at-pnts ...r/src/core/alt-table.rkt:120:0 for-loop [144] 100.0% ------------------------------------------------------------------------------------------- atab-add-altn [134] 100.0% [140] 400(0.3%) 400(0.3%) for-loop ...better-rr/src/core/alt-table.rkt:101:2 ------------------------------------------------------------------------------------------- loop [135] 100.0% [141] 204(0.1%) 204(0.1%) loop ...-7.5/collects/racket/private/hash.rkt:20:4 ------------------------------------------------------------------------------------------- temp85_0 [136] 100.0% [142] 54584(35.3%) 0(0.0%) compile15 (unknown source) temp91_0 [145] 98.9% loop [172] 1.1% ------------------------------------------------------------------------------------------- eval [138] 100.0% [143] 1056(0.7%) 206(0.1%) namespace-syntax-introduce3 (unknown source) add-ns-scopes [146] 40.3% free-identifier=? [147] 40.2% ------------------------------------------------------------------------------------------- override-at-pnts [139] 100.0% [144] 798(0.5%) 798(0.5%) for-loop ...etter-rr/src/core/alt-table.rkt:121:22 ------------------------------------------------------------------------------------------- compile15 [142] 100.0% [145] 53988(34.9%) 0(0.0%) temp91_0 (unknown source) temp118_0 [148] 89.0% compile-top9 [149] 10.3% loop [172] 0.7% ------------------------------------------------------------------------------------------- namespace-syntax-introduce3 [143] 34.7% eval [138] 65.3% [146] 1228(0.8%) 0(0.0%) add-ns-scopes (unknown source) gf [174] 81.8% add-scopes [150] 18.2% ------------------------------------------------------------------------------------------- namespace-syntax-introduce3 [143] 100.0% [147] 424(0.3%) 0(0.0%) free-identifier=? (unknown source) resolve+shift28 [183] 100.0% ------------------------------------------------------------------------------------------- temp91_0 [145] 100.0% [148] 48060(31.1%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [151] 100.0% ------------------------------------------------------------------------------------------- temp91_0 [145] 100.0% [149] 5552(3.6%) 0(0.0%) compile-top9 (unknown source) compile-forms33 [152] 97.3% extract-namespace-scopes/values [153] 2.7% ------------------------------------------------------------------------------------------- add-ns-scopes [146] 100.0% [150] 224(0.1%) 224(0.1%) add-scopes (unknown source) ------------------------------------------------------------------------------------------- loop [172] 8.2% temp118_0 [148] 91.8% [151] 52354(33.9%) 774(0.5%) expand-capturing-lifts (unknown source) lambda-clause-expander [154] 88.4% dispatch-transformer41 [155] 6.8% loop [172] 1.8% expand-id-application-form17 [176] 1.6% ------------------------------------------------------------------------------------------- compile-top9 [149] 100.0% [152] 5402(3.5%) 588(0.4%) compile-forms33 (unknown source) for-loop [204] 81.7% loop! [156] 3.7% serialize-phase-to-link-module-uses [157] 3.7% ------------------------------------------------------------------------------------------- compile-top9 [149] 100.0% [153] 150(0.1%) 150(0.1%) extract-namespace-scopes/values (unknown source) ------------------------------------------------------------------------------------------- expand-capturing-lifts [151] 100.0% [154] 46256(29.9%) 200(0.1%) lambda-clause-expander (unknown source) finish-bodys [158] 96.1% loop [172] 3.5% ------------------------------------------------------------------------------------------- loop [172] 7.1% expand-capturing-lifts [151] 25.1% for-loop [204] 67.8% [155] 14264(9.2%) 200(0.1%) dispatch-transformer41 (unknown source) apply-transformer52 [159] 98.6% ------------------------------------------------------------------------------------------- compile-forms33 [152] 100.0% [156] 202(0.1%) 0(0.0%) loop! (unknown source) for-loop [204] 100.0% ------------------------------------------------------------------------------------------- compile-forms33 [152] 100.0% [157] 198(0.1%) 0(0.0%) serialize-phase-to-link-module-uses ...own source) for-loop [204] 100.0% ------------------------------------------------------------------------------------------- lambda-clause-expander [154] 29.9% for-loop [204] 70.1% [158] 44454(28.8%) 200(0.1%) finish-bodys (unknown source) for-loop [204] 99.9% ------------------------------------------------------------------------------------------- dispatch-transformer41 [155] 100.0% [159] 14064(9.1%) 1780(1.2%) apply-transformer52 (unknown source) apply-transformer-in-context [160] 52.2% loop [172] 28.3% apply-post-expansion [161] 6.8% ------------------------------------------------------------------------------------------- apply-transformer52 [159] 100.0% [160] 7342(4.8%) 1714(1.1%) apply-transformer-in-context (unknown source) ??? [162] 33.6% go [164] 21.3% parse-app [165] 13.6% datum->syntax6 [163] 5.4% new-lambda [166] 2.8% ------------------------------------------------------------------------------------------- apply-transformer52 [159] 100.0% [161] 962(0.6%) 0(0.0%) apply-post-expansion (unknown source) gf [174] 100.0% ------------------------------------------------------------------------------------------- apply-transformer-in-context [160] 100.0% [162] 2464(1.6%) 220(0.1%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [167] 74.7% syntax->list [169] 16.4% ------------------------------------------------------------------------------------------- for-loop [204] 14.9% apply-transformer-in-context [160] 16.9% expand-implicit [11] 25.3% eval [138] 42.9% [163] 2368(1.5%) 552(0.4%) datum->syntax6 (unknown source) loop [172] 76.7% ------------------------------------------------------------------------------------------- apply-transformer-in-context [160] 100.0% [164] 1562(1.0%) 576(0.4%) go .../collects/racket/private/qq-and-or.rkt:50:20 loop [168] 52.5% syntax->list [169] 10.6% ------------------------------------------------------------------------------------------- apply-transformer-in-context [160] 100.0% [165] 996(0.6%) 596(0.4%) parse-app ...collects/racket/private/kw.rkt:1142:2 syntax->list [169] 40.2% ------------------------------------------------------------------------------------------- apply-transformer-in-context [160] 100.0% [166] 206(0.1%) 206(0.1%) new-lambda ...ollects/racket/private/kw.rkt:856:11 ------------------------------------------------------------------------------------------- ??? [162] 100.0% [167] 1840(1.2%) 204(0.1%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 syntax->list [169] 88.9% ------------------------------------------------------------------------------------------- loop [168] 46.7% go [164] 53.3% [168] 820(0.5%) 200(0.1%) loop ...llects/racket/private/qq-and-or.rkt:101:61 loop [168] 46.7% stx-pair? [170] 38.8% stx-cdr [171] 12.3% ------------------------------------------------------------------------------------------- go [164] 6.4% parse-app [165] 15.3% ??? [162] 15.5% ??? [167] 62.8% [169] 2606(1.7%) 0(0.0%) syntax->list (unknown source) loop [172] 100.0% ------------------------------------------------------------------------------------------- loop [168] 100.0% [170] 418(0.3%) 0(0.0%) stx-pair? .../collects/racket/private/stx.rkt:40:4 syntax-e [8] 100.0% ------------------------------------------------------------------------------------------- loop [168] 100.0% [171] 202(0.1%) 202(0.1%) stx-cdr ....5/collects/racket/private/stx.rkt:74:4 ------------------------------------------------------------------------------------------- errors-score [70] 0.0% ??? [115] 0.0% loop [135] 0.0% egraph-add-exprs [105] 0.0% errors [118] 0.1% .../more-scheme.rkt:261:28 [44] 0.2% inductor [179] 0.5% temp91_0 [145] 0.7% parse-loop368 [193] 1.1% expand-capturing-lifts [151] 1.2% compile15 [142] 1.3% datum->syntax6 [163] 1.8% for-loop [66] 2.4% gf [174] 2.5% parse-loop49 [196] 2.7% ??? [119] 3.1% syntax->list [169] 3.4% lambda-clause-expander [154] 3.6% eval-const-expr [37] 4.6% apply-transformer52 [159] 6.6% for-loop [204] 15.1% loop [172] 16.0% syntax-e/no-taint [26] 32.9% [172] 37156(24.0%) 7396(4.8%) loop (unknown source) gf [174] 33.4% loop [172] 16.0% expand-id-application-form17 [176] 13.3% expand-capturing-lifts [151] 6.7% syntax-e [8] 5.5% core-form-sym [177] 5.3% f40 [173] 2.5% ??? [208] 2.2% dispatch-transformer41 [155] 2.0% sample-multi-bounded [178] 1.4% gather-additive-terms6 [175] 1.1% inductor [179] 0.5% parse-loop74 [24] 0.2% temp85_0 [136] 0.2% ??? [218] 0.1% ??? [223] 0.1% egg-parsed->expr [180] 0.0% ------------------------------------------------------------------------------------------- approximate9 [2] 0.1% loop [199] 0.2% ??? [4] 0.2% taylor-invert [17] 0.3% taylor-sqrt [206] 0.3% taylor-exp [14] 0.3% for-loop [22] 0.5% loop [172] 0.5% taylor-log [16] 0.6% taylor-quotient [12] 1.5% parse-loop49 [196] 1.7% for-loop [23] 2.4% hash-ref! [228] 40.0% map [181] 51.5% [173] 78010(50.5%) 0(0.0%) f40 (unknown source) map [181] 100.0% ------------------------------------------------------------------------------------------- apply-post-expansion [161] 1.1% add-ns-scopes [146] 1.8% loop [172] 97.1% [174] 16998(11.0%) 4216(2.7%) gf (unknown source) propagation-apply [184] 35.8% propagation-merge [185] 16.1% loop [172] 8.7% propagation-apply-shifted [188] 8.1% cache-or-reuse-set [189] 4.9% cache-or-reuse-hash [190] 3.5% syntax-e/no-taint [26] 0.9% ------------------------------------------------------------------------------------------- loop [172] 2.0% parse-loop368 [193] 3.0% gather-additive-terms6 [175] 15.0% simplify-node [39] 24.2% append-map [182] 55.8% [175] 11072(7.2%) 166(0.1%) gather-additive-terms6 ...src/core/reduce.rkt:67:0 append-map [182] 65.7% gather-additive-terms6 [175] 15.0% parse-loop368 [193] 14.4% constant? [279] 3.8% ??? [123] 0.1% ------------------------------------------------------------------------------------------- expand-capturing-lifts [151] 9.7% for-loop [204] 15.3% loop [172] 75.0% [176] 8472(5.5%) 812(0.5%) expand-id-application-form17 (unknown source) resolve+shift28 [183] 44.0% syntax-e/no-taint [26] 34.8% binding-lookup52 [187] 11.6% ------------------------------------------------------------------------------------------- loop [172] 100.0% [177] 2390(1.5%) 360(0.2%) core-form-sym (unknown source) resolve+shift28 [183] 84.9% ------------------------------------------------------------------------------------------- loop [172] 33.1% ??? [119] 66.9% [178] 1816(1.2%) 206(0.1%) sample-multi-bounded ...ter-rr/src/points.rkt:14:0 random-ranges [186] 88.7% ------------------------------------------------------------------------------------------- batch-eval-progs [48] 25.0% loop [172] 75.0% [179] 200(0.1%) 0(0.0%) inductor ...erbie/better-rr/src/programs.rkt:129:4 loop [172] 75.0% value? [291] 25.0% ------------------------------------------------------------------------------------------- loop [172] 20.0% for-loop [191] 80.0% [180] 192(0.1%) 0(0.0%) egg-parsed->expr ...egg-herbie-linux/main.rkt:59:0 for-loop [191] 80.0% list-member? [212] 20.0% ------------------------------------------------------------------------------------------- for-loop [41] 0.1% parse-loop15 [247] 0.6% parse-loop49 [196] 0.9% gather-multiplicative-terms [198] 1.2% f61 [241] 1.4% for-loop [66] 2.6% taylor [192] 14.5% f40 [173] 78.6% [181] 92912(60.1%) 970(0.6%) map ...t-7.5/collects/racket/private/map.rkt:35:13 f40 [173] 41.2% parse-loop74 [24] 18.8% taylor [192] 14.5% f61 [241] 7.5% simplify-node [39] 3.8% ??? [194] 3.7% parse-loop49 [196] 3.0% loop [199] 2.4% simplify* [197] 1.5% gather-multiplicative-terms [198] 1.4% make-multiplication-node [10] 1.2% hash-ref! [228] 0.5% ??? [208] 0.4% loop [203] 0.0% ------------------------------------------------------------------------------------------- parse-loop368 [193] 0.3% free-variables [264] 23.2% simplify-node [39] 24.7% gather-additive-terms6 [175] 51.8% [182] 16250(10.5%) 806(0.5%) append-map ...t-7.5/collects/racket/list.rkt:586:2 gather-additive-terms6 [175] 39.8% parse-loop368 [193] 37.1% free-variables [264] 22.0% ------------------------------------------------------------------------------------------- free-identifier=? [147] 3.5% expand-identifier [15] 16.0% core-form-sym [177] 16.8% expand-id-application-form17 [176] 30.8% expand-implicit [11] 32.9% [183] 12112(7.8%) 2664(1.7%) resolve+shift28 (unknown source) fallback-loop [195] 76.4% ------------------------------------------------------------------------------------------- gf [174] 100.0% [184] 6078(3.9%) 6078(3.9%) propagation-apply (unknown source) ------------------------------------------------------------------------------------------- gf [174] 100.0% [185] 2734(1.8%) 2734(1.8%) propagation-merge (unknown source) ------------------------------------------------------------------------------------------- sample-multi-bounded [178] 100.0% [186] 1610(1.0%) 400(0.3%) random-ranges ...ie/better-rr/src/common.rkt:164:0 cons/c [200] 37.8% build--> [201] 37.4% ------------------------------------------------------------------------------------------- expand-implicit [11] 30.9% expand-id-application-form17 [176] 69.1% [187] 1418(0.9%) 1196(0.8%) binding-lookup52 (unknown source) binding->module-instance [202] 15.7% ------------------------------------------------------------------------------------------- gf [174] 100.0% [188] 1384(0.9%) 1384(0.9%) propagation-apply-shifted (unknown source) ------------------------------------------------------------------------------------------- gf [174] 100.0% [189] 826(0.5%) 826(0.5%) cache-or-reuse-set (unknown source) ------------------------------------------------------------------------------------------- gf [174] 100.0% [190] 598(0.4%) 180(0.1%) cache-or-reuse-hash (unknown source) for-loop [204] 69.9% ------------------------------------------------------------------------------------------- egg-parsed->expr [180] 100.0% [191] 192(0.1%) 0(0.0%) for-loop ....5/pkgs/egg-herbie-linux/main.rkt:64:6 egg-parsed->expr [180] 100.0% ------------------------------------------------------------------------------------------- approximate9 [2] 1.7% for-loop [30] 9.0% hash-ref! [228] 16.3% map [181] 18.6% taylor [192] 54.4% [192] 28770(18.6%) 970(0.6%) taylor ...rbie/better-rr/src/core/taylor.rkt:169:0 taylor [192] 54.4% map [181] 18.6% taylor-sqrt [206] 11.4% taylor-quotient [12] 4.9% taylor-cbrt [13] 3.0% taylor-exp [14] 2.8% taylor-invert [17] 1.4% taylor-log [16] 0.8% debug-print [209] 0.5% debug5 [19] 0.1% list-member? [212] 0.0% ------------------------------------------------------------------------------------------- parse-loop389 [207] 6.5% gather-additive-terms6 [175] 10.8% parse-loop368 [193] 40.3% append-map [182] 42.4% [193] 13260(8.6%) 624(0.4%) parse-loop368 (unknown source) parse-loop368 [193] 40.3% make-multiplication-node [10] 18.9% parse-loop389 [207] 15.2% simplify-node [39] 13.7% for-loop [210] 3.3% gather-additive-terms6 [175] 2.2% foldr [213] 1.6% loop [172] 1.0% append-map [182] 0.7% cp-2 [224] 0.4% ------------------------------------------------------------------------------------------- map [181] 100.0% [194] 10828(7.0%) 574(0.4%) ??? ...s/herbie/better-rr/src/core/reduce.rkt:56:5 for-loop [205] 94.7% ------------------------------------------------------------------------------------------- resolve+shift28 [183] 100.0% [195] 9248(6.0%) 1162(0.8%) fallback-loop (unknown source) for-loop [204] 87.4% ------------------------------------------------------------------------------------------- map [181] 100.0% [196] 8542(5.5%) 0(0.0%) parse-loop49 (unknown source) f40 [173] 45.4% map [181] 38.3% loop [172] 16.3% ------------------------------------------------------------------------------------------- taylor-exp [14] 3.8% hash-ref! [228] 7.9% map [181] 88.3% [197] 5220(3.4%) 2478(1.6%) simplify* ...ie/better-rr/src/core/reduce.rkt:28:0 hash-ref! [228] 37.3% return/no-unsupplied [285] 11.8% ??? [123] 3.5% ------------------------------------------------------------------------------------------- gather-multiplicative-terms [198] 9.4% map [181] 33.9% simplify-node [39] 56.7% [198] 4962(3.2%) 4562(3.0%) gather-multiplicative-terms ...re/reduce.rkt:109:0 map [181] 29.9% gather-multiplicative-terms [198] 9.4% do-curry [211] 4.0% compose [255] 2.0% ------------------------------------------------------------------------------------------- map [181] 49.9% loop [199] 50.1% [199] 2622(1.7%) 0(0.0%) loop ...-7.5/collects/racket/private/map.rkt:40:19 loop [199] 50.1% ??? [208] 33.6% f40 [173] 16.1% ??? [214] 0.2% ------------------------------------------------------------------------------------------- random-ranges [186] 100.0% [200] 608(0.4%) 206(0.1%) cons/c .../racket/contract/private/guts.rkt:500:15 coerce-contract [265] 66.1% ------------------------------------------------------------------------------------------- random-ranges [186] 100.0% [201] 602(0.4%) 200(0.1%) build--> ...act/private/arrow-val-first.rkt:1214:0 coerce-contract [265] 66.8% ------------------------------------------------------------------------------------------- binding-lookup52 [187] 100.0% [202] 222(0.1%) 222(0.1%) binding->module-instance (unknown source) ------------------------------------------------------------------------------------------- map [181] 4.2% loop [203] 95.8% [203] 198(0.1%) 0(0.0%) loop ...-7.5/collects/racket/private/map.rkt:54:19 loop [203] 95.8% ??? [215] 4.2% ------------------------------------------------------------------------------------------- serialize-phase-to-link-module-uses [157] 0.4% loop! [156] 0.4% cache-or-reuse-hash [190] 0.5% fallback-loop [195] 4.1% compile-forms33 [152] 8.6% for-loop [204] 27.7% finish-bodys [158] 57.2% [204] 51248(33.2%) 16166(10.5%) for-loop (unknown source) finish-bodys [158] 41.8% for-loop [204] 27.7% compile-module-linklet57 [219] 7.1% dispatch-transformer41 [155] 4.7% loop [172] 2.9% expand-implicit [11] 2.2% syntax-e [8] 1.5% expand-id-application-form17 [176] 0.5% dispatch-variable [222] 0.4% add-local-binding!39 [221] 0.4% expand-identifier [15] 0.3% datum->syntax6 [163] 0.2% ------------------------------------------------------------------------------------------- ??? [194] 100.0% [205] 10254(6.6%) 778(0.5%) for-loop ...bie/better-rr/src/core/reduce.rkt:57:7 pattern-match [217] 92.4% ------------------------------------------------------------------------------------------- taylor [192] 100.0% [206] 8296(5.4%) 0(0.0%) taylor-sqrt ...better-rr/src/core/taylor.rkt:351:0 hash-ref! [228] 84.5% f40 [173] 6.9% first-nonzero-exp [29] 4.3% f61 [241] 2.4% parse-loop74 [24] 2.0% ------------------------------------------------------------------------------------------- parse-loop368 [193] 100.0% [207] 5434(3.5%) 0(0.0%) parse-loop389 (unknown source) parse-loop368 [193] 51.9% for-loop [220] 48.1% ------------------------------------------------------------------------------------------- map [181] 8.0% loop [199] 39.9% loop [172] 52.1% [208] 5012(3.2%) 1804(1.2%) ??? ...lies/herbie/better-rr/src/points.rkt:181:26 ??? [218] 51.9% ??? [216] 8.0% ??? [223] 4.1% ------------------------------------------------------------------------------------------- taylor [192] 100.0% [209] 602(0.4%) 0(0.0%) debug-print ...erbie/better-rr/src/debug.rkt:110:0 ??? [225] 66.4% for-loop [226] 33.6% ------------------------------------------------------------------------------------------- parse-loop368 [193] 100.0% [210] 574(0.4%) 0(0.0%) for-loop ...ie/better-rr/src/core/reduce.rkt:84:11 simplify-node [39] 65.2% make-multiplication-node [10] 34.8% ------------------------------------------------------------------------------------------- gather-multiplicative-terms [198] 49.8% loop [110] 50.2% [211] 402(0.3%) 402(0.3%) do-curry ...-7.5/collects/racket/function.rkt:71:2 ------------------------------------------------------------------------------------------- egg-parsed->expr [180] 48.5% taylor [192] 51.5% [212] 396(0.3%) 396(0.3%) list-member? ...llects/racket/private/set.rkt:24:0 ------------------------------------------------------------------------------------------- parse-loop368 [193] 100.0% [213] 206(0.1%) 0(0.0%) foldr ....5/collects/racket/private/list.rkt:242:4 cp-2 [224] 100.0% ------------------------------------------------------------------------------------------- loop [199] 100.0% [214] 200(0.1%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsqrt [227] 100.0% ------------------------------------------------------------------------------------------- loop [203] 100.0% [215] 198(0.1%) 198(0.1%) ??? ...erbie/better-rr/src/core/localize.rkt:49:36 ------------------------------------------------------------------------------------------- for-loop [93] 0.2% for-loop [100] 0.2% loop [21] 0.3% ??? [208] 0.3% .../more-scheme.rkt:261:28 [44] 0.6% real->precision [125] 1.8% loop [117] 4.2% ??? [3] 29.4% location-do [229] 31.5% for-loop [102] 31.5% [216] 118430(76.6%) 3432(2.2%) ??? ...tract/private/arrow-higher-order.rkt:375:33 location-do [229] 31.6% approximate9 [2] 31.5% hash-ref! [228] 29.6% ival-mult [231] 1.3% ival-div [232] 1.2% bf [234] 0.9% ival-pow-neg [235] 0.6% ival-pow-pos [236] 0.5% ------------------------------------------------------------------------------------------- fix-up-variables [127] 2.1% pattern-match [217] 4.2% for-loop [205] 93.7% [217] 9684(6.3%) 602(0.4%) pattern-match ...tter-rr/src/core/matcher.rkt:29:0 for-loop [230] 68.9% constant? [279] 20.7% pattern-match [217] 4.2% ??? [123] 1.0% ------------------------------------------------------------------------------------------- loop [172] 2.6% for-loop [71] 2.7% ??? [208] 34.7% .../more-scheme.rkt:261:28 [44] 60.0% [218] 7496(4.9%) 5472(3.5%) ??? ...rbie/better-rr/src/syntax/syntax.rkt:214:17 return/no-unsupplied [285] 24.3% ??? [239] 2.7% ------------------------------------------------------------------------------------------- for-loop [204] 100.0% [219] 3654(2.4%) 3654(2.4%) compile-module-linklet57 (unknown source) ------------------------------------------------------------------------------------------- parse-loop389 [207] 100.0% [220] 2616(1.7%) 0(0.0%) for-loop ...ie/better-rr/src/core/reduce.rkt:94:13 make-multiplication-node [10] 69.1% simplify-node [39] 30.9% ------------------------------------------------------------------------------------------- for-loop [204] 100.0% [221] 1612(1.0%) 1390(0.9%) add-local-binding!39 (unknown source) binding-table-add [237] 13.8% ------------------------------------------------------------------------------------------- for-loop [204] 100.0% [222] 1248(0.8%) 222(0.1%) dispatch-variable (unknown source) substitute-variable6 [233] 82.2% ------------------------------------------------------------------------------------------- loop [172] 32.2% ??? [208] 33.1% for-loop [112] 34.7% [223] 622(0.4%) 622(0.4%) ??? ...cket-7.5/collects/racket/function.rkt:93:12 ------------------------------------------------------------------------------------------- parse-loop368 [193] 49.3% foldr [213] 50.7% [224] 406(0.3%) 200(0.1%) cp-2 .../racket-7.5/collects/racket/list.rkt:826:2 for-loop [238] 50.7% ------------------------------------------------------------------------------------------- debug-print [209] 100.0% [225] 400(0.3%) 200(0.1%) ??? .../contract/private/arrow-val-first.rkt:555:3 mk-call [240] 50.0% ------------------------------------------------------------------------------------------- debug-print [209] 100.0% [226] 202(0.1%) 202(0.1%) for-loop ...s/herbie/better-rr/src/debug.rkt:116:2 ------------------------------------------------------------------------------------------- ??? [214] 100.0% [227] 200(0.1%) 200(0.1%) bfsqrt ...lib/math/private/bigfloat/mpfr.rkt:632:4 ------------------------------------------------------------------------------------------- for-loop [61] 0.0% compile [60] 0.0% localize-error [90] 0.2% simplify* [197] 0.2% for-loop [58] 0.3% map [181] 0.4% for-loop [45] 0.7% for-loop [31] 0.7% taylor-sqrt [206] 0.8% for-loop [25] 0.8% for-loop [111] 0.8% first-nonzero-exp [29] 1.2% for-loop [38] 1.7% for-loop [23] 2.8% ??? [4] 3.5% loop [21] 11.1% ??? [216] 11.5% for-loop [22] 13.1% ??? [36] 17.0% ??? [3] 29.7% [228] 110006(71.2%) 4092(2.6%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [3] 40.8% ??? [6] 16.9% ??? [5] 13.5% ??? [4] 7.6% f40 [173] 7.2% taylor [192] 3.7% ??? [7] 2.5% matcher [244] 1.5% parse-loop74 [24] 1.1% ??? [9] 0.7% parse-loop15 [247] 0.5% simplify-node [39] 0.3% f61 [241] 0.1% make-multiplication-node [10] 0.0% simplify [249] 0.0% simplify* [197] 0.0% ------------------------------------------------------------------------------------------- location-do [229] 49.7% ??? [216] 50.3% [229] 109818(71.1%) 192(0.1%) location-do ...bie/better-rr/src/programs.rkt:86:0 ??? [216] 50.1% location-do [229] 49.7% ------------------------------------------------------------------------------------------- for-loop [132] 2.8% pattern-match [217] 97.2% [230] 7080(4.6%) 1120(0.7%) for-loop ...ie/better-rr/src/core/matcher.rkt:26:9 core457 [242] 68.7% fallback-update [245] 12.7% return/no-unsupplied [285] 2.8% ------------------------------------------------------------------------------------------- ??? [216] 100.0% [231] 1496(1.0%) 424(0.3%) ival-mult ...e/better-rr/src/biginterval.rkt:129:0 bfmul [243] 71.7% ------------------------------------------------------------------------------------------- ??? [216] 100.0% [232] 1404(0.9%) 1004(0.6%) ival-div ...ie/better-rr/src/biginterval.rkt:149:0 bfmul [243] 28.5% ------------------------------------------------------------------------------------------- dispatch-variable [222] 100.0% [233] 1026(0.7%) 1026(0.7%) substitute-variable6 (unknown source) ------------------------------------------------------------------------------------------- ??? [216] 100.0% [234] 1024(0.7%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [253] 80.5% ??? [252] 19.5% ------------------------------------------------------------------------------------------- ??? [216] 100.0% [235] 654(0.4%) 0(0.0%) ival-pow-neg ...etter-rr/src/biginterval.rkt:245:0 bfodd? [246] 100.0% ------------------------------------------------------------------------------------------- ??? [216] 100.0% [236] 602(0.4%) 402(0.3%) ival-pow-pos ...etter-rr/src/biginterval.rkt:224:0 bfmul [243] 33.2% ------------------------------------------------------------------------------------------- add-local-binding!39 [221] 100.0% [237] 222(0.1%) 222(0.1%) binding-table-add (unknown source) ------------------------------------------------------------------------------------------- cp-2 [224] 100.0% [238] 206(0.1%) 206(0.1%) for-loop ...ket-7.5/collects/racket/list.rkt:827:4 ------------------------------------------------------------------------------------------- ??? [218] 100.0% [239] 200(0.1%) 200(0.1%) ??? ...ects/racket/contract/private/prop.rkt:301:4 ------------------------------------------------------------------------------------------- ??? [225] 100.0% [240] 200(0.1%) 0(0.0%) mk-call ...tract/private/arrow-val-first.rkt:558:5 loop [248] 100.0% ------------------------------------------------------------------------------------------- taylor-sqrt [206] 0.8% taylor-cbrt [13] 2.4% taylor-exp [14] 3.5% hash-ref! [228] 5.6% taylor-log [16] 5.7% for-loop [23] 7.0% parse-loop74 [24] 18.4% map [181] 56.6% [241] 25118(16.3%) 3144(2.0%) f61 (unknown source) eval-const-expr [37] 64.4% composed [250] 18.2% map [181] 5.0% compose [255] 0.7% ------------------------------------------------------------------------------------------- ??? [51] 4.0% for-loop [230] 96.0% [242] 5062(3.3%) 1160(0.8%) core457 ...acket/contract/private/arr-i.rkt:976:19 un-dep/maybe-chaperone [251] 38.6% successfully-got-the-right-kind-of-function [254] 15.8% build-unary-very-simple--> [257] 8.1% arrow-higher-order:lnp [259] 6.7% ??? [256] 4.1% or/c [261] 4.0% ------------------------------------------------------------------------------------------- ival-pow-pos [236] 9.6% ival-div [232] 19.3% ival-sub [131] 19.5% ival-mult [231] 51.6% [243] 2076(1.3%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:835:4 ??? [252] 61.5% new-mpfr [253] 38.5% ------------------------------------------------------------------------------------------- hash-ref! [228] 100.0% [244] 1718(1.1%) 0(0.0%) matcher ...ie/better-rr/src/core/matcher.rkt:117:2 ??? [18] 53.7% rewriter [104] 46.3% ------------------------------------------------------------------------------------------- for-loop [230] 100.0% [245] 898(0.6%) 738(0.5%) fallback-update ...s/racket/private/dict.rkt:115:2 dict-implements? [263] 17.8% ------------------------------------------------------------------------------------------- ival-pow-neg [235] 100.0% [246] 654(0.4%) 448(0.3%) bfodd? ...lib/math/private/bigfloat/mpfr.rkt:817:0 ??? [252] 31.5% ------------------------------------------------------------------------------------------- hash-ref! [228] 100.0% [247] 598(0.4%) 0(0.0%) parse-loop15 (unknown source) map [181] 91.6% for-loop [260] 8.4% ------------------------------------------------------------------------------------------- mk-call [240] 100.0% [248] 200(0.1%) 0(0.0%) loop ...contract/private/arrow-val-first.rkt:562:8 ??? [258] 100.0% ------------------------------------------------------------------------------------------- hash-ref! [228] 100.0% [249] 200(0.1%) 0(0.0%) simplify ...bie/better-rr/src/core/reduce.rkt:15:0 f16 [262] 100.0% ------------------------------------------------------------------------------------------- f61 [241] 100.0% [250] 4578(3.0%) 200(0.1%) composed ...ollects/racket/private/list.rkt:321:16 free-variables [264] 95.6% ------------------------------------------------------------------------------------------- core457 [242] 100.0% [251] 1952(1.3%) 200(0.1%) un-dep/maybe-chaperone ...private/arr-i.rkt:1137:2 ??? [280] 39.3% ??? [267] 28.4% get/build-late-neg-projection [268] 22.0% ------------------------------------------------------------------------------------------- bf [234] 11.9% bfodd? [246] 12.2% bfmul [243] 75.9% [252] 1682(1.1%) 1682(1.1%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ------------------------------------------------------------------------------------------- bfmul [243] 49.3% bf [234] 50.7% [253] 1624(1.1%) 1624(1.1%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ------------------------------------------------------------------------------------------- core457 [242] 100.0% [254] 798(0.5%) 200(0.1%) successfully-got-the-right-kind-of-function ...5:4 val-has-arrow-collapsible-support? [266] 74.9% ------------------------------------------------------------------------------------------- taylor-quotient [12] 21.3% f61 [241] 24.3% gather-multiplicative-terms [198] 27.2% for-loop [41] 27.2% [255] 734(0.5%) 734(0.5%) compose ...collects/racket/private/list.rkt:385:12 ------------------------------------------------------------------------------------------- core457 [242] 33.8% ??? [123] 66.2% [256] 610(0.4%) 204(0.1%) ??? ...ects/racket/contract/private/guts.rkt:770:8 ??? [270] 33.8% dict? [273] 32.8% ------------------------------------------------------------------------------------------- core457 [242] 100.0% [257] 408(0.3%) 0(0.0%) build-unary-very-simple--> ...val-first.rkt:1150:0 coerce-contract [265] 50.5% flat-contract? [272] 49.5% ------------------------------------------------------------------------------------------- loop [248] 49.3% ??? [126] 50.7% [258] 406(0.3%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [271] 50.7% ??? [276] 49.3% ------------------------------------------------------------------------------------------- core457 [242] 100.0% [259] 338(0.2%) 0(0.0%) arrow-higher-order:lnp ...w-higher-order.rkt:673:7 ??? [269] 100.0% ------------------------------------------------------------------------------------------- parse-loop15 [247] 100.0% [260] 200(0.1%) 0(0.0%) for-loop .../better-rr/src/core/localize.rkt:44:21 for-loop [274] 100.0% ------------------------------------------------------------------------------------------- core457 [242] 100.0% [261] 200(0.1%) 0(0.0%) or/c ...lects/racket/contract/private/orc.rkt:16:2 build-compound-type-name [275] 100.0% ------------------------------------------------------------------------------------------- f16 [262] 50.0% simplify [249] 50.0% [262] 200(0.1%) 0(0.0%) f16 (unknown source) f16 [262] 50.0% loop [277] 50.0% ------------------------------------------------------------------------------------------- fallback-update [245] 100.0% [263] 160(0.1%) 160(0.1%) dict-implements? ...ket/private/generic.rkt:152:11 ------------------------------------------------------------------------------------------- composed [250] 31.5% append-map [182] 68.5% [264] 4378(2.8%) 372(0.2%) free-variables .../better-rr/src/programs.rkt:79:0 append-map [182] 72.9% constant? [279] 18.0% variable? [286] 5.0% ??? [123] 3.3% ------------------------------------------------------------------------------------------- build-unary-very-simple--> [257] 20.4% build--> [201] 39.8% cons/c [200] 39.8% [265] 1010(0.7%) 206(0.1%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [281] 79.6% ------------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [254]100.0% [266] 598(0.4%) 598(0.4%) val-has-arrow-collapsible-support? ...le.rkt:116:0 ------------------------------------------------------------------------------------------- un-dep/maybe-chaperone [251] 100.0% [267] 554(0.4%) 0(0.0%) ??? ...llects/racket/contract/private/orc.rkt:88:2 ??? [280] 100.0% ------------------------------------------------------------------------------------------- un-dep/maybe-chaperone [251] 100.0% [268] 430(0.3%) 208(0.1%) get/build-late-neg-projection ...te/guts.rkt:827:0 ->-proj [282] 51.6% ------------------------------------------------------------------------------------------- arrow-higher-order:lnp [259] 100.0% [269] 338(0.2%) 338(0.2%) ??? ...et/contract/private/arity-checking.rkt:19:2 ------------------------------------------------------------------------------------------- ??? [256] 100.0% [270] 206(0.1%) 206(0.1%) ??? /opt/racket-7.5/collects/racket/dict.rkt:11:8 ------------------------------------------------------------------------------------------- ??? [258] 100.0% [271] 206(0.1%) 0(0.0%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ??? [283] 100.0% ------------------------------------------------------------------------------------------- build-unary-very-simple--> [257] 100.0% [272] 202(0.1%) 202(0.1%) flat-contract? .../contract/private/guts.rkt:129:0 ------------------------------------------------------------------------------------------- ??? [256] 100.0% [273] 200(0.1%) 200(0.1%) dict? ...ollects/racket/private/generic.rkt:146:11 ------------------------------------------------------------------------------------------- for-loop [260] 100.0% [274] 200(0.1%) 200(0.1%) for-loop .../better-rr/src/core/localize.rkt:45:23 ------------------------------------------------------------------------------------------- or/c [261] 100.0% [275] 200(0.1%) 200(0.1%) build-compound-type-name ...private/guts.rkt:537:0 ------------------------------------------------------------------------------------------- ??? [258] 100.0% [276] 200(0.1%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:690:0 contract-struct-first-order [284] 100.0% ------------------------------------------------------------------------------------------- f16 [262] 100.0% [277] 200(0.1%) 0(0.0%) loop .../herbie/better-rr/src/core/reduce.rkt:17:2 type-of [278] 100.0% ------------------------------------------------------------------------------------------- loop [277] 4.0% mterm->expr [57] 96.0% [278] 5002(3.2%) 2202(1.4%) type-of .../herbie/better-rr/src/programs.rkt:38:0 table-ref [288] 20.6% variable? [286] 15.5% value? [291] 8.2% return/no-unsupplied [285] 7.8% assoc-ref [290] 4.0% ------------------------------------------------------------------------------------------- gather-additive-terms6 [175] 14.7% free-variables [264] 36.1% pattern-match [217] 49.3% [279] 4064(2.6%) 184(0.1%) constant? ...better-rr/src/syntax/syntax.rkt:726:0 value? [291] 95.5% ------------------------------------------------------------------------------------------- ??? [267] 41.9% un-dep/maybe-chaperone [251] 58.1% [280] 1322(0.9%) 0(0.0%) ??? ...cts/racket/contract/private/guts.rkt:835:10 ??? [287] 100.0% ------------------------------------------------------------------------------------------- coerce-contract [265] 100.0% [281] 804(0.5%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [289] 100.0% ------------------------------------------------------------------------------------------- get/build-late-neg-projection [268] 100.0% [282] 222(0.1%) 222(0.1%) ->-proj ...ct/private/arrow-higher-order.rkt:557:0 ------------------------------------------------------------------------------------------- ??? [271] 100.0% [283] 206(0.1%) 206(0.1%) ??? ...ects/racket/contract/private/list.rkt:163:5 ------------------------------------------------------------------------------------------- ??? [276] 100.0% [284] 200(0.1%) 200(0.1%) contract-struct-first-order ...vate/prop.rkt:104:0 ------------------------------------------------------------------------------------------- ??? [51] 5.4% for-loop [230] 5.9% *bit-width* [69] 5.9% type-of [278] 11.4% simplify* [197] 18.0% ??? [218] 53.5% [285] 3412(2.2%) 2212(1.4%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [292] 35.2% ------------------------------------------------------------------------------------------- type-of [278] 44.0% free-variables [264] 56.0% [286] 1764(1.1%) 0(0.0%) variable? ...better-rr/src/syntax/syntax.rkt:729:0 ??? [123] 55.2% value? [291] 44.8% ------------------------------------------------------------------------------------------- ??? [280] 100.0% [287] 1322(0.9%) 0(0.0%) ??? ...ntract/private/arrow-higher-order.rkt:575:2 get-blame-party-info [293] 54.8% build-subcontract-late-negs [294] 45.2% ------------------------------------------------------------------------------------------- type-of [278] 100.0% [288] 1028(0.7%) 828(0.5%) table-ref .../herbie/better-rr/src/common.rkt:33:0 for-loop [295] 19.5% ------------------------------------------------------------------------------------------- coerce-contract/f [281] 100.0% [289] 804(0.5%) 804(0.5%) coerce-simple-value ...ract/private/guts.rkt:385:0 ------------------------------------------------------------------------------------------- type-of [278] 100.0% [290] 200(0.1%) 200(0.1%) assoc-ref ...collects/racket/private/dict.rkt:56:0 ------------------------------------------------------------------------------------------- inductor [179] 3.8% type-of [278] 7.7% variable? [286] 15.0% constant? [279] 73.5% [291] 5278(3.4%) 5278(3.4%) value? ...rbie/better-rr/src/syntax/types.rkt:18:0 ------------------------------------------------------------------------------------------- return/no-unsupplied [285] 100.0% [292] 1200(0.8%) 1200(0.8%) filter ...5/collects/racket/private/list.rkt:256:2 ------------------------------------------------------------------------------------------- ??? [287] 100.0% [293] 724(0.5%) 524(0.3%) get-blame-party-info ...ate/arrow-common.rkt:136:0 show-blame-negative [296] 27.6% ------------------------------------------------------------------------------------------- ??? [287] 100.0% [294] 598(0.4%) 598(0.4%) build-subcontract-late-negs ...her-order.rkt:711:0 ------------------------------------------------------------------------------------------- table-ref [288] 100.0% [295] 200(0.1%) 200(0.1%) for-loop ...s/herbie/better-rr/src/common.rkt:35:4 ------------------------------------------------------------------------------------------- get-blame-party-info [293] 100.0% [296] 200(0.1%) 200(0.1%) show-blame-negative ...act/private/blame.rkt:342:0 -------------------------------------------------------------------------------------------