Profiling results ----------------- Total cpu time observed: 9272ms (out of 9668ms) Number of samples taken: 30 (once every 309ms) ============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================== ??? [25] 100.0% [1] 9272(100.0%) 0(0.0%) run-improve43 ...no-costs-2/src/mainloop.rkt:338:0 simplify! [5] 100.0% -------------------------------------------------------------- ??? [25] 100.0% [2] 9272(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% -------------------------------------------------------------- match-e [21] 100.0% [3] 930(10.0%) 0(0.0%) for-loop ...e/no-costs-2/src/core/ematch.rkt:52:11 for-loop [6] 100.0% -------------------------------------------------------------- profile-thunk16 [2] 100.0% [4] 9272(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [25] 100.0% -------------------------------------------------------------- run-improve43 [1] 100.0% [5] 9272(100.0%) 0(0.0%) simplify! ...bie/no-costs-2/src/mainloop.rkt:216:0 ??? [7] 100.0% -------------------------------------------------------------- for-loop [3] 100.0% [6] 930(10.0%) 298(3.2%) for-loop ...e/no-costs-2/src/core/ematch.rkt:58:37 match-e [21] 68.0% -------------------------------------------------------------- simplify! [5] 100.0% [7] 9272(100.0%) 0(0.0%) ??? ...erbie/no-costs-2/src/core/simplify.rkt:26:0 for-loop [8] 96.6% loop [9] 3.4% -------------------------------------------------------------- ??? [7] 100.0% [8] 8956(96.6%) 0(0.0%) for-loop .../no-costs-2/src/core/simplify.rkt:33:2 one-iter [10] 100.0% -------------------------------------------------------------- ??? [7] 100.0% [9] 316(3.4%) 0(0.0%) loop ...bie/no-costs-2/src/core/simplify.rkt:104:2 for-loop [11] 100.0% -------------------------------------------------------------- for-loop [8] 100.0% [10] 8956(96.6%) 0(0.0%) one-iter .../no-costs-2/src/core/simplify.rkt:65:0 for-loop [12] 72.3% find-matches [13] 20.8% for-loop [14] 6.9% -------------------------------------------------------------- loop [9] 100.0% [11] 316(3.4%) 0(0.0%) for-loop ...no-costs-2/src/core/simplify.rkt:110:4 for-loop [15] 100.0% -------------------------------------------------------------- one-iter [10] 100.0% [12] 6474(69.8%) 0(0.0%) for-loop .../no-costs-2/src/core/simplify.rkt:67:2 for-loop [16] 100.0% -------------------------------------------------------------- one-iter [10] 100.0% [13] 1860(20.1%) 0(0.0%) find-matches ...costs-2/src/core/simplify.rkt:55:0 for-loop [17] 100.0% -------------------------------------------------------------- one-iter [10] 100.0% [14] 622(6.7%) 0(0.0%) for-loop .../no-costs-2/src/core/simplify.rkt:72:2 set-precompute! [18] 100.0% -------------------------------------------------------------- for-loop [11] 100.0% [15] 316(3.4%) 0(0.0%) for-loop ...o-costs-2/src/core/simplify.rkt:114:16 for-loop [19] 100.0% -------------------------------------------------------------- for-loop [12] 100.0% [16] 6474(69.8%) 0(0.0%) for-loop .../no-costs-2/src/core/simplify.rkt:70:4 merge-egraph-nodes! [20] 81.0% dedup-children! [22] 14.4% substitute-e [24] 4.6% -------------------------------------------------------------- for-loop [17] 41.9% find-matches [13] 58.1% [17] 1860(20.1%) 300(3.2%) for-loop .../no-costs-2/src/core/simplify.rkt:57:8 for-loop [17] 41.9% match-e [21] 41.9% -------------------------------------------------------------- for-loop [14] 100.0% [18] 622(6.7%) 0(0.0%) set-precompute! ...ts-2/src/core/simplify.rkt:79:0 for-loop [23] 100.0% -------------------------------------------------------------- for-loop [15] 100.0% [19] 316(3.4%) 316(3.4%) for-loop ...o-costs-2/src/core/simplify.rkt:118:23 -------------------------------------------------------------- merge-egraph-nodes! [20] 8.7% for-loop [16] 91.3% [20] 5246(56.6%) 0(0.0%) merge-egraph-nodes! ...2/src/core/egraph.rkt:143:0 loop! [26] 59.8% update-leader! [27] 31.5% merge-egraph-nodes! [20] 8.7% -------------------------------------------------------------- for-loop [6] 20.3% for-loop [17] 79.7% [21] 1560(16.8%) 296(3.2%) match-e ...bie/no-costs-2/src/core/ematch.rkt:39:0 for-loop [3] 39.4% constant? [41] 31.8% ??? [30] 9.9% -------------------------------------------------------------- for-loop [16] 100.0% [22] 932(10.1%) 0(0.0%) dedup-children! ...osts-2/src/core/enode.rkt:195:0 loop [28] 65.2% loop [29] 34.8% -------------------------------------------------------------- set-precompute! [18] 100.0% [23] 622(6.7%) 0(0.0%) for-loop .../no-costs-2/src/core/simplify.rkt:81:2 ??? [25] 52.1% setfindf [31] 47.9% -------------------------------------------------------------- for-loop [32] 50.0% for-loop [16] 50.0% [24] 296(3.2%) 296(3.2%) substitute-e ...o-costs-2/src/core/ematch.rkt:64:0 for-loop [32] 50.0% -------------------------------------------------------------- for-loop [23] 1.2% run [4] 49.4% [25] 9272(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [2] 49.4% run-improve43 [1] 49.4% eval-const-expr [38] 1.2% -------------------------------------------------------------- loop [33] 34.6% merge-egraph-nodes! [20] 65.4% [26] 3442(37.1%) 918(9.9%) loop! ...erbie/no-costs-2/src/core/enode.rkt:187:2 custom-set-union [35] 36.8% loop [33] 34.6% set [36] 13.4% update-en-expr [52] 4.9% -------------------------------------------------------------- merge-egraph-nodes! [20]100.0% [27] 1804(19.5%) 302(3.3%) update-leader! ...osts-2/src/core/egraph.rkt:211:0 for-loop [34] 83.3% -------------------------------------------------------------- dedup-children! [22] 19.6% loop [28] 80.4% [28] 608(6.6%) 0(0.0%) loop ...racket-7.0/collects/racket/list.rkt:417:34 loop [28] 80.4% member [37] 19.6% -------------------------------------------------------------- dedup-children! [22] 6.2% loop [29] 93.8% [29] 324(3.5%) 324(3.5%) loop ...racket-7.0/collects/racket/list.rkt:434:17 loop [29] 93.8% -------------------------------------------------------------- match-e [21] 100.0% [30] 308(3.3%) 308(3.3%) ??? ...contract/private/arrow-val-first.rkt:388:18 -------------------------------------------------------------- for-loop [23] 100.0% [31] 298(3.2%) 0(0.0%) setfindf ...herbie/no-costs-2/src/common.rkt:138:0 for-loop [39] 100.0% -------------------------------------------------------------- substitute-e [24] 100.0% [32] 296(3.2%) 0(0.0%) for-loop ...e/no-costs-2/src/core/ematch.rkt:73:24 substitute-e [24] 100.0% -------------------------------------------------------------- loop! [26] 43.9% loop [33] 56.1% [33] 2176(23.5%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [33] 56.1% loop! [26] 43.9% -------------------------------------------------------------- update-leader! [27] 100.0% [34] 1502(16.2%) 0(0.0%) for-loop ...e/no-costs-2/src/core/egraph.rkt:216:6 for-loop [42] 60.6% hash-update! [44] 39.4% -------------------------------------------------------------- loop! [26] 100.0% [35] 1266(13.7%) 0(0.0%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [40] 100.0% -------------------------------------------------------------- loop! [26] 100.0% [36] 924(10.0%) 924(10.0%) set ...collects/racket/private/set-types.rkt:981:0 -------------------------------------------------------------- loop [28] 100.0% [37] 608(6.6%) 608(6.6%) member (unknown source) -------------------------------------------------------------- ??? [25] 100.0% [38] 324(3.5%) 0(0.0%) eval-const-expr ...-costs-2/src/programs.rkt:102:0 eval-prog [43] 100.0% -------------------------------------------------------------- setfindf [31] 100.0% [39] 298(3.2%) 0(0.0%) for-loop ...herbie/no-costs-2/src/common.rkt:139:2 constant? [41] 100.0% -------------------------------------------------------------- custom-set-union [35] 100.0% [40] 1266(13.7%) 324(3.5%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [46] 74.4% -------------------------------------------------------------- for-loop [39] 31.2% match-e [21] 68.8% [41] 956(10.3%) 0(0.0%) constant? ...o-costs-2/src/syntax/syntax.rkt:719:0 value? [45] 100.0% -------------------------------------------------------------- for-loop [34] 100.0% [42] 910(9.8%) 0(0.0%) for-loop ...e/no-costs-2/src/core/egraph.rkt:217:8 hash-update! [44] 100.0% -------------------------------------------------------------- eval-const-expr [38] 100.0% [43] 324(3.5%) 0(0.0%) eval-prog ...rbie/no-costs-2/src/programs.rkt:83:0 temp68_2 [47] 100.0% -------------------------------------------------------------- for-loop [34] 39.4% for-loop [42] 60.6% [44] 1502(16.2%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [48] 100.0% -------------------------------------------------------------- constant? [41] 100.0% [45] 956(10.3%) 956(10.3%) value? ...bie/no-costs-2/src/syntax/types.rkt:18:0 -------------------------------------------------------------- for-loop [40] 100.0% [46] 942(10.2%) 942(10.2%) for-loop ...cts/racket/private/set-types.rkt:178:5 -------------------------------------------------------------- eval-prog [43] 100.0% [47] 324(3.5%) 0(0.0%) temp68_2 (unknown source) compile16 [49] 100.0% -------------------------------------------------------------- hash-update! [44] 100.0% [48] 1502(16.2%) 0(0.0%) ??? ...erbie/no-costs-2/src/core/egraph.rkt:219:24 for-loop [50] 100.0% -------------------------------------------------------------- temp68_2 [47] 100.0% [49] 324(3.5%) 0(0.0%) compile16 (unknown source) temp74_0 [51] 100.0% -------------------------------------------------------------- ??? [48] 100.0% [50] 1502(16.2%) 1206(13.0%) for-loop .../no-costs-2/src/core/egraph.rkt:220:26 update-en-expr [52] 19.7% -------------------------------------------------------------- compile16 [49] 100.0% [51] 324(3.5%) 0(0.0%) temp74_0 (unknown source) compile-top9 [53] 100.0% -------------------------------------------------------------- for-loop [50] 47.0% loop! [26] 53.0% [52] 630(6.8%) 630(6.8%) update-en-expr ...osts-2/src/core/egraph.rkt:205:0 -------------------------------------------------------------- temp74_0 [51] 100.0% [53] 324(3.5%) 324(3.5%) compile-top9 (unknown source) --------------------------------------------------------------