Profiling results ----------------- Total cpu time observed: 129188ms (out of 129128ms) Number of samples taken: 631 (once every 205ms) (Hiding functions with self<1.0% and local<2.0%: 16 of 292 hidden) ======================================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================================== [1] 129188(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [16] 100.0% ---------------------------------------------------------------------------------------- ??? [218] 100.0% [2] 103848(80.4%) 0(0.0%) approximate9 ...better-rr/src/core/taylor.rkt:11:0 loop [17] 95.2% for-loop [26] 4.1% taylor [29] 0.8% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [3] 97542(75.5%) 0(0.0%) ??? .../herbie/better-rr/src/core/taylor.rkt:67:15 hash-ref! [242] 69.7% ??? [218] 30.3% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [4] 75568(58.5%) 200(0.2%) ??? ...herbie/better-rr/src/core/taylor.rkt:300:23 for-loop [18] 99.7% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [5] 45666(35.3%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:290:26 for-loop [19] 100.0% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [6] 38082(29.5%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:406:23 for-loop [20] 68.0% for-loop [31] 32.0% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [7] 23268(18.0%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:509:23 for-loop [21] 100.0% ---------------------------------------------------------------------------------------- parse-loop49 [230] 1.5% map [219] 98.5% [8] 13378(10.4%) 1228(1.0%) ??? ...s/herbie/better-rr/src/core/reduce.rkt:56:5 for-loop [23] 90.8% ---------------------------------------------------------------------------------------- stx-pair? [209] 3.4% for-loop [187] 46.6% loop [211] 48.4% [9] 12116(9.4%) 620(0.5%) syntax-e (unknown source) syntax-e/no-taint [22] 94.9% ---------------------------------------------------------------------------------------- hash-ref! [242] 7.2% for-loop [109] 9.9% parse-loop368 [82] 29.3% map [219] 53.6% [10] 8098(6.3%) 0(0.0%) make-multiplication-node .../core/reduce.rkt:231:0 make-multiplication-subnode [25] 100.0% ---------------------------------------------------------------------------------------- map [219] 2.5% taylor [29] 97.5% [11] 7996(6.2%) 0(0.0%) taylor-invert ...tter-rr/src/core/taylor.rkt:317:0 first-nonzero-exp [48] 95.2% simplify-node [49] 2.5% f40 [212] 2.3% ---------------------------------------------------------------------------------------- for-loop [187] 100.0% [12] 4018(3.1%) 602(0.5%) expand-implicit (unknown source) resolve+shift28 [24] 69.5% datum->syntax6 [192] 10.5% syntax-disarm3 [27] 5.0% ---------------------------------------------------------------------------------------- loop [211] 19.8% for-loop [187] 80.2% [13] 3964(3.1%) 400(0.3%) expand-identifier (unknown source) resolve+shift28 [24] 89.9% ---------------------------------------------------------------------------------------- taylor [29] 100.0% [14] 792(0.6%) 0(0.0%) taylor-log .../better-rr/src/core/taylor.rkt:502:0 f40 [212] 48.7% simplify* [231] 25.8% f61 [47] 25.5% ---------------------------------------------------------------------------------------- f16 [262] 100.0% [15] 412(0.3%) 0(0.0%) loop .../herbie/better-rr/src/core/reduce.rkt:17:2 type-of [58] 100.0% ---------------------------------------------------------------------------------------- ??? [1] 100.0% [16] 129188(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [28] 100.0% ---------------------------------------------------------------------------------------- approximate9 [2] 100.0% [17] 98842(76.5%) 306(0.2%) loop .../herbie/better-rr/src/core/taylor.rkt:86:4 hash-ref! [242] 98.9% ??? [218] 0.6% ---------------------------------------------------------------------------------------- ??? [4] 100.0% [18] 75368(58.3%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:303:27 hash-ref! [242] 98.5% f40 [212] 0.9% simplify-node [49] 0.5% ---------------------------------------------------------------------------------------- ??? [5] 100.0% [19] 45666(35.3%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:290:52 ??? [30] 53.4% hash-ref! [242] 43.5% f61 [47] 1.4% f40 [212] 1.3% simplify-node [49] 0.5% ---------------------------------------------------------------------------------------- ??? [6] 100.0% [20] 25906(20.1%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:410:33 for-loop [31] 62.2% hash-ref! [242] 37.8% ---------------------------------------------------------------------------------------- ??? [7] 100.0% [21] 23268(18.0%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:513:35 parse-loop402 [32] 100.0% ---------------------------------------------------------------------------------------- expand-id-application-form17 [214] 11.7% gf [213] 13.9% syntax-e [9] 74.4% [22] 15452(12.0%) 0(0.0%) syntax-e/no-taint (unknown source) loop [211] 100.0% ---------------------------------------------------------------------------------------- ??? [8] 100.0% [23] 12150(9.4%) 1008(0.8%) for-loop ...bie/better-rr/src/core/reduce.rkt:57:7 pattern-match [137] 90.2% ---------------------------------------------------------------------------------------- expand-id-application-form17 [214] 14.2% expand-implicit [12] 24.4% core-form-sym [215] 30.1% expand-identifier [13] 31.2% [24] 11420(8.8%) 1422(1.1%) resolve+shift28 (unknown source) fallback-loop [33] 85.8% ---------------------------------------------------------------------------------------- make-multiplication-node [10] 100.0% [25] 8098(6.3%) 390(0.3%) make-multiplication-subnode ...re/reduce.rkt:241:0 for-loop [34] 68.4% group-by61 [35] 24.4% compose [245] 2.4% ---------------------------------------------------------------------------------------- approximate9 [2] 100.0% [26] 4206(3.3%) 0(0.0%) for-loop ...ie/better-rr/src/core/taylor.rkt:29:18 taylor [29] 100.0% ---------------------------------------------------------------------------------------- expand-implicit [12] 100.0% [27] 202(0.2%) 202(0.2%) syntax-disarm3 (unknown source) ---------------------------------------------------------------------------------------- profile-thunk16 [16] 100.0% [28] 129188(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [36] 100.0% ---------------------------------------------------------------------------------------- approximate9 [2] 1.4% for-loop [26] 6.4% map [219] 15.8% hash-ref! [242] 22.7% taylor [29] 53.8% [29] 46520(36.0%) 402(0.3%) taylor ...rbie/better-rr/src/core/taylor.rkt:169:0 taylor [29] 53.8% taylor-sqrt [37] 20.1% map [219] 15.9% taylor-quotient [39] 3.4% taylor-invert [11] 3.3% debug5 [41] 0.7% debug-print [40] 0.5% taylor-log [14] 0.1% ---------------------------------------------------------------------------------------- ??? [251] 6.4% for-loop [19] 93.6% [30] 31220(24.2%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:293:19 hash-ref! [242] 100.0% ---------------------------------------------------------------------------------------- ??? [6] 43.0% for-loop [20] 57.0% [31] 28300(21.9%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:412:39 hash-ref! [242] 100.0% ---------------------------------------------------------------------------------------- for-loop [21] 100.0% [32] 23268(18.0%) 0(0.0%) parse-loop402 (unknown source) for-loop [38] 100.0% ---------------------------------------------------------------------------------------- resolve+shift28 [24] 100.0% [33] 9796(7.6%) 2848(2.2%) fallback-loop (unknown source) for-loop [187] 70.9% ---------------------------------------------------------------------------------------- make-multiplication-subnode [25] 100.0% [34] 5542(4.3%) 404(0.3%) for-loop ...ie/better-rr/src/core/reduce.rkt:243:3 mterm->expr [50] 78.7% make-multiplication-subsubsubnode [42] 14.0% ---------------------------------------------------------------------------------------- make-multiplication-subnode [25] 100.0% [35] 1974(1.5%) 1588(1.2%) group-by61 ...t-7.5/collects/racket/list.rkt:771:0 for-loop [43] 10.2% hash-update [44] 9.3% ---------------------------------------------------------------------------------------- for-loop [162] 1.1% run [28] 98.9% [36] 129188(100.0%) 1014(0.8%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [45] 85.6% prepare-points-intervals [116] 8.2% oracle-error [52] 2.2% get-final-combination [51] 2.1% ??? [221] 0.6% errors [152] 0.3% ??? [260] 0.2% eval-errors [54] 0.2% loop [211] 0.2% ---------------------------------------------------------------------------------------- taylor [29] 100.0% [37] 27684(21.4%) 0(0.0%) taylor-sqrt ...better-rr/src/core/taylor.rkt:351:0 hash-ref! [242] 79.8% parse-loop74 [46] 6.4% f61 [47] 5.2% first-nonzero-exp [48] 3.5% f40 [212] 3.5% simplify-node [49] 1.5% ---------------------------------------------------------------------------------------- parse-loop402 [32] 100.0% [38] 23268(18.0%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:516:59 hash-ref! [242] 100.0% ---------------------------------------------------------------------------------------- taylor [29] 100.0% [39] 3580(2.8%) 0(0.0%) taylor-quotient ...er-rr/src/core/taylor.rkt:333:0 first-nonzero-exp [48] 88.7% f40 [212] 11.3% ---------------------------------------------------------------------------------------- taylor [29] 100.0% [40] 1456(1.1%) 418(0.3%) debug-print ...erbie/better-rr/src/debug.rkt:110:0 ??? [53] 71.3% ---------------------------------------------------------------------------------------- taylor [29] 100.0% [41] 930(0.7%) 394(0.3%) debug5 ...ies/herbie/better-rr/src/debug.rkt:102:0 return/no-unsupplied [232] 57.6% ---------------------------------------------------------------------------------------- make-multiplication-subsubsubnode [42] 11.7% for-loop [34] 88.3% [42] 776(0.6%) 0(0.0%) make-multiplication-subsubsubnode ...uce.rkt:263:0 mterm->expr [50] 88.3% make-multiplication-subsubsubnode [42] 11.7% ---------------------------------------------------------------------------------------- group-by61 [35] 100.0% [43] 202(0.2%) 202(0.2%) for-loop ...ket-7.5/collects/racket/list.rkt:805:4 ---------------------------------------------------------------------------------------- group-by61 [35] 100.0% [44] 184(0.1%) 184(0.1%) hash-update ...acket/private/more-scheme.rkt:358:4 ---------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [36] 100.0% [45] 111266(86.1%) 0(0.0%) run-improve47 .../better-rr/src/mainloop.rkt:364:0 for-loop [55] 99.2% prepare-points-intervals [116] 0.5% simplify! [85] 0.3% ---------------------------------------------------------------------------------------- loop [235] 0.5% loop [211] 1.4% taylor-sqrt [37] 4.2% hash-ref! [242] 10.6% map [219] 83.3% [46] 42308(32.7%) 1016(0.8%) parse-loop74 (unknown source) eval-const-expr [56] 97.6% ---------------------------------------------------------------------------------------- ??? [251] 0.8% taylor-log [14] 0.9% for-loop [19] 2.9% hash-ref! [242] 5.5% taylor-sqrt [37] 6.6% map [219] 83.2% [47] 21976(17.0%) 808(0.6%) f61 (unknown source) eval-const-expr [56] 67.1% composed [57] 28.3% map [219] 0.9% ---------------------------------------------------------------------------------------- taylor-sqrt [37] 8.3% taylor-quotient [39] 27.0% taylor-invert [11] 64.7% [48] 11770(9.1%) 0(0.0%) first-nonzero-exp ...-rr/src/core/taylor.rkt:265:0 hash-ref! [242] 100.0% ---------------------------------------------------------------------------------------- for-loop [109] 2.6% taylor-invert [11] 2.6% for-loop [19] 2.6% for-loop [18] 5.1% parse-loop368 [82] 5.2% taylor-sqrt [37] 5.2% hash-ref! [242] 17.9% map [219] 58.8% [49] 7774(6.0%) 200(0.2%) simplify-node ...etter-rr/src/core/reduce.rkt:45:0 gather-additive-terms6 [59] 28.2% gather-multiplicative-terms [234] 24.4% append-map [69] 22.9% combine-mterms [62] 14.3% combine-aterms [65] 5.1% constant? [140] 2.6% ---------------------------------------------------------------------------------------- make-multiplication-subsubsubnode [42] 15.1% for-loop [34] 84.9% [50] 5138(4.0%) 388(0.3%) mterm->expr ...better-rr/src/core/reduce.rkt:271:0 type-of [58] 92.4% ---------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [36] 100.0% [51] 3022(2.3%) 0(0.0%) get-final-combination ...rr/src/mainloop.rkt:389:0 infer-splitpoints [61] 86.6% f33 [64] 13.4% ---------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [36] 100.0% [52] 2816(2.2%) 0(0.0%) oracle-error ...bie/better-rr/src/points.rkt:179:0 for-loop [60] 100.0% ---------------------------------------------------------------------------------------- debug-print [40] 100.0% [53] 1038(0.8%) 218(0.2%) ??? .../contract/private/arrow-val-first.rkt:555:3 mk-call [63] 59.7% ~r92 [67] 19.3% ---------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [36] 100.0% [54] 202(0.2%) 0(0.0%) eval-errors ...rbie/better-rr/src/points.rkt:170:0 for-loop [66] 100.0% ---------------------------------------------------------------------------------------- run-improve47 [45] 100.0% [55] 110370(85.4%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:383:4 run-iter! [68] 100.0% ---------------------------------------------------------------------------------------- f61 [47] 26.3% parse-loop74 [46] 73.7% [56] 56032(43.4%) 402(0.3%) eval-const-expr ...etter-rr/src/programs.rkt:144:0 temp85_0 [161] 82.8% loop [211] 8.9% eval [71] 4.3% eval-prog [78] 0.4% ---------------------------------------------------------------------------------------- f61 [47] 100.0% [57] 6226(4.8%) 200(0.2%) composed ...ollects/racket/private/list.rkt:321:16 free-variables [81] 96.8% ---------------------------------------------------------------------------------------- loop [15] 8.0% mterm->expr [50] 92.0% [58] 5162(4.0%) 1594(1.2%) type-of .../herbie/better-rr/src/programs.rkt:39:0 table-ref [73] 15.2% ??? [75] 11.7% value? [254] 7.9% return/no-unsupplied [232] 7.9% variable? [243] 7.7% ??? [139] 7.7% constant? [140] 3.9% assoc-ref [147] 3.6% ??? [79] 3.6% ---------------------------------------------------------------------------------------- gather-additive-terms6 [59] 3.4% parse-loop368 [82] 6.7% append-map [69] 13.4% simplify-node [49] 76.5% [59] 2994(2.3%) 0(0.0%) gather-additive-terms6 ...src/core/reduce.rkt:67:0 parse-loop368 [82] 66.3% append-map [69] 30.3% gather-additive-terms6 [59] 3.4% ---------------------------------------------------------------------------------------- oracle-error [52] 100.0% [60] 2816(2.2%) 0(0.0%) for-loop .../herbie/better-rr/src/points.rkt:180:2 map [219] 56.8% loop [211] 43.2% ---------------------------------------------------------------------------------------- get-final-combination [51] 100.0% [61] 2616(2.0%) 0(0.0%) infer-splitpoints ...-rr/src/core/regimes.rkt:33:0 for-loop [70] 100.0% ---------------------------------------------------------------------------------------- simplify-node [49] 100.0% [62] 1410(1.1%) 0(0.0%) combine-mterms ...ter-rr/src/core/reduce.rkt:192:0 for-loop [72] 100.0% ---------------------------------------------------------------------------------------- ??? [53] 100.0% [63] 620(0.5%) 0(0.0%) mk-call ...tract/private/arrow-val-first.rkt:558:5 loop [74] 100.0% ---------------------------------------------------------------------------------------- get-final-combination [51] 100.0% [64] 406(0.3%) 0(0.0%) f33 (unknown source) sindices->spoints [76] 100.0% ---------------------------------------------------------------------------------------- simplify-node [49] 100.0% [65] 398(0.3%) 198(0.2%) combine-aterms ...ter-rr/src/core/reduce.rkt:184:0 for-loop [77] 50.3% ---------------------------------------------------------------------------------------- eval-errors [54] 100.0% [66] 202(0.2%) 0(0.0%) for-loop .../herbie/better-rr/src/points.rkt:172:2 ??? [221] 100.0% ---------------------------------------------------------------------------------------- ??? [53] 100.0% [67] 200(0.2%) 200(0.2%) ~r92 ...acket-7.5/collects/racket/format.rkt:189:0 ---------------------------------------------------------------------------------------- for-loop [55] 100.0% [68] 110370(85.4%) 0(0.0%) run-iter! ...rbie/better-rr/src/mainloop.rkt:345:0 gen-series! [80] 94.3% finalize-iter! [83] 3.5% simplify! [85] 1.0% choose-best-alt! [89] 0.5% gen-rewrites! [91] 0.4% localize! [92] 0.3% ---------------------------------------------------------------------------------------- gather-additive-terms6 [59] 10.5% simplify-node [49] 24.1% free-variables [81] 64.8% [69] 8632(6.7%) 600(0.5%) append-map ...t-7.5/collects/racket/list.rkt:586:2 free-variables [81] 59.7% parse-loop368 [82] 30.0% gather-additive-terms6 [59] 4.6% ---------------------------------------------------------------------------------------- infer-splitpoints [61] 100.0% [70] 2616(2.0%) 0(0.0%) for-loop ...ie/better-rr/src/core/regimes.rkt:45:6 option-on-expr [84] 92.4% filter [244] 7.6% ---------------------------------------------------------------------------------------- eval-const-expr [56] 100.0% [71] 2418(1.9%) 1216(0.9%) eval (unknown source) add-ns-scopes [86] 41.7% namespace-syntax-introduce3 [95] 8.0% ---------------------------------------------------------------------------------------- combine-mterms [62] 100.0% [72] 1410(1.1%) 602(0.5%) for-loop ...ie/better-rr/src/core/reduce.rkt:196:5 hash-ref! [242] 57.3% ---------------------------------------------------------------------------------------- type-of [58] 100.0% [73] 784(0.6%) 584(0.5%) table-ref .../herbie/better-rr/src/common.rkt:33:0 for-loop [94] 25.5% ---------------------------------------------------------------------------------------- mk-call [63] 100.0% [74] 620(0.5%) 0(0.0%) loop ...contract/private/arrow-val-first.rkt:562:8 ??? [87] 100.0% ---------------------------------------------------------------------------------------- type-of [58] 100.0% [75] 604(0.5%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:770:8 dict? [88] 100.0% ---------------------------------------------------------------------------------------- f33 [64] 100.0% [76] 406(0.3%) 0(0.0%) sindices->spoints ...rr/src/core/regimes.rkt:194:0 for-loop [90] 100.0% ---------------------------------------------------------------------------------------- combine-aterms [65] 100.0% [77] 200(0.2%) 200(0.2%) for-loop ...ie/better-rr/src/core/reduce.rkt:186:4 ---------------------------------------------------------------------------------------- eval-const-expr [56] 100.0% [78] 200(0.2%) 0(0.0%) eval-prog ...rbie/better-rr/src/programs.rkt:106:0 inductor [93] 100.0% ---------------------------------------------------------------------------------------- type-of [58] 100.0% [79] 184(0.1%) 184(0.1%) ??? ...ects/racket/contract/private/prop.rkt:301:4 ---------------------------------------------------------------------------------------- run-iter! [68] 100.0% [80] 104054(80.5%) 0(0.0%) gen-series! ...ie/better-rr/src/mainloop.rkt:159:0 for-loop [96] 100.0% ---------------------------------------------------------------------------------------- composed [57] 36.0% append-map [69] 64.0% [81] 6026(4.7%) 2594(2.0%) free-variables .../better-rr/src/programs.rkt:80:0 append-map [69] 71.3% constant? [140] 6.7% variable? [243] 2.1% ??? [139] 2.1% ---------------------------------------------------------------------------------------- parse-loop389 [97] 5.1% parse-loop368 [82] 25.4% gather-additive-terms6 [59] 31.0% append-map [69] 38.5% [82] 4572(3.5%) 200(0.2%) parse-loop368 (unknown source) make-multiplication-node [10] 34.5% parse-loop368 [82] 25.4% parse-loop389 [97] 24.1% simplify-node [49] 12.4% gather-additive-terms6 [59] 1.5% ---------------------------------------------------------------------------------------- run-iter! [68] 100.0% [83] 3872(3.0%) 0(0.0%) finalize-iter! ...better-rr/src/mainloop.rkt:277:0 ??? [139] 100.0% ---------------------------------------------------------------------------------------- for-loop [70] 100.0% [84] 2416(1.9%) 0(0.0%) option-on-expr ...er-rr/src/core/regimes.rkt:124:0 for-loop [99] 58.3% sort-context-on-expr [100] 25.1% err-lsts->split-indices [105] 16.6% ---------------------------------------------------------------------------------------- run-improve47 [45] 25.7% run-iter! [68] 74.3% [85] 1434(1.1%) 0(0.0%) simplify! ...rbie/better-rr/src/mainloop.rkt:223:0 ??? [98] 100.0% ---------------------------------------------------------------------------------------- eval [71] 100.0% [86] 1008(0.8%) 404(0.3%) add-ns-scopes (unknown source) gf [213] 59.9% ---------------------------------------------------------------------------------------- loop [74] 100.0% [87] 620(0.5%) 204(0.2%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [102] 67.1% ---------------------------------------------------------------------------------------- ??? [75] 100.0% [88] 604(0.5%) 604(0.5%) dict? ...ollects/racket/private/generic.rkt:146:11 ---------------------------------------------------------------------------------------- run-iter! [68] 100.0% [89] 590(0.5%) 0(0.0%) choose-best-alt! ...tter-rr/src/mainloop.rkt:116:0 ...ow-val-first.rkt:486:18 [101] 100.0% ---------------------------------------------------------------------------------------- sindices->spoints [76] 100.0% [90] 406(0.3%) 0(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:234:9 binary-search-floats [103] 100.0% ---------------------------------------------------------------------------------------- run-iter! [68] 100.0% [91] 404(0.3%) 0(0.0%) gen-rewrites! .../better-rr/src/mainloop.rkt:182:0 for-loop [104] 100.0% ---------------------------------------------------------------------------------------- run-iter! [68] 100.0% [92] 384(0.3%) 0(0.0%) localize! ...rbie/better-rr/src/mainloop.rkt:126:0 localize-error [106] 100.0% ---------------------------------------------------------------------------------------- eval-prog [78] 100.0% [93] 200(0.2%) 200(0.2%) inductor ...erbie/better-rr/src/programs.rkt:127:4 ---------------------------------------------------------------------------------------- table-ref [73] 100.0% [94] 200(0.2%) 200(0.2%) for-loop ...s/herbie/better-rr/src/common.rkt:35:4 ---------------------------------------------------------------------------------------- eval [71] 100.0% [95] 194(0.2%) 0(0.0%) namespace-syntax-introduce3 (unknown source) for-loop [187] 100.0% ---------------------------------------------------------------------------------------- gen-series! [80] 100.0% [96] 104054(80.5%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:166:7 taylor-alt [107] 100.0% ---------------------------------------------------------------------------------------- parse-loop368 [82] 100.0% [97] 1796(1.4%) 0(0.0%) parse-loop389 (unknown source) for-loop [109] 66.8% parse-loop368 [82] 33.2% ---------------------------------------------------------------------------------------- simplify! [85] 100.0% [98] 1434(1.1%) 0(0.0%) ??? ...herbie/better-rr/src/core/simplify.rkt:42:0 egraph-run [108] 100.0% ---------------------------------------------------------------------------------------- option-on-expr [84] 100.0% [99] 1408(1.1%) 0(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:135:4 errors [152] 100.0% ---------------------------------------------------------------------------------------- option-on-expr [84] 100.0% [100] 606(0.5%) 0(0.0%) sort-context-on-expr ...src/core/regimes.rkt:117:0 ??? [110] 100.0% ---------------------------------------------------------------------------------------- choose-best-alt! [89] 100.0% [101] 590(0.5%) 0(0.0%) ...ow-val-first.rkt:486:18 (unknown source) ??? [111] 100.0% ---------------------------------------------------------------------------------------- ??? [87] 100.0% [102] 416(0.3%) 416(0.3%) ??? ...ects/racket/contract/private/list.rkt:690:0 ---------------------------------------------------------------------------------------- for-loop [90] 100.0% [103] 406(0.3%) 0(0.0%) binary-search-floats ...src/core/regimes.rkt:176:0 pred [112] 100.0% ---------------------------------------------------------------------------------------- gen-rewrites! [91] 100.0% [104] 404(0.3%) 0(0.0%) for-loop ...rbie/better-rr/src/mainloop.rkt:190:11 rewrite-expression-head23 [113] 100.0% ---------------------------------------------------------------------------------------- option-on-expr [84] 100.0% [105] 402(0.3%) 0(0.0%) err-lsts->split-indices .../core/regimes.rkt:263:0 loop [114] 100.0% ---------------------------------------------------------------------------------------- localize! [92] 100.0% [106] 384(0.3%) 0(0.0%) localize-error ...er-rr/src/core/localize.rkt:57:0 hash-ref! [242] 100.0% ---------------------------------------------------------------------------------------- for-loop [96] 100.0% [107] 104054(80.5%) 0(0.0%) taylor-alt ...bie/better-rr/src/mainloop.rkt:145:0 for-loop [115] 100.0% ---------------------------------------------------------------------------------------- ??? [98] 100.0% [108] 1434(1.1%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [117] 100.0% ---------------------------------------------------------------------------------------- parse-loop389 [97] 100.0% [109] 1200(0.9%) 0(0.0%) for-loop ...ie/better-rr/src/core/reduce.rkt:94:13 make-multiplication-node [10] 66.8% simplify-node [49] 33.2% ---------------------------------------------------------------------------------------- sort-context-on-expr [100] 100.0% [110] 606(0.5%) 0(0.0%) ??? ...-7.5/collects/racket/private/sort.rkt:369:3 generic-sort/key [121] 66.0% loop [131] 34.0% ---------------------------------------------------------------------------------------- ...ow-val-first.rkt:486:18 [101] 100.0% [111] 590(0.5%) 0(0.0%) ??? ...erbie/better-rr/src/core/alt-table.rkt:40:0 loop [118] 100.0% ---------------------------------------------------------------------------------------- binary-search-floats [103] 100.0% [112] 406(0.3%) 0(0.0%) pred ...erbie/better-rr/src/core/regimes.rkt:204:4 errors [152] 50.7% prepare-points-intervals [116] 49.3% ---------------------------------------------------------------------------------------- for-loop [104] 100.0% [113] 404(0.3%) 0(0.0%) rewrite-expression-head23 ...core/matcher.rkt:83:0 rewriter [119] 100.0% ---------------------------------------------------------------------------------------- err-lsts->split-indices [105] 100.0% [114] 402(0.3%) 0(0.0%) loop ...erbie/better-rr/src/core/regimes.rkt:314:4 for-loop [120] 100.0% ---------------------------------------------------------------------------------------- taylor-alt [107] 100.0% [115] 104054(80.5%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:151:6 ??? [218] 100.0% ---------------------------------------------------------------------------------------- pred [112] 1.8% run-improve47 [45] 4.6% .../more-scheme.rkt:261:28 [36] 93.6% [116] 11356(8.8%) 0(0.0%) prepare-points-intervals ...r/src/points.rkt:122:0 loop [122] 100.0% ---------------------------------------------------------------------------------------- egraph-run [108] 100.0% [117] 1434(1.1%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [123] 100.0% ---------------------------------------------------------------------------------------- ??? [111] 100.0% [118] 590(0.5%) 0(0.0%) loop .../racket-7.5/collects/racket/list.rkt:751:4 ??? [124] 100.0% ---------------------------------------------------------------------------------------- matcher [257] 25.0% rewrite-expression-head23 [113] 75.0% [119] 404(0.3%) 0(0.0%) rewriter ...ie/better-rr/src/core/matcher.rkt:85:2 for-loop [125] 100.0% ---------------------------------------------------------------------------------------- loop [114] 100.0% [120] 402(0.3%) 0(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:279:4 for-loop [126] 100.0% ---------------------------------------------------------------------------------------- ??? [110] 100.0% [121] 400(0.3%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [127] 100.0% ---------------------------------------------------------------------------------------- prepare-points-intervals [116] 100.0% [122] 11356(8.8%) 200(0.2%) loop ...lies/herbie/better-rr/src/points.rkt:134:4 loop [128] 68.4% ??? [129] 28.1% andmap [133] 1.8% ---------------------------------------------------------------------------------------- egraph-add-exprs [117] 100.0% [123] 1434(1.1%) 0(0.0%) ??? ...erbie/better-rr/src/core/simplify.rkt:103:6 for-loop [130] 100.0% ---------------------------------------------------------------------------------------- loop [118] 100.0% [124] 590(0.5%) 0(0.0%) ??? ...es/herbie/better-rr/src/mainloop.rkt:113:10 errors [152] 100.0% ---------------------------------------------------------------------------------------- rewriter [119] 100.0% [125] 404(0.3%) 0(0.0%) for-loop ...ie/better-rr/src/core/matcher.rkt:87:4 hash-ref! [242] 75.0% for-loop [132] 25.0% ---------------------------------------------------------------------------------------- for-loop [120] 100.0% [126] 402(0.3%) 402(0.3%) for-loop ...e/better-rr/src/core/regimes.rkt:283:8 ---------------------------------------------------------------------------------------- copying-mergesort [127] 50.0% generic-sort/key [121] 50.0% [127] 400(0.3%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [127] 50.0% loop [131] 50.0% ---------------------------------------------------------------------------------------- loop [122] 100.0% [128] 7768(6.0%) 1030(0.8%) loop ...tlies/herbie/better-rr/src/points.rkt:79:2 ??? [218] 55.2% ??? [260] 15.6% real->precision [134] 13.4% ??? [139] 2.6% ---------------------------------------------------------------------------------------- loop [122] 100.0% [129] 3188(2.5%) 400(0.3%) ??? ...tlies/herbie/better-rr/src/points.rkt:115:6 loop [211] 45.0% sample-multi-bounded [217] 42.5% ---------------------------------------------------------------------------------------- ??? [123] 100.0% [130] 1434(1.1%) 1434(1.1%) for-loop .../better-rr/src/core/simplify.rkt:121:2 ---------------------------------------------------------------------------------------- ??? [110] 34.0% copying-mergesort [127] 66.0% [131] 606(0.5%) 606(0.5%) loop ...7.5/collects/racket/private/sort.rkt:96:12 ---------------------------------------------------------------------------------------- for-loop [125] 100.0% [132] 202(0.2%) 0(0.0%) for-loop ...ie/better-rr/src/core/matcher.rkt:95:8 fix-up-variables [135] 100.0% ---------------------------------------------------------------------------------------- loop [122] 100.0% [133] 200(0.2%) 0(0.0%) andmap ...5/collects/racket/private/map.rkt:102:13 ordinary-value? [136] 100.0% ---------------------------------------------------------------------------------------- loop [128] 100.0% [134] 1040(0.8%) 0(0.0%) real->precision ...tter-rr/src/programs.rkt:118:11 ??? [218] 100.0% ---------------------------------------------------------------------------------------- for-loop [132] 100.0% [135] 202(0.2%) 0(0.0%) fix-up-variables ...-rr/src/core/matcher.rkt:107:2 pattern-match [137] 100.0% ---------------------------------------------------------------------------------------- andmap [133] 100.0% [136] 200(0.2%) 200(0.2%) ordinary-value? ...ie/better-rr/src/float.rkt:51:0 ---------------------------------------------------------------------------------------- fix-up-variables [135] 1.8% pattern-match [137] 4.4% for-loop [23] 93.8% [137] 11160(8.6%) 1196(0.9%) pattern-match ...tter-rr/src/core/matcher.rkt:29:0 for-loop [138] 64.2% constant? [140] 18.9% pattern-match [137] 4.4% variable? [243] 1.7% ??? [139] 0.9% ---------------------------------------------------------------------------------------- pattern-match [137] 100.0% [138] 7170(5.6%) 786(0.6%) for-loop ...ie/better-rr/src/core/matcher.rkt:26:9 core457 [141] 77.5% fallback-update [143] 11.6% ---------------------------------------------------------------------------------------- loop [128] 3.3% pattern-match [137] 3.3% type-of [58] 6.5% free-variables [81] 10.3% variable? [243] 12.7% finalize-iter! [83] 63.9% [139] 6064(4.7%) 2192(1.7%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [142] 63.9% ---------------------------------------------------------------------------------------- type-of [58] 4.7% simplify-node [49] 4.7% free-variables [81] 38.3% pattern-match [137] 52.2% [140] 4224(3.3%) 402(0.3%) constant? ...better-rr/src/syntax/syntax.rkt:726:0 value? [254] 90.5% ---------------------------------------------------------------------------------------- for-loop [138] 100.0% [141] 5554(4.3%) 596(0.5%) core457 ...acket/contract/private/arr-i.rkt:976:19 un-dep/maybe-chaperone [144] 56.5% or/c [146] 14.2% build-unary-very-simple--> [149] 7.3% arrow-higher-order:lnp [150] 7.3% unsafe-chaperone-procedure [151] 4.0% ---------------------------------------------------------------------------------------- ??? [139] 100.0% [142] 3872(3.0%) 0(0.0%) for-loop ...better-rr/src/core/alt-table.rkt:192:2 atab-add-altn [145] 47.7% errors [152] 36.2% loop [148] 11.0% override-at-pnts [155] 5.2% ---------------------------------------------------------------------------------------- for-loop [138] 100.0% [143] 830(0.6%) 200(0.2%) fallback-update ...s/racket/private/dict.rkt:115:2 assoc-ref [147] 51.6% ??? [218] 24.3% ---------------------------------------------------------------------------------------- core457 [141] 100.0% [144] 3136(2.4%) 406(0.3%) un-dep/maybe-chaperone ...private/arr-i.rkt:1137:2 ??? [163] 56.2% ??? [153] 25.0% get/build-late-neg-projection [160] 5.9% ---------------------------------------------------------------------------------------- for-loop [142] 100.0% [145] 1846(1.4%) 0(0.0%) atab-add-altn ...r-rr/src/core/alt-table.rkt:195:0 errors [152] 78.0% append-at-pnts [157] 11.2% override-at-pnts [155] 10.8% ---------------------------------------------------------------------------------------- core457 [141] 100.0% [146] 786(0.6%) 398(0.3%) or/c ...lects/racket/contract/private/orc.rkt:16:2 build-compound-type-name [156] 49.4% ---------------------------------------------------------------------------------------- type-of [58] 30.5% fallback-update [143] 69.5% [147] 616(0.5%) 616(0.5%) assoc-ref ...collects/racket/private/dict.rkt:56:0 ---------------------------------------------------------------------------------------- for-loop [142] 100.0% [148] 424(0.3%) 224(0.2%) loop ...bie/better-rr/src/core/alt-table.rkt:159:2 loop [158] 47.2% ---------------------------------------------------------------------------------------- core457 [141] 100.0% [149] 406(0.3%) 206(0.2%) build-unary-very-simple--> ...val-first.rkt:1150:0 contract-struct-first-order [159] 49.3% ---------------------------------------------------------------------------------------- core457 [141] 100.0% [150] 406(0.3%) 0(0.0%) arrow-higher-order:lnp ...w-higher-order.rkt:673:7 ??? [154] 100.0% ---------------------------------------------------------------------------------------- core457 [141] 100.0% [151] 224(0.2%) 224(0.2%) unsafe-chaperone-procedure ...ivate/kw.rkt:1807:11 ---------------------------------------------------------------------------------------- pred [112] 3.5% ??? [124] 10.0% .../more-scheme.rkt:261:28 [36] 14.1% for-loop [142] 23.9% for-loop [99] 24.0% atab-add-altn [145] 24.5% [152] 5876(4.5%) 0(0.0%) errors ...es/herbie/better-rr/src/points.rkt:192:0 for-loop [162] 52.2% temp85_0 [161] 47.8% ---------------------------------------------------------------------------------------- un-dep/maybe-chaperone [144] 100.0% [153] 784(0.6%) 0(0.0%) ??? ...llects/racket/contract/private/orc.rkt:88:2 ??? [163] 74.5% blame-add-context7 [175] 25.5% ---------------------------------------------------------------------------------------- arrow-higher-order:lnp [150] 100.0% [154] 406(0.3%) 406(0.3%) ??? ...et/contract/private/arity-checking.rkt:19:2 ---------------------------------------------------------------------------------------- for-loop [142] 50.0% atab-add-altn [145] 50.0% [155] 400(0.3%) 0(0.0%) override-at-pnts ...r/src/core/alt-table.rkt:120:0 for-loop [164] 100.0% ---------------------------------------------------------------------------------------- or/c [146] 100.0% [156] 388(0.3%) 188(0.1%) build-compound-type-name ...private/guts.rkt:537:0 contract-struct-name [166] 51.5% ---------------------------------------------------------------------------------------- atab-add-altn [145] 100.0% [157] 206(0.2%) 0(0.0%) append-at-pnts ...-rr/src/core/alt-table.rkt:128:0 loop [165] 100.0% ---------------------------------------------------------------------------------------- loop [148] 11.1% loop [158] 88.9% [158] 200(0.2%) 200(0.2%) loop ...racket-7.5/collects/racket/list.rkt:434:28 loop [158] 88.9% ---------------------------------------------------------------------------------------- build-unary-very-simple--> [149] 100.0% [159] 200(0.2%) 200(0.2%) contract-struct-first-order ...vate/prop.rkt:104:0 ---------------------------------------------------------------------------------------- un-dep/maybe-chaperone [144] 100.0% [160] 184(0.1%) 184(0.1%) get/build-late-neg-projection ...te/guts.rkt:827:0 ---------------------------------------------------------------------------------------- loop [211] 0.4% errors [152] 5.7% eval-const-expr [56] 93.9% [161] 49424(38.3%) 190(0.1%) temp85_0 (unknown source) compile15 [167] 99.6% ---------------------------------------------------------------------------------------- errors [152] 100.0% [162] 3068(2.4%) 206(0.2%) for-loop .../herbie/better-rr/src/points.rkt:194:2 .../more-scheme.rkt:261:28 [36] 93.3% ---------------------------------------------------------------------------------------- ??? [153] 24.9% un-dep/maybe-chaperone [144] 75.1% [163] 2346(1.8%) 0(0.0%) ??? ...cts/racket/contract/private/guts.rkt:835:10 ??? [168] 100.0% ---------------------------------------------------------------------------------------- override-at-pnts [155] 100.0% [164] 400(0.3%) 400(0.3%) for-loop ...etter-rr/src/core/alt-table.rkt:121:22 ---------------------------------------------------------------------------------------- append-at-pnts [157] 100.0% [165] 206(0.2%) 206(0.2%) loop ...rbie/better-rr/src/core/alt-table.rkt:83:2 ---------------------------------------------------------------------------------------- build-compound-type-name [156] 100.0% [166] 200(0.2%) 0(0.0%) contract-struct-name ...ract/private/prop.rkt:98:0 ??? [169] 100.0% ---------------------------------------------------------------------------------------- temp85_0 [161] 100.0% [167] 49234(38.1%) 0(0.0%) compile15 (unknown source) temp91_0 [170] 99.6% loop [211] 0.4% ---------------------------------------------------------------------------------------- ??? [163] 100.0% [168] 2346(1.8%) 582(0.5%) ??? ...ntract/private/arrow-higher-order.rkt:575:2 build-subcontract-late-negs [171] 67.3% get-blame-party-info [172] 7.8% ---------------------------------------------------------------------------------------- contract-struct-name [166] 100.0% [169] 200(0.2%) 200(0.2%) ??? ...contract/private/arrow-val-first.rkt:1556:0 ---------------------------------------------------------------------------------------- compile15 [167] 100.0% [170] 49048(38.0%) 200(0.2%) temp91_0 (unknown source) temp118_0 [173] 89.7% compile-top9 [174] 8.7% loop [211] 1.2% ---------------------------------------------------------------------------------------- ??? [168] 100.0% [171] 1580(1.2%) 600(0.5%) build-subcontract-late-negs ...her-order.rkt:711:0 ??? [176] 25.2% blame-add-context7 [175] 25.1% get/build-collapsible-late-neg-projection [177] 11.8% ---------------------------------------------------------------------------------------- ??? [168] 100.0% [172] 184(0.1%) 0(0.0%) get-blame-party-info ...ate/arrow-common.rkt:136:0 show-blame-negative [178] 100.0% ---------------------------------------------------------------------------------------- temp91_0 [170] 100.0% [173] 43990(34.1%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [179] 99.5% datum->syntax6 [192] 0.5% ---------------------------------------------------------------------------------------- temp91_0 [170] 100.0% [174] 4254(3.3%) 446(0.3%) compile-top9 (unknown source) compile-forms33 [180] 84.8% mpis-as-vector [181] 4.7% ---------------------------------------------------------------------------------------- ??? [153] 33.6% build-subcontract-late-negs [171] 66.4% [175] 596(0.5%) 596(0.5%) blame-add-context7 ...ract/private/blame.rkt:165:0 ---------------------------------------------------------------------------------------- build-subcontract-late-negs [171] 100.0% [176] 398(0.3%) 398(0.3%) ??? ...ects/racket/contract/private/guts.rkt:822:5 ---------------------------------------------------------------------------------------- build-subcontract-late-negs [171] 100.0% [177] 186(0.1%) 186(0.1%) get/build-collapsible-late-neg-projection ...817:0 ---------------------------------------------------------------------------------------- get-blame-party-info [172] 100.0% [178] 184(0.1%) 184(0.1%) show-blame-negative ...act/private/blame.rkt:342:0 ---------------------------------------------------------------------------------------- loop [211] 11.0% temp118_0 [173] 89.0% [179] 49180(38.1%) 1194(0.9%) expand-capturing-lifts (unknown source) lambda-clause-expander [182] 81.2% dispatch-transformer41 [183] 13.2% expand-id-application-form17 [214] 2.4% loop [211] 0.8% ---------------------------------------------------------------------------------------- compile-top9 [174] 100.0% [180] 3608(2.8%) 626(0.5%) compile-forms33 (unknown source) for-loop [187] 66.2% loop! [184] 16.5% ---------------------------------------------------------------------------------------- compile-top9 [174] 100.0% [181] 200(0.2%) 200(0.2%) mpis-as-vector (unknown source) ---------------------------------------------------------------------------------------- expand-capturing-lifts [179] 100.0% [182] 39938(30.9%) 200(0.2%) lambda-clause-expander (unknown source) finish-bodys [185] 91.4% loop [211] 7.6% datum->syntax6 [192] 0.5% ---------------------------------------------------------------------------------------- loop [211] 12.3% expand-capturing-lifts [179] 30.5% for-loop [187] 57.2% [183] 21248(16.4%) 206(0.2%) dispatch-transformer41 (unknown source) apply-transformer52 [186] 99.0% ---------------------------------------------------------------------------------------- compile-forms33 [180] 100.0% [184] 594(0.5%) 208(0.2%) loop! (unknown source) for-loop [187] 65.0% ---------------------------------------------------------------------------------------- lambda-clause-expander [182] 32.8% for-loop [187] 67.2% [185] 36522(28.3%) 0(0.0%) finish-bodys (unknown source) for-loop [187] 100.0% ---------------------------------------------------------------------------------------- dispatch-transformer41 [183] 100.0% [186] 21042(16.3%) 2952(2.3%) apply-transformer52 (unknown source) apply-transformer-in-context [188] 41.1% loop [211] 32.6% apply-post-expansion [189] 11.3% ---------------------------------------------------------------------------------------- add-local-binding!39 [194] 0.1% compile-let13 [207] 0.2% namespace-syntax-introduce3 [95] 0.5% loop! [184] 0.7% fallback-loop [33] 3.5% compile-forms33 [180] 5.9% for-loop [187] 21.9% finish-bodys [185] 66.7% [187] 40490(31.3%) 12040(9.3%) for-loop (unknown source) finish-bodys [185] 45.6% for-loop [187] 21.9% dispatch-transformer41 [183] 9.8% compile-module-linklet57 [191] 5.4% syntax-e [9] 2.1% expand-implicit [12] 1.8% loop [211] 1.6% expand-id-application-form17 [214] 0.7% expand-identifier [13] 0.7% datum->syntax6 [192] 0.6% add-local-binding!39 [194] 0.5% dispatch-variable [197] 0.3% compile5 [199] 0.2% ---------------------------------------------------------------------------------------- apply-transformer52 [186] 100.0% [188] 8652(6.7%) 1822(1.4%) apply-transformer-in-context (unknown source) ??? [190] 32.8% go [193] 18.4% parse-app [195] 11.4% parse-lambda [196] 9.3% datum->syntax6 [192] 4.7% new-lambda [198] 2.3% ---------------------------------------------------------------------------------------- apply-transformer52 [186] 100.0% [189] 2370(1.8%) 0(0.0%) apply-post-expansion (unknown source) gf [213] 100.0% ---------------------------------------------------------------------------------------- apply-transformer-in-context [188] 100.0% [190] 2836(2.2%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [200] 100.0% ---------------------------------------------------------------------------------------- for-loop [187] 100.0% [191] 2188(1.7%) 1964(1.5%) compile-module-linklet57 (unknown source) make-module-use-to-linklet [204] 10.2% ---------------------------------------------------------------------------------------- lambda-clause-expander [182] 12.2% temp118_0 [173] 12.3% for-loop [187] 24.6% apply-transformer-in-context [188] 25.1% expand-implicit [12] 25.8% [192] 1636(1.3%) 1226(0.9%) datum->syntax6 (unknown source) loop [211] 25.1% ---------------------------------------------------------------------------------------- apply-transformer-in-context [188] 100.0% [193] 1594(1.2%) 584(0.5%) go .../collects/racket/private/qq-and-or.rkt:50:20 loop [201] 38.3% stx-cdr [205] 12.5% syntax->list [208] 12.5% ---------------------------------------------------------------------------------------- for-loop [187] 100.0% [194] 1380(1.1%) 802(0.6%) add-local-binding!39 (unknown source) binding-table-add [203] 27.1% for-loop [187] 14.8% ---------------------------------------------------------------------------------------- apply-transformer-in-context [188] 100.0% [195] 988(0.8%) 788(0.6%) parse-app ...collects/racket/private/kw.rkt:1142:2 syntax->list [208] 20.2% ---------------------------------------------------------------------------------------- apply-transformer-in-context [188] 100.0% [196] 802(0.6%) 602(0.5%) parse-lambda ...llects/racket/private/kw.rkt:619:2 t-subst [206] 24.9% ---------------------------------------------------------------------------------------- for-loop [187] 100.0% [197] 588(0.5%) 204(0.2%) dispatch-variable (unknown source) substitute-variable6 [202] 65.3% ---------------------------------------------------------------------------------------- apply-transformer-in-context [188] 100.0% [198] 200(0.2%) 200(0.2%) new-lambda ...ollects/racket/private/kw.rkt:856:11 ---------------------------------------------------------------------------------------- compile-let13 [207] 50.0% for-loop [187] 50.0% [199] 184(0.1%) 0(0.0%) compile5 (unknown source) compile-let13 [207] 100.0% ---------------------------------------------------------------------------------------- ??? [190] 100.0% [200] 2836(2.2%) 202(0.2%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 syntax->list [208] 92.9% ---------------------------------------------------------------------------------------- loop [201] 21.9% go [193] 78.1% [201] 610(0.5%) 200(0.2%) loop ...llects/racket/private/qq-and-or.rkt:101:61 stx-pair? [209] 67.2% loop [201] 21.9% ---------------------------------------------------------------------------------------- dispatch-variable [197] 100.0% [202] 384(0.3%) 384(0.3%) substitute-variable6 (unknown source) ---------------------------------------------------------------------------------------- add-local-binding!39 [194] 100.0% [203] 374(0.3%) 374(0.3%) binding-table-add (unknown source) ---------------------------------------------------------------------------------------- compile-module-linklet57 [191] 100.0% [204] 224(0.2%) 224(0.2%) make-module-use-to-linklet (unknown source) ---------------------------------------------------------------------------------------- go [193] 100.0% [205] 200(0.2%) 200(0.2%) stx-cdr ....5/collects/racket/private/stx.rkt:74:4 ---------------------------------------------------------------------------------------- parse-lambda [196] 100.0% [206] 200(0.2%) 0(0.0%) t-subst ...lects/racket/private/template.rkt:651:0 loop/mode [210] 100.0% ---------------------------------------------------------------------------------------- compile-let13 [207] 33.3% compile5 [199] 66.7% [207] 184(0.1%) 0(0.0%) compile-let13 (unknown source) compile5 [199] 33.3% compile-let13 [207] 33.3% for-loop [187] 33.3% ---------------------------------------------------------------------------------------- go [193] 6.6% parse-app [195] 6.6% ??? [200] 86.8% [208] 3034(2.3%) 0(0.0%) syntax->list (unknown source) loop [211] 100.0% ---------------------------------------------------------------------------------------- loop [201] 100.0% [209] 410(0.3%) 0(0.0%) stx-pair? .../collects/racket/private/stx.rkt:40:4 syntax-e [9] 100.0% ---------------------------------------------------------------------------------------- t-subst [206] 100.0% [210] 200(0.2%) 200(0.2%) loop/mode ...cts/racket/private/template.rkt:652:2 ---------------------------------------------------------------------------------------- datum->syntax6 [192] 0.0% .../more-scheme.rkt:261:28 [36] 0.1% compile15 [167] 0.5% expand-capturing-lifts [179] 0.8% for-loop [60] 1.5% temp91_0 [170] 1.7% gf [213] 2.3% ??? [129] 2.9% syntax->list [208] 4.4% lambda-clause-expander [182] 6.3% eval-const-expr [56] 8.4% parse-loop49 [230] 9.1% for-loop [187] 9.5% loop [211] 10.6% apply-transformer52 [186] 12.8% syntax-e/no-taint [22] 28.8% [211] 34622(26.8%) 5976(4.6%) loop (unknown source) gf [213] 27.6% loop [211] 10.6% core-form-sym [215] 9.5% expand-capturing-lifts [179] 9.5% f40 [212] 8.3% syntax-e [9] 8.0% dispatch-transformer41 [183] 5.4% expand-id-application-form17 [214] 5.1% expand-identifier [13] 2.3% sample-multi-bounded [217] 2.1% ??? [216] 1.0% parse-loop74 [46] 0.8% temp85_0 [161] 0.1% ---------------------------------------------------------------------------------------- ??? [251] 0.0% ??? [218] 0.1% taylor-log [14] 0.1% taylor-invert [11] 0.2% for-loop [19] 0.2% taylor-quotient [39] 0.2% for-loop [18] 0.5% taylor-sqrt [37] 0.5% loop [211] 1.5% parse-loop49 [230] 1.5% map [219] 45.3% hash-ref! [242] 49.7% [212] 85196(65.9%) 0(0.0%) f40 (unknown source) map [219] 100.0% ---------------------------------------------------------------------------------------- add-ns-scopes [86] 1.1% apply-post-expansion [189] 7.6% loop [211] 91.3% [213] 14852(11.5%) 5042(3.9%) gf (unknown source) propagation-apply [220] 25.8% propagation-merge [223] 12.2% loop [211] 8.9% propagation-apply-shifted [224] 8.1% syntax-e/no-taint [22] 7.4% cache-or-reuse-set [225] 4.9% ---------------------------------------------------------------------------------------- for-loop [187] 21.0% expand-capturing-lifts [179] 24.6% loop [211] 54.3% [214] 4822(3.7%) 384(0.3%) expand-id-application-form17 (unknown source) syntax-e/no-taint [22] 37.5% resolve+shift28 [24] 33.6% binding-lookup52 [226] 20.9% ---------------------------------------------------------------------------------------- loop [211] 100.0% [215] 4040(3.1%) 598(0.5%) core-form-sym (unknown source) resolve+shift28 [24] 85.2% ---------------------------------------------------------------------------------------- map [219] 15.3% loop [211] 38.8% loop [235] 45.9% [216] 2616(2.0%) 806(0.6%) ??? ...lies/herbie/better-rr/src/points.rkt:181:26 ??? [221] 46.2% ??? [218] 15.4% ulp-difference [228] 7.6% ---------------------------------------------------------------------------------------- loop [211] 43.3% ??? [129] 56.7% [217] 2388(1.8%) 200(0.2%) sample-multi-bounded ...ter-rr/src/points.rkt:14:0 random-ranges [222] 82.9% for-loop [227] 8.7% ---------------------------------------------------------------------------------------- loop [17] 0.2% fallback-update [143] 0.2% ??? [216] 0.4% real->precision [134] 0.9% loop [128] 3.9% ??? [3] 29.5% location-do [229] 32.5% for-loop [115] 32.5% [218] 109986(85.1%) 1422(1.1%) ??? ...tract/private/arrow-higher-order.rkt:375:33 location-do [229] 32.5% approximate9 [2] 32.4% hash-ref! [242] 29.7% ival-mult [233] 2.2% ival-pow-neg [236] 0.9% ival-pow-pos [239] 0.4% bf [240] 0.2% f40 [212] 0.1% ---------------------------------------------------------------------------------------- f61 [47] 0.1% parse-loop15 [258] 0.4% gather-multiplicative-terms [234] 0.6% parse-loop49 [230] 0.8% for-loop [60] 1.7% taylor [29] 14.7% f40 [212] 81.7% [219] 93846(72.6%) 1382(1.1%) map ...t-7.5/collects/racket/private/map.rkt:35:13 f40 [212] 37.7% parse-loop74 [46] 22.7% taylor [29] 14.5% f61 [47] 8.8% parse-loop49 [230] 4.4% ??? [8] 3.2% simplify* [231] 2.2% simplify-node [49] 1.5% make-multiplication-node [10] 1.5% loop [235] 1.4% gather-multiplicative-terms [234] 0.6% ??? [216] 0.4% hash-ref! [242] 0.3% taylor-invert [11] 0.2% loop [241] 0.1% ---------------------------------------------------------------------------------------- gf [213] 100.0% [220] 3830(3.0%) 3830(3.0%) propagation-apply (unknown source) ---------------------------------------------------------------------------------------- for-loop [66] 7.1% ??? [216] 42.3% .../more-scheme.rkt:261:28 [36] 50.6% [221] 2854(2.2%) 1618(1.3%) ??? ...rbie/better-rr/src/syntax/syntax.rkt:214:17 return/no-unsupplied [232] 43.3% ---------------------------------------------------------------------------------------- sample-multi-bounded [217] 100.0% [222] 1980(1.5%) 528(0.4%) random-ranges ...ie/better-rr/src/common.rkt:164:0 build--> [237] 41.9% cons/c [238] 31.4% ---------------------------------------------------------------------------------------- gf [213] 100.0% [223] 1814(1.4%) 1814(1.4%) propagation-merge (unknown source) ---------------------------------------------------------------------------------------- gf [213] 100.0% [224] 1200(0.9%) 1200(0.9%) propagation-apply-shifted (unknown source) ---------------------------------------------------------------------------------------- gf [213] 100.0% [225] 1042(0.8%) 1042(0.8%) cache-or-reuse-set (unknown source) ---------------------------------------------------------------------------------------- expand-id-application-form17 [214] 100.0% [226] 1006(0.8%) 1006(0.8%) binding-lookup52 (unknown source) ---------------------------------------------------------------------------------------- sample-multi-bounded [217] 100.0% [227] 208(0.2%) 208(0.2%) for-loop ...s/herbie/better-rr/src/points.rkt:20:4 ---------------------------------------------------------------------------------------- ??? [216] 100.0% [228] 200(0.2%) 200(0.2%) ulp-difference ...bie/better-rr/src/float.rkt:19:0 ---------------------------------------------------------------------------------------- location-do [229] 15.9% ??? [218] 84.1% [229] 104054(80.5%) 0(0.0%) location-do ...bie/better-rr/src/programs.rkt:87:0 ??? [218] 84.1% location-do [229] 15.9% ---------------------------------------------------------------------------------------- map [219] 100.0% [230] 11272(8.7%) 0(0.0%) parse-loop49 (unknown source) loop [211] 41.1% f40 [212] 35.5% map [219] 21.7% ??? [8] 1.8% ---------------------------------------------------------------------------------------- taylor-log [14] 2.7% hash-ref! [242] 5.1% map [219] 92.3% [231] 7600(5.9%) 4014(3.1%) simplify* ...ie/better-rr/src/core/reduce.rkt:28:0 hash-ref! [242] 42.1% return/no-unsupplied [232] 2.7% variable? [243] 2.4% ---------------------------------------------------------------------------------------- ??? [274] 7.8% simplify* [231] 7.8% type-of [58] 15.7% debug5 [41] 20.8% ??? [221] 47.9% [232] 2582(2.0%) 1638(1.3%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [244] 36.6% ---------------------------------------------------------------------------------------- ??? [218] 100.0% [233] 2462(1.9%) 400(0.3%) ival-mult ...e/better-rr/src/biginterval.rkt:129:0 bfmul [271] 83.8% ---------------------------------------------------------------------------------------- gather-multiplicative-terms [234] 12.5% map [219] 25.3% simplify-node [49] 62.2% [234] 2194(1.7%) 1394(1.1%) gather-multiplicative-terms ...re/reduce.rkt:109:0 map [219] 25.3% compose [245] 23.5% gather-multiplicative-terms [234] 12.5% ---------------------------------------------------------------------------------------- loop [235] 42.8% map [219] 57.2% [235] 1400(1.1%) 0(0.0%) loop ...-7.5/collects/racket/private/map.rkt:40:19 ??? [216] 42.9% loop [235] 42.8% parse-loop74 [46] 14.3% ---------------------------------------------------------------------------------------- ??? [218] 100.0% [236] 1008(0.8%) 200(0.2%) ival-pow-neg ...etter-rr/src/biginterval.rkt:245:0 bfodd? [247] 40.3% bfceiling [248] 20.0% ival-fabs [250] 19.8% ---------------------------------------------------------------------------------------- random-ranges [222] 100.0% [237] 830(0.6%) 412(0.3%) build--> ...act/private/arrow-val-first.rkt:1214:0 coerce-contract [246] 50.4% ---------------------------------------------------------------------------------------- random-ranges [222] 100.0% [238] 622(0.5%) 202(0.2%) cons/c .../racket/contract/private/guts.rkt:500:15 coerce-contract [246] 67.5% ---------------------------------------------------------------------------------------- ??? [218] 100.0% [239] 402(0.3%) 200(0.2%) ival-pow-pos ...etter-rr/src/biginterval.rkt:224:0 bfmul [271] 50.2% ---------------------------------------------------------------------------------------- ??? [218] 100.0% [240] 222(0.2%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 ??? [275] 100.0% ---------------------------------------------------------------------------------------- map [219] 1.8% loop [241] 98.2% [241] 200(0.2%) 0(0.0%) loop ...-7.5/collects/racket/private/map.rkt:54:19 loop [241] 98.2% ??? [249] 1.8% ---------------------------------------------------------------------------------------- for-loop [269] 0.1% for-loop [72] 0.1% localize-error [106] 0.2% map [219] 0.2% for-loop [125] 0.3% simplify* [231] 0.3% for-loop [20] 1.1% for-loop [38] 1.6% first-nonzero-exp [48] 1.8% ??? [253] 2.1% taylor-sqrt [37] 2.3% ??? [30] 2.5% for-loop [19] 2.7% for-loop [31] 2.9% ??? [252] 3.0% ??? [251] 5.7% ??? [218] 11.7% loop [17] 11.7% for-loop [18] 18.3% ??? [3] 29.1% [242] 102920(79.7%) 4428(3.4%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [3] 40.6% ??? [4] 18.7% f40 [212] 9.3% ??? [251] 6.0% taylor [29] 5.4% ??? [5] 5.4% ??? [6] 4.0% ??? [252] 3.0% ??? [253] 2.1% ??? [7] 1.6% parse-loop74 [46] 0.6% matcher [257] 0.4% parse-loop15 [258] 0.4% simplify-node [49] 0.2% f61 [47] 0.1% make-multiplication-node [10] 0.1% simplify* [231] 0.0% simplify [256] 0.0% ---------------------------------------------------------------------------------------- simplify* [231] 11.8% pattern-match [137] 24.7% type-of [58] 25.6% free-variables [81] 37.9% [243] 1562(1.2%) 0(0.0%) variable? ...better-rr/src/syntax/syntax.rkt:729:0 value? [254] 50.6% ??? [139] 49.4% ---------------------------------------------------------------------------------------- for-loop [70] 17.5% return/no-unsupplied [232] 82.5% [244] 1144(0.9%) 944(0.7%) filter ...5/collects/racket/private/list.rkt:256:2 ??? [259] 17.5% ---------------------------------------------------------------------------------------- make-multiplication-subnode [25] 19.4% gather-multiplicative-terms [234] 80.6% [245] 992(0.8%) 992(0.8%) compose ...collects/racket/private/list.rkt:385:12 ---------------------------------------------------------------------------------------- build--> [237] 49.9% cons/c [238] 50.1% [246] 838(0.6%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [255] 100.0% ---------------------------------------------------------------------------------------- ival-pow-neg [236] 100.0% [247] 406(0.3%) 406(0.3%) bfodd? ...lib/math/private/bigfloat/mpfr.rkt:817:0 ---------------------------------------------------------------------------------------- ival-pow-neg [236] 100.0% [248] 202(0.2%) 0(0.0%) bfceiling .../math/private/bigfloat/mpfr.rkt:730:4 new-mpfr [276] 100.0% ---------------------------------------------------------------------------------------- loop [241] 100.0% [249] 200(0.2%) 0(0.0%) ??? ...erbie/better-rr/src/core/localize.rkt:49:36 ??? [275] 100.0% ---------------------------------------------------------------------------------------- ival-pow-neg [236] 100.0% [250] 200(0.2%) 0(0.0%) ival-fabs ...e/better-rr/src/biginterval.rkt:378:0 bfsqrt [272] 100.0% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [251] 56212(43.5%) 0(0.0%) ??? .../herbie/better-rr/src/core/taylor.rkt:44:15 hash-ref! [242] 95.8% ??? [30] 3.5% f40 [212] 0.4% f61 [47] 0.3% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [252] 30536(23.6%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:343:33 hash-ref! [242] 100.0% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [253] 27484(21.3%) 200(0.2%) ??? ...herbie/better-rr/src/core/taylor.rkt:327:33 hash-ref! [242] 99.3% ---------------------------------------------------------------------------------------- type-of [58] 8.1% variable? [243] 15.7% constant? [140] 76.2% [254] 5018(3.9%) 5018(3.9%) value? ...rbie/better-rr/src/syntax/types.rkt:18:0 ---------------------------------------------------------------------------------------- coerce-contract [246] 100.0% [255] 838(0.6%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [261] 100.0% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [256] 598(0.5%) 0(0.0%) simplify ...bie/better-rr/src/core/reduce.rkt:15:0 f16 [262] 100.0% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [257] 404(0.3%) 0(0.0%) matcher ...ie/better-rr/src/core/matcher.rkt:118:2 ??? [263] 75.0% rewriter [119] 25.0% ---------------------------------------------------------------------------------------- hash-ref! [242] 100.0% [258] 384(0.3%) 0(0.0%) parse-loop15 (unknown source) map [219] 84.0% for-loop [264] 16.0% ---------------------------------------------------------------------------------------- filter [244] 100.0% [259] 200(0.2%) 0(0.0%) ??? ...herbie/better-rr/src/core/regimes.rkt:48:35 ??? [260] 100.0% ---------------------------------------------------------------------------------------- ??? [259] 12.2% .../more-scheme.rkt:261:28 [36] 13.7% loop [128] 74.1% [260] 1634(1.3%) 202(0.2%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-sqrt [265] 36.8% ival-sub [266] 24.8% ??? [267] 13.7% f307 [270] 12.2% ---------------------------------------------------------------------------------------- coerce-contract/f [255] 100.0% [261] 838(0.6%) 838(0.6%) coerce-simple-value ...ract/private/guts.rkt:385:0 ---------------------------------------------------------------------------------------- simplify [256] 25.9% f16 [262] 74.1% [262] 598(0.5%) 186(0.1%) f16 (unknown source) f16 [262] 74.1% loop [15] 15.5% ---------------------------------------------------------------------------------------- matcher [257] 100.0% [263] 404(0.3%) 0(0.0%) ??? ...erbie/better-rr/src/core/matcher.rkt:130:11 for-loop [269] 50.0% foldl [268] 50.0% ---------------------------------------------------------------------------------------- parse-loop15 [258] 100.0% [264] 184(0.1%) 184(0.1%) for-loop .../better-rr/src/core/localize.rkt:44:21 ---------------------------------------------------------------------------------------- ??? [260] 100.0% [265] 602(0.5%) 0(0.0%) ival-sqrt ...e/better-rr/src/biginterval.rkt:205:0 bfsqrt [272] 100.0% ---------------------------------------------------------------------------------------- ??? [260] 100.0% [266] 406(0.3%) 206(0.2%) ival-sub ...ie/better-rr/src/biginterval.rkt:117:0 bfmul [271] 49.3% ---------------------------------------------------------------------------------------- for-loop [273] 50.0% ??? [260] 50.0% [267] 224(0.2%) 224(0.2%) ??? ...cts/racket/contract/private/list.rkt:209:10 for-loop [273] 50.0% ---------------------------------------------------------------------------------------- ??? [263] 100.0% [268] 202(0.2%) 0(0.0%) foldl ....5/collects/racket/private/list.rkt:229:4 ??? [274] 100.0% ---------------------------------------------------------------------------------------- ??? [263] 100.0% [269] 202(0.2%) 0(0.0%) for-loop .../better-rr/src/core/matcher.rkt:132:15 hash-ref! [242] 100.0% ---------------------------------------------------------------------------------------- ??? [260] 12.5% f307 [270] 87.5% [270] 200(0.2%) 200(0.2%) f307 (unknown source) f307 [270] 87.5% ---------------------------------------------------------------------------------------- ival-sub [266] 8.1% ival-pow-pos [239] 8.2% ival-mult [233] 83.7% [271] 2464(1.9%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:835:4 ??? [275] 57.5% new-mpfr [276] 42.5% ---------------------------------------------------------------------------------------- ival-fabs [250] 24.9% ival-sqrt [265] 75.1% [272] 802(0.6%) 0(0.0%) bfsqrt ...lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [276] 75.1% ??? [275] 24.9% ---------------------------------------------------------------------------------------- ??? [267] 100.0% [273] 224(0.2%) 0(0.0%) for-loop ...acket/contract/private/list.rkt:212:15 ??? [267] 100.0% ---------------------------------------------------------------------------------------- foldl [268] 100.0% [274] 202(0.2%) 0(0.0%) ??? .../herbie/better-rr/src/core/matcher.rkt:25:7 return/no-unsupplied [232] 100.0% ---------------------------------------------------------------------------------------- ??? [249] 9.8% bfsqrt [272] 9.8% bf [240] 10.9% bfmul [271] 69.5% [275] 2040(1.6%) 2040(1.6%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ---------------------------------------------------------------------------------------- bfceiling [248] 10.9% bfsqrt [272] 32.5% bfmul [271] 56.5% [276] 1850(1.4%) 1850(1.4%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ----------------------------------------------------------------------------------------