Profiling results ----------------- Total cpu time observed: 87452ms (out of 87960ms) Number of samples taken: 246 (once every 355ms) (Hiding functions with self<1.0% and local<2.0%: 6 of 175 hidden) ============================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================================= ??? [50] 100.0% [1] 81154(92.8%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [13] 100.0% ----------------------------------------------------------------------------- ??? [50] 100.0% [2] 67216(76.9%) 0(0.0%) run-improve50 ...ie/develop/src/mainloop.rkt:234:0 for-loop [14] 84.4% get-final-combination [16] 14.5% loop [59] 0.5% setup-alt-simplified [23] 0.5% ----------------------------------------------------------------------------- ??? [84] 100.0% [3] 46802(53.5%) 0(0.0%) iterate-egraph!13 ...p/src/core/simplify.rkt:102:0 one-iter [15] 98.5% ----------------------------------------------------------------------------- ??? [84] 100.0% [4] 5060(5.8%) 0(0.0%) loop ...herbie/develop/src/core/simplify.rkt:210:2 pass [17] 100.0% ----------------------------------------------------------------------------- hash-ref! [102] 100.0% [5] 1438(1.6%) 0(0.0%) ??? ...s/herbie/develop/src/core/taylor.rkt:291:23 for-loop [18] 100.0% ----------------------------------------------------------------------------- copying-mergesort [127] 100.0% [6] 1048(1.2%) 0(0.0%) jloop ...t/collects/racket/private/sort.rkt:121:23 ??? [133] 100.0% ----------------------------------------------------------------------------- map [81] 31.0% f134 [35] 69.0% [7] 1044(1.2%) 0(0.0%) taylor-invert ...develop/src/core/taylor.rkt:308:0 first-nonzero-exp [19] 100.0% ----------------------------------------------------------------------------- loop [85] 100.0% [8] 694(0.8%) 0(0.0%) for-loop ...ie/develop/src/core/simplify.rkt:168:2 setfindf [20] 51.9% eval-const-expr [25] 48.1% ----------------------------------------------------------------------------- f134 [35] 100.0% [9] 360(0.4%) 0(0.0%) taylor-log ...ie/develop/src/core/taylor.rkt:472:0 simplify [95] 100.0% ----------------------------------------------------------------------------- hash-ref! [102] 100.0% [10] 360(0.4%) 0(0.0%) ??? ...s/herbie/develop/src/core/taylor.rkt:318:33 for-loop [22] 100.0% ----------------------------------------------------------------------------- hash-ref! [102] 100.0% [11] 360(0.4%) 0(0.0%) ??? ...s/herbie/develop/src/core/taylor.rkt:281:26 for-loop [21] 100.0% ----------------------------------------------------------------------------- hash-ref! [102] 100.0% [12] 358(0.4%) 0(0.0%) ??? ...s/herbie/develop/src/core/taylor.rkt:388:23 for-loop [24] 100.0% ----------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [13] 81154(92.8%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [50] 100.0% ----------------------------------------------------------------------------- run-improve50 [2] 100.0% [14] 56738(64.9%) 0(0.0%) for-loop ...herbie/develop/src/mainloop.rkt:249:10 run-iter! [26] 100.0% ----------------------------------------------------------------------------- iterate-egraph!13 [3] 100.0% [15] 46108(52.7%) 1340(1.5%) one-iter ...ie/develop/src/core/simplify.rkt:113:0 for-loop [27] 52.6% loop [28] 38.4% apply-match [34] 6.1% ----------------------------------------------------------------------------- run-improve50 [2] 100.0% [16] 9760(11.2%) 0(0.0%) get-final-combination ...op/src/mainloop.rkt:264:0 split-table [29] 100.0% ----------------------------------------------------------------------------- loop [4] 100.0% [17] 5060(5.8%) 0(0.0%) pass ...herbie/develop/src/core/simplify.rkt:200:2 for-loop [30] 100.0% ----------------------------------------------------------------------------- ??? [5] 100.0% [18] 1438(1.6%) 0(0.0%) for-loop ...bie/develop/src/core/taylor.rkt:294:27 hash-ref! [102] 100.0% ----------------------------------------------------------------------------- taylor-invert [7] 100.0% [19] 1044(1.2%) 0(0.0%) first-nonzero-exp ...lop/src/core/taylor.rkt:256:0 hash-ref! [102] 69.0% simplify [95] 31.0% ----------------------------------------------------------------------------- for-loop [8] 100.0% [20] 360(0.4%) 360(0.4%) setfindf ...es/herbie/develop/src/common.rkt:175:0 ----------------------------------------------------------------------------- ??? [11] 100.0% [21] 360(0.4%) 0(0.0%) for-loop ...bie/develop/src/core/taylor.rkt:281:52 hash-ref! [102] 100.0% ----------------------------------------------------------------------------- ??? [10] 100.0% [22] 360(0.4%) 0(0.0%) for-loop ...bie/develop/src/core/taylor.rkt:320:46 simplify [95] 100.0% ----------------------------------------------------------------------------- run-improve50 [2] 100.0% [23] 358(0.4%) 0(0.0%) setup-alt-simplified .../develop/src/glue.rkt:48:0 simplify-alt [31] 100.0% ----------------------------------------------------------------------------- ??? [12] 100.0% [24] 358(0.4%) 0(0.0%) for-loop ...bie/develop/src/core/taylor.rkt:392:33 for-loop [32] 100.0% ----------------------------------------------------------------------------- for-loop [8] 100.0% [25] 334(0.4%) 0(0.0%) eval-const-expr .../develop/src/programs.rkt:167:0 f134 [35] 100.0% ----------------------------------------------------------------------------- for-loop [14] 100.0% [26] 56738(64.9%) 0(0.0%) run-iter! ...herbie/develop/src/mainloop.rkt:215:0 simplify! [33] 82.1% finalize-iter! [36] 11.1% gen-series! [37] 5.5% localize-error [40] 1.3% ----------------------------------------------------------------------------- for-loop [27] 49.3% one-iter [15] 50.7% [27] 24254(27.7%) 5112(5.8%) for-loop ...e/develop/src/core/simplify.rkt:123:12 for-loop [27] 49.3% match-e [42] 39.5% ----------------------------------------------------------------------------- one-iter [15] 100.0% [28] 17718(20.3%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:52:19 apply-match [34] 100.0% ----------------------------------------------------------------------------- get-final-combination [16] 100.0% [29] 9760(11.2%) 0(0.0%) split-table ...s/herbie/develop/src/glue.rkt:162:0 f134 [35] 100.0% ----------------------------------------------------------------------------- pass [17] 100.0% [30] 5060(5.8%) 0(0.0%) for-loop ...e/develop/src/core/simplify.rkt:203:29 argmin [38] 53.8% loop [39] 46.2% ----------------------------------------------------------------------------- setup-alt-simplified [23] 100.0% [31] 358(0.4%) 0(0.0%) simplify-alt ...s/herbie/develop/src/glue.rkt:81:0 ??? [84] 100.0% ----------------------------------------------------------------------------- for-loop [24] 100.0% [32] 358(0.4%) 0(0.0%) for-loop ...bie/develop/src/core/taylor.rkt:394:39 hash-ref! [102] 100.0% ----------------------------------------------------------------------------- run-iter! [26] 100.0% [33] 46566(53.2%) 0(0.0%) simplify! ...herbie/develop/src/mainloop.rkt:155:0 for-loop [41] 100.0% ----------------------------------------------------------------------------- one-iter [15] 13.6% loop [28] 86.4% [34] 20514(23.5%) 0(0.0%) apply-match ...develop/src/core/simplify.rkt:129:2 merge-egraph-nodes! [52] 38.7% match-e [42] 22.9% for-loop [44] 20.1% loop! [93] 10.3% mk-enode! [54] 4.9% reduce-to-single! [48] 1.6% substitute-e [56] 1.6% ----------------------------------------------------------------------------- parse-loop12 [116] 0.3% for-loop [97] 0.4% approximate9 [87] 1.6% eval-const-expr [25] 2.5% hash-ref! [102] 3.7% simplify [95] 4.0% map [81] 5.1% eval-prog [144] 6.2% f134 [35] 10.2% split-table [29] 66.0% [35] 13232(15.1%) 682(0.8%) f134 .../collects/racket/match/compiler.rkt:507:40 loop [85] 49.2% option-on-expr [92] 16.8% f134 [35] 10.2% map [81] 9.4% ??? [82] 5.3% taylor-sqrt [47] 3.1% ??? [49] 2.5% taylor-log [9] 0.7% taylor-invert [7] 0.4% ----------------------------------------------------------------------------- run-iter! [26] 100.0% [36] 6316(7.2%) 0(0.0%) finalize-iter! ...e/develop/src/mainloop.rkt:169:0 ??? [121] 100.0% ----------------------------------------------------------------------------- run-iter! [26] 100.0% [37] 3140(3.6%) 0(0.0%) gen-series! ...rbie/develop/src/mainloop.rkt:129:0 for-loop [45] 100.0% ----------------------------------------------------------------------------- for-loop [30] 100.0% [38] 2720(3.1%) 0(0.0%) argmin ...re/racket/collects/racket/list.rkt:743:0 for-loop [43] 86.5% expression-cost [46] 13.5% ----------------------------------------------------------------------------- for-loop [30] 100.0% [39] 2340(2.7%) 0(0.0%) loop ...hare/racket/collects/racket/list.rkt:729:4 for-loop [43] 84.6% expression-cost [46] 15.4% ----------------------------------------------------------------------------- run-iter! [26] 100.0% [40] 716(0.8%) 0(0.0%) localize-error ...velop/src/core/localize.rkt:47:0 hash-ref! [102] 100.0% ----------------------------------------------------------------------------- simplify! [33] 100.0% [41] 46566(53.2%) 0(0.0%) for-loop .../herbie/develop/src/mainloop.rkt:159:6 ??? [50] 100.0% ----------------------------------------------------------------------------- apply-match [34] 10.5% for-loop [60] 27.1% for-loop [27] 62.4% [42] 23840(27.3%) 7640(8.7%) match-e ...herbie/develop/src/core/ematch.rkt:46:0 for-loop [51] 53.2% for-loop [60] 13.1% ??? [121] 6.8% variable? [115] 2.1% ----------------------------------------------------------------------------- loop [39] 45.7% argmin [38] 54.3% [43] 4332(5.0%) 0(0.0%) for-loop .../herbie/develop/src/programs.rkt:200:2 ??? [84] 91.7% ...velop/src/common.rkt:47:2 [57] 8.3% ----------------------------------------------------------------------------- apply-match [34] 100.0% [44] 4114(4.7%) 0(0.0%) for-loop ...e/develop/src/core/simplify.rkt:143:10 loop! [93] 58.1% merge-egraph-nodes! [52] 25.2% substitute-e [56] 8.8% mk-enode! [54] 7.9% ----------------------------------------------------------------------------- gen-series! [37] 100.0% [45] 3140(3.6%) 0(0.0%) for-loop .../herbie/develop/src/mainloop.rkt:135:7 taylor-alt [53] 100.0% ----------------------------------------------------------------------------- loop [39] 49.5% argmin [38] 50.5% [46] 728(0.8%) 0(0.0%) expression-cost .../develop/src/programs.rkt:199:0 compile [55] 100.0% ----------------------------------------------------------------------------- f134 [35] 100.0% [47] 718(0.8%) 0(0.0%) taylor-sqrt ...e/develop/src/core/taylor.rkt:342:0 simplify [95] 100.0% ----------------------------------------------------------------------------- apply-match [34] 100.0% [48] 334(0.4%) 0(0.0%) reduce-to-single! ...lop/src/core/egraph.rkt:324:0 for-loop [58] 100.0% ----------------------------------------------------------------------------- f134 [35] 100.0% [49] 334(0.4%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:336:46 ??? [88] 100.0% ----------------------------------------------------------------------------- for-loop [41] 17.9% run [13] 37.7% [50] 87086(99.6%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 37.7% run-improve50 [2] 29.9% ??? [84] 23.9% loop [59] 8.4% ----------------------------------------------------------------------------- match-e [42] 100.0% [51] 15546(17.8%) 4860(5.6%) for-loop ...rbie/develop/src/core/ematch.rkt:59:11 for-loop [60] 55.4% list-cartesian-product [64] 7.6% loop [85] 4.4% filter [165] 2.1% foldl [66] 1.2% ----------------------------------------------------------------------------- for-loop [63] 2.0% merge-egraph-nodes! [52] 5.7% for-loop [44] 11.6% apply-match [34] 80.7% [52] 8968(10.3%) 298(0.3%) merge-egraph-nodes! ...p/src/core/egraph.rkt:152:0 update-leader! [61] 56.2% for-loop [63] 13.4% loop! [93] 9.8% for-loop [65] 7.5% merge-egraph-nodes! [52] 5.7% enode-merge! [67] 4.0% ----------------------------------------------------------------------------- for-loop [45] 100.0% [53] 3140(3.6%) 0(0.0%) taylor-alt ...es/herbie/develop/src/glue.rkt:139:0 for-loop [62] 100.0% ----------------------------------------------------------------------------- for-loop [44] 24.6% apply-match [34] 75.4% [54] 1326(1.5%) 1326(1.5%) mk-enode! ...bie/develop/src/core/egraph.rkt:101:0 ----------------------------------------------------------------------------- expression-cost [46] 100.0% [55] 728(0.8%) 0(0.0%) compile ...s/herbie/develop/src/programs.rkt:176:0 hash-ref! [102] 100.0% ----------------------------------------------------------------------------- for-loop [44] 17.5% apply-match [34] 23.8% substitute-e [56] 58.7% [56] 686(0.8%) 0(0.0%) substitute-e ...e/develop/src/core/ematch.rkt:71:0 substitute-e [56] 58.7% variable? [115] 23.8% ??? [121] 17.5% ----------------------------------------------------------------------------- for-loop [43] 100.0% [57] 360(0.4%) 0(0.0%) ...velop/src/common.rkt:47:2 ...e/arr-i.rkt:906:19 ??? [68] 100.0% ----------------------------------------------------------------------------- reduce-to-single! [48] 100.0% [58] 334(0.4%) 334(0.4%) for-loop ...rbie/develop/src/core/egraph.rkt:325:8 ----------------------------------------------------------------------------- run-improve50 [2] 2.4% ??? [50] 97.6% [59] 14958(17.1%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:193:2 make-exacts* [77] 61.6% loop [69] 34.0% loop [79] 2.4% for-loop [76] 2.0% ----------------------------------------------------------------------------- match-e [42] 35.8% for-loop [51] 64.2% [60] 14156(16.2%) 2074(2.4%) for-loop ...rbie/develop/src/core/ematch.rkt:65:37 match-e [42] 80.4% ??? [71] 7.4% ----------------------------------------------------------------------------- merge-egraph-nodes! [52] 100.0% [61] 5552(6.3%) 724(0.8%) update-leader! ...evelop/src/core/egraph.rkt:217:0 for-loop [70] 80.3% custom-set-union! [72] 6.6% ----------------------------------------------------------------------------- taylor-alt [53] 100.0% [62] 3140(3.6%) 0(0.0%) for-loop ...lies/herbie/develop/src/glue.rkt:141:2 ??? [82] 100.0% ----------------------------------------------------------------------------- merge-egraph-nodes! [52] 100.0% [63] 1386(1.6%) 0(0.0%) for-loop ...bie/develop/src/core/egraph.rkt:200:10 loop! [93] 74.0% merge-egraph-nodes! [52] 26.0% ----------------------------------------------------------------------------- list-cartesian-product [64] 37.9% for-loop [51] 62.1% [64] 1348(1.5%) 1348(1.5%) list-cartesian-product ...src/core/ematch.rkt:20:0 list-cartesian-product [64] 37.9% ----------------------------------------------------------------------------- merge-egraph-nodes! [52] 100.0% [65] 676(0.8%) 676(0.8%) for-loop ...rbie/develop/src/core/egraph.rkt:232:6 ----------------------------------------------------------------------------- for-loop [51] 100.0% [66] 362(0.4%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:229:4 merge2 [73] 100.0% ----------------------------------------------------------------------------- merge-egraph-nodes! [52] 100.0% [67] 360(0.4%) 0(0.0%) enode-merge! ...e/develop/src/core/enode.rkt:100:0 custom-set-intersect! [74] 100.0% ----------------------------------------------------------------------------- ??? [75] 50.0% ...velop/src/common.rkt:47:2 [57] 50.0% [68] 360(0.4%) 360(0.4%) ??? ...ects/racket/contract/private/list.rkt:342:4 ??? [75] 50.0% ----------------------------------------------------------------------------- loop [59] 100.0% [69] 5092(5.8%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:151:2 loop [79] 78.8% make-exacts* [77] 21.2% ----------------------------------------------------------------------------- update-leader! [61] 100.0% [70] 4460(5.1%) 0(0.0%) for-loop ...rbie/develop/src/core/egraph.rkt:222:6 for-loop [78] 100.0% ----------------------------------------------------------------------------- for-loop [60] 100.0% [71] 1048(1.2%) 1048(1.2%) ??? ...ies/herbie/develop/src/core/ematch.rkt:50:5 ----------------------------------------------------------------------------- update-leader! [61] 100.0% [72] 368(0.4%) 368(0.4%) custom-set-union! ...t/private/set-types.rkt:245:0 ----------------------------------------------------------------------------- foldl [66] 100.0% [73] 362(0.4%) 362(0.4%) merge2 .../herbie/develop/src/core/ematch.rkt:31:0 ----------------------------------------------------------------------------- enode-merge! [67] 100.0% [74] 360(0.4%) 360(0.4%) custom-set-intersect! ...ivate/set-types.rkt:269:0 ----------------------------------------------------------------------------- ??? [68] 100.0% [75] 360(0.4%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:187:10 ??? [68] 100.0% ----------------------------------------------------------------------------- loop [59] 100.0% [76] 292(0.3%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:200:24 for-loop [80] 100.0% ----------------------------------------------------------------------------- loop [69] 10.5% loop [59] 89.5% [77] 10296(11.8%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:138:0 loop [85] 56.6% map [81] 43.4% ----------------------------------------------------------------------------- for-loop [70] 100.0% [78] 4460(5.1%) 324(0.4%) for-loop ...rbie/develop/src/core/egraph.rkt:223:8 hash-update! [83] 92.7% ----------------------------------------------------------------------------- loop [59] 8.2% loop [69] 91.8% [79] 4370(5.0%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:141:4 map [81] 100.0% ----------------------------------------------------------------------------- for-loop [76] 100.0% [80] 292(0.3%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:201:26 ??? [82] 100.0% ----------------------------------------------------------------------------- f134 [35] 18.9% loop [79] 40.1% make-exacts* [77] 41.0% [81] 10902(12.5%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [85] 81.1% f134 [35] 11.2% simplify-node [89] 3.3% taylor-invert [7] 3.0% parse-loop12 [116] 0.9% simplify* [106] 0.6% ----------------------------------------------------------------------------- for-loop [80] 5.7% ??? [84] 30.4% for-loop [62] 30.4% f134 [35] 33.5% [82] 5164(5.9%) 292(0.3%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [84] 43.1% approximate9 [87] 30.4% ??? [88] 14.2% ??? [90] 6.6% ----------------------------------------------------------------------------- for-loop [78] 100.0% [83] 4136(4.7%) 0(0.0%) hash-update! ...ket/private/more-scheme.rkt:362:13 ??? [86] 100.0% ----------------------------------------------------------------------------- simplify-alt [31] 0.3% for-loop [43] 2.4% ??? [84] 3.7% ??? [82] 6.2% for-loop [91] 42.0% ??? [50] 45.4% [84] 55994(64.0%) 304(0.3%) ??? ...llects/racket/private/norm-define.rkt:53:83 for-loop [91] 42.0% iterate-egraph!13 [3] 41.8% ??? [82] 5.0% ??? [84] 3.7% loop [4] 3.3% ??? [130] 2.6% *simplify-rules* [100] 0.6% return/no-unsupplied [158] 0.4% ??? [159] 0.2% ??? [132] 0.2% ----------------------------------------------------------------------------- make-exacts* [77] 0.0% map [81] 0.7% for-loop [51] 1.4% ??? [133] 3.8% loop! [93] 4.4% f134 [35] 25.7% loop [85] 62.7% [85] 28462(32.5%) 1056(1.2%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [85] 62.7% option-on-expr [92] 25.7% ->flonum [152] 4.0% loop! [93] 2.8% simplify [95] 1.1% ??? [133] 0.4% for-loop [8] 0.3% ??? [139] 0.0% ----------------------------------------------------------------------------- hash-update! [83] 100.0% [86] 4136(4.7%) 332(0.4%) ??? ...s/herbie/develop/src/core/egraph.rkt:225:24 for-loop [94] 92.0% ----------------------------------------------------------------------------- ??? [82] 100.0% [87] 3140(3.6%) 0(0.0%) approximate9 ...e/develop/src/core/taylor.rkt:12:0 loop [96] 68.7% f134 [35] 19.9% for-loop [97] 11.5% ----------------------------------------------------------------------------- ??? [49] 23.3% ??? [159] 25.6% ??? [82] 51.1% [88] 1436(1.6%) 368(0.4%) ??? ...ects/racket/contract/private/guts.rkt:644:8 ??? [121] 74.4% ----------------------------------------------------------------------------- map [81] 100.0% [89] 358(0.4%) 0(0.0%) simplify-node .../develop/src/core/reduce.rkt:39:0 append-map [98] 100.0% ----------------------------------------------------------------------------- ??? [82] 100.0% [90] 340(0.4%) 0(0.0%) ??? ...ts/racket/contract/private/arr-i.rkt:804:10 get/build-late-neg-projection [99] 100.0% ----------------------------------------------------------------------------- ??? [84] 100.0% [91] 48372(55.3%) 0(0.0%) for-loop ...ie/develop/src/core/simplify.rkt:63:12 ??? [84] 100.0% ----------------------------------------------------------------------------- f134 [35] 24.9% loop [85] 75.1% [92] 9760(11.2%) 0(0.0%) option-on-expr ...evelop/src/core/regimes.rkt:92:0 pick-errors [101] 60.7% sort-context-on-expr [104] 28.4% errors [140] 10.9% ----------------------------------------------------------------------------- for-loop [63] 10.6% merge-egraph-nodes! [52] 13.3% loop [85] 23.0% for-loop [44] 26.0% apply-match [34] 27.1% [93] 6584(7.5%) 2014(2.3%) loop! ...s/herbie/develop/src/core/enode.rkt:163:2 custom-set-union [103] 37.8% loop [85] 33.6% set [105] 8.0% ----------------------------------------------------------------------------- ??? [86] 100.0% [94] 3804(4.3%) 3444(3.9%) for-loop ...bie/develop/src/core/egraph.rkt:226:26 update-en-expr [109] 9.5% ----------------------------------------------------------------------------- loop [85] 9.6% first-nonzero-exp [19] 10.3% taylor-log [9] 11.5% for-loop [22] 11.5% taylor-sqrt [47] 22.9% hash-ref! [102] 34.3% [95] 3140(3.6%) 0(0.0%) simplify ...erbie/develop/src/core/reduce.rkt:15:0 f134 [35] 44.7% debug-print [107] 21.0% debug7 [108] 11.5% simplify* [106] 11.5% parse-loop12 [116] 11.4% ----------------------------------------------------------------------------- approximate9 [87] 100.0% [96] 2156(2.5%) 0(0.0%) loop ...es/herbie/develop/src/core/taylor.rkt:83:4 hash-ref! [102] 100.0% ----------------------------------------------------------------------------- approximate9 [87] 100.0% [97] 360(0.4%) 0(0.0%) for-loop ...rbie/develop/src/core/taylor.rkt:29:18 f134 [35] 100.0% ----------------------------------------------------------------------------- simplify-node [89] 100.0% [98] 358(0.4%) 0(0.0%) append-map ...acket/collects/racket/list.rkt:565:2 parse-loop12 [116] 100.0% ----------------------------------------------------------------------------- ??? [90] 100.0% [99] 340(0.4%) 0(0.0%) get/build-late-neg-projection ...te/guts.rkt:691:0 unconstrained-domain->-projection [110]100.0% ----------------------------------------------------------------------------- ??? [84] 100.0% [100] 334(0.4%) 0(0.0%) *simplify-rules* ...lop/src/syntax/rules.rkt:449:0 for-loop [111] 100.0% ----------------------------------------------------------------------------- option-on-expr [92] 100.0% [101] 5926(6.8%) 0(0.0%) pick-errors .../develop/src/core/regimes.rkt:160:0 for-loop [112] 100.0% ----------------------------------------------------------------------------- for-loop [21] 1.1% for-loop [32] 1.7% ??? [118] 3.1% first-nonzero-exp [19] 3.7% ??? [120] 6.7% for-loop [18] 9.5% compile [55] 13.6% loop [96] 15.1% localize-error [40] 19.9% ??? [114] 24.6% [102] 3600(4.1%) 728(0.8%) hash-ref! ...racket/private/more-scheme.rkt:373:13 ??? [114] 24.6% parse-loop12 [116] 19.9% f134 [35] 12.0% ??? [5] 9.5% ??? [120] 6.7% simplify [95] 5.7% ??? [118] 3.1% ??? [12] 1.7% ??? [11] 1.1% ??? [10] 1.1% ----------------------------------------------------------------------------- loop! [93] 100.0% [103] 2820(3.2%) 1388(1.6%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [117] 50.8% ----------------------------------------------------------------------------- option-on-expr [92] 100.0% [104] 2770(3.2%) 0(0.0%) sort-context-on-expr ...velop/src/points.rkt:115:0 ??? [113] 100.0% ----------------------------------------------------------------------------- loop! [93] 100.0% [105] 1054(1.2%) 1054(1.2%) set ...collects/racket/private/set-types.rkt:981:0 ----------------------------------------------------------------------------- map [81] 50.0% simplify [95] 50.0% [106] 720(0.8%) 360(0.4%) simplify* ...rbie/develop/src/core/reduce.rkt:20:0 variable? [115] 50.0% ----------------------------------------------------------------------------- simplify [95] 100.0% [107] 658(0.8%) 0(0.0%) debug-print .../herbie/develop/src/debug.rkt:107:0 for-loop [119] 100.0% ----------------------------------------------------------------------------- simplify [95] 100.0% [108] 360(0.4%) 360(0.4%) debug7 ...tlies/herbie/develop/src/debug.rkt:102:0 ----------------------------------------------------------------------------- for-loop [94] 100.0% [109] 360(0.4%) 360(0.4%) update-en-expr ...evelop/src/core/egraph.rkt:211:0 ----------------------------------------------------------------------------- get/build-late-neg-projection [99] 100.0% [110] 340(0.4%) 340(0.4%) unconstrained-domain->-projection ...rrow.rkt:60:0 ----------------------------------------------------------------------------- *simplify-rules* [100] 100.0% [111] 334(0.4%) 334(0.4%) for-loop ...ies/herbie/develop/src/common.rkt:94:9 ----------------------------------------------------------------------------- pick-errors [101] 100.0% [112] 5926(6.8%) 0(0.0%) for-loop ...bie/develop/src/core/regimes.rkt:163:6 eval-prog [144] 93.9% ??? [133] 6.1% ----------------------------------------------------------------------------- sort-context-on-expr [104] 100.0% [113] 2770(3.2%) 0(0.0%) ??? ...cket/collects/racket/private/sort.rkt:403:3 generic-sort/key [122] 74.4% loop [131] 25.6% ----------------------------------------------------------------------------- hash-ref! [102] 100.0% [114] 2156(2.5%) 0(0.0%) ??? ...es/herbie/develop/src/core/taylor.rkt:64:15 hash-ref! [102] 100.0% ----------------------------------------------------------------------------- substitute-e [56] 15.9% simplify* [106] 17.6% match-e [42] 66.5% [115] 2050(2.3%) 0(0.0%) variable? ...e/develop/src/syntax/syntax.rkt:529:0 ??? [121] 100.0% ----------------------------------------------------------------------------- simplify [95] 10.0% append-map [98] 20.0% map [81] 30.2% hash-ref! [102] 39.9% [116] 1794(2.1%) 720(0.8%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [124] 39.9% for-loop [125] 20.0% f134 [35] 10.0% ----------------------------------------------------------------------------- custom-set-union [103] 100.0% [117] 1432(1.6%) 0(0.0%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [123] 100.0% ----------------------------------------------------------------------------- hash-ref! [102] 100.0% [118] 718(0.8%) 0(0.0%) ??? ...es/herbie/develop/src/core/taylor.rkt:43:15 hash-ref! [102] 100.0% ----------------------------------------------------------------------------- debug-print [107] 100.0% [119] 658(0.8%) 658(0.8%) for-loop ...ies/herbie/develop/src/debug.rkt:113:2 ----------------------------------------------------------------------------- hash-ref! [102] 100.0% [120] 360(0.4%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:184:5 hash-ref! [102] 100.0% ----------------------------------------------------------------------------- substitute-e [56] 2.7% ??? [88] 8.1% variable? [115] 15.5% match-e [42] 25.8% finalize-iter! [36] 47.9% [121] 13196(15.1%) 5178(5.9%) ??? ...contract/private/arrow-val-first.rkt:357:18 for-loop [126] 47.9% hash-has-key? [128] 12.9% ----------------------------------------------------------------------------- ??? [113] 100.0% [122] 2060(2.4%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:185:2 copying-mergesort [127] 100.0% ----------------------------------------------------------------------------- for-loop [117] 100.0% [123] 1432(1.6%) 1432(1.6%) for-loop ...cts/racket/private/set-types.rkt:178:5 ----------------------------------------------------------------------------- parse-loop12 [116] 1.4% loop [124] 98.6% [124] 716(0.8%) 358(0.4%) loop ...cket/collects/racket/private/map.rkt:36:19 loop [124] 98.6% ->flonum [152] 0.8% ----------------------------------------------------------------------------- parse-loop12 [116] 100.0% [125] 358(0.4%) 358(0.4%) for-loop ...rbie/develop/src/core/reduce.rkt:78:11 ----------------------------------------------------------------------------- ??? [121] 100.0% [126] 6316(7.2%) 0(0.0%) for-loop ...ie/develop/src/core/alt-table.rkt:51:2 atab-add-altn [129] 100.0% ----------------------------------------------------------------------------- generic-sort/key [122] 37.3% copying-mergesort [127] 62.7% [127] 2060(2.4%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:130:8 copying-mergesort [127] 62.7% loop [131] 24.6% jloop [6] 12.7% ----------------------------------------------------------------------------- ??? [121] 100.0% [128] 1702(1.9%) 0(0.0%) hash-has-key? ...et/private/more-scheme.rkt:368:13 ??? [130] 80.4% ??? [132] 19.6% ----------------------------------------------------------------------------- for-loop [126] 100.0% [129] 6316(7.2%) 0(0.0%) atab-add-altn ...elop/src/core/alt-table.rkt:208:0 best-and-tied-at-points [134] 94.3% hash-set-lsts [136] 5.7% ----------------------------------------------------------------------------- hash-has-key? [128] 31.2% ??? [84] 68.8% [130] 4380(5.0%) 2072(2.4%) ??? ...ects/racket/contract/private/list.rkt:737:4 for-loop [135] 39.0% arrow-higher-order:lnp [168] 6.8% ??? [137] 6.8% ----------------------------------------------------------------------------- ??? [113] 41.2% copying-mergesort [127] 58.8% [131] 1722(2.0%) 0(0.0%) loop ...ket/collects/racket/private/sort.rkt:97:12 ??? [133] 60.7% ->flonum [152] 39.3% ----------------------------------------------------------------------------- ??? [84] 49.2% hash-has-key? [128] 50.8% [132] 658(0.8%) 658(0.8%) ??? ...ects/racket/contract/private/hash.rkt:245:7 ----------------------------------------------------------------------------- for-loop [112] 1.9% loop [131] 5.5% jloop [6] 5.5% for-loop [145] 18.7% loop [85] 68.4% [133] 18926(21.6%) 700(0.8%) ??? ...tlies/herbie/develop/src/programs.rkt:155:4 ??? [138] 46.4% ??? [139] 31.2% loop [85] 14.9% ->flonum [152] 3.8% ----------------------------------------------------------------------------- atab-add-altn [129] 100.0% [134] 5956(6.8%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 errors [140] 100.0% ----------------------------------------------------------------------------- ??? [130] 100.0% [135] 1708(2.0%) 1382(1.6%) for-loop ...acket/contract/private/list.rkt:743:12 for-loop [142] 19.1% ----------------------------------------------------------------------------- atab-add-altn [129] 100.0% [136] 360(0.4%) 0(0.0%) hash-set-lsts ...elop/src/core/alt-table.rkt:111:0 loop [141] 100.0% ----------------------------------------------------------------------------- ??? [130] 100.0% [137] 300(0.3%) 300(0.3%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 ----------------------------------------------------------------------------- ??? [133] 100.0% [138] 8786(10.0%) 4364(5.0%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [146] 19.1% ??? [147] 11.9% bf* [148] 7.4% ??? [154] 4.1% ??? [149] 4.0% for-loop [150] 4.0% ----------------------------------------------------------------------------- loop [85] 23.0% ??? [133] 77.0% [139] 7656(8.8%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [143] 100.0% ----------------------------------------------------------------------------- option-on-expr [92] 15.2% best-and-tied-at-points [134] 84.8% [140] 7020(8.0%) 0(0.0%) errors ...lies/herbie/develop/src/points.rkt:218:0 for-loop [145] 80.3% eval-prog [144] 19.7% ----------------------------------------------------------------------------- hash-set-lsts [136] 100.0% [141] 360(0.4%) 360(0.4%) loop ...erbie/develop/src/core/alt-table.rkt:106:2 ----------------------------------------------------------------------------- for-loop [135] 100.0% [142] 326(0.4%) 0(0.0%) for-loop ...racket/contract/private/hash.rkt:239:6 ??? [151] 100.0% ----------------------------------------------------------------------------- ??? [139] 100.0% [143] 7656(8.8%) 7296(8.3%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [166] 4.7% ----------------------------------------------------------------------------- errors [140] 19.9% for-loop [112] 80.1% [144] 6950(7.9%) 3154(3.6%) eval-prog ...herbie/develop/src/programs.rkt:149:0 f134 [35] 30.1% ??? [153] 14.6% ??? [155] 5.2% ??? [161] 4.8% ----------------------------------------------------------------------------- errors [140] 100.0% [145] 5636(6.4%) 688(0.8%) for-loop ...es/herbie/develop/src/points.rkt:221:4 ??? [133] 62.7% ->flonum [152] 18.9% ulp-difference [157] 6.1% ----------------------------------------------------------------------------- ??? [138] 100.0% [146] 1676(1.9%) 1676(1.9%) ??? .../herbie/develop/src/syntax/syntax.rkt:438:0 ----------------------------------------------------------------------------- ??? [138] 100.0% [147] 1044(1.2%) 362(0.4%) ??? ...herbie/develop/src/syntax/syntax.rkt:118:17 ??? [159] 33.5% return/no-unsupplied [158] 31.8% ----------------------------------------------------------------------------- ??? [138] 100.0% [148] 648(0.7%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [154] 100.0% ----------------------------------------------------------------------------- ??? [138] 100.0% [149] 350(0.4%) 350(0.4%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ----------------------------------------------------------------------------- ??? [138] 100.0% [150] 348(0.4%) 0(0.0%) for-loop ...ie/develop/src/syntax/syntax.rkt:439:2 bf<= [156] 100.0% ----------------------------------------------------------------------------- for-loop [142] 100.0% [151] 326(0.4%) 326(0.4%) ??? ...ects/racket/contract/private/prop.rkt:493:4 ----------------------------------------------------------------------------- loop [124] 6.4% loop [131] 12.0% ??? [133] 12.8% for-loop [145] 19.0% loop [85] 49.8% [152] 5614(6.4%) 1666(1.9%) ->flonum ...s/herbie/develop/src/programs.rkt:37:0 return/no-unsupplied [158] 37.2% ??? [159] 33.2% ----------------------------------------------------------------------------- eval-prog [144] 100.0% [153] 1014(1.2%) 328(0.4%) ??? ...cket/collects/racket/private/kw.rkt:1633:36 unpack242 [160] 67.7% ----------------------------------------------------------------------------- ??? [138] 35.5% bf* [148] 64.5% [154] 1004(1.1%) 326(0.4%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [162] 67.5% ----------------------------------------------------------------------------- eval-prog [144] 100.0% [155] 360(0.4%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [163] 100.0% ----------------------------------------------------------------------------- for-loop [150] 100.0% [156] 348(0.4%) 0(0.0%) bf<= ...h/private/bigfloat/bigfloat-mpfr.rkt:127:4 ??? [161] 100.0% ----------------------------------------------------------------------------- for-loop [145] 100.0% [157] 346(0.4%) 346(0.4%) ulp-difference ...erbie/develop/src/float.rkt:19:0 ----------------------------------------------------------------------------- ??? [147] 10.8% ??? [84] 21.5% ->flonum [152] 67.7% [158] 3080(3.5%) 2060(2.4%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 filter [165] 33.1% ----------------------------------------------------------------------------- ??? [84] 12.9% ??? [147] 13.8% ->flonum [152] 73.3% [159] 2540(2.9%) 328(0.4%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [164] 72.6% ??? [88] 14.5% ----------------------------------------------------------------------------- ??? [153] 100.0% [160] 686(0.8%) 0(0.0%) unpack242 ...private/arrow-higher-order.rkt:354:44 maybe-cons-kwd [167] 100.0% ----------------------------------------------------------------------------- eval-prog [144] 48.8% bf<= [156] 51.2% [161] 680(0.8%) 680(0.8%) ??? ...tract/private/arrow-higher-order.rkt:346:33 ----------------------------------------------------------------------------- ??? [154] 100.0% [162] 678(0.8%) 322(0.4%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [166] 52.5% ----------------------------------------------------------------------------- ??? [155] 100.0% [163] 360(0.4%) 360(0.4%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 ----------------------------------------------------------------------------- ??? [159] 100.0% [164] 1844(2.1%) 1844(2.1%) ??? ...s/racket/contract/private/arr-i.rkt:1233:27 ----------------------------------------------------------------------------- for-loop [51] 24.7% return/no-unsupplied [158] 75.3% [165] 1354(1.5%) 1354(1.5%) filter ...t/collects/racket/private/list.rkt:256:2 ----------------------------------------------------------------------------- bfmul [162] 49.7% real->bigfloat [143] 50.3% [166] 716(0.8%) 716(0.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ----------------------------------------------------------------------------- unpack242 [160] 100.0% [167] 686(0.8%) 0(0.0%) maybe-cons-kwd ...ate/arrow-higher-order.rkt:498:0 arrow-higher-order:lnp [168] 100.0% ----------------------------------------------------------------------------- ??? [130] 30.4% maybe-cons-kwd [167] 69.6% [168] 986(1.1%) 0(0.0%) arrow-higher-order:lnp ...w-higher-order.rkt:597:7 ??? [169] 100.0% ----------------------------------------------------------------------------- arrow-higher-order:lnp [168] 100.0% [169] 986(1.1%) 986(1.1%) ??? ...et/contract/private/arity-checking.rkt:19:2 -----------------------------------------------------------------------------