Profiling results ----------------- Total cpu time observed: 118148ms (out of 122084ms) Number of samples taken: 285 (once every 415ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 89 hidden) =========================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================================== run [12] 50.0% [1] 118148(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [6] 50.0% prepare-points [18] 45.2% run-improve48 [8] 4.5% get-final-combination [9] 0.3% --------------------------------------------------------------------------- loop [24] 0.4% loop [56] 99.6% [2] 104270(88.3%) 0(0.0%) ??? ...erbie/clean-out-code/src/programs.rkt:129:2 ??? [7] 100.0% --------------------------------------------------------------------------- loop [61] 15.3% map [38] 33.6% loop [56] 51.1% [3] 2108(1.8%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [26] 100.0% --------------------------------------------------------------------------- ??? [26] 100.0% [4] 624(0.5%) 0(0.0%) loop ...clean-out-code/src/core/simplify.rkt:187:2 pass [10] 100.0% --------------------------------------------------------------------------- loop [56] 100.0% [5] 298(0.3%) 0(0.0%) for-loop ...n-out-code/src/core/simplify.rkt:145:2 eval-const-expr [11] 100.0% --------------------------------------------------------------------------- ??? [1] 100.0% [6] 118148(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [12] 100.0% --------------------------------------------------------------------------- ??? [2] 100.0% [7] 104270(88.3%) 7378(6.2%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf-complex-mult [62] 80.1% bf-complex-add [13] 9.4% ??? [81] 2.0% parse-loop12 [52] 0.7% --------------------------------------------------------------------------- ??? [1] 100.0% [8] 10656(9.0%) 0(0.0%) run-improve48 ...n-out-code/src/mainloop.rkt:286:0 for-loop [14] 50.3% setup-prog!41 [15] 30.5% for-loop [16] 19.2% --------------------------------------------------------------------------- ??? [1] 100.0% [9] 660(0.6%) 0(0.0%) get-final-combination ...de/src/mainloop.rkt:320:0 ??? [26] 100.0% --------------------------------------------------------------------------- loop [4] 100.0% [10] 624(0.5%) 0(0.0%) pass ...clean-out-code/src/core/simplify.rkt:177:2 for-loop [17] 100.0% --------------------------------------------------------------------------- for-loop [5] 100.0% [11] 298(0.3%) 0(0.0%) eval-const-expr ...out-code/src/programs.rkt:132:0 eval-prog [28] 100.0% --------------------------------------------------------------------------- profile-thunk16 [6] 100.0% [12] 118148(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% --------------------------------------------------------------------------- ??? [7] 100.0% [13] 9794(8.3%) 362(0.3%) bf-complex-add ...out-code/src/bigcomplex.rkt:22:0 ??? [70] 78.5% ...higher-order.rkt:346:33 [67] 17.8% --------------------------------------------------------------------------- run-improve48 [8] 100.0% [14] 5356(4.5%) 0(0.0%) for-loop ...clean-out-code/src/mainloop.rkt:298:29 ??? [26] 100.0% --------------------------------------------------------------------------- run-improve48 [8] 100.0% [15] 3254(2.8%) 0(0.0%) setup-prog!41 ...an-out-code/src/mainloop.rkt:63:0 prepare-points [18] 100.0% --------------------------------------------------------------------------- run-improve48 [8] 100.0% [16] 2046(1.7%) 0(0.0%) for-loop .../clean-out-code/src/mainloop.rkt:303:8 run-iter! [19] 100.0% --------------------------------------------------------------------------- pass [10] 100.0% [17] 624(0.5%) 0(0.0%) for-loop ...-out-code/src/core/simplify.rkt:180:29 argmin [20] 100.0% --------------------------------------------------------------------------- setup-prog!41 [15] 3.0% ??? [1] 97.0% [18] 110086(93.2%) 0(0.0%) prepare-points ...an-out-code/src/points.rkt:156:0 loop [21] 37.1% loop [24] 32.1% make-exacts* [25] 30.8% --------------------------------------------------------------------------- for-loop [16] 100.0% [19] 2046(1.7%) 0(0.0%) run-iter! ...clean-out-code/src/mainloop.rkt:267:0 localize-error [22] 100.0% --------------------------------------------------------------------------- for-loop [17] 100.0% [20] 624(0.5%) 0(0.0%) argmin ...re/racket/collects/racket/list.rkt:743:0 for-loop [23] 100.0% --------------------------------------------------------------------------- prepare-points [18] 100.0% [21] 40882(34.6%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:124:2 make-exacts* [25] 50.9% loop [24] 49.1% --------------------------------------------------------------------------- run-iter! [19] 100.0% [22] 2046(1.7%) 0(0.0%) localize-error ...-code/src/core/localize.rkt:47:0 hash-ref! [46] 100.0% --------------------------------------------------------------------------- argmin [20] 100.0% [23] 624(0.5%) 0(0.0%) for-loop .../clean-out-code/src/programs.rkt:169:2 ??? [26] 100.0% --------------------------------------------------------------------------- loop [21] 36.2% prepare-points [18] 63.8% [24] 55352(46.8%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:107:4 loop [56] 99.3% ??? [2] 0.7% --------------------------------------------------------------------------- loop [21] 38.0% prepare-points [18] 62.0% [25] 54734(46.3%) 0(0.0%) make-exacts* ...lean-out-code/src/points.rkt:104:0 loop [56] 91.9% eval-prog [28] 8.1% --------------------------------------------------------------------------- for-loop [23] 3.7% f6 [34] 4.0% get-sigs [68] 4.1% get-final-combination [9] 5.9% ??? [3] 24.9% for-loop [14] 57.5% [26] 8460(7.2%) 1390(1.2%) ??? ...llects/racket/private/norm-define.rkt:53:83 iterate-egraph!7 [27] 59.7% ??? [29] 9.8% return/no-unsupplied [30] 4.2% ??? [31] 4.1% ??? [32] 4.1% loop [4] 3.7% --------------------------------------------------------------------------- ??? [26] 100.0% [27] 5392(4.6%) 0(0.0%) iterate-egraph!7 ...ode/src/core/simplify.rkt:55:0 one-iter [33] 94.5% map-enodes [36] 5.5% --------------------------------------------------------------------------- eval-const-expr [11] 6.3% make-exacts* [25] 93.7% [28] 4708(4.0%) 632(0.5%) eval-prog ...clean-out-code/src/programs.rkt:109:0 hash-ref! [46] 71.8% f6 [34] 14.8% --------------------------------------------------------------------------- ??? [26] 100.0% [29] 1318(1.1%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:737:4 for-loop [35] 100.0% --------------------------------------------------------------------------- ??? [26] 100.0% [30] 352(0.3%) 352(0.3%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 --------------------------------------------------------------------------- ??? [26] 100.0% [31] 350(0.3%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:60:15 ??? [80] 100.0% --------------------------------------------------------------------------- ??? [26] 100.0% [32] 346(0.3%) 346(0.3%) ??? ...racket/collects/racket/private/kw.rkt:761:9 --------------------------------------------------------------------------- iterate-egraph!7 [27] 100.0% [33] 5094(4.3%) 0(0.0%) one-iter ...an-out-code/src/core/simplify.rkt:66:0 for-loop [37] 60.3% for-loop [39] 39.7% --------------------------------------------------------------------------- eval-prog [28] 2.5% f6 [34] 22.8% hash-ref! [46] 74.6% [34] 2742(2.3%) 0(0.0%) f6 ...et/collects/racket/match/compiler.rkt:507:40 map [38] 74.6% f6 [34] 22.8% ??? [26] 1.5% ??? [41] 1.0% --------------------------------------------------------------------------- ??? [29] 100.0% [35] 1318(1.1%) 688(0.6%) for-loop ...acket/contract/private/list.rkt:743:12 for-loop [40] 47.8% --------------------------------------------------------------------------- iterate-egraph!7 [27] 100.0% [36] 298(0.3%) 0(0.0%) map-enodes ...n-out-code/src/core/egraph.rkt:140:0 loop [56] 100.0% --------------------------------------------------------------------------- for-loop [37] 50.0% one-iter [33] 50.0% [37] 3074(2.6%) 0(0.0%) for-loop ...n-out-code/src/core/simplify.rkt:76:12 for-loop [37] 50.0% rule-valid-at-type? [42] 50.0% --------------------------------------------------------------------------- ??? [43] 17.3% f6 [34] 82.7% [38] 2046(1.7%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 ??? [43] 82.7% ??? [3] 17.3% --------------------------------------------------------------------------- one-iter [33] 100.0% [39] 2020(1.7%) 0(0.0%) for-loop ...n-out-code/src/core/simplify.rkt:116:2 for-loop [44] 100.0% --------------------------------------------------------------------------- for-loop [35] 100.0% [40] 630(0.5%) 0(0.0%) for-loop ...racket/contract/private/hash.rkt:239:6 ??? [71] 100.0% --------------------------------------------------------------------------- f6 [34] 100.0% [41] 360(0.3%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 integer->bigfloat [45] 100.0% --------------------------------------------------------------------------- for-loop [37] 100.0% [42] 3074(2.6%) 1778(1.5%) rule-valid-at-type? .../src/syntax/rules.rkt:548:0 *complex-rules* [47] 42.2% --------------------------------------------------------------------------- map [38] 16.8% loop [56] 83.2% [43] 2046(1.7%) 0(0.0%) ??? ...ket/collects/racket/private/list.rkt:323:18 hash-ref! [46] 92.6% map [38] 7.4% --------------------------------------------------------------------------- for-loop [39] 100.0% [44] 2020(1.7%) 0(0.0%) for-loop ...n-out-code/src/core/simplify.rkt:98:10 mk-enode! [53] 34.3% substitute-e [48] 33.1% merge-egraph-nodes! [49] 32.7% --------------------------------------------------------------------------- ??? [41] 100.0% [45] 360(0.3%) 360(0.3%) integer->bigfloat ...ivate/bigfloat/mpfr.rkt:399:0 --------------------------------------------------------------------------- localize-error [22] 5.9% eval-prog [28] 17.0% ??? [43] 31.8% loop [56] 45.3% [46] 5426(4.6%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 ??? [51] 45.3% parse-loop12 [52] 31.8% bigfloat-hash [50] 17.0% f6 [34] 5.9% --------------------------------------------------------------------------- rule-valid-at-type? [42] 100.0% [47] 1296(1.1%) 638(0.5%) *complex-rules* ...code/src/syntax/rules.rkt:560:0 for-loop [55] 50.8% --------------------------------------------------------------------------- substitute-e [48] 50.0% for-loop [44] 50.0% [48] 668(0.6%) 0(0.0%) substitute-e ...-out-code/src/core/ematch.rkt:71:0 substitute-e [48] 50.0% mk-enode! [53] 50.0% --------------------------------------------------------------------------- for-loop [44] 100.0% [49] 660(0.6%) 0(0.0%) merge-egraph-nodes! ...e/src/core/egraph.rkt:153:0 update-leader! [54] 100.0% --------------------------------------------------------------------------- hash-ref! [46] 100.0% [50] 3380(2.9%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0 bfcanonicalize [57] 71.5% sig+exp->bigfloat [59] 28.5% --------------------------------------------------------------------------- hash-ref! [46] 100.0% [51] 3046(2.6%) 0(0.0%) ??? ...erbie/clean-out-code/src/programs.rkt:153:5 loop [56] 100.0% --------------------------------------------------------------------------- ??? [7] 26.5% hash-ref! [46] 73.5% [52] 2784(2.4%) 738(0.6%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [56] 70.3% loop [61] 3.2% --------------------------------------------------------------------------- substitute-e [48] 49.1% for-loop [44] 50.9% [53] 1360(1.2%) 0(0.0%) mk-enode! ...an-out-code/src/core/egraph.rkt:102:0 new-enode [58] 100.0% --------------------------------------------------------------------------- merge-egraph-nodes! [49] 100.0% [54] 660(0.6%) 0(0.0%) update-leader! ...t-code/src/core/egraph.rkt:218:0 for-loop [60] 100.0% --------------------------------------------------------------------------- *complex-rules* [47] 100.0% [55] 658(0.6%) 658(0.6%) for-loop ...bie/clean-out-code/src/common.rkt:92:9 --------------------------------------------------------------------------- map-enodes [36] 0.0% make-exacts* [25] 0.3% loop [24] 0.5% parse-loop12 [52] 0.8% ??? [51] 2.8% loop [56] 95.7% [56] 110680(93.7%) 328(0.3%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [56] 95.7% hash-ref! [46] 2.8% ??? [2] 0.8% ??? [43] 0.8% bf-complex-mult [62] 0.0% for-loop [5] 0.0% ??? [3] 0.0% --------------------------------------------------------------------------- bigfloat-hash [50] 100.0% [57] 2418(2.0%) 2418(2.0%) bfcanonicalize .../private/bigfloat/mpfr.rkt:155:0 --------------------------------------------------------------------------- mk-enode! [53] 100.0% [58] 1360(1.2%) 0(0.0%) new-enode ...lean-out-code/src/core/enode.rkt:97:0 type-of-enode-expr [63] 100.0% --------------------------------------------------------------------------- bigfloat-hash [50] 100.0% [59] 962(0.8%) 674(0.6%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:385:0 integer->mpz [65] 29.9% --------------------------------------------------------------------------- update-leader! [54] 100.0% [60] 660(0.6%) 0(0.0%) for-loop ...ean-out-code/src/core/egraph.rkt:223:6 for-loop [64] 100.0% --------------------------------------------------------------------------- parse-loop12 [52] 3.0% loop [61] 97.0% [61] 656(0.6%) 334(0.3%) loop ...cket/collects/racket/private/map.rkt:36:19 loop [61] 97.0% ??? [3] 1.5% --------------------------------------------------------------------------- loop [56] 0.8% ??? [7] 99.2% [62] 84202(71.3%) 4530(3.8%) bf-complex-mult ...ut-code/src/bigcomplex.rkt:33:0 bf* [66] 56.8% ??? [70] 31.4% ...higher-order.rkt:346:33 [67] 6.4% --------------------------------------------------------------------------- new-enode [58] 100.0% [63] 1360(1.2%) 0(0.0%) type-of-enode-expr ...code/src/core/enode.rkt:68:0 get-sigs [68] 100.0% --------------------------------------------------------------------------- for-loop [60] 100.0% [64] 660(0.6%) 0(0.0%) for-loop ...ean-out-code/src/core/egraph.rkt:224:8 hash-update! [69] 100.0% --------------------------------------------------------------------------- sig+exp->bigfloat [59] 100.0% [65] 288(0.2%) 288(0.2%) integer->mpz ...math/private/bigfloat/gmp.rkt:87:0 --------------------------------------------------------------------------- bf-complex-mult [62] 100.0% [66] 47812(40.5%) 360(0.3%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [70] 99.2% --------------------------------------------------------------------------- bf-complex-add [13] 24.3% bf-complex-mult [62] 75.7% [67] 7172(6.1%) 988(0.8%) ...higher-order.rkt:346:33 (unknown source) ??? [71] 86.2% --------------------------------------------------------------------------- type-of-enode-expr [63] 100.0% [68] 1360(1.2%) 0(0.0%) get-sigs .../clean-out-code/src/type-check.rkt:5:0 ??? [26] 50.6% ??? [72] 49.4% --------------------------------------------------------------------------- for-loop [64] 100.0% [69] 660(0.6%) 0(0.0%) hash-update! ...ket/private/more-scheme.rkt:362:13 ??? [73] 100.0% --------------------------------------------------------------------------- bf-complex-add [13] 9.4% bf-complex-mult [62] 32.4% bf* [66] 58.2% [70] 81572(69.0%) 8522(7.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [74] 78.9% bfneg [75] 10.6% --------------------------------------------------------------------------- for-loop [40] 9.2% ...higher-order.rkt:346:33 [67] 90.8% [71] 6814(5.8%) 5346(4.5%) ??? ...cts/racket/contract/private/list.rkt:187:10 ??? [76] 17.2% ??? [79] 4.3% --------------------------------------------------------------------------- get-sigs [68] 100.0% [72] 672(0.6%) 0(0.0%) ??? ...ts/racket/contract/private/arr-i.rkt:804:10 ??? [77] 100.0% --------------------------------------------------------------------------- hash-update! [69] 100.0% [73] 660(0.6%) 0(0.0%) ??? ...e/clean-out-code/src/core/egraph.rkt:226:24 for-loop [78] 100.0% --------------------------------------------------------------------------- ??? [70] 100.0% [74] 64380(54.5%) 44490(37.7%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [80] 30.9% --------------------------------------------------------------------------- ??? [70] 100.0% [75] 8670(7.3%) 6948(5.9%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:616:4 ??? [80] 19.9% --------------------------------------------------------------------------- ??? [71] 100.0% [76] 1174(1.0%) 1174(1.0%) ??? ...ects/racket/contract/private/guts.rkt:644:8 --------------------------------------------------------------------------- ??? [72] 100.0% [77] 672(0.6%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:217:4 ??? [82] 100.0% --------------------------------------------------------------------------- ??? [73] 100.0% [78] 660(0.6%) 660(0.6%) for-loop ...an-out-code/src/core/egraph.rkt:227:26 --------------------------------------------------------------------------- ??? [71] 100.0% [79] 294(0.2%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:686:7 ??? [81] 100.0% --------------------------------------------------------------------------- ??? [31] 1.6% bfneg [75] 7.8% bfadd [74] 90.6% [80] 21962(18.6%) 21962(18.6%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 --------------------------------------------------------------------------- ??? [79] 12.5% ??? [7] 87.5% [81] 2356(2.0%) 2062(1.7%) ??? ...ects/racket/contract/private/prop.rkt:493:4 ??? [84] 12.5% --------------------------------------------------------------------------- ??? [77] 100.0% [82] 672(0.6%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:169:2 ??? [83] 100.0% --------------------------------------------------------------------------- ??? [82] 100.0% [83] 672(0.6%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:678:5 for-loop [85] 100.0% --------------------------------------------------------------------------- ??? [81] 100.0% [84] 294(0.2%) 0(0.0%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ??? [86] 100.0% --------------------------------------------------------------------------- ??? [83] 100.0% [85] 672(0.6%) 0(0.0%) for-loop ...racket/contract/private/list.rkt:680:9 get/build-late-neg-projection [87]100.0% --------------------------------------------------------------------------- ??? [84] 100.0% [86] 294(0.2%) 294(0.2%) ??? ...ects/racket/contract/private/list.rkt:141:5 --------------------------------------------------------------------------- for-loop [85] 100.0% [87] 672(0.6%) 326(0.3%) get/build-late-neg-projection ...te/guts.rkt:691:0 ??? [88] 51.5% --------------------------------------------------------------------------- get/build-late-neg-projection [87]100.0% [88] 346(0.3%) 346(0.3%) ??? ...cts/racket/contract/private/prop.rkt:314:12 ---------------------------------------------------------------------------