Profiling results ----------------- Total cpu time observed: 6016ms (out of 6344ms) Number of samples taken: 34 (once every 177ms) ============================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================= run [7] 49.2% [1] 5866(97.5%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [4] 49.2% run-improve50 [5] 28.7% prepare-points [9] 15.2% loop [11] 6.9% ------------------------------------------------------------- ->flonum [42] 100.0% [2] 2092(34.8%) 0(0.0%) iterate-egraph!13 ...y/src/core/simplify.rkt:105:0 one-iter [6] 100.0% ------------------------------------------------------------- hash-ref! [33] 100.0% [3] 270(4.5%) 0(0.0%) ??? ...move-backup-simplify/src/programs.rkt:194:5 loop [25] 100.0% ------------------------------------------------------------- ??? [1] 100.0% [4] 5770(95.9%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [7] 100.0% ------------------------------------------------------------- ??? [1] 100.0% [5] 3270(54.4%) 0(0.0%) run-improve50 ...p-simplify/src/mainloop.rkt:234:0 setup-alt-simplified [8] 73.8% loop [11] 13.5% prepare-points [9] 7.9% ??? [12] 4.9% ------------------------------------------------------------- iterate-egraph!13 [2] 100.0% [6] 2092(34.8%) 0(0.0%) one-iter ...p-simplify/src/core/simplify.rkt:116:0 for-loop [10] 93.0% for-loop [13] 7.0% ------------------------------------------------------------- profile-thunk16 [4] 100.0% [7] 5770(95.9%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ------------------------------------------------------------- run-improve50 [5] 100.0% [8] 2412(40.1%) 0(0.0%) setup-alt-simplified ...simplify/src/glue.rkt:49:0 simplify-alt [14] 100.0% ------------------------------------------------------------- run-improve50 [5] 12.6% ??? [1] 87.4% [9] 2046(34.0%) 0(0.0%) prepare-points ...up-simplify/src/points.rkt:214:0 loop [15] 39.6% make-exacts* [19] 33.1% loop [20] 27.3% ------------------------------------------------------------- one-iter [6] 100.0% [10] 1946(32.3%) 0(0.0%) for-loop ...p-simplify/src/core/simplify.rkt:166:2 for-loop [16] 53.5% update-leader! [26] 46.5% ------------------------------------------------------------- run-improve50 [5] 35.3% ??? [1] 64.7% [11] 1248(20.7%) 0(0.0%) loop ...emove-backup-simplify/src/points.rkt:238:2 loop [20] 52.2% loop [15] 47.8% ------------------------------------------------------------- run-improve50 [5] 100.0% [12] 160(2.7%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 atab-add-altns [17] 100.0% ------------------------------------------------------------- for-loop [13] 50.0% one-iter [6] 50.0% [13] 146(2.4%) 0(0.0%) for-loop ...-simplify/src/core/simplify.rkt:126:12 for-loop [13] 50.0% match-e [18] 50.0% ------------------------------------------------------------- setup-alt-simplified [8]100.0% [14] 2412(40.1%) 470(7.8%) simplify-alt ...-backup-simplify/src/glue.rkt:76:0 ->flonum [42] 80.5% ------------------------------------------------------------- loop [11] 42.4% prepare-points [9] 57.6% [15] 1406(23.4%) 0(0.0%) loop ...emove-backup-simplify/src/points.rkt:158:2 make-exacts* [19] 71.0% loop [20] 29.0% ------------------------------------------------------------- for-loop [10] 100.0% [16] 1042(17.3%) 0(0.0%) for-loop ...-simplify/src/core/simplify.rkt:148:10 merge-egraph-nodes! [21] 71.2% mk-enode! [22] 28.8% ------------------------------------------------------------- ??? [12] 100.0% [17] 160(2.7%) 0(0.0%) atab-add-altns ...lify/src/core/alt-table.rkt:50:0 atab-add-altn [23] 100.0% ------------------------------------------------------------- for-loop [13] 100.0% [18] 146(2.4%) 0(0.0%) match-e ...ackup-simplify/src/core/ematch.rkt:46:0 for-loop [24] 100.0% ------------------------------------------------------------- prepare-points [9] 40.5% loop [15] 59.5% [19] 1676(27.9%) 0(0.0%) make-exacts* ...ckup-simplify/src/points.rkt:138:0 loop [25] 68.5% eval-prog [27] 31.5% ------------------------------------------------------------- loop [15] 25.2% prepare-points [9] 34.5% loop [11] 40.3% [20] 1618(26.9%) 0(0.0%) loop ...emove-backup-simplify/src/points.rkt:141:4 loop [25] 72.8% ??? [32] 27.2% ------------------------------------------------------------- merge-egraph-nodes! [21] 10.2% for-loop [16] 89.8% [21] 742(12.3%) 0(0.0%) merge-egraph-nodes! ...y/src/core/egraph.rkt:153:0 update-leader! [26] 89.8% merge-egraph-nodes! [21] 10.2% ------------------------------------------------------------- for-loop [16] 100.0% [22] 300(5.0%) 0(0.0%) mk-enode! ...up-simplify/src/core/egraph.rkt:102:0 new-enode [28] 100.0% ------------------------------------------------------------- atab-add-altns [17] 100.0% [23] 160(2.7%) 0(0.0%) atab-add-altn ...lify/src/core/alt-table.rkt:208:0 loop [29] 100.0% ------------------------------------------------------------- match-e [18] 100.0% [24] 146(2.4%) 146(2.4%) for-loop ...kup-simplify/src/core/ematch.rkt:59:11 ------------------------------------------------------------- loop [20] 0.2% make-exacts* [19] 0.3% ??? [3] 10.4% loop [25] 89.1% [25] 2596(43.2%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [25] 89.1% hash-ref! [33] 10.4% ??? [30] 0.5% ------------------------------------------------------------- merge-egraph-nodes! [21] 45.1% for-loop [10] 54.9% [26] 1646(27.4%) 146(2.4%) update-leader! ...mplify/src/core/egraph.rkt:218:0 for-loop [31] 91.1% ------------------------------------------------------------- make-exacts* [19] 100.0% [27] 528(8.8%) 0(0.0%) eval-prog ...ackup-simplify/src/programs.rkt:150:0 hash-ref! [33] 81.8% ??? [32] 18.2% ------------------------------------------------------------- mk-enode! [22] 100.0% [28] 300(5.0%) 0(0.0%) new-enode ...ckup-simplify/src/core/enode.rkt:97:0 type-of-enode-expr [34] 100.0% ------------------------------------------------------------- atab-add-altn [23] 100.0% [29] 160(2.7%) 0(0.0%) loop ...ckup-simplify/src/core/alt-table.rkt:182:2 hash-remove* [35] 100.0% ------------------------------------------------------------- loop [25] 100.0% [30] 2326(38.7%) 0(0.0%) ??? ...move-backup-simplify/src/programs.rkt:156:4 ??? [36] 71.4% ??? [38] 28.6% ------------------------------------------------------------- update-leader! [26] 100.0% [31] 1500(24.9%) 154(2.6%) for-loop ...kup-simplify/src/core/egraph.rkt:223:6 for-loop [37] 89.7% ------------------------------------------------------------- eval-prog [27] 17.9% loop [20] 82.1% [32] 536(8.9%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ->flonum [42] 82.1% ??? [41] 17.9% ------------------------------------------------------------- loop [25] 42.0% eval-prog [27] 58.0% [33] 432(7.2%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 bigfloat-hash [39] 58.0% ??? [3] 42.0% ------------------------------------------------------------- new-enode [28] 100.0% [34] 300(5.0%) 0(0.0%) type-of-enode-expr ...lify/src/core/enode.rkt:68:0 get-sigs [40] 100.0% ------------------------------------------------------------- loop [29] 100.0% [35] 160(2.7%) 160(2.7%) hash-remove* ...plify/src/core/alt-table.rkt:114:0 ------------------------------------------------------------- ??? [30] 100.0% [36] 1660(27.6%) 192(3.2%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [48] 54.1% bf* [45] 34.3% ------------------------------------------------------------- for-loop [31] 100.0% [37] 1346(22.4%) 0(0.0%) for-loop ...kup-simplify/src/core/egraph.rkt:224:8 hash-update! [43] 100.0% ------------------------------------------------------------- ??? [30] 100.0% [38] 666(11.1%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [44] 100.0% ------------------------------------------------------------- hash-ref! [33] 100.0% [39] 432(7.2%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0 bfcanonicalize [46] 100.0% ------------------------------------------------------------- type-of-enode-expr [34] 100.0% [40] 300(5.0%) 0(0.0%) get-sigs ...backup-simplify/src/type-check.rkt:5:0 ->flonum [42] 50.0% ??? [47] 50.0% ------------------------------------------------------------- ??? [32] 100.0% [41] 96(1.6%) 96(1.6%) ??? ...tract/private/arrow-higher-order.rkt:336:46 ------------------------------------------------------------- get-sigs [40] 2.0% ??? [32] 17.4% simplify-alt [14] 38.3% ->flonum [42] 40.3% [42] 2532(42.1%) 440(7.3%) ->flonum ...s/racket/private/norm-define.rkt:53:83 ->flonum [42] 40.3% iterate-egraph!13 [2] 40.3% ??? [50] 2.0% ------------------------------------------------------------- for-loop [37] 100.0% [43] 1346(22.4%) 0(0.0%) hash-update! ...ket/private/more-scheme.rkt:362:13 ??? [49] 100.0% ------------------------------------------------------------- ??? [38] 100.0% [44] 666(11.1%) 496(8.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [55] 25.5% ------------------------------------------------------------- ??? [36] 100.0% [45] 570(9.5%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [48] 100.0% ------------------------------------------------------------- bigfloat-hash [39] 100.0% [46] 432(7.2%) 432(7.2%) bfcanonicalize .../private/bigfloat/mpfr.rkt:155:0 ------------------------------------------------------------- get-sigs [40] 100.0% [47] 150(2.5%) 0(0.0%) ??? ...ts/racket/contract/private/arr-i.rkt:804:10 ??? [51] 100.0% ------------------------------------------------------------- bf* [45] 38.8% ??? [36] 61.2% [48] 1468(24.4%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [52] 100.0% ------------------------------------------------------------- hash-update! [43] 100.0% [49] 1346(22.4%) 0(0.0%) ??? ...-backup-simplify/src/core/egraph.rkt:226:24 for-loop [53] 100.0% ------------------------------------------------------------- ->flonum [42] 100.0% [50] 150(2.5%) 150(2.5%) ??? ...ects/racket/contract/private/list.rkt:737:4 ------------------------------------------------------------- ??? [47] 100.0% [51] 150(2.5%) 0(0.0%) ??? ...ects/racket/contract/private/hash.rkt:217:4 ??? [54] 100.0% ------------------------------------------------------------- ??? [48] 100.0% [52] 1468(24.4%) 970(16.1%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [55] 33.9% ------------------------------------------------------------- ??? [49] 100.0% [53] 1346(22.4%) 1346(22.4%) for-loop ...up-simplify/src/core/egraph.rkt:227:26 ------------------------------------------------------------- ??? [51] 100.0% [54] 150(2.5%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:169:2 ??? [56] 100.0% ------------------------------------------------------------- real->bigfloat [44] 25.4% bfsub [52] 74.6% [55] 668(11.1%) 668(11.1%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ------------------------------------------------------------- ??? [54] 100.0% [56] 150(2.5%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:678:5 for-loop [57] 100.0% ------------------------------------------------------------- ??? [56] 100.0% [57] 150(2.5%) 150(2.5%) for-loop ...racket/contract/private/list.rkt:680:9 -------------------------------------------------------------