Profiling results ----------------- Total cpu time observed: 28944ms (out of 29740ms) Number of samples taken: 76 (once every 381ms) ======================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================== run [6] 49.5% [1] 28944(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [4] 49.5% loop [10] 25.1% prepare-points [11] 19.0% run-improve48 [5] 6.4% ------------------------------------------------------------------------ loop [34] 16.4% loop [17] 83.6% [2] 2118(7.3%) 756(2.6%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [25] 64.3% ------------------------------------------------------------------------ hash-ref! [20] 100.0% [3] 702(2.4%) 0(0.0%) ??? ...erbie/clean-out-code/src/programs.rkt:153:5 loop [17] 100.0% ------------------------------------------------------------------------ ??? [1] 100.0% [4] 28634(98.9%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [6] 100.0% ------------------------------------------------------------------------ ??? [1] 100.0% [5] 3420(11.8%) 0(0.0%) run-improve48 ...n-out-code/src/mainloop.rkt:286:0 for-loop [7] 47.5% setup-prog!41 [8] 42.3% for-loop [9] 10.2% ------------------------------------------------------------------------ profile-thunk16 [4] 100.0% [6] 28634(98.9%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ------------------------------------------------------------------------ run-improve48 [5] 100.0% [7] 1624(5.6%) 0(0.0%) for-loop ...clean-out-code/src/mainloop.rkt:298:29 ??? [25] 100.0% ------------------------------------------------------------------------ run-improve48 [5] 100.0% [8] 1448(5.0%) 0(0.0%) setup-prog!41 ...an-out-code/src/mainloop.rkt:63:0 loop [10] 50.3% ??? [51] 25.1% prepare-points [11] 24.6% ------------------------------------------------------------------------ run-improve48 [5] 100.0% [9] 348(1.2%) 0(0.0%) for-loop .../clean-out-code/src/mainloop.rkt:303:8 run-iter! [12] 100.0% ------------------------------------------------------------------------ setup-prog!41 [8] 4.8% ??? [1] 95.2% [10] 15270(52.8%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:180:2 loop [13] 45.5% loop [15] 33.6% make-exacts* [16] 21.0% ------------------------------------------------------------------------ setup-prog!41 [8] 3.1% ??? [1] 96.9% [11] 11338(39.2%) 0(0.0%) prepare-points ...an-out-code/src/points.rkt:156:0 loop [15] 44.7% loop [13] 27.8% make-exacts* [16] 27.5% ------------------------------------------------------------------------ for-loop [9] 100.0% [12] 348(1.2%) 0(0.0%) run-iter! ...clean-out-code/src/mainloop.rkt:267:0 localize-error [14] 100.0% ------------------------------------------------------------------------ prepare-points [11] 31.2% loop [10] 68.8% [13] 10094(34.9%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:124:2 make-exacts* [16] 51.2% loop [15] 48.8% ------------------------------------------------------------------------ run-iter! [12] 100.0% [14] 348(1.2%) 0(0.0%) localize-error ...-code/src/core/localize.rkt:47:0 hash-ref! [20] 100.0% ------------------------------------------------------------------------ loop [13] 32.6% prepare-points [11] 33.5% loop [10] 33.9% [15] 15122(52.2%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:107:4 loop [17] 100.0% ------------------------------------------------------------------------ prepare-points [11] 27.2% loop [10] 27.9% loop [13] 45.0% [16] 11486(39.7%) 0(0.0%) make-exacts* ...lean-out-code/src/points.rkt:104:0 loop [17] 91.1% eval-prog [18] 8.9% ------------------------------------------------------------------------ loop [15] 0.8% make-exacts* [16] 2.1% ??? [3] 2.7% loop [17] 94.4% [17] 26284(90.8%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [17] 94.4% ??? [19] 2.8% hash-ref! [20] 2.7% ??? [21] 0.1% ??? [2] 0.0% ------------------------------------------------------------------------ make-exacts* [16] 100.0% [18] 1026(3.5%) 0(0.0%) eval-prog ...clean-out-code/src/programs.rkt:109:0 hash-ref! [20] 68.4% f203 [22] 31.6% ------------------------------------------------------------------------ loop [17] 100.0% [19] 23450(81.0%) 768(2.7%) ??? ...erbie/clean-out-code/src/programs.rkt:129:2 ??? [23] 51.8% ??? [24] 44.9% ------------------------------------------------------------------------ eval-prog [18] 22.3% localize-error [14] 33.1% loop [17] 44.6% [20] 1050(3.6%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 ??? [3] 44.6% parse-loop12 [27] 33.1% bigfloat-hash [26] 22.3% ------------------------------------------------------------------------ loop [17] 100.0% [21] 362(1.3%) 362(1.3%) ??? ...tract/private/arrow-higher-order.rkt:145:21 ------------------------------------------------------------------------ f203 [22] 50.0% eval-prog [18] 50.0% [22] 324(1.1%) 0(0.0%) f203 .../collects/racket/match/compiler.rkt:507:40 f203 [22] 50.0% ??? [25] 50.0% ------------------------------------------------------------------------ ??? [19] 100.0% [23] 12156(42.0%) 2764(9.5%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [29] 77.3% ------------------------------------------------------------------------ ??? [19] 100.0% [24] 10526(36.4%) 724(2.5%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [28] 93.1% ------------------------------------------------------------------------ get-sigs [50] 4.8% f203 [22] 9.8% ??? [2] 41.1% for-loop [7] 44.3% [25] 3310(11.4%) 0(0.0%) ??? ...llects/racket/private/norm-define.rkt:53:83 iterate-egraph!7 [30] 34.3% ??? [32] 21.0% ??? [55] 14.6% return/no-unsupplied [33] 10.8% loop [35] 10.0% ??? [36] 9.4% ------------------------------------------------------------------------ hash-ref! [20] 100.0% [26] 702(2.4%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0 sig+exp->bigfloat [31] 100.0% ------------------------------------------------------------------------ hash-ref! [20] 100.0% [27] 348(1.2%) 0(0.0%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [34] 100.0% ------------------------------------------------------------------------ ??? [24] 100.0% [28] 9802(33.9%) 7712(26.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [40] 21.3% ------------------------------------------------------------------------ ??? [23] 100.0% [29] 9392(32.4%) 3538(12.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [37] 62.3% ------------------------------------------------------------------------ ??? [25] 100.0% [30] 1292(4.5%) 0(0.0%) iterate-egraph!7 ...ode/src/core/simplify.rkt:55:0 one-iter [38] 100.0% ------------------------------------------------------------------------ bigfloat-hash [26] 100.0% [31] 702(2.4%) 702(2.4%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:385:0 ------------------------------------------------------------------------ ??? [25] 100.0% [32] 696(2.4%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:60:15 ??? [40] 100.0% ------------------------------------------------------------------------ ??? [25] 100.0% [33] 356(1.2%) 356(1.2%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 ------------------------------------------------------------------------ parse-loop12 [27] 1.6% loop [34] 98.4% [34] 348(1.2%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:36:19 loop [34] 98.4% ??? [2] 1.6% ------------------------------------------------------------------------ ??? [25] 100.0% [35] 332(1.1%) 0(0.0%) loop ...clean-out-code/src/core/simplify.rkt:187:2 pass [39] 100.0% ------------------------------------------------------------------------ ??? [25] 100.0% [36] 310(1.1%) 310(1.1%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ------------------------------------------------------------------------ ??? [29] 100.0% [37] 5854(20.2%) 4074(14.1%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [40] 30.4% ------------------------------------------------------------------------ iterate-egraph!7 [30] 100.0% [38] 1292(4.5%) 0(0.0%) one-iter ...an-out-code/src/core/simplify.rkt:66:0 for-loop [41] 100.0% ------------------------------------------------------------------------ loop [35] 100.0% [39] 332(1.1%) 0(0.0%) pass ...clean-out-code/src/core/simplify.rkt:177:2 for-loop [42] 100.0% ------------------------------------------------------------------------ ??? [32] 15.2% bfsub [37] 39.0% real->bigfloat [28] 45.8% [40] 4566(15.8%) 4566(15.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ------------------------------------------------------------------------ one-iter [38] 100.0% [41] 1292(4.5%) 0(0.0%) for-loop ...n-out-code/src/core/simplify.rkt:116:2 for-loop [43] 100.0% ------------------------------------------------------------------------ pass [39] 100.0% [42] 332(1.1%) 0(0.0%) for-loop ...-out-code/src/core/simplify.rkt:180:29 argmin [44] 100.0% ------------------------------------------------------------------------ for-loop [41] 100.0% [43] 1292(4.5%) 0(0.0%) for-loop ...n-out-code/src/core/simplify.rkt:98:10 substitute-e [45] 50.0% mk-enode! [47] 50.0% ------------------------------------------------------------------------ for-loop [42] 100.0% [44] 332(1.1%) 0(0.0%) argmin ...re/racket/collects/racket/list.rkt:743:0 for-loop [46] 100.0% ------------------------------------------------------------------------ for-loop [43] 100.0% [45] 646(2.2%) 0(0.0%) substitute-e ...-out-code/src/core/ematch.rkt:71:0 mk-enode! [47] 100.0% ------------------------------------------------------------------------ argmin [44] 100.0% [46] 332(1.1%) 0(0.0%) for-loop .../clean-out-code/src/programs.rkt:169:2 ...-code/src/common.rkt:48:2 [52]100.0% ------------------------------------------------------------------------ for-loop [43] 50.0% substitute-e [45] 50.0% [47] 1292(4.5%) 0(0.0%) mk-enode! ...an-out-code/src/core/egraph.rkt:102:0 new-enode [48] 100.0% ------------------------------------------------------------------------ mk-enode! [47] 100.0% [48] 1292(4.5%) 0(0.0%) new-enode ...lean-out-code/src/core/enode.rkt:97:0 type-of-enode-expr [49] 100.0% ------------------------------------------------------------------------ new-enode [48] 100.0% [49] 1292(4.5%) 0(0.0%) type-of-enode-expr ...code/src/core/enode.rkt:68:0 get-sigs [50] 100.0% ------------------------------------------------------------------------ type-of-enode-expr [49] 100.0% [50] 1292(4.5%) 0(0.0%) get-sigs .../clean-out-code/src/type-check.rkt:5:0 ??? [51] 50.0% ...-code/src/common.rkt:48:2 [52] 25.5% ??? [25] 24.5% ------------------------------------------------------------------------ setup-prog!41 [8] 36.0% get-sigs [50] 64.0% [51] 1010(3.5%) 364(1.3%) ??? ...contract/private/arrow-val-first.rkt:357:18 hash-has-key? [53] 64.0% ------------------------------------------------------------------------ get-sigs [50] 49.8% for-loop [46] 50.2% [52] 662(2.3%) 332(1.1%) ...-code/src/common.rkt:48:2 ...e/arr-i.rkt:906:19 ??? [54] 49.8% ------------------------------------------------------------------------ ??? [51] 100.0% [53] 646(2.2%) 336(1.2%) hash-has-key? ...et/private/more-scheme.rkt:368:13 ??? [55] 48.0% ------------------------------------------------------------------------ ...-code/src/common.rkt:48:2 [52]100.0% [54] 330(1.1%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:342:4 ??? [58] 100.0% ------------------------------------------------------------------------ hash-has-key? [53] 32.6% ??? [25] 67.4% [55] 950(3.3%) 310(1.1%) ??? ...ects/racket/contract/private/list.rkt:737:4 for-loop [56] 67.4% ------------------------------------------------------------------------ ??? [55] 100.0% [56] 640(2.2%) 0(0.0%) for-loop ...acket/contract/private/list.rkt:743:12 for-loop [57] 100.0% ------------------------------------------------------------------------ for-loop [56] 100.0% [57] 640(2.2%) 316(1.1%) for-loop ...racket/contract/private/hash.rkt:239:6 ??? [58] 50.6% ------------------------------------------------------------------------ for-loop [57] 49.5% ??? [54] 50.5% [58] 654(2.3%) 330(1.1%) ??? ...cts/racket/contract/private/list.rkt:187:10 ??? [59] 49.5% ------------------------------------------------------------------------ ??? [58] 100.0% [59] 324(1.1%) 324(1.1%) ??? ...ects/racket/contract/private/list.rkt:686:7 ------------------------------------------------------------------------