Profiling results ----------------- Total cpu time observed: 1392614ms (out of 1392832ms) Number of samples taken: 6614 (once every 211ms) (Hiding functions with self<1.0% and local<2.0%: 36 of 358 hidden) ============================================================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================================================ [1] 1391788(99.9%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [19] 100.0% -------------------------------------------------------------------------------------------- core-form-sym [248] 0.1% stx-list? [73] 0.3% stx-pair? [85] 0.4% loop [245] 9.6% for-loop [264] 89.5% [2] 192008(13.8%) 882(0.1%) syntax-e (unknown source) syntax-e/no-taint [20] 99.5% -------------------------------------------------------------------------------------------- loop [245] 4.3% expand-capturing-lifts [235] 12.7% for-loop [264] 83.1% [3] 80634(5.8%) 800(0.1%) dispatch-transformer41 (unknown source) apply-transformer52 [22] 99.0% -------------------------------------------------------------------------------------------- for-loop [264] 100.0% [4] 58502(4.2%) 5948(0.4%) expand-implicit (unknown source) resolve+shift28 [21] 76.6% datum->syntax6 [244] 7.0% binding-lookup52 [289] 4.9% -------------------------------------------------------------------------------------------- loop [245] 3.1% for-loop [264] 96.9% [5] 39276(2.8%) 5014(0.4%) expand-identifier (unknown source) resolve+shift28 [21] 87.2% -------------------------------------------------------------------------------------------- ??? [247] 100.0% [6] 21824(1.6%) 0(0.0%) approximate9 ...better-rr/src/core/taylor.rkt:11:0 loop [23] 88.8% for-loop [34] 6.6% taylor [45] 1.9% f40 [255] 1.9% -------------------------------------------------------------------------------------------- for-loop [264] 100.0% [7] 17506(1.3%) 1010(0.1%) dispatch-variable (unknown source) substitute-variable6 [24] 94.2% -------------------------------------------------------------------------------------------- loop [245] 100.0% [8] 16170(1.2%) 0(0.0%) egg-expr->expr ...s/egg-herbie-linux/main.rkt:55:0 read [25] 100.0% -------------------------------------------------------------------------------------------- loop [245] 100.0% [9] 15720(1.1%) 256(0.0%) read-one/not-eof (unknown source) read-undotted [50] 99.6% -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [10] 14728(1.1%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:300:23 for-loop [26] 100.0% -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [11] 12676(0.9%) 0(0.0%) ??? .../herbie/better-rr/src/core/taylor.rkt:67:15 ??? [247] 76.5% hash-ref! [273] 23.5% -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [12] 12272(0.9%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:406:23 for-loop [27] 75.3% for-loop [40] 24.7% -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [13] 9008(0.6%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:509:23 for-loop [28] 100.0% -------------------------------------------------------------------------------------------- matcher [287] 100.0% [14] 8836(0.6%) 632(0.0%) ??? ...erbie/better-rr/src/core/matcher.rkt:129:11 for-loop [29] 54.6% for-loop [30] 43.2% foldl [41] 0.7% -------------------------------------------------------------------------------------------- map [265] 100.0% [15] 3056(0.2%) 0(0.0%) ??? ...s/herbie/better-rr/src/core/reduce.rkt:56:5 for-loop [31] 100.0% -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [16] 2264(0.2%) 200(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:290:26 for-loop [32] 91.2% -------------------------------------------------------------------------------------------- map [265] 100.0% [17] 1646(0.1%) 0(0.0%) make-multiplication-node .../core/reduce.rkt:231:0 make-multiplication-subnode [33] 100.0% -------------------------------------------------------------------------------------------- taylor [45] 100.0% [18] 596(0.0%) 0(0.0%) taylor-log .../better-rr/src/core/taylor.rkt:502:0 f61 [44] 66.8% f40 [255] 33.2% -------------------------------------------------------------------------------------------- ??? [1] 100.0% [19] 1391788(99.9%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [35] 100.0% -------------------------------------------------------------------------------------------- gf [246] 1.0% expand-id-application-form17 [272] 20.9% syntax-e [2] 78.1% [20] 244722(17.6%) 606(0.0%) syntax-e/no-taint (unknown source) loop [245] 99.8% -------------------------------------------------------------------------------------------- free-identifier=? [218] 1.3% core-form-sym [248] 10.1% expand-id-application-form17 [272] 18.8% expand-identifier [5] 30.2% expand-implicit [4] 39.5% [21] 113268(8.1%) 9642(0.7%) resolve+shift28 (unknown source) fallback-loop [36] 90.9% -------------------------------------------------------------------------------------------- dispatch-transformer41 [3] 100.0% [22] 79834(5.7%) 10656(0.8%) apply-transformer52 (unknown source) apply-transformer-in-context [37] 54.8% loop [245] 25.9% apply-post-expansion [42] 5.4% -------------------------------------------------------------------------------------------- approximate9 [6] 100.0% [23] 19380(1.4%) 0(0.0%) loop .../herbie/better-rr/src/core/taylor.rkt:86:4 hash-ref! [273] 65.4% ??? [247] 34.6% -------------------------------------------------------------------------------------------- dispatch-variable [7] 100.0% [24] 16496(1.2%) 14860(1.1%) substitute-variable6 (unknown source) datum->syntax6 [244] 9.9% -------------------------------------------------------------------------------------------- egg-expr->expr [8] 100.0% [25] 16170(1.2%) 248(0.0%) read (unknown source) read32 [38] 98.5% -------------------------------------------------------------------------------------------- ??? [10] 100.0% [26] 14728(1.1%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:303:27 hash-ref! [273] 98.4% f40 [255] 1.6% -------------------------------------------------------------------------------------------- ??? [12] 100.0% [27] 9240(0.7%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:410:33 hash-ref! [273] 59.7% for-loop [40] 40.3% -------------------------------------------------------------------------------------------- ??? [13] 100.0% [28] 9008(0.6%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:513:35 parse-loop402 [39] 100.0% -------------------------------------------------------------------------------------------- ??? [14] 100.0% [29] 5568(0.4%) 0(0.0%) for-loop ...e/better-rr/src/core/matcher.rkt:101:4 foldl [41] 96.4% loop [245] 3.6% -------------------------------------------------------------------------------------------- ??? [14] 100.0% [30] 4300(0.3%) 0(0.0%) for-loop .../better-rr/src/core/matcher.rkt:131:15 hash-ref! [273] 100.0% -------------------------------------------------------------------------------------------- ??? [15] 100.0% [31] 3056(0.2%) 0(0.0%) for-loop ...bie/better-rr/src/core/reduce.rkt:57:7 pattern-match [43] 100.0% -------------------------------------------------------------------------------------------- ??? [16] 100.0% [32] 2064(0.1%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:290:52 hash-ref! [273] 60.1% ??? [47] 20.3% f61 [44] 19.7% -------------------------------------------------------------------------------------------- make-multiplication-node [17] 100.0% [33] 1646(0.1%) 224(0.0%) make-multiplication-subnode ...re/reduce.rkt:241:0 for-loop [46] 48.8% group-by61 [103] 37.5% -------------------------------------------------------------------------------------------- approximate9 [6] 100.0% [34] 1430(0.1%) 0(0.0%) for-loop ...ie/better-rr/src/core/taylor.rkt:29:18 taylor [45] 84.3% taylor-exp [48] 15.7% -------------------------------------------------------------------------------------------- profile-thunk16 [19] 100.0% [35] 1391788(99.9%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [49] 100.0% -------------------------------------------------------------------------------------------- resolve+shift28 [21] 100.0% [36] 103004(7.4%) 27262(2.0%) fallback-loop (unknown source) for-loop [264] 73.5% -------------------------------------------------------------------------------------------- apply-transformer52 [22] 100.0% [37] 43772(3.1%) 11174(0.8%) apply-transformer-in-context (unknown source) ??? [51] 24.1% parse-app [52] 21.5% datum->syntax6 [244] 14.2% go [55] 11.9% parse-lambda [57] 1.8% -------------------------------------------------------------------------------------------- read [25] 100.0% [38] 15922(1.1%) 0(0.0%) read32 (unknown source) read-undotted [50] 100.0% -------------------------------------------------------------------------------------------- for-loop [28] 100.0% [39] 9008(0.6%) 0(0.0%) parse-loop402 (unknown source) for-loop [53] 100.0% -------------------------------------------------------------------------------------------- ??? [12] 44.9% for-loop [27] 55.1% [40] 6756(0.5%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:412:39 hash-ref! [273] 100.0% -------------------------------------------------------------------------------------------- ??? [14] 3.6% for-loop [29] 96.4% [41] 5566(0.4%) 200(0.0%) foldl ....5/collects/racket/private/list.rkt:229:4 ??? [54] 96.4% -------------------------------------------------------------------------------------------- apply-transformer52 [22] 100.0% [42] 4334(0.3%) 0(0.0%) apply-post-expansion (unknown source) gf [246] 100.0% -------------------------------------------------------------------------------------------- pattern-match [43] 2.7% fix-up-variables [154] 17.0% for-loop [31] 80.3% [43] 3682(0.3%) 400(0.0%) pattern-match ...tter-rr/src/core/matcher.rkt:29:0 for-loop [166] 56.3% constant? [301] 22.0% ??? [54] 5.4% pattern-match [43] 2.7% variable? [216] 2.7% -------------------------------------------------------------------------------------------- taylor-log [18] 10.9% for-loop [32] 11.1% hash-ref! [273] 17.3% map [265] 60.7% [44] 3668(0.3%) 0(0.0%) f61 (unknown source) eval-const-expr [80] 83.0% composed [58] 17.0% -------------------------------------------------------------------------------------------- approximate9 [6] 6.9% hash-ref! [273] 14.7% for-loop [34] 15.3% taylor [45] 63.2% [45] 3614(0.3%) 200(0.0%) taylor ...rbie/better-rr/src/core/taylor.rkt:169:0 taylor [45] 63.2% loop [56] 20.3% taylor-quotient [60] 8.8% taylor-invert [61] 4.6% taylor-log [18] 1.6% -------------------------------------------------------------------------------------------- make-multiplication-subnode [33] 100.0% [46] 804(0.1%) 0(0.0%) for-loop ...ie/better-rr/src/core/reduce.rkt:243:3 make-multiplication-subsubsubnode [59] 74.6% mterm->expr [71] 25.4% -------------------------------------------------------------------------------------------- for-loop [32] 100.0% [47] 418(0.0%) 0(0.0%) ??? ...herbie/better-rr/src/core/taylor.rkt:293:19 hash-ref! [273] 100.0% -------------------------------------------------------------------------------------------- for-loop [34] 100.0% [48] 224(0.0%) 0(0.0%) taylor-exp .../better-rr/src/core/taylor.rkt:400:0 f40 [255] 100.0% -------------------------------------------------------------------------------------------- for-loop [182] 17.1% run [35] 82.9% [49] 1391788(99.9%) 129430(9.3%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [62] 78.2% ??? [299] 10.8% prepare-points-intervals [127] 3.9% ??? [247] 0.6% *bit-width* [63] 0.6% get-final-combination [68] 0.4% oracle-error [69] 0.3% ??? [153] 0.2% errors [169] 0.1% ordinary-value? [303] 0.0% eval-errors [150] 0.0% baseline-error [75] 0.0% loop [245] 0.0% ??? [309] 0.0% -------------------------------------------------------------------------------------------- read32 [38] 22.7% read-one/not-eof [9] 77.3% [50] 15922(1.1%) 4066(0.3%) read-undotted (unknown source) read-unwrapped-sequence17 [64] 85.1% read-symbol-or-number8 [67] 8.2% -------------------------------------------------------------------------------------------- apply-transformer-in-context [37] 100.0% [51] 10546(0.8%) 1642(0.1%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [66] 78.4% syntax->list [81] 6.0% -------------------------------------------------------------------------------------------- apply-transformer-in-context [37] 100.0% [52] 9430(0.7%) 4070(0.3%) parse-app ...collects/racket/private/kw.rkt:1142:2 syntax->list [81] 44.0% datum->syntax6 [244] 8.6% check-loc [77] 2.1% datum->syntax [78] 2.1% -------------------------------------------------------------------------------------------- parse-loop402 [39] 100.0% [53] 9008(0.6%) 0(0.0%) for-loop ...e/better-rr/src/core/taylor.rkt:516:59 hash-ref! [273] 100.0% -------------------------------------------------------------------------------------------- pattern-match [43] 3.6% foldl [41] 96.4% [54] 5566(0.4%) 606(0.0%) ??? .../herbie/better-rr/src/core/matcher.rkt:25:7 core457 [172] 85.1% fallback-update [179] 4.0% -------------------------------------------------------------------------------------------- apply-transformer-in-context [37] 100.0% [55] 5192(0.4%) 0(0.0%) go .../collects/racket/private/qq-and-or.rkt:50:20 loop [70] 76.5% stx-list? [73] 11.5% syntax->list [81] 8.1% check-for-duplicates [76] 3.9% -------------------------------------------------------------------------------------------- taylor [45] 100.0% [56] 1618(0.1%) 0(0.0%) loop ...herbie/better-rr/src/core/taylor.rkt:267:2 hash-ref! [273] 100.0% -------------------------------------------------------------------------------------------- apply-transformer-in-context [37] 100.0% [57] 806(0.1%) 402(0.0%) parse-lambda ...llects/racket/private/kw.rkt:619:2 datum->syntax6 [244] 50.1% -------------------------------------------------------------------------------------------- f61 [44] 100.0% [58] 624(0.0%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 free-variables [72] 100.0% -------------------------------------------------------------------------------------------- for-loop [46] 100.0% [59] 600(0.0%) 0(0.0%) make-multiplication-subsubsubnode ...uce.rkt:263:0 mterm->expr [71] 100.0% -------------------------------------------------------------------------------------------- taylor [45] 100.0% [60] 600(0.0%) 0(0.0%) taylor-quotient ...er-rr/src/core/taylor.rkt:333:0 f40 [255] 66.7% first-nonzero-exp [74] 33.3% -------------------------------------------------------------------------------------------- taylor [45] 100.0% [61] 398(0.0%) 0(0.0%) taylor-invert ...tter-rr/src/core/taylor.rkt:317:0 parse-loop74 [65] 50.3% first-nonzero-exp [74] 49.7% -------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [49] 100.0% [62] 1325702(95.2%) 0(0.0%) run-improve47 .../better-rr/src/mainloop.rkt:364:0 for-loop [79] 99.9% prepare-points-intervals [127] 0.1% simplify! [91] 0.0% -------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [49] 100.0% [63] 16950(1.2%) 11184(0.8%) *bit-width* ...herbie/better-rr/src/float.rkt:34:0 return/no-unsupplied [317] 31.6% ??? [309] 2.4% -------------------------------------------------------------------------------------------- read-undotted [50] 100.0% [64] 15922(1.1%) 3008(0.2%) read-unwrapped-sequence17 (unknown source) loop [245] 95.0% -------------------------------------------------------------------------------------------- taylor-invert [61] 1.9% parse-loop49 [281] 2.1% hash-ref! [273] 37.0% map [265] 59.0% [65] 10668(0.8%) 400(0.0%) parse-loop74 (unknown source) eval-const-expr [80] 96.3% -------------------------------------------------------------------------------------------- ??? [51] 100.0% [66] 8270(0.6%) 1034(0.1%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 syntax->list [81] 87.5% -------------------------------------------------------------------------------------------- read-undotted [50] 100.0% [67] 6252(0.4%) 4640(0.3%) read-symbol-or-number8 (unknown source) loop [245] 25.8% -------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [49] 100.0% [68] 5400(0.4%) 0(0.0%) get-final-combination ...rr/src/mainloop.rkt:389:0 f33 [83] 73.9% infer-splitpoints [84] 26.1% -------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [49] 100.0% [69] 4078(0.3%) 0(0.0%) oracle-error ...bie/better-rr/src/points.rkt:179:0 for-loop [82] 100.0% -------------------------------------------------------------------------------------------- go [55] 48.8% loop [70] 51.2% [70] 3972(0.3%) 2070(0.1%) loop ...llects/racket/private/qq-and-or.rkt:101:61 loop [70] 51.2% datum->syntax6 [244] 10.9% stx-pair? [85] 7.7% -------------------------------------------------------------------------------------------- for-loop [46] 25.4% make-multiplication-subsubsubnode [59] 74.6% [71] 804(0.1%) 0(0.0%) mterm->expr ...better-rr/src/core/reduce.rkt:271:0 type-of [314] 100.0% -------------------------------------------------------------------------------------------- composed [58] 14.9% append-map [106] 85.1% [72] 624(0.0%) 0(0.0%) free-variables .../better-rr/src/programs.rkt:80:0 append-map [106] 85.1% constant? [301] 13.0% ??? [152] 1.9% -------------------------------------------------------------------------------------------- go [55] 100.0% [73] 598(0.0%) 0(0.0%) stx-list? .../collects/racket/private/stx.rkt:49:4 syntax-e [2] 100.0% -------------------------------------------------------------------------------------------- taylor-invert [61] 49.7% taylor-quotient [60] 50.3% [74] 398(0.0%) 0(0.0%) first-nonzero-exp ...-rr/src/core/taylor.rkt:265:0 hash-ref! [273] 100.0% -------------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [49] 100.0% [75] 210(0.0%) 0(0.0%) baseline-error ...e/better-rr/src/points.rkt:183:0 loop [132] 100.0% -------------------------------------------------------------------------------------------- go [55] 100.0% [76] 200(0.0%) 200(0.0%) check-for-duplicates ...rivate/qq-and-or.rkt:12:18 -------------------------------------------------------------------------------------------- parse-app [52] 100.0% [77] 200(0.0%) 200(0.0%) check-loc ...cts/racket/private/template.rkt:582:0 -------------------------------------------------------------------------------------------- parse-app [52] 100.0% [78] 198(0.0%) 198(0.0%) datum->syntax (unknown source) -------------------------------------------------------------------------------------------- run-improve47 [62] 100.0% [79] 1324056(95.1%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:383:4 run-iter! [86] 100.0% -------------------------------------------------------------------------------------------- f61 [44] 22.9% parse-loop74 [65] 77.1% [80] 13312(1.0%) 0(0.0%) eval-const-expr ...etter-rr/src/programs.rkt:144:0 temp85_0 [181] 81.5% eval-prog [183] 7.9% loop [245] 6.0% eval-one-top12 [191] 3.1% eval [185] 1.5% -------------------------------------------------------------------------------------------- go [55] 3.4% ??? [51] 5.1% parse-app [52] 33.4% ??? [66] 58.2% [81] 12442(0.9%) 0(0.0%) syntax->list (unknown source) loop [245] 100.0% -------------------------------------------------------------------------------------------- oracle-error [69] 100.0% [82] 4078(0.3%) 202(0.0%) for-loop .../herbie/better-rr/src/points.rkt:180:2 loop [245] 65.6% map [265] 24.5% argmin [89] 4.9% -------------------------------------------------------------------------------------------- get-final-combination [68] 100.0% [83] 3992(0.3%) 0(0.0%) f33 (unknown source) sindices->spoints [87] 100.0% -------------------------------------------------------------------------------------------- get-final-combination [68] 100.0% [84] 1408(0.1%) 0(0.0%) infer-splitpoints ...-rr/src/core/regimes.rkt:33:0 for-loop [88] 100.0% -------------------------------------------------------------------------------------------- loop [70] 100.0% [85] 846(0.1%) 0(0.0%) stx-pair? .../collects/racket/private/stx.rkt:40:4 syntax-e [2] 100.0% -------------------------------------------------------------------------------------------- for-loop [79] 100.0% [86] 1324056(95.1%) 0(0.0%) run-iter! ...rbie/better-rr/src/mainloop.rkt:345:0 finalize-iter! [90] 89.8% simplify! [91] 4.9% gen-rewrites! [92] 3.5% gen-series! [93] 1.7% choose-best-alt! [96] 0.1% localize! [97] 0.0% -------------------------------------------------------------------------------------------- f33 [83] 100.0% [87] 3992(0.3%) 0(0.0%) sindices->spoints ...rr/src/core/regimes.rkt:194:0 for-loop [94] 100.0% -------------------------------------------------------------------------------------------- infer-splitpoints [84] 100.0% [88] 1408(0.1%) 0(0.0%) for-loop ...ie/better-rr/src/core/regimes.rkt:45:6 option-on-expr [95] 100.0% -------------------------------------------------------------------------------------------- for-loop [82] 100.0% [89] 200(0.0%) 200(0.0%) argmin ...acket-7.5/collects/racket/list.rkt:765:0 -------------------------------------------------------------------------------------------- run-iter! [86] 100.0% [90] 1188710(85.4%) 0(0.0%) finalize-iter! ...better-rr/src/mainloop.rkt:277:0 ??? [152] 100.0% for-loop [109] 0.0% -------------------------------------------------------------------------------------------- run-improve47 [62] 0.3% run-iter! [86] 99.7% [91] 65292(4.7%) 2186(0.2%) simplify! ...rbie/better-rr/src/mainloop.rkt:223:0 ??? [98] 87.9% for-loop [102] 5.3% for-loop [105] 2.8% -------------------------------------------------------------------------------------------- run-iter! [86] 100.0% [92] 46794(3.4%) 0(0.0%) gen-rewrites! .../better-rr/src/mainloop.rkt:182:0 for-loop [99] 74.3% for-loop [101] 19.7% group-by61 [103] 5.5% append-map [106] 0.5% -------------------------------------------------------------------------------------------- run-iter! [86] 100.0% [93] 22248(1.6%) 0(0.0%) gen-series! ...ie/better-rr/src/mainloop.rkt:159:0 for-loop [100] 100.0% -------------------------------------------------------------------------------------------- sindices->spoints [87] 100.0% [94] 3992(0.3%) 0(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:234:9 binary-search-floats [104] 54.5% pred [117] 45.5% -------------------------------------------------------------------------------------------- for-loop [88] 100.0% [95] 1408(0.1%) 0(0.0%) option-on-expr ...er-rr/src/core/regimes.rkt:124:0 for-loop [108] 57.2% err-lsts->split-indices [110] 28.6% for-loop [112] 14.2% -------------------------------------------------------------------------------------------- run-iter! [86] 100.0% [96] 812(0.1%) 0(0.0%) choose-best-alt! ...tter-rr/src/mainloop.rkt:116:0 ...ow-val-first.rkt:486:18 [107] 100.0% -------------------------------------------------------------------------------------------- run-iter! [86] 100.0% [97] 400(0.0%) 0(0.0%) localize! ...rbie/better-rr/src/mainloop.rkt:126:0 localize-error [111] 100.0% -------------------------------------------------------------------------------------------- simplify! [91] 100.0% [98] 57416(4.1%) 2162(0.2%) ??? ...herbie/better-rr/src/core/simplify.rkt:42:0 egraph-run [113] 77.3% loop [245] 18.5% debug-print [124] 0.4% -------------------------------------------------------------------------------------------- gen-rewrites! [92] 100.0% [99] 34770(2.5%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:207:4 for-loop [114] 100.0% -------------------------------------------------------------------------------------------- gen-series! [93] 100.0% [100] 22248(1.6%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:166:7 taylor-alt [115] 100.0% -------------------------------------------------------------------------------------------- gen-rewrites! [92] 100.0% [101] 9240(0.7%) 0(0.0%) for-loop ...rbie/better-rr/src/mainloop.rkt:190:11 rewrite-expression-head23 [116] 97.8% *rules* [125] 2.2% -------------------------------------------------------------------------------------------- simplify! [91] 100.0% [102] 3434(0.2%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:261:6 for-loop [118] 100.0% -------------------------------------------------------------------------------------------- make-multiplication-subnode [33] 19.4% gen-rewrites! [92] 80.6% [103] 3190(0.2%) 200(0.0%) group-by61 ...t-7.5/collects/racket/list.rkt:771:0 for-loop [119] 34.9% for-loop [120] 31.7% for-loop [122] 14.0% hash-update [134] 13.1% -------------------------------------------------------------------------------------------- for-loop [94] 100.0% [104] 2174(0.2%) 0(0.0%) binary-search-floats ...src/core/regimes.rkt:176:0 pred [117] 100.0% -------------------------------------------------------------------------------------------- for-loop [105] 50.0% simplify! [91] 50.0% [105] 1854(0.1%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:250:6 for-loop [105] 50.0% ??? [247] 50.0% -------------------------------------------------------------------------------------------- gen-rewrites! [92] 25.4% free-variables [72] 74.6% [106] 836(0.1%) 0(0.0%) append-map ...t-7.5/collects/racket/list.rkt:586:2 free-variables [72] 74.6% loop [276] 25.4% -------------------------------------------------------------------------------------------- choose-best-alt! [96] 100.0% [107] 812(0.1%) 0(0.0%) ...ow-val-first.rkt:486:18 (unknown source) ??? [121] 100.0% -------------------------------------------------------------------------------------------- option-on-expr [95] 100.0% [108] 806(0.1%) 0(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:135:4 errors [169] 100.0% -------------------------------------------------------------------------------------------- finalize-iter! [90] 100.0% [109] 402(0.0%) 202(0.0%) for-loop ...5/collects/racket/private/set.rkt:68:2 for-loop [126] 49.8% -------------------------------------------------------------------------------------------- option-on-expr [95] 100.0% [110] 402(0.0%) 0(0.0%) err-lsts->split-indices .../core/regimes.rkt:263:0 loop [123] 100.0% -------------------------------------------------------------------------------------------- localize! [97] 100.0% [111] 400(0.0%) 0(0.0%) localize-error ...er-rr/src/core/localize.rkt:57:0 hash-ref! [273] 100.0% -------------------------------------------------------------------------------------------- option-on-expr [95] 100.0% [112] 200(0.0%) 200(0.0%) for-loop .../better-rr/src/core/regimes.rkt:132:29 -------------------------------------------------------------------------------------------- ??? [98] 100.0% [113] 44372(3.2%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [128] 100.0% -------------------------------------------------------------------------------------------- for-loop [99] 100.0% [114] 34770(2.5%) 1706(0.1%) for-loop ...erbie/better-rr/src/mainloop.rkt:208:6 change-apply [130] 60.0% ??? [247] 34.6% ??? [279] 0.6% -------------------------------------------------------------------------------------------- for-loop [100] 100.0% [115] 22248(1.6%) 0(0.0%) taylor-alt ...bie/better-rr/src/mainloop.rkt:145:0 for-loop [129] 100.0% -------------------------------------------------------------------------------------------- for-loop [101] 100.0% [116] 9038(0.6%) 0(0.0%) rewrite-expression-head23 ...core/matcher.rkt:83:0 rewriter [131] 100.0% -------------------------------------------------------------------------------------------- for-loop [94] 45.5% binary-search-floats [104] 54.5% [117] 3992(0.3%) 0(0.0%) pred ...erbie/better-rr/src/core/regimes.rkt:204:4 prepare-points-intervals [127] 66.7% errors [169] 33.3% -------------------------------------------------------------------------------------------- for-loop [102] 100.0% [118] 3434(0.2%) 2586(0.2%) for-loop ...erbie/better-rr/src/mainloop.rkt:262:8 ??? [247] 24.7% -------------------------------------------------------------------------------------------- group-by61 [103] 100.0% [119] 1114(0.1%) 906(0.1%) for-loop ...ket-7.5/collects/racket/list.rkt:805:4 hash-update [134] 18.7% -------------------------------------------------------------------------------------------- group-by61 [103] 100.0% [120] 1012(0.1%) 0(0.0%) for-loop ...ket-7.5/collects/racket/list.rkt:815:8 ??? [133] 100.0% -------------------------------------------------------------------------------------------- ...ow-val-first.rkt:486:18 [107] 100.0% [121] 812(0.1%) 0(0.0%) ??? ...erbie/better-rr/src/core/alt-table.rkt:40:0 loop [132] 100.0% -------------------------------------------------------------------------------------------- group-by61 [103] 100.0% [122] 446(0.0%) 224(0.0%) for-loop ...ket-7.5/collects/racket/list.rkt:818:2 loop [276] 49.8% -------------------------------------------------------------------------------------------- err-lsts->split-indices [110] 100.0% [123] 402(0.0%) 0(0.0%) loop ...erbie/better-rr/src/core/regimes.rkt:314:4 for-loop [135] 100.0% -------------------------------------------------------------------------------------------- ??? [98] 100.0% [124] 232(0.0%) 0(0.0%) debug-print ...erbie/better-rr/src/debug.rkt:110:0 for-loop [136] 100.0% -------------------------------------------------------------------------------------------- for-loop [101] 100.0% [125] 202(0.0%) 0(0.0%) *rules* ...ie/better-rr/src/syntax/rules.rkt:667:0 for-loop [264] 100.0% -------------------------------------------------------------------------------------------- for-loop [109] 100.0% [126] 200(0.0%) 200(0.0%) for-loop .../collects/racket/private/set.rkt:71:14 -------------------------------------------------------------------------------------------- run-improve47 [62] 2.5% pred [117] 4.5% .../more-scheme.rkt:261:28 [49] 93.0% [127] 58876(4.2%) 0(0.0%) prepare-points-intervals ...r/src/points.rkt:122:0 loop [137] 98.9% loop [145] 0.4% eval-prog [183] 0.4% temp85_0 [181] 0.3% -------------------------------------------------------------------------------------------- egraph-run [113] 100.0% [128] 44372(3.2%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 loop [245] 93.3% ??? [140] 6.7% -------------------------------------------------------------------------------------------- taylor-alt [115] 100.0% [129] 22248(1.6%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:151:6 ??? [247] 100.0% -------------------------------------------------------------------------------------------- for-loop [114] 100.0% [130] 20846(1.5%) 200(0.0%) change-apply ...etter-rr/src/core/matcher.rkt:69:0 pattern-substitute [138] 99.0% -------------------------------------------------------------------------------------------- matcher [287] 32.7% rewrite-expression-head23 [116] 67.3% [131] 9038(0.6%) 806(0.1%) rewriter ...ie/better-rr/src/core/matcher.rkt:85:2 for-loop [139] 97.9% -------------------------------------------------------------------------------------------- baseline-error [75] 20.5% ??? [121] 79.5% [132] 1022(0.1%) 0(0.0%) loop .../racket-7.5/collects/racket/list.rkt:751:4 ??? [142] 79.5% ??? [144] 20.5% -------------------------------------------------------------------------------------------- for-loop [120] 100.0% [133] 1012(0.1%) 0(0.0%) ??? ...-7.5/collects/racket/private/sort.rkt:369:3 generic-sort/key [141] 100.0% -------------------------------------------------------------------------------------------- for-loop [119] 33.2% group-by61 [103] 66.8% [134] 626(0.0%) 626(0.0%) hash-update ...acket/private/more-scheme.rkt:358:4 -------------------------------------------------------------------------------------------- loop [123] 100.0% [135] 402(0.0%) 0(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:279:4 for-loop [143] 100.0% -------------------------------------------------------------------------------------------- debug-print [124] 100.0% [136] 232(0.0%) 232(0.0%) for-loop ...s/herbie/better-rr/src/debug.rkt:116:2 -------------------------------------------------------------------------------------------- prepare-points-intervals [127] 100.0% [137] 58210(4.2%) 218(0.0%) loop ...lies/herbie/better-rr/src/points.rkt:134:4 loop [145] 96.8% ??? [148] 2.1% do-curry [312] 0.7% -------------------------------------------------------------------------------------------- pattern-substitute [138] 47.2% change-apply [130] 52.8% [138] 20646(1.5%) 7350(0.5%) pattern-substitute ...rr/src/core/matcher.rkt:45:0 pattern-substitute [138] 47.2% return/no-unsupplied [317] 7.0% do-curry [312] 5.6% variable? [216] 5.1% constant? [301] 4.9% ??? [153] 2.8% ??? [152] 2.4% ??? [309] 1.9% assoc-ref [319] 1.3% -------------------------------------------------------------------------------------------- rewriter [131] 100.0% [139] 9038(0.6%) 0(0.0%) for-loop ...ie/better-rr/src/core/matcher.rkt:87:4 hash-ref! [273] 90.7% for-loop [147] 9.3% -------------------------------------------------------------------------------------------- egraph-add-exprs [128] 100.0% [140] 2968(0.2%) 0(0.0%) ??? ...erbie/better-rr/src/core/simplify.rkt:102:6 egg-run-rules [146] 93.3% for-loop [151] 6.7% -------------------------------------------------------------------------------------------- ??? [133] 100.0% [141] 1012(0.1%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [149] 100.0% -------------------------------------------------------------------------------------------- loop [132] 100.0% [142] 812(0.1%) 0(0.0%) ??? ...es/herbie/better-rr/src/mainloop.rkt:113:10 errors [169] 100.0% -------------------------------------------------------------------------------------------- for-loop [135] 100.0% [143] 402(0.0%) 402(0.0%) for-loop ...e/better-rr/src/core/regimes.rkt:283:8 -------------------------------------------------------------------------------------------- loop [132] 100.0% [144] 210(0.0%) 0(0.0%) ??? ...lies/herbie/better-rr/src/points.rkt:184:27 eval-errors [150] 100.0% -------------------------------------------------------------------------------------------- prepare-points-intervals [127] 0.4% loop [137] 99.6% [145] 56584(4.1%) 2084(0.1%) loop ...tlies/herbie/better-rr/src/points.rkt:79:2 ??? [197] 72.7% ??? [247] 20.6% real->precision [155] 2.3% ??? [153] 0.4% ??? [152] 0.4% -------------------------------------------------------------------------------------------- ??? [140] 100.0% [146] 2768(0.2%) 2768(0.2%) egg-run-rules ...er-rr/src/core/simplify.rkt:108:0 -------------------------------------------------------------------------------------------- for-loop [139] 100.0% [147] 1834(0.1%) 202(0.0%) for-loop ...ie/better-rr/src/core/matcher.rkt:94:8 fix-up-variables [154] 89.0% -------------------------------------------------------------------------------------------- loop [137] 100.0% [148] 1240(0.1%) 206(0.0%) ??? ...tlies/herbie/better-rr/src/points.rkt:115:6 sample-multi-bounded [156] 83.4% -------------------------------------------------------------------------------------------- generic-sort/key [141] 31.6% copying-mergesort [149] 68.4% [149] 1012(0.1%) 1012(0.1%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [149] 68.4% -------------------------------------------------------------------------------------------- ??? [144] 49.3% .../more-scheme.rkt:261:28 [49] 50.7% [150] 426(0.0%) 0(0.0%) eval-errors ...rbie/better-rr/src/points.rkt:170:0 for-loop [157] 100.0% -------------------------------------------------------------------------------------------- ??? [140] 100.0% [151] 200(0.0%) 200(0.0%) for-loop .../better-rr/src/core/simplify.rkt:121:2 -------------------------------------------------------------------------------------------- loop [145] 0.0% free-variables [72] 0.0% inductor [198] 0.0% pattern-substitute [138] 0.1% variable? [216] 0.2% finalize-iter! [90] 99.6% [152] 1192984(85.7%) 5708(0.4%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [158] 99.2% atab-add-altns [159] 0.3% -------------------------------------------------------------------------------------------- loop [145] 2.7% pattern-substitute [138] 11.2% .../more-scheme.rkt:261:28 [49] 86.2% [153] 8064(0.6%) 8064(0.6%) ??? ...cket-7.5/collects/racket/function.rkt:93:12 -------------------------------------------------------------------------------------------- for-loop [147] 100.0% [154] 1632(0.1%) 0(0.0%) fix-up-variables ...-rr/src/core/matcher.rkt:106:2 for-loop [160] 61.6% pattern-match [43] 38.4% -------------------------------------------------------------------------------------------- loop [145] 100.0% [155] 1286(0.1%) 0(0.0%) real->precision ...tter-rr/src/programs.rkt:118:11 ??? [247] 84.4% ??? [309] 15.6% -------------------------------------------------------------------------------------------- ??? [148] 100.0% [156] 1034(0.1%) 0(0.0%) sample-multi-bounded ...ter-rr/src/points.rkt:14:0 random-ranges [161] 80.5% for-loop [162] 19.5% -------------------------------------------------------------------------------------------- eval-errors [150] 100.0% [157] 426(0.0%) 0(0.0%) for-loop .../herbie/better-rr/src/points.rkt:172:2 ??? [247] 50.7% ??? [299] 49.3% -------------------------------------------------------------------------------------------- ??? [152] 100.0% [158] 1184178(85.0%) 2536(0.2%) for-loop ...better-rr/src/core/alt-table.rkt:192:2 atab-add-altn [163] 65.9% errors [169] 29.2% loop [164] 3.3% override-at-pnts [170] 0.8% for-loop [171] 0.5% best-and-tied-at-points [177] 0.1% append-at-pnts [175] 0.1% loop [173] 0.0% -------------------------------------------------------------------------------------------- ??? [152] 100.0% [159] 4130(0.3%) 0(0.0%) atab-add-altns ...-rr/src/core/alt-table.rkt:185:0 loop [165] 89.8% loop [178] 10.2% -------------------------------------------------------------------------------------------- fix-up-variables [154] 100.0% [160] 1006(0.1%) 0(0.0%) for-loop ...ie/better-rr/src/core/matcher.rkt:41:9 for-loop [166] 100.0% -------------------------------------------------------------------------------------------- sample-multi-bounded [156] 100.0% [161] 832(0.1%) 210(0.0%) random-ranges ...ie/better-rr/src/common.rkt:164:0 build--> [167] 47.8% cons/c [168] 26.9% -------------------------------------------------------------------------------------------- sample-multi-bounded [156] 100.0% [162] 202(0.0%) 202(0.0%) for-loop ...s/herbie/better-rr/src/points.rkt:20:4 -------------------------------------------------------------------------------------------- for-loop [158] 100.0% [163] 779990(56.0%) 6656(0.5%) atab-add-altn ...r-rr/src/core/alt-table.rkt:195:0 errors [169] 94.5% for-loop [171] 2.0% override-at-pnts [170] 1.9% append-at-pnts [175] 0.3% loop [173] 0.2% best-and-tied-at-points [177] 0.1% do-curry [312] 0.1% loop [186] 0.0% -------------------------------------------------------------------------------------------- for-loop [158] 100.0% [164] 38840(2.8%) 7900(0.6%) loop ...bie/better-rr/src/core/alt-table.rkt:159:2 map [265] 26.9% loop [245] 17.9% loop [174] 9.5% loop [176] 7.8% loop [173] 5.5% loop [186] 3.2% loop [300] 2.6% hash-keys [180] 1.6% loop [178] 1.0% do-curry [312] 1.0% filter [320] 0.5% -------------------------------------------------------------------------------------------- atab-add-altns [159] 0.1% loop [165] 99.9% [165] 3710(0.3%) 3710(0.3%) loop ...racket-7.5/collects/racket/list.rkt:434:17 loop [165] 99.9% -------------------------------------------------------------------------------------------- for-loop [160] 32.7% pattern-match [43] 67.3% [166] 3078(0.2%) 208(0.0%) for-loop ...ie/better-rr/src/core/matcher.rkt:26:9 core457 [172] 73.2% fallback-update [179] 13.6% return/no-unsupplied [317] 6.5% -------------------------------------------------------------------------------------------- random-ranges [161] 100.0% [167] 398(0.0%) 200(0.0%) build--> ...act/private/arrow-val-first.rkt:1214:0 coerce-contract [204] 49.7% -------------------------------------------------------------------------------------------- random-ranges [161] 100.0% [168] 224(0.0%) 224(0.0%) cons/c .../racket/contract/private/guts.rkt:500:15 -------------------------------------------------------------------------------------------- for-loop [108] 0.1% ??? [142] 0.1% .../more-scheme.rkt:261:28 [49] 0.1% pred [117] 0.1% for-loop [158] 31.8% atab-add-altn [163] 67.8% [169] 1087320(78.1%) 2654(0.2%) errors ...es/herbie/better-rr/src/points.rkt:192:0 temp85_0 [181] 48.5% for-loop [182] 47.1% eval-prog [183] 2.3% loop [245] 0.9% eval [185] 0.9% make-sequence [190] 0.1% eval-one-top12 [191] 0.0% -------------------------------------------------------------------------------------------- for-loop [158] 38.5% atab-add-altn [163] 61.5% [170] 23832(1.7%) 1446(0.1%) override-at-pnts ...r/src/core/alt-table.rkt:120:0 for-loop [184] 92.2% make-sequence [190] 0.8% loop [186] 0.8% -------------------------------------------------------------------------------------------- for-loop [158] 25.6% atab-add-altn [163] 74.4% [171] 21252(1.5%) 18422(1.3%) for-loop ...better-rr/src/core/alt-table.rkt:101:2 ??? [199] 13.3% -------------------------------------------------------------------------------------------- for-loop [166] 32.2% ??? [54] 67.8% [172] 6988(0.5%) 626(0.0%) core457 ...acket/contract/private/arr-i.rkt:976:19 un-dep/maybe-chaperone [187] 26.3% build-unary-very-simple--> [188] 17.9% successfully-got-the-right-kind-of-function [257] 17.6% or/c [189] 17.5% ??? [309] 6.0% arrow-higher-order:lnp [260] 2.9% ??? [195] 2.9% -------------------------------------------------------------------------------------------- for-loop [158] 11.2% atab-add-altn [163] 36.5% loop [164] 52.2% [173] 4062(0.3%) 4062(0.3%) loop ...-7.5/collects/racket/private/hash.rkt:20:4 -------------------------------------------------------------------------------------------- loop [164] 36.2% loop [174] 63.8% [174] 3688(0.3%) 3688(0.3%) loop ...racket-7.5/collects/racket/list.rkt:434:28 loop [174] 63.8% -------------------------------------------------------------------------------------------- for-loop [158] 26.6% atab-add-altn [163] 73.4% [175] 3072(0.2%) 422(0.0%) append-at-pnts ...-rr/src/core/alt-table.rkt:128:0 loop [186] 53.6% loop [245] 32.6% -------------------------------------------------------------------------------------------- loop [164] 29.2% loop [176] 70.8% [176] 3044(0.2%) 2028(0.1%) loop ...racket-7.5/collects/racket/list.rkt:417:34 loop [176] 70.8% loop [245] 10.3% -------------------------------------------------------------------------------------------- for-loop [158] 49.3% atab-add-altn [163] 50.7% [177] 2086(0.1%) 1042(0.1%) best-and-tied-at-points ...core/alt-table.rkt:99:0 in-pcontext [192] 30.7% make-sequence [190] 19.4% -------------------------------------------------------------------------------------------- loop [164] 49.2% atab-add-altns [159] 50.8% [178] 826(0.1%) 406(0.0%) loop ...7.5/collects/racket/private/list.rkt:264:4 ??? [193] 50.8% -------------------------------------------------------------------------------------------- ??? [54] 34.9% for-loop [166] 65.1% [179] 642(0.0%) 202(0.0%) fallback-update ...s/racket/private/dict.rkt:115:2 ??? [247] 68.5% -------------------------------------------------------------------------------------------- loop [164] 100.0% [180] 612(0.0%) 202(0.0%) hash-keys .../collects/racket/private/hash.rkt:2:2 loop [194] 67.0% -------------------------------------------------------------------------------------------- prepare-points-intervals [127] 0.0% loop [245] 0.0% eval-const-expr [80] 2.0% errors [169] 97.9% [181] 538762(38.7%) 0(0.0%) temp85_0 (unknown source) compile15 [196] 100.0% -------------------------------------------------------------------------------------------- errors [169] 100.0% [182] 512010(36.8%) 32344(2.3%) for-loop .../herbie/better-rr/src/points.rkt:194:2 .../more-scheme.rkt:261:28 [49] 93.1% ??? [199] 0.6% -------------------------------------------------------------------------------------------- prepare-points-intervals [127] 0.8% eval-const-expr [80] 4.0% errors [169] 95.2% [183] 26360(1.9%) 1254(0.1%) eval-prog ...rbie/better-rr/src/programs.rkt:106:0 inductor [198] 42.5% hash-ref! [273] 38.1% ??? [197] 10.8% for-loop [202] 3.1% do-curry [312] 0.8% -------------------------------------------------------------------------------------------- override-at-pnts [170] 100.0% [184] 21984(1.6%) 19766(1.4%) for-loop ...etter-rr/src/core/alt-table.rkt:121:22 ??? [199] 10.1% -------------------------------------------------------------------------------------------- eval-const-expr [80] 2.0% errors [169] 98.0% [185] 9614(0.7%) 604(0.0%) eval (unknown source) datum->syntax6 [244] 39.8% namespace-syntax-introduce3 [200] 31.9% add-ns-scopes [217] 22.0% -------------------------------------------------------------------------------------------- override-at-pnts [170] 6.1% atab-add-altn [163] 6.1% loop [164] 37.8% append-at-pnts [175] 50.1% [186] 3292(0.2%) 3292(0.2%) loop ...rbie/better-rr/src/core/alt-table.rkt:83:2 -------------------------------------------------------------------------------------------- core457 [172] 100.0% [187] 1840(0.1%) 202(0.0%) un-dep/maybe-chaperone ...private/arr-i.rkt:1137:2 ??? [201] 54.9% ??? [219] 22.9% get/build-late-neg-projection [208] 11.2% -------------------------------------------------------------------------------------------- core457 [172] 100.0% [188] 1248(0.1%) 648(0.0%) build-unary-very-simple--> ...val-first.rkt:1150:0 coerce-contract [204] 32.1% chaperone-contract? [212] 16.0% -------------------------------------------------------------------------------------------- core457 [172] 100.0% [189] 1226(0.1%) 198(0.0%) or/c ...lects/racket/contract/private/orc.rkt:16:2 build-compound-type-name [206] 33.9% loop [207] 33.6% flat-contract? [211] 16.3% -------------------------------------------------------------------------------------------- override-at-pnts [170] 16.6% best-and-tied-at-points [177] 33.3% errors [169] 50.1% [190] 1214(0.1%) 404(0.0%) make-sequence ...ects/racket/private/for.rkt:533:2 ??? [203] 66.7% -------------------------------------------------------------------------------------------- errors [169] 49.0% eval-const-expr [80] 51.0% [191] 816(0.1%) 0(0.0%) eval-one-top12 (unknown source) for-loop [264] 75.5% instantiate [209] 24.5% -------------------------------------------------------------------------------------------- best-and-tied-at-points [177] 100.0% [192] 640(0.0%) 640(0.0%) in-pcontext ...erbie/better-rr/src/points.rkt:37:0 -------------------------------------------------------------------------------------------- loop [178] 100.0% [193] 420(0.0%) 0(0.0%) ??? ...cket-7.5/collects/racket/function.rkt:38:11 custom-set-member? [205] 100.0% -------------------------------------------------------------------------------------------- loop [194] 33.2% hash-keys [180] 66.8% [194] 410(0.0%) 410(0.0%) loop ...t-7.5/collects/racket/private/hash.rkt:3:4 loop [194] 33.2% -------------------------------------------------------------------------------------------- core457 [172] 100.0% [195] 200(0.0%) 0(0.0%) ??? ...s/racket/contract/private/arr-i.rkt:1288:27 build-nullary-very-simple--> [210] 100.0% -------------------------------------------------------------------------------------------- temp85_0 [181] 100.0% [196] 538762(38.7%) 0(0.0%) compile15 (unknown source) temp91_0 [213] 100.0% -------------------------------------------------------------------------------------------- eval-prog [183] 6.4% loop [145] 93.1% [197] 44152(3.2%) 19402(1.4%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-sin [214] 23.9% ival-tan [215] 21.9% ??? [279] 5.1% ival-sub [220] 2.3% ival-add [221] 1.5% f307 [226] 0.5% -------------------------------------------------------------------------------------------- eval-prog [183] 25.9% inductor [198] 74.1% [198] 11198(0.8%) 3446(0.2%) inductor ...erbie/better-rr/src/programs.rkt:127:4 inductor [198] 74.1% table-ref [318] 13.2% ??? [247] 2.2% value? [310] 1.6% ??? [152] 0.9% constant? [301] 0.7% variable? [216] 0.5% -------------------------------------------------------------------------------------------- for-loop [184] 28.1% for-loop [171] 35.9% for-loop [182] 36.1% [199] 7894(0.6%) 7894(0.6%) ??? ...7.5/collects/racket/private/for.rkt:1236:14 -------------------------------------------------------------------------------------------- eval [185] 100.0% [200] 3068(0.2%) 802(0.1%) namespace-syntax-introduce3 (unknown source) free-identifier=? [218] 46.9% add-ns-scopes [217] 20.3% for-loop [264] 6.7% -------------------------------------------------------------------------------------------- un-dep/maybe-chaperone [187] 100.0% [201] 1010(0.1%) 202(0.0%) ??? ...llects/racket/contract/private/orc.rkt:88:2 ??? [219] 80.0% -------------------------------------------------------------------------------------------- eval-prog [183] 100.0% [202] 818(0.1%) 818(0.1%) for-loop ...rbie/better-rr/src/programs.rkt:138:15 -------------------------------------------------------------------------------------------- make-sequence [190] 100.0% [203] 810(0.1%) 810(0.1%) ??? ...-7.5/collects/racket/private/for.rkt:1231:9 -------------------------------------------------------------------------------------------- build--> [167] 33.1% build-unary-very-simple--> [188] 66.9% [204] 598(0.0%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [222] 100.0% -------------------------------------------------------------------------------------------- ??? [193] 100.0% [205] 420(0.0%) 420(0.0%) custom-set-member? ...t/private/set-types.rkt:45:0 -------------------------------------------------------------------------------------------- or/c [189] 100.0% [206] 416(0.0%) 0(0.0%) build-compound-type-name ...private/guts.rkt:537:0 contract-struct-name [223] 100.0% -------------------------------------------------------------------------------------------- or/c [189] 100.0% [207] 412(0.0%) 206(0.0%) loop ...lects/racket/contract/private/orc.rkt:76:5 contract-struct-first-order [224] 50.0% -------------------------------------------------------------------------------------------- single-or/c-late-neg-projection [225] 50.0% un-dep/maybe-chaperone [187] 50.0% [208] 206(0.0%) 206(0.0%) get/build-late-neg-projection ...te/guts.rkt:827:0 single-or/c-late-neg-projection [225] 50.0% -------------------------------------------------------------------------------------------- eval-one-top12 [191] 100.0% [209] 200(0.0%) 200(0.0%) instantiate (unknown source) -------------------------------------------------------------------------------------------- ??? [195] 100.0% [210] 200(0.0%) 200(0.0%) build-nullary-very-simple--> ...l-first.rkt:1131:0 -------------------------------------------------------------------------------------------- or/c [189] 100.0% [211] 200(0.0%) 200(0.0%) flat-contract? .../contract/private/guts.rkt:129:0 -------------------------------------------------------------------------------------------- build-unary-very-simple--> [188] 100.0% [212] 200(0.0%) 200(0.0%) chaperone-contract? ...ract/private/guts.rkt:135:0 -------------------------------------------------------------------------------------------- compile15 [196] 100.0% [213] 538762(38.7%) 404(0.0%) temp91_0 (unknown source) temp118_0 [227] 94.4% compile-top9 [228] 5.3% loop [245] 0.1% -------------------------------------------------------------------------------------------- ??? [197] 100.0% [214] 10558(0.8%) 8930(0.6%) ival-sin ...ie/better-rr/src/biginterval.rkt:304:0 bfmul [277] 9.7% bfodd? [271] 3.8% -------------------------------------------------------------------------------------------- ??? [197] 100.0% [215] 9688(0.7%) 8842(0.6%) ival-tan ...ie/better-rr/src/biginterval.rkt:321:0 bfmul [277] 2.3% pi.bf [231] 2.2% bfneg [280] 2.1% bffloor [233] 2.1% -------------------------------------------------------------------------------------------- pattern-match [43] 5.6% inductor [198] 11.3% pattern-substitute [138] 83.1% [216] 3578(0.3%) 0(0.0%) variable? ...better-rr/src/syntax/syntax.rkt:729:0 ??? [152] 82.7% value? [310] 17.3% -------------------------------------------------------------------------------------------- namespace-syntax-introduce3 [200] 22.8% eval [185] 77.2% [217] 2734(0.2%) 616(0.0%) add-ns-scopes (unknown source) gf [246] 69.9% add-scopes [232] 7.6% -------------------------------------------------------------------------------------------- namespace-syntax-introduce3 [200] 100.0% [218] 1438(0.1%) 0(0.0%) free-identifier=? (unknown source) resolve+shift28 [21] 100.0% -------------------------------------------------------------------------------------------- un-dep/maybe-chaperone [187] 34.3% ??? [201] 65.7% [219] 1230(0.1%) 0(0.0%) ??? ...cts/racket/contract/private/guts.rkt:835:10 ??? [229] 100.0% -------------------------------------------------------------------------------------------- ??? [197] 100.0% [220] 1024(0.1%) 624(0.0%) ival-sub ...ie/better-rr/src/biginterval.rkt:117:0 bfmul [277] 39.1% -------------------------------------------------------------------------------------------- ??? [197] 100.0% [221] 646(0.0%) 0(0.0%) ival-add ...ie/better-rr/src/biginterval.rkt:111:0 bfmul [277] 100.0% -------------------------------------------------------------------------------------------- coerce-contract [204] 100.0% [222] 598(0.0%) 400(0.0%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [234] 33.1% -------------------------------------------------------------------------------------------- build-compound-type-name [206] 100.0% [223] 416(0.0%) 0(0.0%) contract-struct-name ...ract/private/prop.rkt:98:0 ??? [230] 100.0% -------------------------------------------------------------------------------------------- loop [207] 100.0% [224] 206(0.0%) 206(0.0%) contract-struct-first-order ...vate/prop.rkt:104:0 -------------------------------------------------------------------------------------------- get/build-late-neg-projection [208] 100.0% [225] 206(0.0%) 0(0.0%) single-or/c-late-neg-projection ...te/orc.rkt:85:0 get/build-late-neg-projection [208] 100.0% -------------------------------------------------------------------------------------------- ??? [197] 25.0% f307 [226] 75.0% [226] 200(0.0%) 200(0.0%) f307 (unknown source) f307 [226] 75.0% -------------------------------------------------------------------------------------------- temp91_0 [213] 100.0% [227] 508706(36.5%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [235] 100.0% -------------------------------------------------------------------------------------------- temp91_0 [213] 100.0% [228] 28648(2.1%) 408(0.0%) compile-top9 (unknown source) compile-forms33 [236] 97.9% -------------------------------------------------------------------------------------------- ??? [219] 100.0% [229] 1230(0.1%) 200(0.0%) ??? ...ntract/private/arrow-higher-order.rkt:575:2 build-subcontract-late-negs [237] 67.5% get-blame-party-info [238] 16.3% -------------------------------------------------------------------------------------------- contract-struct-name [223] 100.0% [230] 416(0.0%) 416(0.0%) ??? ...contract/private/arrow-val-first.rkt:1556:0 -------------------------------------------------------------------------------------------- ival-tan [215] 100.0% [231] 216(0.0%) 0(0.0%) pi.bf ...lib/math/private/bigfloat/mpfr.rkt:1012:4 ??? [294] 100.0% -------------------------------------------------------------------------------------------- add-ns-scopes [217] 100.0% [232] 208(0.0%) 208(0.0%) add-scopes (unknown source) -------------------------------------------------------------------------------------------- ival-tan [215] 100.0% [233] 200(0.0%) 0(0.0%) bffloor ...ib/math/private/bigfloat/mpfr.rkt:730:4 new-mpfr [290] 100.0% -------------------------------------------------------------------------------------------- coerce-contract/f [222] 100.0% [234] 198(0.0%) 198(0.0%) coerce-simple-value ...ract/private/guts.rkt:385:0 -------------------------------------------------------------------------------------------- loop [245] 2.0% temp118_0 [227] 98.0% [235] 518930(37.3%) 822(0.1%) expand-capturing-lifts (unknown source) lambda-clause-expander [239] 97.5% dispatch-transformer41 [3] 2.0% loop [245] 0.2% expand-id-application-form17 [272] 0.2% -------------------------------------------------------------------------------------------- compile-top9 [228] 100.0% [236] 28040(2.0%) 814(0.1%) compile-forms33 (unknown source) for-loop [264] 78.2% loop! [240] 18.2% -------------------------------------------------------------------------------------------- ??? [229] 100.0% [237] 830(0.1%) 624(0.0%) build-subcontract-late-negs ...her-order.rkt:711:0 get/build-collapsible-late-neg-projection [241] 24.8% -------------------------------------------------------------------------------------------- ??? [229] 100.0% [238] 200(0.0%) 0(0.0%) get-blame-party-info ...ate/arrow-common.rkt:136:0 show-blame-negative [242] 100.0% -------------------------------------------------------------------------------------------- expand-capturing-lifts [235] 100.0% [239] 506094(36.3%) 602(0.0%) lambda-clause-expander (unknown source) finish-bodys [243] 98.7% loop [245] 0.9% for-loop [264] 0.2% datum->syntax6 [244] 0.0% -------------------------------------------------------------------------------------------- compile-forms33 [236] 100.0% [240] 5110(0.4%) 200(0.0%) loop! (unknown source) for-loop [264] 96.1% -------------------------------------------------------------------------------------------- build-subcontract-late-negs [237] 100.0% [241] 206(0.0%) 206(0.0%) get/build-collapsible-late-neg-projection ...817:0 -------------------------------------------------------------------------------------------- get-blame-party-info [238] 100.0% [242] 200(0.0%) 200(0.0%) show-blame-negative ...act/private/blame.rkt:342:0 -------------------------------------------------------------------------------------------- lambda-clause-expander [239] 11.2% for-loop [264] 88.8% [243] 499604(35.9%) 406(0.0%) finish-bodys (unknown source) for-loop [264] 100.0% -------------------------------------------------------------------------------------------- lambda-clause-expander [239] 1.1% parse-lambda [57] 2.1% parse-app [52] 4.2% for-loop [264] 5.3% loop [70] 5.5% substitute-variable6 [24] 8.5% eval [185] 19.9% expand-implicit [4] 21.2% apply-transformer-in-context [37] 32.3% [244] 19280(1.4%) 7786(0.6%) datum->syntax6 (unknown source) loop [245] 59.6% -------------------------------------------------------------------------------------------- read-symbol-or-number8 [67] 0.0% expr->egg-expr-helper [249] 0.0% ??? [98] 0.0% egraph-add-exprs [128] 0.0% read-unwrapped-sequence17 [64] 0.0% parse-loop49 [281] 0.0% .../more-scheme.rkt:261:28 [49] 0.0% for-loop [29] 0.1% append-at-pnts [175] 0.1% temp91_0 [213] 0.1% eval-const-expr [80] 0.2% expand-capturing-lifts [235] 0.2% loop [164] 0.3% loop [176] 0.3% for-loop [82] 0.4% datum->syntax6 [244] 0.5% gf [246] 0.6% lambda-clause-expander [239] 0.9% errors [169] 1.3% syntax->list [81] 1.8% ??? [286] 2.5% apply-transformer52 [22] 4.2% for-loop [264] 13.3% loop [245] 19.6% syntax-e/no-taint [20] 53.7% [245] 384192(27.6%) 65398(4.7%) loop (unknown source) gf [246] 53.2% loop [245] 19.6% expand-id-application-form17 [272] 12.1% core-form-sym [248] 3.3% syntax-e [2] 2.4% hash-ref! [273] 2.4% expand-capturing-lifts [235] 1.4% dispatch-transformer41 [3] 0.7% expand-identifier [5] 0.3% ??? [295] 0.3% ??? [299] 0.1% temp85_0 [181] 0.0% f40 [255] 0.0% read-one/not-eof [9] 0.0% egg-expr->expr [8] 0.0% expr->egg-expr-helper [249] 0.0% ??? [247] 0.0% egg-parsed->expr [250] 0.0% -------------------------------------------------------------------------------------------- add-ns-scopes [217] 0.2% apply-post-expansion [42] 0.4% loop [245] 99.4% [246] 241494(17.3%) 25234(1.8%) gf (unknown source) propagation-apply [251] 57.6% propagation-apply-shifted [252] 13.6% propagation-merge [253] 13.3% cache-or-reuse-set [256] 2.5% loop [245] 2.0% syntax-e/no-taint [20] 0.3% -------------------------------------------------------------------------------------------- loop [245] 0.3% for-loop [157] 0.3% fallback-update [179] 0.4% ??? [295] 0.9% inductor [198] 0.9% for-loop [118] 0.9% real->precision [155] 1.5% for-loop [105] 2.6% loop [23] 3.2% ??? [11] 6.0% for-loop [129] 11.1% location-do [254] 11.4% loop [145] 16.5% for-loop [114] 17.0% .../more-scheme.rkt:261:28 [49] 24.8% [247] 70838(5.1%) 25658(1.8%) ??? ...tract/private/arrow-higher-order.rkt:375:33 location-do [254] 18.1% approximate9 [6] 10.8% hash-ref! [273] 9.1% ival-mult [258] 5.6% successfully-got-the-right-kind-of-function [257] 4.2% ival-pow-neg [259] 4.1% ival-div [261] 3.0% arrow-higher-order:lnp [260] 2.9% ival-pow-pos [266] 2.6% bf [263] 1.5% f40 [255] 0.2% -------------------------------------------------------------------------------------------- loop [245] 100.0% [248] 13726(1.0%) 2074(0.1%) core-form-sym (unknown source) resolve+shift28 [21] 83.4% syntax-e [2] 1.5% -------------------------------------------------------------------------------------------- loop [245] 100.0% [249] 4212(0.3%) 236(0.0%) expr->egg-expr-helper ...erbie-linux/main.rkt:77:0 loop [245] 95.5% list-member? [308] 2.7% -------------------------------------------------------------------------------------------- loop [245] 31.1% for-loop [262] 68.9% [250] 1406(0.1%) 472(0.0%) egg-parsed->expr ...egg-herbie-linux/main.rkt:59:0 for-loop [262] 79.5% list-member? [308] 3.7% -------------------------------------------------------------------------------------------- gf [246] 100.0% [251] 139040(10.0%) 139040(10.0%) propagation-apply (unknown source) -------------------------------------------------------------------------------------------- gf [246] 100.0% [252] 32812(2.4%) 32812(2.4%) propagation-apply-shifted (unknown source) -------------------------------------------------------------------------------------------- gf [246] 100.0% [253] 32078(2.3%) 32078(2.3%) propagation-merge (unknown source) -------------------------------------------------------------------------------------------- ??? [247] 36.0% location-do [254] 64.0% [254] 27424(2.0%) 3292(0.2%) location-do ...bie/better-rr/src/programs.rkt:87:0 location-do [254] 64.0% ??? [247] 30.1% ??? [267] 1.6% ??? [279] 0.2% -------------------------------------------------------------------------------------------- taylor-exp [48] 0.2% loop [245] 0.3% taylor-log [18] 0.3% approximate9 [6] 0.6% for-loop [26] 1.3% parse-loop49 [281] 1.3% ??? [247] 1.4% taylor-quotient [60] 2.6% hash-ref! [273] 45.1% map [265] 46.8% [255] 15256(1.1%) 204(0.0%) f40 (unknown source) map [265] 98.7% -------------------------------------------------------------------------------------------- gf [246] 100.0% [256] 6094(0.4%) 6094(0.4%) cache-or-reuse-set (unknown source) -------------------------------------------------------------------------------------------- core457 [172] 29.4% ??? [247] 70.6% [257] 4188(0.3%) 3096(0.2%) successfully-got-the-right-kind-of-function ...5:4 arity-checking-wrapper [269] 26.1% -------------------------------------------------------------------------------------------- ??? [247] 100.0% [258] 3942(0.3%) 1422(0.1%) ival-mult ...e/better-rr/src/biginterval.rkt:129:0 bfmul [277] 63.9% -------------------------------------------------------------------------------------------- ??? [247] 100.0% [259] 2938(0.2%) 410(0.0%) ival-pow-neg ...etter-rr/src/biginterval.rkt:245:0 ival-fabs [270] 29.1% bfneg [280] 21.2% ival-pow-pos [266] 21.1% bfodd? [271] 14.6% -------------------------------------------------------------------------------------------- core457 [172] 8.7% ??? [247] 91.3% [260] 2286(0.2%) 1066(0.1%) arrow-higher-order:lnp ...w-higher-order.rkt:673:7 ??? [268] 53.4% -------------------------------------------------------------------------------------------- ??? [247] 100.0% [261] 2102(0.2%) 1678(0.1%) ival-div ...ie/better-rr/src/biginterval.rkt:149:0 bfmul [277] 20.2% -------------------------------------------------------------------------------------------- egg-parsed->expr [250] 100.0% [262] 1406(0.1%) 448(0.0%) for-loop ....5/pkgs/egg-herbie-linux/main.rkt:64:6 egg-parsed->expr [250] 89.4% -------------------------------------------------------------------------------------------- ??? [247] 100.0% [263] 1080(0.1%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [290] 100.0% -------------------------------------------------------------------------------------------- add-local-binding!39 [275] 0.0% *rules* [125] 0.0% namespace-syntax-introduce3 [200] 0.0% eval-one-top12 [191] 0.1% lambda-clause-expander [239] 0.2% compile-let13 [291] 0.3% loop! [240] 0.7% fallback-loop [36] 1.0% compile-forms33 [236] 4.1% for-loop [264] 11.0% finish-bodys [243] 82.5% [264] 530302(38.1%) 119600(8.6%) for-loop (unknown source) finish-bodys [243] 75.0% for-loop [264] 11.0% compile-module-linklet57 [274] 4.0% dispatch-transformer41 [3] 2.5% syntax-e [2] 1.6% loop [245] 0.9% expand-implicit [4] 0.8% compile5 [278] 0.8% expand-identifier [5] 0.4% add-local-binding!39 [275] 0.3% dispatch-variable [7] 0.2% expand-id-application-form17 [272] 0.1% datum->syntax6 [244] 0.0% -------------------------------------------------------------------------------------------- parse-loop49 [281] 0.2% loop [276] 0.8% for-loop [82] 3.7% loop [164] 38.5% f40 [255] 55.3% [265] 27100(1.9%) 610(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 loop [276] 37.8% f40 [255] 26.2% parse-loop74 [65] 14.2% f61 [44] 4.8% ??? [15] 3.8% ??? [288] 3.0% parse-loop49 [281] 1.9% make-multiplication-node [17] 1.8% simplify* [282] 1.7% ??? [295] 1.5% hash-ref! [273] 1.4% simplify-node [296] 0.9% -------------------------------------------------------------------------------------------- ival-pow-neg [259] 24.8% ??? [247] 75.2% [266] 2496(0.2%) 2076(0.1%) ival-pow-pos ...etter-rr/src/biginterval.rkt:224:0 bfmul [277] 16.8% -------------------------------------------------------------------------------------------- location-do [254] 100.0% [267] 1238(0.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:363:46 ??? [279] 100.0% -------------------------------------------------------------------------------------------- arrow-higher-order:lnp [260] 100.0% [268] 1220(0.1%) 1220(0.1%) ??? ...et/contract/private/arity-checking.rkt:19:2 -------------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [257]100.0% [269] 1092(0.1%) 398(0.0%) arity-checking-wrapper ...w-higher-order.rkt:443:0 matches-arity-exactly? [283] 63.6% -------------------------------------------------------------------------------------------- ival-pow-neg [259] 100.0% [270] 856(0.1%) 208(0.0%) ival-fabs ...e/better-rr/src/biginterval.rkt:378:0 bfneg [280] 75.7% -------------------------------------------------------------------------------------------- ival-sin [214] 48.4% ival-pow-neg [259] 51.6% [271] 834(0.1%) 430(0.0%) bfodd? ...lib/math/private/bigfloat/mpfr.rkt:817:0 ??? [294] 24.5% new-mpz [284] 24.0% -------------------------------------------------------------------------------------------- expand-capturing-lifts [235] 1.0% for-loop [264] 7.0% loop [245] 92.0% [272] 78808(5.7%) 1222(0.1%) expand-id-application-form17 (unknown source) syntax-e/no-taint [20] 64.9% resolve+shift28 [21] 27.1% binding-lookup52 [289] 6.5% -------------------------------------------------------------------------------------------- ??? [47] 0.1% localize-error [111] 0.2% for-loop [32] 0.4% map [265] 0.8% first-nonzero-exp [74] 1.0% ??? [11] 2.4% loop [56] 2.7% for-loop [27] 2.8% for-loop [53] 3.2% for-loop [40] 3.3% for-loop [30] 5.1% loop [23] 5.9% eval-prog [183] 6.9% ??? [285] 7.5% ??? [247] 9.4% for-loop [26] 10.6% for-loop [139] 17.3% loop [245] 17.9% [273] 39470(2.8%) 9020(0.6%) hash-ref! .../racket/private/more-scheme.rkt:376:2 matcher [287] 22.4% ??? [286] 18.7% ??? [10] 10.8% f40 [255] 8.4% ??? [11] 8.3% ??? [285] 7.5% ??? [12] 6.2% ??? [13] 3.2% taylor [45] 1.9% ??? [16] 1.3% parse-loop74 [65] 1.0% f61 [44] 0.6% simplify-node [296] 0.2% bigfloat-hash [297] 0.1% simplify [298] 0.1% -------------------------------------------------------------------------------------------- for-loop [264] 100.0% [274] 21108(1.5%) 21108(1.5%) compile-module-linklet57 (unknown source) -------------------------------------------------------------------------------------------- for-loop [264] 100.0% [275] 20510(1.5%) 16474(1.2%) add-local-binding!39 (unknown source) binding-table-add [293] 16.7% for-loop [264] 3.0% -------------------------------------------------------------------------------------------- append-map [106] 0.0% for-loop [122] 0.0% map [265] 23.0% loop [276] 77.0% [276] 10852(0.8%) 2136(0.2%) loop ...-7.5/collects/racket/private/map.rkt:40:19 loop [276] 77.0% ??? [288] 13.8% ??? [295] 3.4% map [265] 0.0% -------------------------------------------------------------------------------------------- ival-tan [215] 4.0% ival-sub [220] 7.1% ival-pow-pos [266] 7.4% ival-div [261] 7.5% ival-add [221] 11.4% ival-sin [214] 18.1% ival-mult [258] 44.5% [277] 5660(0.4%) 622(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [290] 52.2% ??? [294] 36.8% -------------------------------------------------------------------------------------------- compile-let13 [291] 31.1% for-loop [264] 68.9% [278] 4300(0.3%) 2874(0.2%) compile5 (unknown source) compile-let13 [291] 69.0% -------------------------------------------------------------------------------------------- for-loop [114] 5.1% location-do [254] 5.7% ??? [267] 31.8% ??? [197] 57.4% [279] 3894(0.3%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [292] 100.0% -------------------------------------------------------------------------------------------- ival-tan [215] 14.0% ival-pow-neg [259] 42.1% ival-fabs [270] 43.9% [280] 1476(0.1%) 206(0.0%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [290] 58.8% ??? [294] 27.2% -------------------------------------------------------------------------------------------- map [265] 100.0% [281] 1250(0.1%) 0(0.0%) parse-loop49 (unknown source) f40 [255] 49.3% parse-loop74 [65] 17.9% map [265] 16.8% loop [245] 16.0% -------------------------------------------------------------------------------------------- map [265] 100.0% [282] 796(0.1%) 398(0.0%) simplify* ...ie/better-rr/src/core/reduce.rkt:28:0 ??? [311] 25.1% return/no-unsupplied [317] 24.9% -------------------------------------------------------------------------------------------- arity-checking-wrapper [269] 100.0% [283] 694(0.0%) 694(0.0%) matches-arity-exactly? ...te/arrow-common.rkt:70:0 -------------------------------------------------------------------------------------------- bfodd? [271] 100.0% [284] 200(0.0%) 200(0.0%) new-mpz ...-lib/math/private/bigfloat/gmp.rkt:73:0 -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [285] 17380(1.2%) 0(0.0%) ??? .../herbie/better-rr/src/core/taylor.rkt:44:15 hash-ref! [273] 100.0% -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [286] 9446(0.7%) 206(0.0%) ??? ...ies/herbie/better-rr/src/programs.rkt:202:5 loop [245] 99.7% -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [287] 8836(0.6%) 0(0.0%) matcher ...ie/better-rr/src/core/matcher.rkt:117:2 ??? [14] 77.7% rewriter [131] 22.3% -------------------------------------------------------------------------------------------- map [265] 9.6% loop [276] 90.4% [288] 8522(0.6%) 3460(0.2%) ??? ...bie/better-rr/src/core/alt-table.rkt:176:12 loop [300] 59.4% -------------------------------------------------------------------------------------------- expand-implicit [4] 36.1% expand-id-application-form17 [272] 63.9% [289] 7972(0.6%) 6958(0.5%) binding-lookup52 (unknown source) binding->module-instance [304] 12.7% -------------------------------------------------------------------------------------------- bffloor [233] 3.9% bfneg [280] 17.0% bf [263] 21.2% bfmul [277] 57.9% [290] 5102(0.4%) 5102(0.4%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 -------------------------------------------------------------------------------------------- compile5 [278] 46.3% compile-let13 [291] 53.7% [291] 4100(0.3%) 814(0.1%) compile-let13 (unknown source) compile-let13 [291] 53.7% for-loop [264] 28.8% compile5 [278] 16.0% -------------------------------------------------------------------------------------------- ??? [279] 100.0% [292] 3894(0.3%) 0(0.0%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ??? [302] 100.0% -------------------------------------------------------------------------------------------- add-local-binding!39 [275] 100.0% [293] 3428(0.2%) 3428(0.2%) binding-table-add (unknown source) -------------------------------------------------------------------------------------------- bfodd? [271] 7.0% pi.bf [231] 7.4% bfneg [280] 13.8% bfmul [277] 71.7% [294] 2906(0.2%) 2906(0.2%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 -------------------------------------------------------------------------------------------- map [265] 13.9% loop [276] 21.0% loop [245] 65.1% [295] 2866(0.2%) 416(0.0%) ??? ...lies/herbie/better-rr/src/points.rkt:181:26 ??? [299] 56.7% ??? [247] 21.7% ordinary-value? [303] 7.0% -------------------------------------------------------------------------------------------- hash-ref! [273] 49.6% map [265] 50.4% [296] 810(0.1%) 0(0.0%) simplify-node ...etter-rr/src/core/reduce.rkt:45:0 gather-multiplicative-terms [305] 50.4% constant? [301] 49.6% -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [297] 224(0.0%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 bfcanonicalize [306] 100.0% -------------------------------------------------------------------------------------------- hash-ref! [273] 100.0% [298] 200(0.0%) 0(0.0%) simplify ...bie/better-rr/src/core/reduce.rkt:15:0 f16 [307] 100.0% -------------------------------------------------------------------------------------------- for-loop [157] 0.1% loop [245] 0.2% ??? [295] 0.5% .../more-scheme.rkt:261:28 [49] 99.2% [299] 303034(21.8%) 211448(15.2%) ??? ...rbie/better-rr/src/syntax/syntax.rkt:214:17 return/no-unsupplied [317] 25.9% list-member? [308] 1.5% ??? [311] 1.4% ??? [309] 1.4% -------------------------------------------------------------------------------------------- loop [164] 16.6% ??? [288] 18.7% loop [300] 64.7% [300] 6070(0.4%) 6070(0.4%) loop ...7.5/collects/racket/private/list.rkt:82:16 loop [300] 64.7% -------------------------------------------------------------------------------------------- simplify-node [296] 9.9% free-variables [72] 10.1% inductor [198] 15.1% pattern-match [43] 20.0% pattern-substitute [138] 45.0% [301] 4052(0.3%) 208(0.0%) constant? ...better-rr/src/syntax/syntax.rkt:726:0 value? [310] 94.9% -------------------------------------------------------------------------------------------- ??? [292] 100.0% [302] 3894(0.3%) 3894(0.3%) ??? ...ects/racket/contract/private/list.rkt:163:5 -------------------------------------------------------------------------------------------- ??? [295] 14.1% .../more-scheme.rkt:261:28 [49] 85.9% [303] 1428(0.1%) 802(0.1%) ordinary-value? ...ie/better-rr/src/float.rkt:51:0 list-member? [308] 43.8% -------------------------------------------------------------------------------------------- binding-lookup52 [289] 100.0% [304] 1014(0.1%) 1014(0.1%) binding->module-instance (unknown source) -------------------------------------------------------------------------------------------- simplify-node [296] 100.0% [305] 408(0.0%) 208(0.0%) gather-multiplicative-terms ...re/reduce.rkt:109:0 do-curry [312] 49.0% -------------------------------------------------------------------------------------------- bigfloat-hash [297] 100.0% [306] 224(0.0%) 224(0.0%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 -------------------------------------------------------------------------------------------- simplify [298] 25.0% f16 [307] 75.0% [307] 200(0.0%) 0(0.0%) f16 (unknown source) f16 [307] 75.0% loop [313] 25.0% -------------------------------------------------------------------------------------------- egg-parsed->expr [250] 7.5% ordinary-value? [303] 9.6% expr->egg-expr-helper [249] 11.4% ??? [299] 71.5% [308] 6516(0.5%) 6516(0.5%) list-member? ...llects/racket/private/set.rkt:24:0 -------------------------------------------------------------------------------------------- real->precision [155] 3.2% .../more-scheme.rkt:261:28 [49] 6.4% *bit-width* [63] 6.5% core457 [172] 6.7% pattern-substitute [138] 9.5% ??? [299] 67.7% [309] 6284(0.5%) 5066(0.4%) ??? ...ects/racket/contract/private/guts.rkt:770:8 dict? [321] 9.5% ??? [315] 6.7% bigvalue? [316] 3.2% -------------------------------------------------------------------------------------------- variable? [216] 11.2% inductor [198] 19.0% constant? [301] 69.8% [310] 5506(0.4%) 5506(0.4%) value? ...rbie/better-rr/src/syntax/types.rkt:18:0 -------------------------------------------------------------------------------------------- simplify* [282] 4.5% ??? [299] 95.5% [311] 4464(0.3%) 4464(0.3%) ??? ...ects/racket/contract/private/prop.rkt:301:4 -------------------------------------------------------------------------------------------- gather-multiplicative-terms [305] 5.1% eval-prog [183] 5.1% loop [164] 10.2% loop [137] 10.4% atab-add-altn [163] 15.3% pattern-substitute [138] 53.9% [312] 3932(0.3%) 3932(0.3%) do-curry ...-7.5/collects/racket/function.rkt:71:2 -------------------------------------------------------------------------------------------- f16 [307] 100.0% [313] 200(0.0%) 0(0.0%) loop .../herbie/better-rr/src/core/reduce.rkt:17:2 type-of [314] 100.0% -------------------------------------------------------------------------------------------- loop [313] 19.9% mterm->expr [71] 80.1% [314] 1004(0.1%) 200(0.0%) type-of .../herbie/better-rr/src/programs.rkt:39:0 assoc-ref [319] 39.8% table-ref [318] 20.3% return/no-unsupplied [317] 19.9% -------------------------------------------------------------------------------------------- ??? [309] 100.0% [315] 418(0.0%) 418(0.0%) ??? /opt/racket-7.5/collects/racket/dict.rkt:11:8 -------------------------------------------------------------------------------------------- ??? [309] 100.0% [316] 200(0.0%) 200(0.0%) bigvalue? ...e/better-rr/src/syntax/types.rkt:19:0 -------------------------------------------------------------------------------------------- simplify* [282] 0.2% type-of [314] 0.2% for-loop [166] 0.2% pattern-substitute [138] 3.2% *bit-width* [63] 6.1% ??? [299] 90.0% [317] 87140(6.3%) 64846(4.7%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [320] 25.6% -------------------------------------------------------------------------------------------- type-of [314] 4.6% inductor [198] 95.4% [318] 4442(0.3%) 3846(0.3%) table-ref .../herbie/better-rr/src/common.rkt:33:0 dict? [321] 8.9% assoc-iterate-first [322] 4.5% -------------------------------------------------------------------------------------------- type-of [314] 40.0% pattern-substitute [138] 60.0% [319] 1000(0.1%) 1000(0.1%) assoc-ref ...collects/racket/private/dict.rkt:56:0 -------------------------------------------------------------------------------------------- loop [164] 0.9% return/no-unsupplied [317] 99.1% [320] 22494(1.6%) 22494(1.6%) filter ...5/collects/racket/private/list.rkt:256:2 -------------------------------------------------------------------------------------------- table-ref [318] 39.8% ??? [309] 60.2% [321] 996(0.1%) 996(0.1%) dict? ...ollects/racket/private/generic.rkt:146:11 -------------------------------------------------------------------------------------------- table-ref [318] 100.0% [322] 200(0.0%) 200(0.0%) assoc-iterate-first ...cket/private/dict.rkt:166:0 --------------------------------------------------------------------------------------------