Profiling results ----------------- Total cpu time observed: 13948ms (out of 13260ms) Number of samples taken: 35 (once every 399ms) =============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================== ??? [18] 100.0% [1] 13948(100.0%) 0(0.0%) run-improve47 ...us-cleanup/src/mainloop.rkt:342:0 simplify! [4] 100.0% --------------------------------------------------------------- ??? [18] 100.0% [2] 13948(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% --------------------------------------------------------------- profile-thunk16 [2] 100.0% [3] 13948(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [18] 100.0% --------------------------------------------------------------- run-improve47 [1] 100.0% [4] 13948(100.0%) 0(0.0%) simplify! ...arious-cleanup/src/mainloop.rkt:220:0 ??? [5] 100.0% --------------------------------------------------------------- simplify! [4] 100.0% [5] 13948(100.0%) 0(0.0%) ??? .../various-cleanup/src/core/simplify.rkt:26:0 for-loop [6] 100.0% --------------------------------------------------------------- ??? [5] 100.0% [6] 13948(100.0%) 0(0.0%) for-loop ...ous-cleanup/src/core/simplify.rkt:35:2 one-iter [7] 100.0% --------------------------------------------------------------- for-loop [6] 100.0% [7] 13948(100.0%) 0(0.0%) one-iter ...ous-cleanup/src/core/simplify.rkt:72:0 for-loop [8] 76.0% find-matches [9] 12.9% for-loop [10] 11.1% --------------------------------------------------------------- one-iter [7] 100.0% [8] 10604(76.0%) 0(0.0%) for-loop ...ous-cleanup/src/core/simplify.rkt:74:2 for-loop [11] 100.0% --------------------------------------------------------------- one-iter [7] 100.0% [9] 1796(12.9%) 0(0.0%) find-matches ...cleanup/src/core/simplify.rkt:62:0 for-loop [12] 100.0% --------------------------------------------------------------- one-iter [7] 100.0% [10] 1548(11.1%) 0(0.0%) for-loop ...ous-cleanup/src/core/simplify.rkt:79:2 set-precompute! [13] 100.0% --------------------------------------------------------------- for-loop [8] 100.0% [11] 10604(76.0%) 0(0.0%) for-loop ...ous-cleanup/src/core/simplify.rkt:77:4 merge-egraph-nodes! [14] 73.1% dedup-children! [27] 24.0% substitute-e [17] 2.9% --------------------------------------------------------------- for-loop [12] 50.0% find-matches [9] 50.0% [12] 1796(12.9%) 0(0.0%) for-loop ...ous-cleanup/src/core/simplify.rkt:64:8 for-loop [12] 50.0% match-e [15] 50.0% --------------------------------------------------------------- for-loop [10] 100.0% [13] 1548(11.1%) 0(0.0%) set-precompute! ...anup/src/core/simplify.rkt:86:0 for-loop [16] 100.0% --------------------------------------------------------------- for-loop [21] 5.4% merge-egraph-nodes! [14] 9.5% for-loop [11] 85.2% [14] 7752(55.6%) 0(0.0%) merge-egraph-nodes! ...p/src/core/egraph.rkt:143:0 loop! [19] 44.2% enode-merge! [20] 28.7% merge-egraph-nodes! [14] 9.5% for-loop [21] 9.2% dedup-children! [27] 6.2% update-leader! [23] 2.1% --------------------------------------------------------------- for-loop [32] 27.7% for-loop [12] 72.3% [15] 1796(12.9%) 298(2.1%) match-e ...arious-cleanup/src/core/ematch.rkt:39:0 for-loop [22] 44.5% constant? [39] 33.5% variable? [26] 5.4% --------------------------------------------------------------- set-precompute! [13] 100.0% [16] 1548(11.1%) 0(0.0%) for-loop ...ous-cleanup/src/core/simplify.rkt:88:2 ??? [18] 80.6% setfindf [25] 19.4% --------------------------------------------------------------- for-loop [11] 33.3% for-loop [24] 66.7% [17] 310(2.2%) 310(2.2%) substitute-e ...s-cleanup/src/core/ematch.rkt:64:0 for-loop [24] 66.7% --------------------------------------------------------------- for-loop [16] 3.0% run [3] 48.5% [18] 13948(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [2] 48.5% run-improve47 [1] 48.5% ??? [31] 3.0% --------------------------------------------------------------- loop [28] 35.5% merge-egraph-nodes! [14] 64.5% [19] 4262(30.6%) 1020(7.3%) loop! .../various-cleanup/src/core/enode.rkt:187:2 loop [28] 35.5% custom-set-union [36] 32.5% set [30] 15.8% update-en-expr [33] 4.2% --------------------------------------------------------------- merge-egraph-nodes! [14]100.0% [20] 2228(16.0%) 0(0.0%) enode-merge! ...s-cleanup/src/core/enode.rkt:124:0 adopt-enode! [29] 100.0% --------------------------------------------------------------- merge-egraph-nodes! [14]100.0% [21] 1234(8.8%) 0(0.0%) for-loop ...ious-cleanup/src/core/egraph.rkt:197:4 merge-egraph-nodes! [14] 75.7% dedup-children! [27] 24.3% --------------------------------------------------------------- match-e [15] 100.0% [22] 1200(8.6%) 302(2.2%) for-loop ...ious-cleanup/src/core/ematch.rkt:52:11 for-loop [32] 74.8% --------------------------------------------------------------- merge-egraph-nodes! [14]100.0% [23] 332(2.4%) 0(0.0%) update-leader! ...leanup/src/core/egraph.rkt:211:0 for-loop [34] 100.0% --------------------------------------------------------------- substitute-e [17] 100.0% [24] 310(2.2%) 0(0.0%) for-loop ...ious-cleanup/src/core/ematch.rkt:73:24 substitute-e [17] 100.0% --------------------------------------------------------------- for-loop [16] 100.0% [25] 300(2.2%) 0(0.0%) setfindf ...e/various-cleanup/src/common.rkt:142:0 for-loop [35] 100.0% --------------------------------------------------------------- match-e [15] 100.0% [26] 290(2.1%) 0(0.0%) variable? ...s-cleanup/src/syntax/syntax.rkt:722:0 value? [41] 100.0% --------------------------------------------------------------- for-loop [21] 8.6% merge-egraph-nodes! [14] 18.1% for-loop [11] 73.2% [27] 3472(24.9%) 0(0.0%) dedup-children! ...leanup/src/core/enode.rkt:195:0 loop [37] 100.0% --------------------------------------------------------------- loop! [19] 2.5% loop [28] 97.5% [28] 3028(21.7%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [28] 97.5% loop! [19] 2.5% --------------------------------------------------------------- enode-merge! [20] 100.0% [29] 2228(16.0%) 0(0.0%) adopt-enode! ...s-cleanup/src/core/enode.rkt:102:0 custom-set-union [36] 100.0% --------------------------------------------------------------- loop! [19] 100.0% [30] 1350(9.7%) 1350(9.7%) set ...collects/racket/private/set-types.rkt:981:0 --------------------------------------------------------------- ??? [18] 100.0% [31] 1248(8.9%) 0(0.0%) ??? ...rbie/various-cleanup/src/programs.rkt:108:2 ??? [38] 100.0% --------------------------------------------------------------- for-loop [22] 100.0% [32] 898(6.4%) 0(0.0%) for-loop ...ious-cleanup/src/core/ematch.rkt:58:37 match-e [15] 100.0% --------------------------------------------------------------- loop! [19] 100.0% [33] 358(2.6%) 358(2.6%) update-en-expr ...leanup/src/core/egraph.rkt:205:0 --------------------------------------------------------------- update-leader! [23] 100.0% [34] 332(2.4%) 0(0.0%) for-loop ...ious-cleanup/src/core/egraph.rkt:216:6 for-loop [40] 100.0% --------------------------------------------------------------- setfindf [25] 100.0% [35] 300(2.2%) 0(0.0%) for-loop ...e/various-cleanup/src/common.rkt:143:2 constant? [39] 100.0% --------------------------------------------------------------- loop! [19] 40.8% adopt-enode! [29] 59.2% [36] 3762(27.0%) 3128(22.4%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [42] 16.9% --------------------------------------------------------------- dedup-children! [27] 8.2% loop [37] 91.8% [37] 3472(24.9%) 3472(24.9%) loop ...racket-7.0/collects/racket/list.rkt:434:17 loop [37] 91.8% --------------------------------------------------------------- ??? [31] 100.0% [38] 1248(8.9%) 1248(8.9%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 --------------------------------------------------------------- for-loop [35] 24.9% match-e [15] 75.1% [39] 1206(8.6%) 298(2.1%) constant? ...s-cleanup/src/syntax/syntax.rkt:719:0 value? [41] 75.3% --------------------------------------------------------------- for-loop [34] 100.0% [40] 332(2.4%) 0(0.0%) for-loop ...ious-cleanup/src/core/egraph.rkt:217:8 hash-update! [43] 100.0% --------------------------------------------------------------- variable? [26] 24.2% constant? [39] 75.8% [41] 1198(8.6%) 1198(8.6%) value? ...arious-cleanup/src/syntax/types.rkt:18:0 --------------------------------------------------------------- custom-set-union [36] 100.0% [42] 634(4.5%) 334(2.4%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [45] 47.3% --------------------------------------------------------------- for-loop [40] 100.0% [43] 332(2.4%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [44] 100.0% --------------------------------------------------------------- hash-update! [43] 100.0% [44] 332(2.4%) 0(0.0%) ??? .../various-cleanup/src/core/egraph.rkt:219:24 for-loop [46] 100.0% --------------------------------------------------------------- for-loop [42] 100.0% [45] 300(2.2%) 300(2.2%) for-loop ...cts/racket/private/set-types.rkt:178:5 --------------------------------------------------------------- ??? [44] 100.0% [46] 332(2.4%) 332(2.4%) for-loop ...ous-cleanup/src/core/egraph.rkt:220:26 ---------------------------------------------------------------