Profiling results ----------------- Total cpu time observed: 8048ms (out of 8396ms) Number of samples taken: 46 (once every 175ms) ============================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================= ??? [4] 100.0% [1] 7722(95.9%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ------------------------------------------------------------- loop [21] 100.0% [2] 152(1.9%) 0(0.0%) ??? ...ket/collects/racket/private/list.rkt:323:18 hash-ref! [16] 100.0% ------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 7722(95.9%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [4] 100.0% ------------------------------------------------------------- run [3] 48.9% [4] 7898(98.1%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 48.9% prepare-points [9] 44.1% run-improve48 [5] 7.0% ------------------------------------------------------------- ??? [4] 100.0% [5] 934(11.6%) 0(0.0%) run-improve48 ...-operators/src/mainloop.rkt:256:0 for-loop [6] 64.9% setup-prog!41 [7] 18.8% for-loop [8] 16.3% ------------------------------------------------------------- run-improve48 [5] 100.0% [6] 606(7.5%) 0(0.0%) for-loop ...tric-operators/src/mainloop.rkt:268:29 ??? [26] 100.0% ------------------------------------------------------------- run-improve48 [5] 100.0% [7] 176(2.2%) 0(0.0%) setup-prog!41 ...c-operators/src/mainloop.rkt:63:0 prepare-points [9] 100.0% ------------------------------------------------------------- run-improve48 [5] 100.0% [8] 152(1.9%) 0(0.0%) for-loop ...etric-operators/src/mainloop.rkt:271:8 run-iter! [10] 100.0% ------------------------------------------------------------- setup-prog!41 [7] 2.5% ??? [4] 97.5% [9] 7140(88.7%) 0(0.0%) prepare-points ...c-operators/src/points.rkt:214:0 loop [14] 45.5% loop [11] 28.1% make-exacts* [15] 24.3% for-loop [13] 2.1% ------------------------------------------------------------- for-loop [8] 100.0% [10] 152(1.9%) 0(0.0%) run-iter! ...tric-operators/src/mainloop.rkt:237:0 localize-error [12] 100.0% ------------------------------------------------------------- prepare-points [9] 100.0% [11] 2008(25.0%) 0(0.0%) loop ...-parametric-operators/src/points.rkt:158:2 loop [14] 56.8% make-exacts* [15] 43.2% ------------------------------------------------------------- run-iter! [10] 100.0% [12] 152(1.9%) 0(0.0%) localize-error ...ators/src/core/localize.rkt:47:0 hash-ref! [16] 100.0% ------------------------------------------------------------- prepare-points [9] 100.0% [13] 150(1.9%) 0(0.0%) for-loop ...metric-operators/src/points.rkt:255:26 ??? [17] 100.0% ------------------------------------------------------------- loop [11] 26.0% prepare-points [9] 74.0% [14] 4386(54.5%) 0(0.0%) loop ...-parametric-operators/src/points.rkt:141:4 loop [21] 100.0% ------------------------------------------------------------- loop [11] 33.3% prepare-points [9] 66.7% [15] 2604(32.4%) 0(0.0%) make-exacts* ...ric-operators/src/points.rkt:138:0 loop [21] 93.2% eval-prog [18] 6.8% ------------------------------------------------------------- ??? [2] 50.0% localize-error [12] 50.0% [16] 152(1.9%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 parse-loop12 [19] 100.0% ------------------------------------------------------------- for-loop [13] 100.0% [17] 150(1.9%) 0(0.0%) ??? ...o-parametric-operators/src/points.rkt:230:7 for-loop [20] 100.0% ------------------------------------------------------------- make-exacts* [15] 100.0% [18] 176(2.2%) 0(0.0%) eval-prog ...tric-operators/src/programs.rkt:150:0 ??? [23] 100.0% ------------------------------------------------------------- hash-ref! [16] 100.0% [19] 152(1.9%) 0(0.0%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [21] 100.0% ------------------------------------------------------------- ??? [17] 100.0% [20] 150(1.9%) 0(0.0%) for-loop ...ametric-operators/src/points.rkt:231:9 ??? [23] 100.0% ------------------------------------------------------------- parse-loop12 [19] 0.1% make-exacts* [15] 0.1% loop [14] 0.2% loop [21] 99.6% [21] 6966(86.6%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [21] 99.6% ??? [22] 0.2% ??? [23] 0.1% ??? [2] 0.0% ??? [29] 0.0% ------------------------------------------------------------- loop [21] 100.0% [22] 6476(80.5%) 270(3.4%) ??? ...parametric-operators/src/programs.rkt:156:4 ??? [24] 51.8% ??? [25] 44.0% ------------------------------------------------------------- for-loop [20] 22.6% eval-prog [18] 26.5% loop [21] 50.9% [23] 664(8.3%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [26] 73.5% ??? [27] 26.5% ------------------------------------------------------------- ??? [22] 100.0% [24] 3354(41.7%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [28] 100.0% ------------------------------------------------------------- ??? [22] 100.0% [25] 2852(35.4%) 516(6.4%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [29] 81.9% ------------------------------------------------------------- for-loop [6] 24.4% ??? [26] 30.4% ??? [23] 39.2% [26] 1244(15.5%) 488(6.1%) ??? ...llects/racket/private/norm-define.rkt:53:83 ??? [26] 30.4% iterate-egraph!13 [30] 30.4% ------------------------------------------------------------- ??? [23] 100.0% [27] 176(2.2%) 176(2.2%) ??? ...tract/private/arrow-higher-order.rkt:336:46 ------------------------------------------------------------- ??? [24] 100.0% [28] 3354(41.7%) 2006(24.9%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [33] 40.2% ------------------------------------------------------------- loop [21] 6.1% ??? [25] 93.9% [29] 2488(30.9%) 134(1.7%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [31] 94.6% ------------------------------------------------------------- ??? [26] 100.0% [30] 756(9.4%) 0(0.0%) iterate-egraph!13 ...s/src/core/simplify.rkt:105:0 one-iter [32] 100.0% ------------------------------------------------------------- ??? [29] 100.0% [31] 2354(29.2%) 2192(27.2%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [33] 6.9% ------------------------------------------------------------- iterate-egraph!13 [30] 100.0% [32] 756(9.4%) 0(0.0%) one-iter ...-operators/src/core/simplify.rkt:116:0 for-loop [34] 100.0% ------------------------------------------------------------- bfadd [31] 10.7% real->bigfloat [28] 89.3% [33] 1510(18.8%) 1510(18.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ------------------------------------------------------------- one-iter [32] 100.0% [34] 756(9.4%) 0(0.0%) for-loop ...-operators/src/core/simplify.rkt:164:2 for-loop [35] 100.0% ------------------------------------------------------------- for-loop [34] 100.0% [35] 756(9.4%) 0(0.0%) for-loop ...operators/src/core/simplify.rkt:146:10 merge-egraph-nodes! [36]100.0% ------------------------------------------------------------- merge-egraph-nodes! [36] 27.9% for-loop [35] 72.1% [36] 756(9.4%) 0(0.0%) merge-egraph-nodes! ...s/src/core/egraph.rkt:153:0 update-leader! [37] 72.1% merge-egraph-nodes! [36] 27.9% ------------------------------------------------------------- merge-egraph-nodes! [36]100.0% [37] 756(9.4%) 0(0.0%) update-leader! ...rators/src/core/egraph.rkt:218:0 for-loop [38] 100.0% ------------------------------------------------------------- update-leader! [37] 100.0% [38] 756(9.4%) 0(0.0%) for-loop ...ic-operators/src/core/egraph.rkt:223:6 for-loop [39] 100.0% ------------------------------------------------------------- for-loop [38] 100.0% [39] 756(9.4%) 0(0.0%) for-loop ...ic-operators/src/core/egraph.rkt:224:8 hash-update! [40] 100.0% ------------------------------------------------------------- for-loop [39] 100.0% [40] 756(9.4%) 0(0.0%) hash-update! ...ket/private/more-scheme.rkt:362:13 ??? [41] 100.0% ------------------------------------------------------------- hash-update! [40] 100.0% [41] 756(9.4%) 0(0.0%) ??? ...metric-operators/src/core/egraph.rkt:226:24 for-loop [42] 100.0% ------------------------------------------------------------- ??? [41] 100.0% [42] 756(9.4%) 608(7.6%) for-loop ...c-operators/src/core/egraph.rkt:227:26 update-en-expr [43] 19.6% ------------------------------------------------------------- for-loop [42] 100.0% [43] 148(1.8%) 148(1.8%) update-en-expr ...rators/src/core/egraph.rkt:212:0 -------------------------------------------------------------