Profiling results ----------------- Total cpu time observed: 1686ms (out of 2068ms) Number of samples taken: 6 (once every 281ms) ============================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================ run [4] 50.0% [1] 1686(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 50.0% run-improve47 [2] 50.0% ------------------------------------------------------------ ??? [1] 100.0% [2] 1686(100.0%) 0(0.0%) run-improve47 ...rface-bugs/src/mainloop.rkt:345:0 simplify! [5] 83.2% for-loop [6] 16.8% ------------------------------------------------------------ ??? [1] 100.0% [3] 1686(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ------------------------------------------------------------ profile-thunk16 [3] 100.0% [4] 1686(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ------------------------------------------------------------ run-improve47 [2] 100.0% [5] 1402(83.2%) 0(0.0%) simplify! ...interface-bugs/src/mainloop.rkt:223:0 ??? [7] 100.0% ------------------------------------------------------------ run-improve47 [2] 100.0% [6] 284(16.8%) 0(0.0%) for-loop ...-interface-bugs/src/mainloop.rkt:364:4 run-iter! [8] 100.0% ------------------------------------------------------------ simplify! [5] 100.0% [7] 1402(83.2%) 0(0.0%) ??? ...x-interface-bugs/src/core/simplify.rkt:26:0 for-loop [9] 100.0% ------------------------------------------------------------ for-loop [6] 100.0% [8] 284(16.8%) 0(0.0%) run-iter! ...interface-bugs/src/mainloop.rkt:326:0 choose-best-alt! [10] 100.0% ------------------------------------------------------------ ??? [7] 100.0% [9] 1402(83.2%) 0(0.0%) for-loop ...erface-bugs/src/core/simplify.rkt:35:2 one-iter [11] 100.0% ------------------------------------------------------------ run-iter! [8] 100.0% [10] 284(16.8%) 0(0.0%) choose-best-alt! ...ce-bugs/src/mainloop.rkt:116:0 ??? [12] 100.0% ------------------------------------------------------------ for-loop [9] 100.0% [11] 1402(83.2%) 0(0.0%) one-iter ...erface-bugs/src/core/simplify.rkt:72:0 for-loop [13] 79.0% find-matches [14] 21.0% ------------------------------------------------------------ choose-best-alt! [10] 100.0% [12] 284(16.8%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:390:18 ??? [15] 100.0% ------------------------------------------------------------ one-iter [11] 100.0% [13] 1108(65.7%) 0(0.0%) for-loop ...erface-bugs/src/core/simplify.rkt:74:2 for-loop [16] 100.0% ------------------------------------------------------------ one-iter [11] 100.0% [14] 294(17.4%) 0(0.0%) find-matches ...ce-bugs/src/core/simplify.rkt:62:0 for-loop [17] 100.0% ------------------------------------------------------------ ??? [12] 100.0% [15] 284(16.8%) 0(0.0%) ??? ...-interface-bugs/src/core/alt-table.rkt:58:0 argmin [18] 100.0% ------------------------------------------------------------ for-loop [13] 100.0% [16] 1108(65.7%) 0(0.0%) for-loop ...erface-bugs/src/core/simplify.rkt:77:4 mk-enode-rec! [19] 52.5% dedup-children! [22] 24.5% pattern-substitute [23] 22.9% ------------------------------------------------------------ for-loop [17] 50.0% find-matches [14] 50.0% [17] 294(17.4%) 0(0.0%) for-loop ...erface-bugs/src/core/simplify.rkt:64:8 for-loop [17] 50.0% match-e [20] 50.0% ------------------------------------------------------------ ??? [15] 100.0% [18] 284(16.8%) 0(0.0%) argmin ...acket-7.2/collects/racket/list.rkt:765:0 errors-score [21] 100.0% ------------------------------------------------------------ loop [28] 21.8% for-loop [16] 78.2% [19] 582(34.5%) 582(34.5%) mk-enode-rec! ...ce-bugs/src/core/egraph.rkt:117:0 loop [28] 21.8% ------------------------------------------------------------ for-loop [17] 100.0% [20] 294(17.4%) 0(0.0%) match-e ...interface-bugs/src/core/ematch.rkt:39:0 for-loop [24] 100.0% ------------------------------------------------------------ argmin [18] 100.0% [21] 284(16.8%) 0(0.0%) errors-score ...nterface-bugs/src/points.rkt:207:0 do-curry [25] 100.0% ------------------------------------------------------------ for-loop [16] 100.0% [22] 272(16.1%) 0(0.0%) dedup-children! ...e-bugs/src/core/enode.rkt:202:0 loop [26] 100.0% ------------------------------------------------------------ pattern-substitute [23] 50.0% for-loop [16] 50.0% [23] 254(15.1%) 0(0.0%) pattern-substitute ...gs/src/core/matcher.rkt:46:0 pattern-substitute [23] 50.0% ??? [27] 50.0% ------------------------------------------------------------ match-e [20] 100.0% [24] 294(17.4%) 294(17.4%) for-loop ...terface-bugs/src/core/ematch.rkt:52:11 ------------------------------------------------------------ errors-score [21] 100.0% [25] 284(16.8%) 284(16.8%) do-curry ...-7.2/collects/racket/function.rkt:71:2 ------------------------------------------------------------ dedup-children! [22] 14.3% loop [26] 85.7% [26] 272(16.1%) 0(0.0%) loop ...racket-7.2/collects/racket/list.rkt:417:34 loop [26] 85.7% loop [29] 14.3% ------------------------------------------------------------ pattern-substitute [23]100.0% [27] 254(15.1%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:772:8 dict? [30] 100.0% ------------------------------------------------------------ mk-enode-rec! [19] 100.0% [28] 254(15.1%) 0(0.0%) loop ...-7.2/collects/racket/private/map.rkt:40:19 mk-enode-rec! [19] 100.0% ------------------------------------------------------------ loop [26] 100.0% [29] 272(16.1%) 272(16.1%) loop (unknown source) ------------------------------------------------------------ ??? [27] 100.0% [30] 254(15.1%) 254(15.1%) dict? ...ollects/racket/private/generic.rkt:146:11 ------------------------------------------------------------