Profiling results ----------------- Total cpu time observed: 19796ms (out of 19504ms) Number of samples taken: 43 (once every 460ms) ================================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================ ??? [5] 100.0% [1] 19796(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ---------------------------------------------------------------- loop [20] 100.0% [2] 674(3.4%) 0(0.0%) set-precompute! ...ler/src/core/simplify.rkt:140:0 for-loop [4] 100.0% ---------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 19796(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% ---------------------------------------------------------------- set-precompute! [2] 100.0% [4] 674(3.4%) 0(0.0%) for-loop ...al-sampler/src/core/simplify.rkt:142:2 reduce-to-new! [6] 51.0% update-leader! [36] 49.0% ---------------------------------------------------------------- run [3] 50.0% [5] 19796(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [10] 39.6% run-improve39 [7] 10.4% ---------------------------------------------------------------- for-loop [4] 100.0% [6] 344(1.7%) 0(0.0%) reduce-to-new! ...ampler/src/core/egraph.rkt:337:0 merge-egraph-nodes! [32] 100.0% ---------------------------------------------------------------- ??? [5] 100.0% [7] 4130(20.9%) 0(0.0%) run-improve39 ...al-sampler/src/mainloop.rkt:287:0 for-loop [8] 92.1% setup-prog!32 [9] 7.9% ---------------------------------------------------------------- run-improve39 [7] 100.0% [8] 3802(19.2%) 0(0.0%) for-loop ...terval-sampler/src/mainloop.rkt:299:29 ??? [11] 100.0% ---------------------------------------------------------------- run-improve39 [7] 100.0% [9] 328(1.7%) 0(0.0%) setup-prog!32 ...val-sampler/src/mainloop.rkt:63:0 loop [10] 100.0% ---------------------------------------------------------------- setup-prog!32 [9] 2.1% ??? [5] 97.9% [10] 15994(80.8%) 0(0.0%) loop ...e/biginterval-sampler/src/points.rkt:230:2 loop [15] 42.1% loop [12] 32.0% make-exacts-walkup [16] 22.0% for-loop [14] 3.9% ---------------------------------------------------------------- for-loop [8] 100.0% [11] 3802(19.2%) 0(0.0%) ??? ...interval-sampler/src/core/simplify.rkt:31:0 iterate-egraph!7 [13] 100.0% ---------------------------------------------------------------- loop [10] 100.0% [12] 5126(25.9%) 0(0.0%) loop ...e/biginterval-sampler/src/points.rkt:124:2 make-exacts-walkup [16] 59.5% loop [15] 40.5% ---------------------------------------------------------------- ??? [11] 100.0% [13] 3802(19.2%) 0(0.0%) iterate-egraph!7 ...ler/src/core/simplify.rkt:55:0 one-iter [17] 82.3% map-enodes [18] 17.7% ---------------------------------------------------------------- loop [10] 100.0% [14] 628(3.2%) 0(0.0%) for-loop ...interval-sampler/src/points.rkt:245:19 for-loop [19] 100.0% ---------------------------------------------------------------- loop [12] 23.6% loop [10] 76.4% [15] 8802(44.5%) 0(0.0%) loop ...e/biginterval-sampler/src/points.rkt:107:4 loop [20] 100.0% ---------------------------------------------------------------- loop [12] 46.5% loop [10] 53.5% [16] 6564(33.2%) 0(0.0%) make-exacts-walkup ...sampler/src/points.rkt:104:0 loop [20] 95.4% eval-prog [23] 4.6% ---------------------------------------------------------------- iterate-egraph!7 [13] 100.0% [17] 3128(15.8%) 0(0.0%) one-iter ...val-sampler/src/core/simplify.rkt:66:0 for-loop [21] 79.9% for-loop [22] 20.1% ---------------------------------------------------------------- iterate-egraph!7 [13] 100.0% [18] 674(3.4%) 0(0.0%) map-enodes ...al-sampler/src/core/egraph.rkt:140:0 loop [20] 100.0% ---------------------------------------------------------------- for-loop [14] 100.0% [19] 628(3.2%) 0(0.0%) for-loop ...ginterval-sampler/src/points.rkt:222:4 ??? [26] 100.0% ---------------------------------------------------------------- loop [15] 0.2% map-enodes [18] 0.2% make-exacts-walkup [16] 2.6% loop [20] 97.0% [20] 15740(79.5%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [20] 97.0% composed [24] 2.6% set-precompute! [2] 0.2% ??? [29] 0.1% ??? [26] 0.0% ---------------------------------------------------------------- one-iter [17] 100.0% [21] 2498(12.6%) 0(0.0%) for-loop ...al-sampler/src/core/simplify.rkt:113:2 for-loop [25] 62.3% update-leader! [36] 25.2% match-e [27] 12.5% ---------------------------------------------------------------- for-loop [22] 50.0% one-iter [17] 50.0% [22] 630(3.2%) 0(0.0%) for-loop ...al-sampler/src/core/simplify.rkt:76:12 for-loop [22] 50.0% match-e [27] 50.0% ---------------------------------------------------------------- make-exacts-walkup [16] 100.0% [23] 300(1.5%) 0(0.0%) eval-prog ...terval-sampler/src/programs.rkt:108:0 inductor [28] 100.0% ---------------------------------------------------------------- loop [20] 100.0% [24] 8658(43.7%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 ??? [29] 100.0% ---------------------------------------------------------------- for-loop [21] 100.0% [25] 1556(7.9%) 0(0.0%) for-loop ...val-sampler/src/core/simplify.rkt:98:4 substitute-e [33] 41.4% mk-enode! [45] 39.2% merge-egraph-nodes! [32] 19.4% ---------------------------------------------------------------- for-loop [19] 46.0% loop [20] 54.0% [26] 1364(6.9%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [31] 54.0% sample-multi-bounded [34] 46.0% ---------------------------------------------------------------- for-loop [21] 11.0% for-loop [40] 22.1% for-loop [22] 66.9% [27] 942(4.8%) 312(1.6%) match-e ...terval-sampler/src/core/ematch.rkt:46:0 for-loop [30] 89.0% ---------------------------------------------------------------- eval-prog [23] 100.0% [28] 300(1.5%) 0(0.0%) inductor ...nterval-sampler/src/programs.rkt:113:4 ??? [46] 100.0% ---------------------------------------------------------------- loop [20] 39.6% composed [24] 60.4% [29] 14330(72.4%) 1020(5.2%) ??? .../biginterval-sampler/src/programs.rkt:124:2 bf [43] 60.9% ??? [35] 32.0% ---------------------------------------------------------------- match-e [27] 100.0% [30] 942(4.8%) 630(3.2%) for-loop ...rval-sampler/src/core/ematch.rkt:59:11 for-loop [40] 33.1% ---------------------------------------------------------------- ??? [26] 100.0% [31] 736(3.7%) 736(3.7%) ->flonum ...interval-sampler/src/programs.rkt:36:0 ---------------------------------------------------------------- for-loop [41] 23.4% for-loop [25] 23.4% reduce-to-new! [6] 53.3% [32] 646(3.3%) 0(0.0%) merge-egraph-nodes! ...r/src/core/egraph.rkt:153:0 update-leader! [36] 76.6% for-loop [41] 23.4% ---------------------------------------------------------------- for-loop [37] 33.3% for-loop [25] 66.7% [33] 644(3.3%) 0(0.0%) substitute-e ...l-sampler/src/core/ematch.rkt:71:0 for-loop [37] 83.3% variable? [39] 16.7% ---------------------------------------------------------------- ??? [26] 100.0% [34] 628(3.2%) 0(0.0%) sample-multi-bounded ...ampler/src/points.rkt:43:0 loop [38] 52.2% for-loop [42] 47.8% ---------------------------------------------------------------- ??? [29] 100.0% [35] 4582(23.1%) 1020(5.2%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [54] 38.6% bf* [50] 24.2% bffma [47] 7.8% bf [43] 7.1% ---------------------------------------------------------------- for-loop [4] 20.5% for-loop [21] 39.2% merge-egraph-nodes! [32] 40.2% [36] 1606(8.1%) 0(0.0%) update-leader! ...ampler/src/core/egraph.rkt:218:0 for-loop [44] 100.0% ---------------------------------------------------------------- substitute-e [33] 100.0% [37] 644(3.3%) 0(0.0%) for-loop ...rval-sampler/src/core/ematch.rkt:80:24 substitute-e [33] 50.0% mk-enode! [45] 50.0% ---------------------------------------------------------------- sample-multi-bounded [34]100.0% [38] 328(1.7%) 0(0.0%) loop ...ie/biginterval-sampler/src/points.rkt:65:6 random-exp [48] 100.0% ---------------------------------------------------------------- substitute-e [33] 100.0% [39] 322(1.6%) 0(0.0%) variable? ...l-sampler/src/syntax/syntax.rkt:714:0 ??? [46] 100.0% ---------------------------------------------------------------- for-loop [30] 100.0% [40] 312(1.6%) 0(0.0%) for-loop ...rval-sampler/src/core/ematch.rkt:65:37 match-e [27] 100.0% ---------------------------------------------------------------- merge-egraph-nodes! [32] 100.0% [41] 302(1.5%) 0(0.0%) for-loop ...val-sampler/src/core/egraph.rkt:201:10 merge-egraph-nodes! [32] 100.0% ---------------------------------------------------------------- sample-multi-bounded [34]100.0% [42] 300(1.5%) 300(1.5%) for-loop ...iginterval-sampler/src/points.rkt:46:4 ---------------------------------------------------------------- ??? [35] 3.6% ??? [29] 96.4% [43] 9054(45.7%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [61] 92.6% ??? [63] 7.4% ---------------------------------------------------------------- update-leader! [36] 100.0% [44] 1606(8.1%) 0(0.0%) for-loop ...rval-sampler/src/core/egraph.rkt:223:6 for-loop [49] 100.0% ---------------------------------------------------------------- for-loop [37] 34.5% for-loop [25] 65.5% [45] 932(4.7%) 0(0.0%) mk-enode! ...val-sampler/src/core/egraph.rkt:102:0 new-enode [51] 65.5% for-loop [52] 34.5% ---------------------------------------------------------------- inductor [28] 48.2% variable? [39] 51.8% [46] 622(3.1%) 322(1.6%) ??? ...contract/private/arrow-val-first.rkt:388:18 hash-has-key? [53] 48.2% ---------------------------------------------------------------- ??? [35] 100.0% [47] 358(1.8%) 0(0.0%) bffma ...erval-sampler/src/syntax/syntax.rkt:357:0 bf* [50] 100.0% ---------------------------------------------------------------- loop [38] 100.0% [48] 328(1.7%) 328(1.7%) random-exp ...nterval-sampler/src/common.rkt:243:0 ---------------------------------------------------------------- for-loop [44] 100.0% [49] 1606(8.1%) 0(0.0%) for-loop ...rval-sampler/src/core/egraph.rkt:224:8 hash-update! [55] 100.0% ---------------------------------------------------------------- bffma [47] 24.4% ??? [35] 75.6% [50] 1466(7.4%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [54] 100.0% ---------------------------------------------------------------- mk-enode! [45] 100.0% [51] 610(3.1%) 0(0.0%) new-enode ...erval-sampler/src/core/enode.rkt:95:0 type-of-enode-expr [56] 100.0% ---------------------------------------------------------------- mk-enode! [45] 100.0% [52] 322(1.6%) 322(1.6%) for-loop ...val-sampler/src/core/egraph.rkt:114:10 ---------------------------------------------------------------- ??? [46] 100.0% [53] 300(1.5%) 0(0.0%) hash-has-key? ...ket/private/more-scheme.rkt:371:2 ??? [57] 100.0% ---------------------------------------------------------------- bf* [50] 45.3% ??? [35] 54.7% [54] 3236(16.3%) 1086(5.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [58] 66.4% ---------------------------------------------------------------- for-loop [49] 100.0% [55] 1606(8.1%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [59] 100.0% ---------------------------------------------------------------- new-enode [51] 100.0% [56] 610(3.1%) 0(0.0%) type-of-enode-expr ...pler/src/core/enode.rkt:68:0 for-loop [60] 100.0% ---------------------------------------------------------------- hash-has-key? [53] 100.0% [57] 300(1.5%) 300(1.5%) ??? ...ects/racket/contract/private/list.rkt:798:4 ---------------------------------------------------------------- ??? [54] 100.0% [58] 2150(10.9%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [61] 67.2% ??? [63] 32.8% ---------------------------------------------------------------- hash-update! [55] 100.0% [59] 1606(8.1%) 0(0.0%) ??? ...interval-sampler/src/core/egraph.rkt:226:24 for-loop [62] 100.0% ---------------------------------------------------------------- type-of-enode-expr [56] 100.0% [60] 610(3.1%) 0(0.0%) for-loop ...racket/contract/private/hash.rkt:277:6 ??? [64] 100.0% ---------------------------------------------------------------- bfmul [58] 14.7% bf [43] 85.3% [61] 9824(49.6%) 9824(49.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ---------------------------------------------------------------- ??? [59] 100.0% [62] 1606(8.1%) 1276(6.4%) for-loop ...val-sampler/src/core/egraph.rkt:227:26 update-en-expr [66] 20.5% ---------------------------------------------------------------- bf [43] 48.8% bfmul [58] 51.2% [63] 1380(7.0%) 1380(7.0%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ---------------------------------------------------------------- for-loop [60] 100.0% [64] 610(3.1%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [65] 100.0% ---------------------------------------------------------------- ??? [64] 100.0% [65] 610(3.1%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:747:7 ??? [67] 100.0% ---------------------------------------------------------------- for-loop [62] 100.0% [66] 330(1.7%) 0(0.0%) update-en-expr ...ampler/src/core/egraph.rkt:212:0 for-loop [68] 100.0% ---------------------------------------------------------------- ??? [65] 100.0% [67] 610(3.1%) 610(3.1%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ---------------------------------------------------------------- update-en-expr [66] 100.0% [68] 330(1.7%) 330(1.7%) for-loop ...rval-sampler/src/core/egraph.rkt:214:6 ----------------------------------------------------------------