Profiling results ----------------- Total cpu time observed: 27134ms (out of 28184ms) Number of samples taken: 72 (once every 377ms) ============================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================= run [7] 46.8% [1] 27134(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [4] 40.4% loop [14] 36.7% prepare-points [15] 17.2% run-improve48 [6] 5.7% ------------------------------------------------------------- loop [24] 100.0% [2] 21404(78.9%) 1308(4.8%) ??? ...erbie/clean-out-code/src/programs.rkt:156:4 ??? [5] 70.8% ??? [37] 23.1% ------------------------------------------------------------- hash-ref! [32] 100.0% [3] 332(1.2%) 0(0.0%) ??? ...erbie/clean-out-code/src/programs.rkt:194:5 loop [24] 100.0% ------------------------------------------------------------- ??? [1] 100.0% [4] 21918(80.8%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [7] 100.0% ------------------------------------------------------------- ??? [2] 100.0% [5] 15156(55.9%) 2912(10.7%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [8] 74.3% ??? [11] 4.3% parse-loop12 [10] 2.2% ------------------------------------------------------------- ??? [1] 100.0% [6] 1714(6.3%) 0(0.0%) run-improve48 ...n-out-code/src/mainloop.rkt:256:0 setup-prog!41 [9] 60.2% for-loop [12] 20.1% for-loop [13] 19.7% ------------------------------------------------------------- profile-thunk16 [4] 92.7% [7] 23650(87.2%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ------------------------------------------------------------- ??? [5] 100.0% [8] 11264(41.5%) 3420(12.6%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [16] 69.6% ------------------------------------------------------------- run-improve48 [6] 100.0% [9] 1032(3.8%) 0(0.0%) setup-prog!41 ...an-out-code/src/mainloop.rkt:63:0 loop [14] 66.3% prepare-points [15] 33.7% ------------------------------------------------------------- ??? [5] 49.1% hash-ref! [32] 50.9% [10] 664(2.4%) 326(1.2%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [24] 50.9% ------------------------------------------------------------- ??? [5] 100.0% [11] 654(2.4%) 654(2.4%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ------------------------------------------------------------- run-improve48 [6] 100.0% [12] 344(1.3%) 0(0.0%) for-loop ...clean-out-code/src/mainloop.rkt:268:29 ??? [34] 100.0% ------------------------------------------------------------- run-improve48 [6] 100.0% [13] 338(1.2%) 0(0.0%) for-loop .../clean-out-code/src/mainloop.rkt:271:8 run-iter! [17] 100.0% ------------------------------------------------------------- setup-prog!41 [9] 3.9% ??? [1] 96.1% [14] 17360(64.0%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:238:2 loop [18] 47.3% loop [21] 25.0% make-exacts* [22] 23.4% for-loop [19] 4.3% ------------------------------------------------------------- setup-prog!41 [9] 3.8% ??? [1] 96.2% [15] 9092(33.5%) 0(0.0%) prepare-points ...an-out-code/src/points.rkt:214:0 loop [18] 33.3% loop [21] 33.1% make-exacts* [22] 30.3% for-loop [19] 3.2% ------------------------------------------------------------- ??? [8] 100.0% [16] 7844(28.9%) 6156(22.7%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [42] 21.5% ------------------------------------------------------------- for-loop [13] 100.0% [17] 338(1.2%) 0(0.0%) run-iter! ...clean-out-code/src/mainloop.rkt:237:0 localize-error [20] 100.0% ------------------------------------------------------------- prepare-points [15] 26.9% loop [14] 73.1% [18] 11246(41.4%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:158:2 loop [21] 54.6% make-exacts* [22] 45.4% ------------------------------------------------------------- prepare-points [15] 28.5% loop [14] 71.5% [19] 1032(3.8%) 0(0.0%) for-loop ...e/clean-out-code/src/points.rkt:255:26 ??? [23] 100.0% ------------------------------------------------------------- run-iter! [17] 100.0% [20] 338(1.2%) 0(0.0%) localize-error ...-code/src/core/localize.rkt:47:0 hash-ref! [32] 100.0% ------------------------------------------------------------- prepare-points [15] 22.3% loop [14] 32.2% loop [18] 45.5% [21] 13494(49.7%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:141:4 loop [24] 100.0% ------------------------------------------------------------- prepare-points [15] 23.1% loop [14] 34.1% loop [18] 42.8% [22] 11926(44.0%) 0(0.0%) make-exacts* ...lean-out-code/src/points.rkt:138:0 loop [24] 88.8% eval-prog [25] 11.2% ------------------------------------------------------------- for-loop [19] 100.0% [23] 1032(3.8%) 310(1.1%) ??? .../herbie/clean-out-code/src/points.rkt:230:7 for-loop [26] 70.0% ------------------------------------------------------------- ??? [3] 1.3% parse-loop12 [10] 1.4% loop [21] 2.0% make-exacts* [22] 2.0% loop [24] 93.2% [24] 24752(91.2%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [24] 93.2% ??? [2] 3.7% ??? [29] 1.4% hash-ref! [32] 1.3% ??? [31] 0.4% ??? [28] 0.0% ------------------------------------------------------------- make-exacts* [22] 100.0% [25] 1338(4.9%) 0(0.0%) eval-prog ...clean-out-code/src/programs.rkt:150:0 f137 [27] 51.1% hash-ref! [32] 24.8% ??? [30] 24.1% ------------------------------------------------------------- ??? [23] 100.0% [26] 722(2.7%) 428(1.6%) for-loop ...ie/clean-out-code/src/points.rkt:231:9 ??? [31] 40.7% ------------------------------------------------------------- f137 [27] 27.2% eval-prog [25] 72.8% [27] 684(2.5%) 0(0.0%) f137 .../collects/racket/match/compiler.rkt:507:40 ??? [31] 72.8% f137 [27] 27.2% ------------------------------------------------------------- loop [24] 100.0% [28] 476(1.8%) 476(1.8%) ??? ...tract/private/arrow-higher-order.rkt:145:21 ------------------------------------------------------------- loop [24] 100.0% [29] 338(1.2%) 0(0.0%) ??? ...ket/collects/racket/private/list.rkt:323:18 hash-ref! [32] 100.0% ------------------------------------------------------------- eval-prog [25] 100.0% [30] 322(1.2%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [33] 100.0% ------------------------------------------------------------- for-loop [26] 9.2% f137 [27] 21.5% loop [24] 69.2% [31] 3180(11.7%) 714(2.6%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [34] 65.8% ??? [37] 11.7% ------------------------------------------------------------- eval-prog [25] 16.5% localize-error [20] 16.8% loop [24] 33.0% ??? [29] 33.6% [32] 670(2.5%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 parse-loop12 [10] 33.6% ??? [3] 33.0% ??? [35] 16.8% bigfloat-hash [36] 16.5% ------------------------------------------------------------- ??? [30] 100.0% [33] 322(1.2%) 322(1.2%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 ------------------------------------------------------------- ??? [34] 7.1% for-loop [12] 7.1% ??? [31] 85.9% [34] 2438(9.0%) 1338(4.9%) ??? ...llects/racket/private/norm-define.rkt:53:83 ??? [38] 31.0% ??? [34] 7.1% iterate-egraph!13 [39] 7.1% ------------------------------------------------------------- hash-ref! [32] 100.0% [35] 338(1.2%) 0(0.0%) ??? .../clean-out-code/src/core/localize.rkt:22:13 ??? [37] 100.0% ------------------------------------------------------------- hash-ref! [32] 100.0% [36] 332(1.2%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0 bfcanonicalize [40] 100.0% ------------------------------------------------------------- ??? [35] 6.0% ??? [31] 6.6% ??? [2] 87.4% [37] 5650(20.8%) 434(1.6%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [41] 85.7% integer->bigfloat [43] 6.6% ------------------------------------------------------------- ??? [34] 100.0% [38] 756(2.8%) 388(1.4%) ??? ...-racket/utils/simple-result-arrow.rkt:60:15 ??? [42] 48.7% ------------------------------------------------------------- ??? [34] 100.0% [39] 344(1.3%) 0(0.0%) iterate-egraph!13 ...e/src/core/simplify.rkt:105:0 one-iter [44] 100.0% ------------------------------------------------------------- bigfloat-hash [36] 100.0% [40] 332(1.2%) 332(1.2%) bfcanonicalize .../private/bigfloat/mpfr.rkt:155:0 ------------------------------------------------------------- ??? [37] 100.0% [41] 4844(17.9%) 4844(17.9%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ------------------------------------------------------------- ??? [38] 17.9% bfsub [16] 82.1% [42] 2056(7.6%) 2056(7.6%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ------------------------------------------------------------- ??? [37] 100.0% [43] 372(1.4%) 372(1.4%) integer->bigfloat ...ivate/bigfloat/mpfr.rkt:399:0 ------------------------------------------------------------- iterate-egraph!13 [39]100.0% [44] 344(1.3%) 0(0.0%) one-iter ...n-out-code/src/core/simplify.rkt:116:0 for-loop [45] 100.0% ------------------------------------------------------------- for-loop [45] 50.0% one-iter [44] 50.0% [45] 344(1.3%) 344(1.3%) for-loop ...-out-code/src/core/simplify.rkt:126:12 for-loop [45] 50.0% -------------------------------------------------------------