Profiling results ----------------- Total cpu time observed: 996ms (out of 1220ms) Number of samples taken: 3 (once every 332ms) ================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================== run [9] 50.0% [1] 996(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [5] 50.0% run-improve43 [4] 50.0% ------------------------------------------------------------------ hash-ref! [24] 100.0% [2] 356(35.7%) 0(0.0%) ??? ...es/herbie/no-costs-2/src/programs.rkt:142:5 loop [6] 100.0% ------------------------------------------------------------------ loop [37] 100.0% [3] 308(30.9%) 0(0.0%) read-one/not-eof (unknown source) read-undotted [8] 66.7% read-struct [7] 33.3% ------------------------------------------------------------------ ??? [1] 100.0% [4] 996(100.0%) 0(0.0%) run-improve43 ...no-costs-2/src/mainloop.rkt:338:0 setup-prog!34 [10] 69.1% for-loop [12] 30.9% ------------------------------------------------------------------ ??? [1] 100.0% [5] 996(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [9] 100.0% ------------------------------------------------------------------ ??? [2] 100.0% [6] 356(35.7%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 hash-ref! [24] 100.0% ------------------------------------------------------------------ read-one/not-eof [3] 100.0% [7] 308(30.9%) 0(0.0%) read-struct (unknown source) read-unwrapped-sequence17 [13]100.0% ------------------------------------------------------------------ read-one/not-eof [3] 100.0% [8] 308(30.9%) 0(0.0%) read-undotted (unknown source) read-unwrapped-sequence17 [13] 50.0% read-symbol-or-number8 [11] 50.0% ------------------------------------------------------------------ profile-thunk16 [5] 100.0% [9] 996(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ------------------------------------------------------------------ run-improve43 [4] 100.0% [10] 688(69.1%) 0(0.0%) setup-prog!34 .../no-costs-2/src/mainloop.rkt:67:0 prepare-points [14] 51.7% ??? [17] 48.3% ------------------------------------------------------------------ read-undotted [8] 100.0% [11] 308(30.9%) 308(30.9%) read-symbol-or-number8 (unknown source) ------------------------------------------------------------------ run-improve43 [4] 100.0% [12] 308(30.9%) 0(0.0%) for-loop ...rbie/no-costs-2/src/mainloop.rkt:353:4 run-iter! [15] 100.0% ------------------------------------------------------------------ read-undotted [8] 33.3% read-struct [7] 33.3% loop [37] 33.3% [13] 308(30.9%) 0(0.0%) read-unwrapped-sequence17 (unknown source) loop [37] 100.0% ------------------------------------------------------------------ setup-prog!34 [10] 100.0% [14] 356(35.7%) 0(0.0%) prepare-points .../no-costs-2/src/points.rkt:166:0 eval-prog [22] 100.0% ------------------------------------------------------------------ for-loop [12] 100.0% [15] 308(30.9%) 0(0.0%) run-iter! ...bie/no-costs-2/src/mainloop.rkt:319:0 choose-best-alt! [16] 100.0% ------------------------------------------------------------------ run-iter! [15] 100.0% [16] 308(30.9%) 0(0.0%) choose-best-alt! ...costs-2/src/mainloop.rkt:110:0 ??? [17] 100.0% ------------------------------------------------------------------ choose-best-alt! [16] 48.1% setup-prog!34 [10] 51.9% [17] 640(64.3%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 make-alt-table [18] 51.9% ??? [19] 48.1% ------------------------------------------------------------------ ??? [17] 100.0% [18] 332(33.3%) 0(0.0%) make-alt-table ...ts-2/src/core/alt-table.rkt:33:0 errors [20] 100.0% ------------------------------------------------------------------ ??? [17] 100.0% [19] 308(30.9%) 0(0.0%) ??? ...rbie/no-costs-2/src/core/alt-table.rkt:59:0 raise-blame-error16 [21] 100.0% ------------------------------------------------------------------ make-alt-table [18] 100.0% [20] 332(33.3%) 0(0.0%) errors ...s/herbie/no-costs-2/src/points.rkt:223:0 eval-prog [22] 100.0% ------------------------------------------------------------------ ??? [19] 100.0% [21] 308(30.9%) 0(0.0%) raise-blame-error16 ...act/private/blame.rkt:347:0 default-blame-format [23] 100.0% ------------------------------------------------------------------ errors [20] 48.3% prepare-points [14] 51.7% [22] 688(69.1%) 0(0.0%) eval-prog ...rbie/no-costs-2/src/programs.rkt:83:0 hash-ref! [24] 51.7% temp68_2 [25] 48.3% ------------------------------------------------------------------ raise-blame-error16 [21] 100.0% [23] 308(30.9%) 0(0.0%) default-blame-format ...ct/private/blame.rkt:452:0 ??? [26] 100.0% ------------------------------------------------------------------ loop [6] 50.0% eval-prog [22] 50.0% [24] 356(35.7%) 356(35.7%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [2] 50.0% ------------------------------------------------------------------ eval-prog [22] 100.0% [25] 332(33.3%) 0(0.0%) temp68_2 (unknown source) compile16 [27] 100.0% ------------------------------------------------------------------ default-blame-format [23] 100.0% [26] 308(30.9%) 0(0.0%) ??? ....0/collects/setup/path-to-relative.rkt:63:6 path->pkg+subpath34 [28] 100.0% ------------------------------------------------------------------ temp68_2 [25] 100.0% [27] 332(33.3%) 0(0.0%) compile16 (unknown source) temp74_0 [29] 100.0% ------------------------------------------------------------------ ??? [26] 100.0% [28] 308(30.9%) 0(0.0%) path->pkg+subpath34 ...collects/pkg/path.rkt:187:0 for-loop [30] 100.0% ------------------------------------------------------------------ compile16 [27] 100.0% [29] 332(33.3%) 0(0.0%) temp74_0 (unknown source) compile-top9 [31] 100.0% ------------------------------------------------------------------ path->pkg+subpath34 [28] 100.0% [30] 308(30.9%) 0(0.0%) for-loop .../racket-7.0/collects/pkg/path.rkt:92:2 read-pkg-db/cached [32] 100.0% ------------------------------------------------------------------ temp74_0 [29] 100.0% [31] 332(33.3%) 332(33.3%) compile-top9 (unknown source) ------------------------------------------------------------------ for-loop [30] 100.0% [32] 308(30.9%) 0(0.0%) read-pkg-db/cached .../collects/pkg/path.rkt:101:4 read-pkgs-db11 [33] 100.0% ------------------------------------------------------------------ read-pkg-db/cached [32] 100.0% [33] 308(30.9%) 0(0.0%) read-pkgs-db11 ...t-7.0/collects/pkg/path.rkt:61:0 ??? [34] 100.0% ------------------------------------------------------------------ read-pkgs-db11 [33] 100.0% [34] 308(30.9%) 0(0.0%) ??? /opt/racket-7.0/collects/pkg/path.rkt:55:12 read [35] 100.0% ------------------------------------------------------------------ ??? [34] 100.0% [35] 308(30.9%) 0(0.0%) read (unknown source) read-hash [36] 100.0% ------------------------------------------------------------------ read [35] 100.0% [36] 308(30.9%) 0(0.0%) read-hash (unknown source) loop [37] 100.0% ------------------------------------------------------------------ read-hash [36] 0.5% read-unwrapped-sequence17 [13] 1.5% loop [37] 97.9% [37] 308(30.9%) 0(0.0%) loop (unknown source) loop [37] 97.9% read-one/not-eof [3] 1.5% read-unwrapped-sequence17 [13] 0.5% ------------------------------------------------------------------