Profiling results ----------------- Total cpu time observed: 13528ms (out of 13644ms) Number of samples taken: 65 (once every 208ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 128 hidden) =========================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================================== [1] 13528(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [11] 100.0% --------------------------------------------------------------------------- ??? [102] 100.0% [2] 2448(18.1%) 0(0.0%) approximate9 ...ie/master/src/core/taylor.rkt:11:0 loop [12] 67.4% for-loop [19] 16.3% taylor [27] 8.2% make-apply-contract9 [20] 8.2% --------------------------------------------------------------------------- matcher [96] 100.0% [3] 1610(11.9%) 0(0.0%) ??? ...s/herbie/master/src/core/matcher.rkt:129:11 for-loop [13] 74.8% for-loop [17] 25.2% --------------------------------------------------------------------------- expand-capturing-lifts [110] 24.6% for-loop [119] 75.4% [4] 812(6.0%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [16] 100.0% --------------------------------------------------------------------------- loop [121] 25.6% for-loop [119] 74.4% [5] 812(6.0%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [14] 100.0% --------------------------------------------------------------------------- for-loop [119] 100.0% [6] 406(3.0%) 0(0.0%) expand-identifier (unknown source) resolve+shift28 [15] 100.0% --------------------------------------------------------------------------- for-loop [85] 100.0% [7] 400(3.0%) 0(0.0%) for-loop ...erbie/master/src/core/matcher.rkt:94:8 fix-up-variables [18] 100.0% --------------------------------------------------------------------------- for-loop [119] 100.0% [8] 400(3.0%) 0(0.0%) expand-implicit (unknown source) resolve+shift28 [15] 100.0% --------------------------------------------------------------------------- hash-ref! [89] 100.0% [9] 200(1.5%) 0(0.0%) ??? ...es/herbie/master/src/core/taylor.rkt:290:26 for-loop [22] 100.0% --------------------------------------------------------------------------- hash-ref! [89] 100.0% [10] 200(1.5%) 0(0.0%) ??? ...es/herbie/master/src/core/taylor.rkt:300:23 for-loop [21] 100.0% --------------------------------------------------------------------------- ??? [1] 100.0% [11] 13528(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [23] 100.0% --------------------------------------------------------------------------- approximate9 [2] 100.0% [12] 1650(12.2%) 0(0.0%) loop ...ies/herbie/master/src/core/taylor.rkt:86:4 ??? [102] 87.3% hash-ref! [89] 12.7% --------------------------------------------------------------------------- ??? [3] 100.0% [13] 1610(11.9%) 0(0.0%) for-loop ...bie/master/src/core/matcher.rkt:131:15 hash-ref! [89] 100.0% --------------------------------------------------------------------------- expand-id-application-form17 [124] 43.1% syntax-e [5] 56.9% [14] 1428(10.6%) 0(0.0%) syntax-e/no-taint (unknown source) loop [121] 100.0% --------------------------------------------------------------------------- expand-implicit [8] 33.0% expand-identifier [6] 33.5% expand-id-application-form17 [124] 33.5% [15] 1212(9.0%) 0(0.0%) resolve+shift28 (unknown source) fallback-loop [24] 100.0% --------------------------------------------------------------------------- dispatch-transformer41 [4] 100.0% [16] 812(6.0%) 0(0.0%) apply-transformer52 (unknown source) apply-transformer-in-context [25] 100.0% --------------------------------------------------------------------------- ??? [3] 100.0% [17] 810(6.0%) 0(0.0%) for-loop ...rbie/master/src/core/matcher.rkt:101:4 foldl [26] 75.1% loop [121] 24.9% --------------------------------------------------------------------------- for-loop [7] 100.0% [18] 400(3.0%) 0(0.0%) fix-up-variables ...ter/src/core/matcher.rkt:106:2 for-loop [29] 50.0% pattern-substitute [28] 50.0% --------------------------------------------------------------------------- approximate9 [2] 100.0% [19] 398(2.9%) 0(0.0%) for-loop ...erbie/master/src/core/taylor.rkt:29:18 taylor [27] 100.0% --------------------------------------------------------------------------- approximate9 [2] 100.0% [20] 200(1.5%) 0(0.0%) make-apply-contract9 ...ract/private/base.rkt:74:0 ??? [63] 100.0% --------------------------------------------------------------------------- ??? [10] 100.0% [21] 200(1.5%) 0(0.0%) for-loop ...rbie/master/src/core/taylor.rkt:303:27 hash-ref! [89] 100.0% --------------------------------------------------------------------------- ??? [9] 100.0% [22] 200(1.5%) 0(0.0%) for-loop ...rbie/master/src/core/taylor.rkt:290:52 hash-ref! [89] 100.0% --------------------------------------------------------------------------- profile-thunk16 [11] 100.0% [23] 13528(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [30] 100.0% --------------------------------------------------------------------------- resolve+shift28 [15] 100.0% [24] 1212(9.0%) 400(3.0%) fallback-loop (unknown source) for-loop [119] 67.0% --------------------------------------------------------------------------- apply-transformer52 [16] 100.0% [25] 812(6.0%) 200(1.5%) apply-transformer-in-context (unknown source) ??? [32] 50.5% parse-app [34] 24.9% --------------------------------------------------------------------------- for-loop [17] 100.0% [26] 608(4.5%) 0(0.0%) foldl ....5/collects/racket/private/list.rkt:229:4 ??? [31] 100.0% --------------------------------------------------------------------------- approximate9 [2] 6.7% taylor [27] 43.3% for-loop [19] 50.0% [27] 598(4.4%) 200(1.5%) taylor .../herbie/master/src/core/taylor.rkt:169:0 taylor [27] 43.3% taylor-invert [33] 16.6% map [103] 6.7% --------------------------------------------------------------------------- pattern-substitute [28] 50.0% fix-up-variables [18] 50.0% [28] 200(1.5%) 200(1.5%) pattern-substitute ...er/src/core/matcher.rkt:45:0 pattern-substitute [28] 50.0% --------------------------------------------------------------------------- fix-up-variables [18] 100.0% [29] 200(1.5%) 0(0.0%) for-loop ...erbie/master/src/core/matcher.rkt:41:9 for-loop [35] 100.0% --------------------------------------------------------------------------- for-loop [91] 9.8% run [23] 90.2% [30] 13528(100.0%) 1228(9.1%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [36] 76.6% prepare-points-intervals [37] 9.1% ??? [127] 3.0% errors [84] 1.5% oracle-error [44] 1.5% eval-errors [42] 1.5% ulp-difference [41] 0.8% ??? [102] 0.7% *bit-width* [43] 0.7% --------------------------------------------------------------------------- foldl [26] 100.0% [31] 608(4.5%) 200(1.5%) ??? ...ies/herbie/master/src/core/matcher.rkt:25:7 core457 [38] 67.1% --------------------------------------------------------------------------- apply-transformer-in-context [25] 100.0% [32] 410(3.0%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [39] 100.0% --------------------------------------------------------------------------- taylor [27] 49.7% map [103] 50.3% [33] 398(2.9%) 0(0.0%) taylor-invert .../master/src/core/taylor.rkt:317:0 first-nonzero-exp [40] 100.0% --------------------------------------------------------------------------- apply-transformer-in-context [25] 100.0% [34] 202(1.5%) 202(1.5%) parse-app ...collects/racket/private/kw.rkt:1142:2 --------------------------------------------------------------------------- for-loop [29] 100.0% [35] 200(1.5%) 0(0.0%) for-loop ...erbie/master/src/core/matcher.rkt:26:9 core457 [38] 100.0% --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [30] 100.0% [36] 11694(86.4%) 0(0.0%) run-improve47 ...bie/master/src/mainloop.rkt:364:0 for-loop [45] 100.0% --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [30] 100.0% [37] 1230(9.1%) 0(0.0%) prepare-points-intervals ...r/src/points.rkt:122:0 loop [46] 81.8% eval [48] 18.2% --------------------------------------------------------------------------- for-loop [35] 32.9% ??? [31] 67.1% [38] 608(4.5%) 0(0.0%) core457 ...acket/contract/private/arr-i.rkt:976:19 un-dep/maybe-chaperone [47] 100.0% --------------------------------------------------------------------------- ??? [32] 100.0% [39] 410(3.0%) 202(1.5%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 syntax->list [49] 50.7% --------------------------------------------------------------------------- taylor-invert [33] 100.0% [40] 398(2.9%) 0(0.0%) first-nonzero-exp ...ter/src/core/taylor.rkt:265:0 hash-ref! [89] 100.0% --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [30] 100.0% [41] 216(1.6%) 216(1.6%) ulp-difference ...herbie/master/src/float.rkt:19:0 --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [30] 100.0% [42] 200(1.5%) 0(0.0%) eval-errors .../herbie/master/src/points.rkt:170:0 for-loop [50] 100.0% --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [30] 100.0% [43] 200(1.5%) 0(0.0%) *bit-width* ...es/herbie/master/src/float.rkt:34:0 return/no-unsupplied [51] 100.0% --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [30] 100.0% [44] 200(1.5%) 0(0.0%) oracle-error ...herbie/master/src/points.rkt:179:0 for-loop [52] 100.0% --------------------------------------------------------------------------- run-improve47 [36] 100.0% [45] 11694(86.4%) 0(0.0%) for-loop ...s/herbie/master/src/mainloop.rkt:383:4 run-iter! [53] 100.0% --------------------------------------------------------------------------- prepare-points-intervals [37] 100.0% [46] 1006(7.4%) 200(1.5%) loop ...ghtlies/herbie/master/src/points.rkt:134:4 loop [54] 80.1% --------------------------------------------------------------------------- core457 [38] 100.0% [47] 608(4.5%) 0(0.0%) un-dep/maybe-chaperone ...private/arr-i.rkt:1137:2 coerce-contract [55] 33.9% get/build-late-neg-projection [56] 33.2% ??? [57] 32.9% --------------------------------------------------------------------------- prepare-points-intervals [37] 100.0% [48] 224(1.7%) 0(0.0%) eval (unknown source) for-loop [119] 100.0% --------------------------------------------------------------------------- ??? [39] 100.0% [49] 208(1.5%) 0(0.0%) syntax->list (unknown source) loop [121] 100.0% --------------------------------------------------------------------------- eval-errors [42] 100.0% [50] 200(1.5%) 200(1.5%) for-loop ...ies/herbie/master/src/points.rkt:172:2 --------------------------------------------------------------------------- *bit-width* [43] 100.0% [51] 200(1.5%) 200(1.5%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 --------------------------------------------------------------------------- oracle-error [44] 100.0% [52] 200(1.5%) 0(0.0%) for-loop ...ies/herbie/master/src/points.rkt:180:2 loop [121] 100.0% --------------------------------------------------------------------------- for-loop [45] 100.0% [53] 11694(86.4%) 0(0.0%) run-iter! .../herbie/master/src/mainloop.rkt:345:0 finalize-iter! [58] 50.5% gen-series! [59] 22.6% gen-rewrites! [60] 13.8% simplify! [61] 13.1% --------------------------------------------------------------------------- loop [46] 100.0% [54] 806(6.0%) 0(0.0%) loop ...ightlies/herbie/master/src/points.rkt:79:2 ??? [62] 74.4% real->precision [64] 25.6% --------------------------------------------------------------------------- un-dep/maybe-chaperone [47] 100.0% [55] 206(1.5%) 206(1.5%) coerce-contract ...contract/private/guts.rkt:307:0 --------------------------------------------------------------------------- single-or/c-late-neg-projection [65] 50.0% un-dep/maybe-chaperone [47] 50.0% [56] 202(1.5%) 202(1.5%) get/build-late-neg-projection ...te/guts.rkt:827:0 single-or/c-late-neg-projection [65] 50.0% --------------------------------------------------------------------------- un-dep/maybe-chaperone [47] 100.0% [57] 200(1.5%) 0(0.0%) ??? ...llects/racket/contract/private/orc.rkt:88:2 ??? [63] 100.0% --------------------------------------------------------------------------- run-iter! [53] 100.0% [58] 5902(43.6%) 0(0.0%) finalize-iter! ...ie/master/src/mainloop.rkt:277:0 ??? [66] 100.0% --------------------------------------------------------------------------- run-iter! [53] 100.0% [59] 2648(19.6%) 0(0.0%) gen-series! ...erbie/master/src/mainloop.rkt:159:0 for-loop [67] 100.0% --------------------------------------------------------------------------- run-iter! [53] 100.0% [60] 1610(11.9%) 0(0.0%) gen-rewrites! ...bie/master/src/mainloop.rkt:182:0 for-loop [68] 100.0% --------------------------------------------------------------------------- run-iter! [53] 100.0% [61] 1534(11.3%) 0(0.0%) simplify! .../herbie/master/src/mainloop.rkt:223:0 ??? [69] 85.7% for-loop [72] 14.3% --------------------------------------------------------------------------- loop [54] 100.0% [62] 600(4.4%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-sub [70] 100.0% --------------------------------------------------------------------------- make-apply-contract9 [20] 50.0% ??? [57] 50.0% [63] 400(3.0%) 0(0.0%) ??? ...cts/racket/contract/private/guts.rkt:835:10 ??? [71] 100.0% --------------------------------------------------------------------------- loop [54] 100.0% [64] 206(1.5%) 0(0.0%) real->precision .../master/src/programs.rkt:118:11 ??? [102] 100.0% --------------------------------------------------------------------------- get/build-late-neg-projection [56] 100.0% [65] 202(1.5%) 0(0.0%) single-or/c-late-neg-projection ...te/orc.rkt:85:0 get/build-late-neg-projection [56] 100.0% --------------------------------------------------------------------------- finalize-iter! [58] 100.0% [66] 5902(43.6%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [73] 100.0% --------------------------------------------------------------------------- gen-series! [59] 100.0% [67] 2648(19.6%) 0(0.0%) for-loop ...s/herbie/master/src/mainloop.rkt:166:7 taylor-alt [74] 100.0% --------------------------------------------------------------------------- gen-rewrites! [60] 100.0% [68] 1610(11.9%) 0(0.0%) for-loop .../herbie/master/src/mainloop.rkt:190:11 rewrite-expression-head23 [75] 100.0% --------------------------------------------------------------------------- simplify! [61] 100.0% [69] 1314(9.7%) 0(0.0%) ??? ...es/herbie/master/src/core/simplify.rkt:42:0 egraph-run [76] 100.0% --------------------------------------------------------------------------- ??? [62] 100.0% [70] 600(4.4%) 0(0.0%) ival-sub ...erbie/master/src/biginterval.rkt:117:0 bfsub [77] 100.0% --------------------------------------------------------------------------- ??? [63] 100.0% [71] 400(3.0%) 200(1.5%) ??? ...ntract/private/arrow-higher-order.rkt:575:2 build-subcontract-late-negs [78] 50.0% --------------------------------------------------------------------------- simplify! [61] 100.0% [72] 220(1.6%) 220(1.6%) for-loop ...s/herbie/master/src/mainloop.rkt:228:6 --------------------------------------------------------------------------- ??? [66] 100.0% [73] 5902(43.6%) 0(0.0%) for-loop ...ie/master/src/core/alt-table.rkt:192:2 atab-add-altn [79] 72.5% errors [84] 24.2% override-at-pnts [87] 3.4% --------------------------------------------------------------------------- for-loop [67] 100.0% [74] 2648(19.6%) 0(0.0%) taylor-alt ...herbie/master/src/mainloop.rkt:145:0 for-loop [80] 100.0% --------------------------------------------------------------------------- for-loop [68] 100.0% [75] 1610(11.9%) 0(0.0%) rewrite-expression-head23 ...core/matcher.rkt:83:0 rewriter [81] 100.0% --------------------------------------------------------------------------- ??? [69] 100.0% [76] 1314(9.7%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [82] 100.0% --------------------------------------------------------------------------- ival-sub [70] 100.0% [77] 600(4.4%) 0(0.0%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [112] 66.7% ??? [83] 33.3% --------------------------------------------------------------------------- ??? [71] 100.0% [78] 200(1.5%) 200(1.5%) build-subcontract-late-negs ...her-order.rkt:711:0 --------------------------------------------------------------------------- for-loop [73] 100.0% [79] 4276(31.6%) 0(0.0%) atab-add-altn ...ster/src/core/alt-table.rkt:195:0 errors [84] 85.8% for-loop [88] 9.4% override-at-pnts [87] 4.8% --------------------------------------------------------------------------- taylor-alt [74] 100.0% [80] 2648(19.6%) 0(0.0%) for-loop ...s/herbie/master/src/mainloop.rkt:151:6 ??? [102] 100.0% --------------------------------------------------------------------------- rewrite-expression-head23 [75] 44.2% matcher [96] 55.8% [81] 1610(11.9%) 0(0.0%) rewriter ...erbie/master/src/core/matcher.rkt:85:2 for-loop [85] 100.0% --------------------------------------------------------------------------- egraph-run [76] 100.0% [82] 1314(9.7%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [86] 100.0% --------------------------------------------------------------------------- bfsub [77] 100.0% [83] 200(1.5%) 200(1.5%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [30] 3.8% for-loop [73] 26.9% atab-add-altn [79] 69.2% [84] 5300(39.2%) 222(1.6%) errors ...tlies/herbie/master/src/points.rkt:192:0 for-loop [91] 57.7% temp85_0 [90] 38.2% --------------------------------------------------------------------------- rewriter [81] 100.0% [85] 1610(11.9%) 0(0.0%) for-loop ...erbie/master/src/core/matcher.rkt:87:4 hash-ref! [89] 91.3% for-loop [7] 8.7% --------------------------------------------------------------------------- egraph-add-exprs [82] 100.0% [86] 1314(9.7%) 0(0.0%) ??? ...s/herbie/master/src/core/simplify.rkt:103:6 for-loop [92] 82.3% egg-run-rules [93] 17.7% --------------------------------------------------------------------------- for-loop [73] 49.3% atab-add-altn [79] 50.7% [87] 406(3.0%) 206(1.5%) override-at-pnts ...r/src/core/alt-table.rkt:120:0 for-loop [94] 49.3% --------------------------------------------------------------------------- atab-add-altn [79] 100.0% [88] 400(3.0%) 400(3.0%) for-loop ...ie/master/src/core/alt-table.rkt:101:2 --------------------------------------------------------------------------- for-loop [22] 1.1% for-loop [21] 1.1% loop [12] 1.9% ??? [99] 2.9% first-nonzero-exp [40] 10.9% ??? [97] 15.3% for-loop [13] 16.9% ??? [102] 20.9% for-loop [85] 27.2% [89] 3658(27.0%) 400(3.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 matcher [96] 41.1% parse-loop74 [106] 20.4% ??? [97] 15.3% f40 [98] 7.3% f61 [111] 4.0% ??? [99] 2.9% ??? [100] 1.9% ??? [10] 1.1% ??? [9] 1.1% --------------------------------------------------------------------------- eval-const-expr [115] 44.7% errors [84] 55.3% [90] 3656(27.0%) 0(0.0%) temp85_0 (unknown source) compile15 [95] 100.0% --------------------------------------------------------------------------- errors [84] 100.0% [91] 3056(22.6%) 406(3.0%) for-loop ...ies/herbie/master/src/points.rkt:194:2 .../more-scheme.rkt:261:28 [30] 86.7% --------------------------------------------------------------------------- ??? [86] 100.0% [92] 1082(8.0%) 1082(8.0%) for-loop ...bie/master/src/core/simplify.rkt:121:2 --------------------------------------------------------------------------- ??? [86] 100.0% [93] 232(1.7%) 232(1.7%) egg-run-rules ...aster/src/core/simplify.rkt:109:0 --------------------------------------------------------------------------- override-at-pnts [87] 100.0% [94] 200(1.5%) 200(1.5%) for-loop ...e/master/src/core/alt-table.rkt:121:22 --------------------------------------------------------------------------- temp85_0 [90] 100.0% [95] 3656(27.0%) 0(0.0%) compile15 (unknown source) temp91_0 [101] 100.0% --------------------------------------------------------------------------- hash-ref! [89] 100.0% [96] 1610(11.9%) 0(0.0%) matcher ...erbie/master/src/core/matcher.rkt:117:2 ??? [3] 58.4% rewriter [81] 41.6% --------------------------------------------------------------------------- hash-ref! [89] 100.0% [97] 1444(10.7%) 0(0.0%) ??? ...ies/herbie/master/src/core/taylor.rkt:44:15 hash-ref! [89] 100.0% --------------------------------------------------------------------------- ??? [102] 11.0% hash-ref! [89] 28.1% map [103] 60.9% [98] 608(4.5%) 0(0.0%) f40 (unknown source) map [103] 100.0% --------------------------------------------------------------------------- hash-ref! [89] 100.0% [99] 402(3.0%) 0(0.0%) ??? ...es/herbie/master/src/core/taylor.rkt:343:33 hash-ref! [89] 100.0% --------------------------------------------------------------------------- hash-ref! [89] 100.0% [100] 210(1.6%) 0(0.0%) ??? ...ies/herbie/master/src/core/taylor.rkt:67:15 ??? [102] 100.0% --------------------------------------------------------------------------- compile15 [95] 100.0% [101] 3656(27.0%) 0(0.0%) temp91_0 (unknown source) temp118_0 [104] 100.0% --------------------------------------------------------------------------- ??? [100] 2.3% .../more-scheme.rkt:261:28 [30] 6.5% real->precision [64] 6.7% loop [12] 15.7% location-do [105] 34.3% for-loop [80] 34.3% [102] 3054(22.6%) 200(1.5%) ??? ...tract/private/arrow-higher-order.rkt:375:33 location-do [105] 34.3% approximate9 [2] 31.1% hash-ref! [89] 18.0% bf [108] 6.7% f40 [98] 3.3% --------------------------------------------------------------------------- taylor [27] 16.3% f61 [111] 34.1% f40 [98] 49.6% [103] 1226(9.1%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 parse-loop74 [106] 30.5% f40 [98] 30.2% taylor-invert [33] 16.3% f61 [111] 8.8% simplify* [107] 8.8% ??? [109] 5.4% --------------------------------------------------------------------------- temp91_0 [101] 100.0% [104] 3656(27.0%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [110] 100.0% --------------------------------------------------------------------------- location-do [105] 47.4% ??? [102] 52.6% [105] 2648(19.6%) 0(0.0%) location-do ...herbie/master/src/programs.rkt:87:0 ??? [102] 52.6% location-do [105] 47.4% --------------------------------------------------------------------------- parse-loop74 [106] 8.4% map [103] 31.3% hash-ref! [89] 60.3% [106] 1634(12.1%) 0(0.0%) parse-loop74 (unknown source) eval-const-expr [115] 73.2% f61 [111] 18.4% parse-loop74 [106] 8.4% --------------------------------------------------------------------------- map [103] 100.0% [107] 216(1.6%) 0(0.0%) simplify* ...erbie/master/src/core/reduce.rkt:28:0 constant? [118] 100.0% --------------------------------------------------------------------------- ??? [102] 100.0% [108] 206(1.5%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [112] 100.0% --------------------------------------------------------------------------- map [103] 100.0% [109] 198(1.5%) 0(0.0%) ??? ...lies/herbie/master/src/core/reduce.rkt:56:5 for-loop [113] 100.0% --------------------------------------------------------------------------- loop [121] 5.2% temp118_0 [104] 94.8% [110] 3856(28.5%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [114] 94.8% dispatch-transformer41 [4] 5.2% --------------------------------------------------------------------------- map [103] 13.2% hash-ref! [89] 37.7% parse-loop74 [106] 49.1% [111] 818(6.0%) 0(0.0%) f61 (unknown source) map [103] 51.1% eval-const-expr [115] 48.9% --------------------------------------------------------------------------- bf [108] 34.0% bfsub [77] 66.0% [112] 606(4.5%) 606(4.5%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 --------------------------------------------------------------------------- ??? [109] 100.0% [113] 198(1.5%) 0(0.0%) for-loop ...herbie/master/src/core/reduce.rkt:57:7 pattern-match [116] 100.0% --------------------------------------------------------------------------- expand-capturing-lifts [110] 100.0% [114] 3656(27.0%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [117] 100.0% --------------------------------------------------------------------------- f61 [111] 21.8% parse-loop74 [106] 78.2% [115] 1834(13.6%) 0(0.0%) eval-const-expr ...e/master/src/programs.rkt:144:0 temp85_0 [90] 89.1% loop [121] 10.9% --------------------------------------------------------------------------- for-loop [113] 100.0% [116] 198(1.5%) 0(0.0%) pattern-match .../master/src/core/matcher.rkt:29:0 constant? [118] 100.0% --------------------------------------------------------------------------- lambda-clause-expander [114] 22.7% for-loop [119] 77.3% [117] 3656(27.0%) 0(0.0%) finish-bodys (unknown source) for-loop [119] 100.0% --------------------------------------------------------------------------- pattern-match [116] 47.8% simplify* [107] 52.2% [118] 414(3.1%) 198(1.5%) constant? ...ie/master/src/syntax/syntax.rkt:726:0 value? [120] 52.2% --------------------------------------------------------------------------- fallback-loop [24] 2.4% eval [48] 5.8% for-loop [119] 19.6% finish-bodys [117] 72.2% [119] 3880(28.7%) 1246(9.2%) for-loop (unknown source) finish-bodys [117] 57.5% for-loop [119] 19.6% dispatch-transformer41 [4] 3.9% expand-implicit [8] 3.0% loop [121] 2.0% add-local-binding!39 [122] 1.6% expand-id-application-form17 [124] 1.3% syntax-e [5] 0.9% expand-identifier [6] 0.6% --------------------------------------------------------------------------- constant? [118] 100.0% [120] 216(1.6%) 216(1.6%) value? .../herbie/master/src/syntax/types.rkt:18:0 --------------------------------------------------------------------------- syntax->list [49] 4.7% eval-const-expr [115] 9.0% for-loop [52] 9.0% for-loop [17] 9.1% for-loop [119] 22.8% syntax-e/no-taint [14] 45.6% [121] 2230(16.5%) 202(1.5%) loop (unknown source) gf [123] 45.6% expand-id-application-form17 [124] 22.8% ??? [125] 9.0% expand-capturing-lifts [110] 9.0% syntax-e [5] 4.7% --------------------------------------------------------------------------- for-loop [119] 100.0% [122] 402(3.0%) 402(3.0%) add-local-binding!39 (unknown source) --------------------------------------------------------------------------- loop [121] 100.0% [123] 1428(10.6%) 414(3.1%) gf (unknown source) propagation-apply [126] 71.0% --------------------------------------------------------------------------- for-loop [119] 20.2% loop [121] 79.8% [124] 1022(7.6%) 0(0.0%) expand-id-application-form17 (unknown source) syntax-e/no-taint [14] 60.3% resolve+shift28 [15] 39.7% --------------------------------------------------------------------------- loop [121] 100.0% [125] 200(1.5%) 0(0.0%) ??? ...ghtlies/herbie/master/src/points.rkt:181:26 ??? [127] 100.0% --------------------------------------------------------------------------- gf [123] 100.0% [126] 1014(7.5%) 1014(7.5%) propagation-apply (unknown source) --------------------------------------------------------------------------- ??? [125] 19.9% .../more-scheme.rkt:261:28 [30] 80.1% [127] 1006(7.4%) 1006(7.4%) ??? .../herbie/master/src/syntax/syntax.rkt:214:17 ---------------------------------------------------------------------------