Profiling results ----------------- Total cpu time observed: 34856ms (out of 35200ms) Number of samples taken: 112 (once every 311ms) =================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =================================================================== ??? [5] 100.0% [1] 34856(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ------------------------------------------------------------------- ??? [5] 100.0% [2] 300(0.9%) 0(0.0%) errors .../show-bad-nightlies/src/points.rkt:201:0 for-loop [4] 100.0% ------------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 34856(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% ------------------------------------------------------------------- errors [2] 100.0% [4] 300(0.9%) 0(0.0%) for-loop ...how-bad-nightlies/src/points.rkt:203:2 ??? [5] 100.0% ------------------------------------------------------------------- for-loop [4] 0.3% run [3] 49.9% [5] 34856(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.9% run-improve47 [6] 38.8% prepare-points-intervals [7] 10.4% oracle-error [8] 0.4% errors [2] 0.3% ??? [53] 0.3% ------------------------------------------------------------------- ??? [5] 100.0% [6] 27030(77.5%) 0(0.0%) run-improve47 ...-nightlies/src/mainloop.rkt:346:0 simplify! [9] 100.0% ------------------------------------------------------------------- ??? [5] 100.0% [7] 7234(20.8%) 0(0.0%) prepare-points-intervals ...s/src/points.rkt:110:0 loop [10] 100.0% ------------------------------------------------------------------- ??? [5] 100.0% [8] 292(0.8%) 0(0.0%) oracle-error ...bad-nightlies/src/points.rkt:188:0 for-loop [11] 100.0% ------------------------------------------------------------------- run-improve47 [6] 100.0% [9] 27030(77.5%) 0(0.0%) simplify! ...-bad-nightlies/src/mainloop.rkt:224:0 ??? [12] 100.0% ------------------------------------------------------------------- prepare-points-intervals [7]100.0% [10] 7234(20.8%) 300(0.9%) loop ...ie/show-bad-nightlies/src/points.rkt:123:4 loop [13] 58.5% ??? [14] 37.4% ------------------------------------------------------------------- oracle-error [8] 100.0% [11] 292(0.8%) 0(0.0%) for-loop ...how-bad-nightlies/src/points.rkt:189:2 loop [40] 100.0% ------------------------------------------------------------------- simplify! [9] 100.0% [12] 27030(77.5%) 0(0.0%) ??? ...ow-bad-nightlies/src/core/simplify.rkt:31:0 for-loop [15] 98.8% loop [16] 1.2% ------------------------------------------------------------------- loop [10] 100.0% [13] 4232(12.1%) 300(0.9%) loop ...bie/show-bad-nightlies/src/points.rkt:81:2 ??? [53] 78.4% ??? [46] 14.5% ------------------------------------------------------------------- loop [10] 100.0% [14] 2702(7.8%) 902(2.6%) ??? ...bie/show-bad-nightlies/src/points.rkt:106:2 ??? [59] 66.6% ------------------------------------------------------------------- ??? [12] 100.0% [15] 26706(76.6%) 0(0.0%) for-loop ...d-nightlies/src/core/simplify.rkt:51:2 ??? [17] 98.9% for-loop [19] 1.1% ------------------------------------------------------------------- ??? [12] 100.0% [16] 324(0.9%) 0(0.0%) loop ...bad-nightlies/src/core/extraction.rkt:25:2 for-loop [18] 100.0% ------------------------------------------------------------------- for-loop [15] 100.0% [17] 26412(75.8%) 0(0.0%) ??? ...ow-bad-nightlies/src/core/simplify.rkt:92:0 for-loop [20] 87.6% find-matches [21] 12.4% ------------------------------------------------------------------- loop [16] 100.0% [18] 324(0.9%) 0(0.0%) for-loop ...nightlies/src/core/extraction.rkt:29:4 for-loop [22] 100.0% ------------------------------------------------------------------- for-loop [15] 100.0% [19] 294(0.8%) 0(0.0%) for-loop ...d-nightlies/src/core/simplify.rkt:59:4 prune-phase [23] 100.0% ------------------------------------------------------------------- ??? [17] 100.0% [20] 23128(66.4%) 0(0.0%) for-loop ...d-nightlies/src/core/simplify.rkt:93:2 for-loop [24] 100.0% ------------------------------------------------------------------- ??? [17] 100.0% [21] 3284(9.4%) 0(0.0%) find-matches ...ghtlies/src/core/simplify.rkt:84:0 for-loop [25] 100.0% ------------------------------------------------------------------- for-loop [18] 100.0% [22] 324(0.9%) 324(0.9%) for-loop ...ightlies/src/core/extraction.rkt:37:16 ------------------------------------------------------------------- for-loop [19] 100.0% [23] 294(0.8%) 0(0.0%) prune-phase ...ghtlies/src/core/simplify.rkt:106:0 for-loop [26] 100.0% ------------------------------------------------------------------- for-loop [20] 100.0% [24] 23128(66.4%) 0(0.0%) for-loop ...d-nightlies/src/core/simplify.rkt:96:4 merge-egraph-nodes! [27] 64.4% dedup-children! [32] 19.6% pattern-substitute [29] 8.1% mk-enode-rec! [30] 7.9% ------------------------------------------------------------------- for-loop [25] 50.0% find-matches [21] 50.0% [25] 3284(9.4%) 0(0.0%) for-loop ...d-nightlies/src/core/simplify.rkt:86:8 for-loop [25] 50.0% match-e [28] 50.0% ------------------------------------------------------------------- prune-phase [23] 100.0% [26] 294(0.8%) 0(0.0%) for-loop ...-nightlies/src/core/simplify.rkt:107:2 update-leader! [33] 100.0% ------------------------------------------------------------------- merge-egraph-nodes! [27] 3.5% for-loop [35] 4.6% for-loop [24] 91.9% [27] 14890(42.7%) 0(0.0%) merge-egraph-nodes! ...s/src/core/egraph.rkt:145:0 loop! [31] 68.2% update-leader! [33] 16.2% dedup-children! [32] 7.6% for-loop [35] 4.6% merge-egraph-nodes! [27] 3.5% ------------------------------------------------------------------- for-loop [45] 27.2% for-loop [25] 72.8% [28] 3284(9.4%) 0(0.0%) match-e ...-bad-nightlies/src/core/ematch.rkt:39:0 for-loop [34] 100.0% ------------------------------------------------------------------- pattern-substitute [29] 37.0% for-loop [24] 63.0% [29] 1874(5.4%) 602(1.7%) pattern-substitute ...es/src/core/matcher.rkt:46:0 pattern-substitute [29] 37.0% constant? [36] 25.0% assoc-ref [39] 8.0% variable? [38] 6.0% ------------------------------------------------------------------- loop [40] 16.4% for-loop [24] 83.6% [30] 1830(5.3%) 906(2.6%) mk-enode-rec! ...ghtlies/src/core/egraph.rkt:117:0 for-loop [37] 34.1% loop [40] 24.6% ------------------------------------------------------------------- loop [40] 33.9% merge-egraph-nodes! [27] 66.1% [31] 10378(29.8%) 1862(5.3%) loop! ...ow-bad-nightlies/src/core/enode.rkt:194:2 custom-set-union [41] 41.1% loop [40] 36.8% set [44] 13.2% ------------------------------------------------------------------- merge-egraph-nodes! [27] 22.1% for-loop [24] 77.9% [32] 5824(16.7%) 0(0.0%) dedup-children! ...htlies/src/core/enode.rkt:202:0 loop [42] 88.7% loop [47] 11.3% ------------------------------------------------------------------- for-loop [26] 8.4% merge-egraph-nodes! [27] 91.6% [33] 3516(10.1%) 0(0.0%) update-leader! ...htlies/src/core/egraph.rkt:213:0 for-loop [43] 90.8% for-loop [51] 9.2% ------------------------------------------------------------------- match-e [28] 100.0% [34] 3284(9.4%) 1514(4.3%) for-loop ...ad-nightlies/src/core/ematch.rkt:52:11 for-loop [45] 27.2% do-curry [49] 18.3% make-curried [50] 13.4% loop [40] 9.1% step [52] 4.4% ------------------------------------------------------------------- merge-egraph-nodes! [27] 100.0% [35] 1626(4.7%) 0(0.0%) for-loop ...ad-nightlies/src/core/egraph.rkt:199:4 merge-egraph-nodes! [27] 100.0% ------------------------------------------------------------------- pattern-substitute [29] 100.0% [36] 636(1.8%) 0(0.0%) constant? ...nightlies/src/syntax/syntax.rkt:726:0 value? [48] 100.0% ------------------------------------------------------------------- mk-enode-rec! [30] 100.0% [37] 624(1.8%) 624(1.8%) for-loop ...d-nightlies/src/core/egraph.rkt:109:10 ------------------------------------------------------------------- pattern-substitute [29] 100.0% [38] 336(1.0%) 0(0.0%) variable? ...nightlies/src/syntax/syntax.rkt:729:0 ??? [46] 100.0% ------------------------------------------------------------------- pattern-substitute [29] 100.0% [39] 300(0.9%) 300(0.9%) assoc-ref ...collects/racket/private/dict.rkt:56:0 ------------------------------------------------------------------- for-loop [34] 0.1% for-loop [11] 3.5% loop! [31] 3.5% mk-enode-rec! [30] 7.1% loop [40] 85.8% [40] 8412(24.1%) 896(2.6%) loop ...-7.5/collects/racket/private/map.rkt:40:19 loop [40] 85.8% mk-enode-rec! [30] 5.3% ??? [53] 3.5% loop! [31] 3.4% ------------------------------------------------------------------- loop! [31] 100.0% [41] 5366(15.4%) 2196(6.3%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [54] 53.5% for-loop [58] 5.6% ------------------------------------------------------------------- dedup-children! [32] 9.4% loop [42] 90.6% [42] 5164(14.8%) 5164(14.8%) loop ...racket-7.5/collects/racket/list.rkt:434:17 loop [42] 90.6% ------------------------------------------------------------------- update-leader! [33] 100.0% [43] 3194(9.2%) 0(0.0%) for-loop ...ad-nightlies/src/core/egraph.rkt:218:6 hash-update! [60] 61.2% for-loop [55] 38.8% ------------------------------------------------------------------- loop! [31] 100.0% [44] 2852(8.2%) 2852(8.2%) set ...collects/racket/private/set-types.rkt:992:0 ------------------------------------------------------------------- for-loop [34] 100.0% [45] 1784(5.1%) 0(0.0%) for-loop ...ad-nightlies/src/core/ematch.rkt:58:37 match-e [28] 100.0% ------------------------------------------------------------------- variable? [38] 35.4% loop [13] 64.6% [46] 948(2.7%) 646(1.9%) ??? ...contract/private/arrow-val-first.rkt:486:18 ??? [57] 31.9% ------------------------------------------------------------------- dedup-children! [32] 8.8% loop [47] 91.2% [47] 660(1.9%) 0(0.0%) loop ...racket-7.5/collects/racket/list.rkt:417:34 loop [47] 91.2% loop [56] 8.8% ------------------------------------------------------------------- constant? [36] 100.0% [48] 636(1.8%) 636(1.8%) value? ...-bad-nightlies/src/syntax/types.rkt:18:0 ------------------------------------------------------------------- for-loop [34] 100.0% [49] 600(1.7%) 600(1.7%) do-curry ...-7.5/collects/racket/function.rkt:71:2 ------------------------------------------------------------------- for-loop [34] 100.0% [50] 586(1.7%) 586(1.7%) make-curried ...collects/racket/function.rkt:130:9 ------------------------------------------------------------------- update-leader! [33] 100.0% [51] 322(0.9%) 322(0.9%) for-loop ...ad-nightlies/src/core/egraph.rkt:228:6 ------------------------------------------------------------------- for-loop [34] 100.0% [52] 286(0.8%) 286(0.8%) step ...ket-7.5/collects/racket/function.rkt:145:9 ------------------------------------------------------------------- loop [40] 7.5% ??? [5] 7.7% loop [13] 84.9% [53] 3912(11.2%) 1490(4.3%) ??? ...e/show-bad-nightlies/src/programs.rkt:115:2 ??? [59] 61.9% ------------------------------------------------------------------- custom-set-union [41] 100.0% [54] 2870(8.2%) 638(1.8%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [61] 77.8% ------------------------------------------------------------------- for-loop [43] 100.0% [55] 1240(3.6%) 0(0.0%) for-loop ...ad-nightlies/src/core/egraph.rkt:219:8 hash-update! [60] 100.0% ------------------------------------------------------------------- loop [47] 100.0% [56] 660(1.9%) 660(1.9%) loop (unknown source) ------------------------------------------------------------------- ??? [46] 100.0% [57] 302(0.9%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:770:8 bigvalue? [62] 100.0% ------------------------------------------------------------------- custom-set-union [41] 100.0% [58] 300(0.9%) 300(0.9%) for-loop ...cts/racket/private/set-types.rkt:152:2 ------------------------------------------------------------------- ??? [14] 42.6% ??? [53] 57.4% [59] 4222(12.1%) 602(1.7%) ??? ...tract/private/arrow-higher-order.rkt:375:33 ival-mult [64] 50.3% sample-multi-bounded [65] 35.5% ------------------------------------------------------------------- for-loop [55] 38.8% for-loop [43] 61.2% [60] 3194(9.2%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [63] 100.0% ------------------------------------------------------------------- for-loop [54] 100.0% [61] 2232(6.4%) 2232(6.4%) for-loop ...cts/racket/private/set-types.rkt:178:5 ------------------------------------------------------------------- ??? [57] 100.0% [62] 302(0.9%) 302(0.9%) bigvalue? ...d-nightlies/src/syntax/types.rkt:19:0 ------------------------------------------------------------------- hash-update! [60] 100.0% [63] 3194(9.2%) 0(0.0%) ??? ...ow-bad-nightlies/src/core/egraph.rkt:221:24 for-loop [66] 100.0% ------------------------------------------------------------------- ??? [59] 100.0% [64] 2122(6.1%) 1822(5.2%) ival-mult ...d-nightlies/src/biginterval.rkt:119:0 bfmul [69] 14.1% ------------------------------------------------------------------- ??? [59] 100.0% [65] 1498(4.3%) 600(1.7%) sample-multi-bounded ...htlies/src/points.rkt:15:0 random-ranges [67] 39.9% return/no-unsupplied [68] 20.0% ------------------------------------------------------------------- ??? [63] 100.0% [66] 3194(9.2%) 2894(8.3%) for-loop ...d-nightlies/src/core/egraph.rkt:222:26 update-en-expr [71] 9.4% ------------------------------------------------------------------- sample-multi-bounded [65] 100.0% [67] 598(1.7%) 598(1.7%) random-ranges ...ad-nightlies/src/common.rkt:171:0 ------------------------------------------------------------------- sample-multi-bounded [65] 100.0% [68] 300(0.9%) 300(0.9%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 ------------------------------------------------------------------- ival-mult [64] 100.0% [69] 300(0.9%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [70] 100.0% ------------------------------------------------------------------- bfmul [69] 100.0% [70] 300(0.9%) 300(0.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ------------------------------------------------------------------- for-loop [66] 100.0% [71] 300(0.9%) 300(0.9%) update-en-expr ...htlies/src/core/egraph.rkt:207:0 -------------------------------------------------------------------