"skip no precompute" Profiling results ----------------- Total cpu time observed: 8094ms (out of 8200ms) Number of samples taken: 38 (once every 213ms) ======================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================== [1] 8094(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [8] 100.0% ------------------------------------------------------------------------ hash-ref! [16] 100.0% [2] 946(11.7%) 0(0.0%) ??? ...bie/extract-exprs/src/core/taylor.rkt:44:15 hash-ref! [16] 70.0% ??? [11] 30.0% ------------------------------------------------------------------------ ??? [125] 100.0% [3] 946(11.7%) 0(0.0%) approximate9 ...act-exprs/src/core/taylor.rkt:11:0 loop [9] 100.0% ------------------------------------------------------------------------ hash-ref! [16] 100.0% [4] 482(6.0%) 0(0.0%) ??? ...ie/extract-exprs/src/core/taylor.rkt:300:23 for-loop [10] 100.0% ------------------------------------------------------------------------ hash-ref! [16] 100.0% [5] 284(3.5%) 0(0.0%) ??? ...ie/extract-exprs/src/core/taylor.rkt:290:26 for-loop [12] 100.0% ------------------------------------------------------------------------ for-loop [108] 100.0% [6] 204(2.5%) 0(0.0%) expand-implicit (unknown source) datum->syntax6 [13] 100.0% ------------------------------------------------------------------------ loop [116] 100.0% [7] 202(2.5%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [14] 100.0% ------------------------------------------------------------------------ ??? [1] 100.0% [8] 8094(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [15] 100.0% ------------------------------------------------------------------------ approximate9 [3] 100.0% [9] 946(11.7%) 0(0.0%) loop ...bie/extract-exprs/src/core/taylor.rkt:86:4 hash-ref! [16] 100.0% ------------------------------------------------------------------------ ??? [4] 100.0% [10] 482(6.0%) 0(0.0%) for-loop ...tract-exprs/src/core/taylor.rkt:303:27 hash-ref! [16] 100.0% ------------------------------------------------------------------------ ??? [2] 100.0% [11] 284(3.5%) 0(0.0%) ??? ...ie/extract-exprs/src/core/taylor.rkt:293:19 hash-ref! [16] 100.0% ------------------------------------------------------------------------ ??? [5] 100.0% [12] 284(3.5%) 0(0.0%) for-loop ...tract-exprs/src/core/taylor.rkt:290:52 hash-ref! [16] 100.0% ------------------------------------------------------------------------ expand-implicit [6] 100.0% [13] 204(2.5%) 0(0.0%) datum->syntax6 (unknown source) loop [116] 100.0% ------------------------------------------------------------------------ syntax-e [7] 100.0% [14] 202(2.5%) 0(0.0%) syntax-e/no-taint (unknown source) loop [116] 100.0% ------------------------------------------------------------------------ profile-thunk16 [8] 100.0% [15] 8094(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [17] 100.0% ------------------------------------------------------------------------ for-loop [12] 6.0% ??? [11] 6.0% ??? [19] 6.0% for-loop [10] 12.7% ??? [2] 19.1% ??? [125] 25.1% loop [9] 25.1% [16] 946(11.7%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [19] 31.1% ??? [2] 25.1% f40 [18] 25.1% ??? [4] 12.7% ??? [5] 6.0% ------------------------------------------------------------------------ for-loop [90] 3.8% run [15] 96.2% [17] 8094(100.0%) 412(5.1%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [20] 63.0% prepare-points-intervals [21] 22.0% errors [84] 3.8% oracle-error [25] 2.5% eval-errors [23] 2.5% get-final-combination [24] 2.5% ??? [86] 1.2% ------------------------------------------------------------------------ map [22] 49.1% hash-ref! [16] 50.9% [18] 946(11.7%) 0(0.0%) f40 (unknown source) map [22] 100.0% ------------------------------------------------------------------------ hash-ref! [16] 100.0% [19] 946(11.7%) 0(0.0%) ??? ...bie/extract-exprs/src/core/taylor.rkt:67:15 ??? [125] 85.0% hash-ref! [16] 15.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [17] 100.0% [20] 5304(65.5%) 0(0.0%) run-improve47 ...ract-exprs/src/mainloop.rkt:346:0 for-loop [26] 100.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [17] 100.0% [21] 1780(22.0%) 224(2.8%) prepare-points-intervals ...s/src/points.rkt:120:0 loop [27] 87.4% ------------------------------------------------------------------------ f40 [18] 100.0% [22] 946(11.7%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 f40 [18] 49.1% parse-loop74 [35] 21.9% parse-loop49 [32] 19.0% simplify* [28] 10.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [17] 100.0% [23] 200(2.5%) 0(0.0%) eval-errors .../extract-exprs/src/points.rkt:168:0 for-loop [29] 100.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [17] 100.0% [24] 200(2.5%) 0(0.0%) get-final-combination ...rs/src/mainloop.rkt:371:0 infer-splitpoints [30] 100.0% ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [17] 100.0% [25] 200(2.5%) 0(0.0%) oracle-error ...extract-exprs/src/points.rkt:177:0 for-loop [31] 100.0% ------------------------------------------------------------------------ run-improve47 [20] 100.0% [26] 5304(65.5%) 0(0.0%) for-loop ...e/extract-exprs/src/mainloop.rkt:365:4 run-iter! [33] 100.0% ------------------------------------------------------------------------ prepare-points-intervals [21] 100.0% [27] 1556(19.2%) 0(0.0%) loop .../herbie/extract-exprs/src/points.rkt:132:4 ??? [34] 73.8% loop [36] 26.2% ------------------------------------------------------------------------ map [22] 100.0% [28] 284(3.5%) 284(3.5%) simplify* ...xtract-exprs/src/core/reduce.rkt:29:0 ------------------------------------------------------------------------ eval-errors [23] 100.0% [29] 200(2.5%) 0(0.0%) for-loop ...bie/extract-exprs/src/points.rkt:170:2 ordinary-value? [37] 100.0% ------------------------------------------------------------------------ get-final-combination [24] 100.0% [30] 200(2.5%) 0(0.0%) infer-splitpoints ...prs/src/core/regimes.rkt:33:0 for-loop [38] 100.0% ------------------------------------------------------------------------ oracle-error [25] 100.0% [31] 200(2.5%) 0(0.0%) for-loop ...bie/extract-exprs/src/points.rkt:178:2 loop [116] 100.0% ------------------------------------------------------------------------ map [22] 100.0% [32] 180(2.2%) 0(0.0%) parse-loop49 (unknown source) parse-loop74 [35] 100.0% ------------------------------------------------------------------------ for-loop [26] 100.0% [33] 5304(65.5%) 0(0.0%) run-iter! .../extract-exprs/src/mainloop.rkt:327:0 finalize-iter! [39] 46.6% simplify! [40] 23.6% gen-series! [41] 17.8% gen-rewrites! [43] 7.7% choose-best-alt! [45] 4.2% ------------------------------------------------------------------------ loop [27] 100.0% [34] 1148(14.2%) 0(0.0%) ??? ...s/herbie/extract-exprs/src/points.rkt:113:6 sample-multi-bounded [117] 66.9% ??? [44] 16.6% loop [116] 16.6% ------------------------------------------------------------------------ parse-loop49 [32] 27.2% map [22] 72.8% [35] 662(8.2%) 0(0.0%) parse-loop74 (unknown source) eval-const-expr [42] 100.0% ------------------------------------------------------------------------ loop [27] 100.0% [36] 408(5.0%) 0(0.0%) loop ...s/herbie/extract-exprs/src/points.rkt:79:2 ??? [47] 53.4% ??? [44] 46.6% ------------------------------------------------------------------------ for-loop [29] 100.0% [37] 200(2.5%) 200(2.5%) ordinary-value? ...xtract-exprs/src/float.rkt:51:0 ------------------------------------------------------------------------ infer-splitpoints [30] 100.0% [38] 200(2.5%) 0(0.0%) for-loop ...xtract-exprs/src/core/regimes.rkt:45:6 option-on-expr [46] 100.0% ------------------------------------------------------------------------ run-iter! [33] 100.0% [39] 2472(30.5%) 0(0.0%) finalize-iter! ...act-exprs/src/mainloop.rkt:278:0 ??? [47] 100.0% ------------------------------------------------------------------------ run-iter! [33] 100.0% [40] 1252(15.5%) 0(0.0%) simplify! .../extract-exprs/src/mainloop.rkt:224:0 ??? [48] 100.0% ------------------------------------------------------------------------ run-iter! [33] 100.0% [41] 946(11.7%) 0(0.0%) gen-series! ...xtract-exprs/src/mainloop.rkt:160:0 for-loop [49] 100.0% ------------------------------------------------------------------------ parse-loop74 [35] 100.0% [42] 662(8.2%) 0(0.0%) eval-const-expr ...ct-exprs/src/programs.rkt:120:0 temp85_0 [89] 100.0% ------------------------------------------------------------------------ run-iter! [33] 100.0% [43] 410(5.1%) 0(0.0%) gen-rewrites! ...ract-exprs/src/mainloop.rkt:183:0 for-loop [51] 51.2% for-loop [52] 48.8% ------------------------------------------------------------------------ ??? [34] 50.0% loop [36] 50.0% [44] 380(4.7%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-div [55] 50.0% ??? [54] 50.0% ------------------------------------------------------------------------ run-iter! [33] 100.0% [45] 224(2.8%) 0(0.0%) choose-best-alt! ...t-exprs/src/mainloop.rkt:117:0 ...ow-val-first.rkt:486:18 [50] 100.0% ------------------------------------------------------------------------ for-loop [38] 100.0% [46] 200(2.5%) 0(0.0%) option-on-expr ...exprs/src/core/regimes.rkt:124:0 err-lsts->split-indices [53] 100.0% ------------------------------------------------------------------------ loop [36] 8.1% finalize-iter! [39] 91.9% [47] 2690(33.2%) 218(2.7%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [56] 91.9% ------------------------------------------------------------------------ simplify! [40] 100.0% [48] 1252(15.5%) 0(0.0%) ??? ...ie/extract-exprs/src/core/simplify.rkt:44:0 egraph-run [57] 100.0% ------------------------------------------------------------------------ gen-series! [41] 100.0% [49] 946(11.7%) 0(0.0%) for-loop ...e/extract-exprs/src/mainloop.rkt:167:7 taylor-alt [58] 100.0% ------------------------------------------------------------------------ choose-best-alt! [45] 100.0% [50] 224(2.8%) 0(0.0%) ...ow-val-first.rkt:486:18 (unknown source) ??? [59] 100.0% ------------------------------------------------------------------------ gen-rewrites! [43] 100.0% [51] 210(2.6%) 0(0.0%) for-loop .../extract-exprs/src/mainloop.rkt:191:11 rewrite-expression-head24 [60] 100.0% ------------------------------------------------------------------------ gen-rewrites! [43] 100.0% [52] 200(2.5%) 0(0.0%) for-loop ...e/extract-exprs/src/mainloop.rkt:208:4 for-loop [61] 100.0% ------------------------------------------------------------------------ option-on-expr [46] 100.0% [53] 200(2.5%) 0(0.0%) err-lsts->split-indices .../core/regimes.rkt:263:0 loop [62] 100.0% ------------------------------------------------------------------------ ??? [44] 100.0% [54] 190(2.3%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [63] 100.0% ------------------------------------------------------------------------ ??? [44] 100.0% [55] 190(2.3%) 0(0.0%) ival-div ...xtract-exprs/src/biginterval.rkt:156:0 bfdiv [64] 100.0% ------------------------------------------------------------------------ ??? [47] 100.0% [56] 2472(30.5%) 0(0.0%) for-loop ...ract-exprs/src/core/alt-table.rkt:46:2 atab-add-altn [65] 64.4% loop [68] 26.1% for-loop [69] 9.5% ------------------------------------------------------------------------ ??? [48] 100.0% [57] 1252(15.5%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [66] 100.0% ------------------------------------------------------------------------ for-loop [49] 100.0% [58] 946(11.7%) 0(0.0%) taylor-alt ...extract-exprs/src/mainloop.rkt:146:0 for-loop [67] 100.0% ------------------------------------------------------------------------ ...ow-val-first.rkt:486:18 [50] 100.0% [59] 224(2.8%) 0(0.0%) ??? ...e/extract-exprs/src/core/alt-table.rkt:49:0 loop [70] 100.0% ------------------------------------------------------------------------ for-loop [51] 100.0% [60] 210(2.6%) 0(0.0%) rewrite-expression-head24 ...core/matcher.rkt:85:0 rewriter [71] 100.0% ------------------------------------------------------------------------ for-loop [52] 100.0% [61] 200(2.5%) 0(0.0%) for-loop ...e/extract-exprs/src/mainloop.rkt:209:6 change-apply [72] 100.0% ------------------------------------------------------------------------ err-lsts->split-indices [53] 100.0% [62] 200(2.5%) 0(0.0%) loop ...e/extract-exprs/src/core/regimes.rkt:314:4 for-loop [73] 100.0% ------------------------------------------------------------------------ ??? [54] 100.0% [63] 190(2.3%) 190(2.3%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ------------------------------------------------------------------------ ival-div [55] 100.0% [64] 190(2.3%) 0(0.0%) bfdiv ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [74] 100.0% ------------------------------------------------------------------------ for-loop [56] 100.0% [65] 1592(19.7%) 0(0.0%) atab-add-altn ...xprs/src/core/alt-table.rkt:194:0 errors [84] 74.1% override-at-pnts [78] 13.6% append-at-pnts [83] 12.3% ------------------------------------------------------------------------ egraph-run [57] 100.0% [66] 1252(15.5%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [75] 79.6% loop [116] 20.4% ------------------------------------------------------------------------ taylor-alt [58] 100.0% [67] 946(11.7%) 0(0.0%) for-loop ...e/extract-exprs/src/mainloop.rkt:152:6 ??? [125] 100.0% ------------------------------------------------------------------------ for-loop [56] 100.0% [68] 646(8.0%) 214(2.6%) loop ...extract-exprs/src/core/alt-table.rkt:168:2 paired-fold [76] 35.6% loop [80] 31.3% ------------------------------------------------------------------------ for-loop [56] 100.0% [69] 234(2.9%) 234(2.9%) for-loop ...act-exprs/src/core/alt-table.rkt:110:2 ------------------------------------------------------------------------ ??? [59] 100.0% [70] 224(2.8%) 0(0.0%) loop .../racket-7.5/collects/racket/list.rkt:751:4 ??? [77] 100.0% ------------------------------------------------------------------------ rewrite-expression-head24 [60] 100.0% [71] 210(2.6%) 0(0.0%) rewriter ...xtract-exprs/src/core/matcher.rkt:87:2 for-loop [79] 100.0% ------------------------------------------------------------------------ for-loop [61] 100.0% [72] 200(2.5%) 0(0.0%) change-apply ...ct-exprs/src/core/matcher.rkt:69:0 pattern-substitute [81] 100.0% ------------------------------------------------------------------------ loop [62] 100.0% [73] 200(2.5%) 0(0.0%) for-loop ...tract-exprs/src/core/regimes.rkt:279:4 for-loop [82] 100.0% ------------------------------------------------------------------------ bfdiv [64] 100.0% [74] 190(2.3%) 190(2.3%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ------------------------------------------------------------------------ egraph-add-exprs [66] 100.0% [75] 996(12.3%) 0(0.0%) ??? ...e/extract-exprs/src/core/simplify.rkt:112:6 for-loop [85] 100.0% ------------------------------------------------------------------------ loop [68] 100.0% [76] 230(2.8%) 230(2.8%) paired-fold ...llects/racket/private/hash.rkt:19:2 ------------------------------------------------------------------------ loop [70] 100.0% [77] 224(2.8%) 0(0.0%) ??? ...erbie/extract-exprs/src/mainloop.rkt:114:10 errors [84] 100.0% ------------------------------------------------------------------------ atab-add-altn [65] 100.0% [78] 216(2.7%) 0(0.0%) override-at-pnts ...s/src/core/alt-table.rkt:129:0 for-loop [87] 100.0% ------------------------------------------------------------------------ rewriter [71] 100.0% [79] 210(2.6%) 0(0.0%) for-loop ...xtract-exprs/src/core/matcher.rkt:89:4 matcher [88] 100.0% ------------------------------------------------------------------------ loop [68] 3.2% loop [80] 96.8% [80] 202(2.5%) 202(2.5%) loop ...racket-7.5/collects/racket/list.rkt:434:28 loop [80] 96.8% ------------------------------------------------------------------------ change-apply [72] 100.0% [81] 200(2.5%) 200(2.5%) pattern-substitute ...rs/src/core/matcher.rkt:45:0 ------------------------------------------------------------------------ for-loop [73] 100.0% [82] 200(2.5%) 0(0.0%) for-loop ...tract-exprs/src/core/regimes.rkt:283:8 ??? [86] 100.0% ------------------------------------------------------------------------ atab-add-altn [65] 100.0% [83] 196(2.4%) 196(2.4%) append-at-pnts ...prs/src/core/alt-table.rkt:137:0 ------------------------------------------------------------------------ ??? [77] 12.3% .../more-scheme.rkt:261:28 [17] 22.6% atab-add-altn [65] 65.0% [84] 1814(22.4%) 0(0.0%) errors ...erbie/extract-exprs/src/points.rkt:190:0 for-loop [90] 57.2% temp85_0 [89] 42.8% ------------------------------------------------------------------------ ??? [75] 100.0% [85] 996(12.3%) 996(12.3%) for-loop ...ract-exprs/src/core/simplify.rkt:131:2 ------------------------------------------------------------------------ .../more-scheme.rkt:261:28 [17] 50.0% for-loop [82] 50.0% [86] 400(4.9%) 400(4.9%) ??? ...cket-7.5/collects/racket/function.rkt:93:12 ------------------------------------------------------------------------ override-at-pnts [78] 100.0% [87] 216(2.7%) 216(2.7%) for-loop ...ct-exprs/src/core/alt-table.rkt:130:22 ------------------------------------------------------------------------ for-loop [79] 100.0% [88] 210(2.6%) 0(0.0%) matcher ...xtract-exprs/src/core/matcher.rkt:115:2 ??? [91] 100.0% ------------------------------------------------------------------------ eval-const-expr [42] 46.0% errors [84] 54.0% [89] 1438(17.8%) 0(0.0%) temp85_0 (unknown source) compile15 [92] 100.0% ------------------------------------------------------------------------ errors [84] 100.0% [90] 1038(12.8%) 426(5.3%) for-loop ...bie/extract-exprs/src/points.rkt:192:2 .../more-scheme.rkt:261:28 [17] 59.0% ------------------------------------------------------------------------ matcher [88] 100.0% [91] 210(2.6%) 0(0.0%) ??? ...e/extract-exprs/src/core/matcher.rkt:127:11 for-loop [93] 100.0% ------------------------------------------------------------------------ temp85_0 [89] 100.0% [92] 1438(17.8%) 0(0.0%) compile15 (unknown source) temp91_0 [94] 100.0% ------------------------------------------------------------------------ ??? [91] 100.0% [93] 210(2.6%) 0(0.0%) for-loop ...tract-exprs/src/core/matcher.rkt:103:4 foldl [95] 100.0% ------------------------------------------------------------------------ compile15 [92] 100.0% [94] 1438(17.8%) 0(0.0%) temp91_0 (unknown source) temp118_0 [96] 74.5% compile-top9 [97] 25.5% ------------------------------------------------------------------------ for-loop [93] 100.0% [95] 210(2.6%) 0(0.0%) foldl ....5/collects/racket/private/list.rkt:229:4 ??? [98] 100.0% ------------------------------------------------------------------------ temp91_0 [94] 100.0% [96] 1072(13.2%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [99] 100.0% ------------------------------------------------------------------------ temp91_0 [94] 100.0% [97] 366(4.5%) 0(0.0%) compile-top9 (unknown source) compile-forms33 [100] 100.0% ------------------------------------------------------------------------ foldl [95] 100.0% [98] 210(2.6%) 0(0.0%) ??? ...bie/extract-exprs/src/core/matcher.rkt:25:7 core457 [101] 100.0% ------------------------------------------------------------------------ temp118_0 [96] 100.0% [99] 1072(13.2%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [102] 74.1% dispatch-transformer41 [103] 25.9% ------------------------------------------------------------------------ compile-top9 [97] 100.0% [100] 366(4.5%) 0(0.0%) compile-forms33 (unknown source) loop! [104] 100.0% ------------------------------------------------------------------------ ??? [98] 100.0% [101] 210(2.6%) 0(0.0%) core457 ...acket/contract/private/arr-i.rkt:976:19 arrow-higher-order:lnp [105] 100.0% ------------------------------------------------------------------------ expand-capturing-lifts [99] 100.0% [102] 794(9.8%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [106] 100.0% ------------------------------------------------------------------------ expand-capturing-lifts [99] 42.1% for-loop [108] 57.9% [103] 660(8.2%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [107] 100.0% ------------------------------------------------------------------------ compile-forms33 [100] 100.0% [104] 366(4.5%) 0(0.0%) loop! (unknown source) for-loop [108] 100.0% ------------------------------------------------------------------------ core457 [101] 100.0% [105] 210(2.6%) 210(2.6%) arrow-higher-order:lnp ...w-higher-order.rkt:673:7 ------------------------------------------------------------------------ lambda-clause-expander [102] 34.2% for-loop [108] 65.8% [106] 794(9.8%) 0(0.0%) finish-bodys (unknown source) for-loop [108] 100.0% ------------------------------------------------------------------------ dispatch-transformer41 [103] 100.0% [107] 660(8.2%) 0(0.0%) apply-transformer52 (unknown source) apply-transformer-in-context [109] 72.7% loop [116] 27.3% ------------------------------------------------------------------------ for-loop [108] 19.1% loop! [104] 31.6% finish-bodys [106] 49.4% [108] 1160(14.3%) 368(4.5%) for-loop (unknown source) finish-bodys [106] 33.2% for-loop [108] 19.1% compile5 [111] 17.8% dispatch-transformer41 [103] 11.0% expand-implicit [6] 2.9% ------------------------------------------------------------------------ apply-transformer52 [107] 100.0% [109] 480(5.9%) 0(0.0%) apply-transformer-in-context (unknown source) parse-lambda [110] 57.9% ??? [112] 42.1% ------------------------------------------------------------------------ apply-transformer-in-context [109]100.0% [110] 278(3.4%) 278(3.4%) parse-lambda ...llects/racket/private/kw.rkt:619:2 ------------------------------------------------------------------------ for-loop [108] 100.0% [111] 206(2.5%) 0(0.0%) compile5 (unknown source) compile-let13 [113] 100.0% ------------------------------------------------------------------------ apply-transformer-in-context [109]100.0% [112] 202(2.5%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [114] 100.0% ------------------------------------------------------------------------ compile5 [111] 100.0% [113] 206(2.5%) 206(2.5%) compile-let13 (unknown source) ------------------------------------------------------------------------ ??? [112] 100.0% [114] 202(2.5%) 0(0.0%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 syntax->list [115] 100.0% ------------------------------------------------------------------------ ??? [114] 100.0% [115] 202(2.5%) 0(0.0%) syntax->list (unknown source) loop [116] 100.0% ------------------------------------------------------------------------ egraph-add-exprs [66] 0.2% for-loop [31] 8.1% syntax-e/no-taint [14] 8.2% syntax->list [115] 8.2% apply-transformer52 [107] 14.6% ??? [34] 15.4% datum->syntax6 [13] 16.6% loop [116] 28.7% [116] 1232(15.2%) 460(5.7%) loop (unknown source) loop [116] 28.7% sample-multi-bounded [117] 15.4% core-form-sym [120] 14.6% syntax-e [7] 8.2% gf [118] 8.2% ??? [119] 8.1% ------------------------------------------------------------------------ loop [116] 19.8% ??? [34] 80.2% [117] 958(11.8%) 0(0.0%) sample-multi-bounded ...-exprs/src/points.rkt:14:0 random-ranges [121] 79.1% for-loop [123] 20.9% ------------------------------------------------------------------------ loop [116] 100.0% [118] 202(2.5%) 0(0.0%) gf (unknown source) propagation-apply [122] 100.0% ------------------------------------------------------------------------ loop [116] 100.0% [119] 200(2.5%) 200(2.5%) ??? .../herbie/extract-exprs/src/points.rkt:179:26 ------------------------------------------------------------------------ loop [116] 100.0% [120] 180(2.2%) 0(0.0%) core-form-sym (unknown source) resolve+shift28 [124] 100.0% ------------------------------------------------------------------------ sample-multi-bounded [117] 100.0% [121] 758(9.4%) 574(7.1%) random-ranges ...xtract-exprs/src/common.rkt:164:0 build--> [126] 24.3% ------------------------------------------------------------------------ gf [118] 100.0% [122] 202(2.5%) 202(2.5%) propagation-apply (unknown source) ------------------------------------------------------------------------ sample-multi-bounded [117] 100.0% [123] 200(2.5%) 0(0.0%) for-loop ...rbie/extract-exprs/src/points.rkt:20:4 ??? [125] 100.0% ------------------------------------------------------------------------ core-form-sym [120] 100.0% [124] 180(2.2%) 180(2.2%) resolve+shift28 (unknown source) ------------------------------------------------------------------------ for-loop [123] 17.5% ??? [19] 27.5% location-do [127] 27.5% for-loop [67] 27.5% [125] 1146(14.2%) 200(2.5%) ??? ...tract/private/arrow-higher-order.rkt:375:33 location-do [127] 27.5% approximate9 [3] 27.5% hash-ref! [16] 27.5% ------------------------------------------------------------------------ random-ranges [121] 100.0% [126] 184(2.3%) 0(0.0%) build--> ...act/private/arrow-val-first.rkt:1214:0 coerce-contract [128] 100.0% ------------------------------------------------------------------------ location-do [127] 38.6% ??? [125] 61.4% [127] 946(11.7%) 0(0.0%) location-do ...extract-exprs/src/programs.rkt:63:0 ??? [125] 61.4% location-do [127] 38.6% ------------------------------------------------------------------------ build--> [126] 100.0% [128] 184(2.3%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [129] 100.0% ------------------------------------------------------------------------ coerce-contract [128] 100.0% [129] 184(2.3%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [130] 100.0% ------------------------------------------------------------------------ coerce-contract/f [129] 100.0% [130] 184(2.3%) 184(2.3%) coerce-simple-value ...ract/private/guts.rkt:385:0 ------------------------------------------------------------------------