Profiling results ----------------- Total cpu time observed: 12944ms (out of 13064ms) Number of samples taken: 62 (once every 209ms) =============================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================================== [1] 12944(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [2] 100.0% ------------------------------------------------------------------------------- ??? [1] 100.0% [2] 12944(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ------------------------------------------------------------------------------- profile-thunk16 [2] 100.0% [3] 12944(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [4] 100.0% ------------------------------------------------------------------------------- for-loop [15] 0.8% run [3] 99.2% [4] 12944(100.0%) 0(0.0%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [5] 82.3% prepare-points-intervals [6] 13.0% get-p&es [7] 1.6% eval-errors [8] 1.6% errors [10] 0.8% ??? [9] 0.8% ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [5] 10656(82.3%) 0(0.0%) run-improve47 ...fy-regraph/src/mainloop.rkt:346:0 simplify! [20] 65.5% for-loop [11] 34.5% ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [6] 1688(13.0%) 0(0.0%) prepare-points-intervals ...h/src/points.rkt:120:0 loop [12] 100.0% ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [7] 202(1.6%) 0(0.0%) get-p&es .../simplify-regraph/src/sandbox.rkt:25:0 for-loop [13] 100.0% ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [8] 202(1.6%) 0(0.0%) eval-errors ...mplify-regraph/src/points.rkt:168:0 for-loop [14] 100.0% ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [9] 196(1.5%) 196(1.5%) ??? ...cket-7.5/collects/racket/function.rkt:93:12 ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [10] 196(1.5%) 0(0.0%) errors ...ie/simplify-regraph/src/points.rkt:190:0 for-loop [15] 100.0% ------------------------------------------------------------------------------- run-improve47 [5] 100.0% [11] 3680(28.4%) 0(0.0%) for-loop ...implify-regraph/src/mainloop.rkt:365:4 run-iter! [16] 100.0% ------------------------------------------------------------------------------- prepare-points-intervals [6] 100.0% [12] 1688(13.0%) 0(0.0%) loop ...rbie/simplify-regraph/src/points.rkt:132:4 loop [17] 63.3% ??? [18] 36.7% ------------------------------------------------------------------------------- get-p&es [7] 100.0% [13] 202(1.6%) 202(1.6%) for-loop .../simplify-regraph/src/sandbox.rkt:26:2 ------------------------------------------------------------------------------- eval-errors [8] 100.0% [14] 202(1.6%) 0(0.0%) for-loop .../simplify-regraph/src/points.rkt:170:2 ??? [19] 100.0% ------------------------------------------------------------------------------- errors [10] 100.0% [15] 196(1.5%) 0(0.0%) for-loop .../simplify-regraph/src/points.rkt:192:2 .../more-scheme.rkt:261:28 [4] 100.0% ------------------------------------------------------------------------------- for-loop [11] 100.0% [16] 3680(28.4%) 0(0.0%) run-iter! ...mplify-regraph/src/mainloop.rkt:327:0 simplify! [20] 100.0% ------------------------------------------------------------------------------- loop [12] 100.0% [17] 1068(8.3%) 222(1.7%) loop ...erbie/simplify-regraph/src/points.rkt:79:2 ??? [21] 39.9% real->precision [22] 39.3% ------------------------------------------------------------------------------- loop [12] 100.0% [18] 620(4.8%) 198(1.5%) ??? ...erbie/simplify-regraph/src/points.rkt:113:6 loop [53] 35.8% sample-multi-bounded [62] 32.3% ------------------------------------------------------------------------------- for-loop [14] 100.0% [19] 202(1.6%) 202(1.6%) ??? ...mplify-regraph/src/syntax/syntax.rkt:214:17 ------------------------------------------------------------------------------- run-iter! [16] 34.5% run-improve47 [5] 65.5% [20] 10656(82.3%) 0(0.0%) simplify! ...mplify-regraph/src/mainloop.rkt:224:0 ??? [23] 100.0% ------------------------------------------------------------------------------- loop [17] 100.0% [21] 426(3.3%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-sub [24] 52.6% ival-add [25] 47.4% ------------------------------------------------------------------------------- loop [17] 100.0% [22] 420(3.2%) 0(0.0%) real->precision ...-regraph/src/programs.rkt:94:11 ??? [71] 100.0% ------------------------------------------------------------------------------- simplify! [20] 100.0% [23] 10656(82.3%) 0(0.0%) ??? ...simplify-regraph/src/core/simplify.rkt:38:0 ??? [26] 100.0% ------------------------------------------------------------------------------- ??? [21] 100.0% [24] 224(1.7%) 0(0.0%) ival-sub ...lify-regraph/src/biginterval.rkt:108:0 bfadd [27] 100.0% ------------------------------------------------------------------------------- ??? [21] 100.0% [25] 202(1.6%) 0(0.0%) ival-add ...lify-regraph/src/biginterval.rkt:102:0 bfadd [27] 100.0% ------------------------------------------------------------------------------- ??? [23] 100.0% [26] 10656(82.3%) 0(0.0%) ??? ...simplify-regraph/src/core/simplify.rkt:56:0 for-loop [28] 100.0% ------------------------------------------------------------------------------- ival-add [25] 47.4% ival-sub [24] 52.6% [27] 426(3.3%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [77] 100.0% ------------------------------------------------------------------------------- ??? [26] 100.0% [28] 10656(82.3%) 0(0.0%) for-loop ...ify-regraph/src/core/simplify.rkt:76:2 for-loop [29] 100.0% ------------------------------------------------------------------------------- for-loop [28] 100.0% [29] 10656(82.3%) 0(0.0%) for-loop ...ify-regraph/src/core/simplify.rkt:80:4 ??? [30] 94.2% prune-phase [31] 3.8% loop [32] 1.9% ------------------------------------------------------------------------------- for-loop [29] 100.0% [30] 10042(77.6%) 0(0.0%) ??? .../p92/.racket/7.5/pkgs/regraph/main.rkt:42:0 for-loop [33] 74.4% find-matches [34] 25.6% ------------------------------------------------------------------------------- for-loop [29] 100.0% [31] 408(3.2%) 0(0.0%) prune-phase ...cket/7.5/pkgs/regraph/main.rkt:70:0 for-loop [35] 100.0% ------------------------------------------------------------------------------- for-loop [29] 100.0% [32] 206(1.6%) 0(0.0%) loop ...acket/7.5/pkgs/regraph/extraction.rkt:25:2 for-loop [36] 100.0% ------------------------------------------------------------------------------- ??? [30] 100.0% [33] 7476(57.8%) 0(0.0%) for-loop ....racket/7.5/pkgs/regraph/main.rkt:45:2 for-loop [37] 100.0% ------------------------------------------------------------------------------- ??? [30] 100.0% [34] 2566(19.8%) 0(0.0%) find-matches ...ket/7.5/pkgs/regraph/main.rkt:34:0 for-loop [38] 100.0% ------------------------------------------------------------------------------- prune-phase [31] 100.0% [35] 408(3.2%) 0(0.0%) for-loop ....racket/7.5/pkgs/regraph/main.rkt:73:2 update-leader! [48] 100.0% ------------------------------------------------------------------------------- loop [32] 100.0% [36] 206(1.6%) 0(0.0%) for-loop ...t/7.5/pkgs/regraph/extraction.rkt:28:4 for-loop [39] 100.0% ------------------------------------------------------------------------------- for-loop [33] 100.0% [37] 7476(57.8%) 624(4.8%) for-loop ....racket/7.5/pkgs/regraph/main.rkt:48:4 merge-egraph-nodes! [40] 47.2% dedup-children! [41] 36.1% mk-enode-rec! [43] 5.4% substitute-e [44] 2.9% ------------------------------------------------------------------------------- for-loop [38] 50.0% find-matches [34] 50.0% [38] 2566(19.8%) 0(0.0%) for-loop ....racket/7.5/pkgs/regraph/main.rkt:36:2 for-loop [38] 50.0% match-e [42] 50.0% ------------------------------------------------------------------------------- for-loop [36] 100.0% [39] 206(1.6%) 0(0.0%) for-loop .../7.5/pkgs/regraph/extraction.rkt:36:16 for-loop [45] 100.0% ------------------------------------------------------------------------------- for-loop [50] 3.1% for-loop [37] 96.9% [40] 3532(27.3%) 0(0.0%) merge-egraph-nodes! ...gs/regraph/egraph.rkt:144:0 loop! [60] 64.0% update-leader! [48] 32.9% for-loop [50] 3.1% ------------------------------------------------------------------------------- for-loop [37] 100.0% [41] 2702(20.9%) 0(0.0%) dedup-children! ....5/pkgs/regraph/enode.rkt:166:0 loop [47] 76.2% loop [49] 23.8% ------------------------------------------------------------------------------- for-loop [55] 31.2% for-loop [38] 68.8% [42] 2566(19.8%) 200(1.5%) match-e ...racket/7.5/pkgs/regraph/ematch.rkt:35:0 for-loop [46] 92.2% ------------------------------------------------------------------------------- for-loop [37] 100.0% [43] 402(3.1%) 0(0.0%) mk-enode-rec! ...7.5/pkgs/regraph/egraph.rkt:116:0 for-loop [51] 50.2% hash-has-key? [52] 49.8% ------------------------------------------------------------------------------- substitute-e [44] 50.0% for-loop [37] 50.0% [44] 216(1.7%) 216(1.7%) substitute-e ...t/7.5/pkgs/regraph/ematch.rkt:55:0 substitute-e [44] 50.0% ------------------------------------------------------------------------------- for-loop [39] 100.0% [45] 206(1.6%) 206(1.6%) for-loop .../7.5/pkgs/regraph/extraction.rkt:40:23 ------------------------------------------------------------------------------- match-e [42] 100.0% [46] 2366(18.3%) 1742(13.5%) for-loop ...cket/7.5/pkgs/regraph/ematch.rkt:41:11 for-loop [55] 33.9% keyword-apply [59] 8.5% procedure-reduce-keyword-arity-mask [57] 4.6% foldr [58] 4.4% ------------------------------------------------------------------------------- dedup-children! [41] 32.9% loop [47] 67.1% [47] 2058(15.9%) 202(1.6%) loop ...racket-7.5/collects/racket/list.rkt:417:34 loop [47] 67.1% member [56] 15.7% loop [53] 12.3% ------------------------------------------------------------------------------- for-loop [35] 24.3% merge-egraph-nodes! [40] 75.7% [48] 1678(13.0%) 0(0.0%) update-leader! ....5/pkgs/regraph/egraph.rkt:211:0 for-loop [54] 100.0% ------------------------------------------------------------------------------- dedup-children! [41] 10.8% loop [49] 89.2% [49] 644(5.0%) 644(5.0%) loop ...racket-7.5/collects/racket/list.rkt:434:17 loop [49] 89.2% ------------------------------------------------------------------------------- merge-egraph-nodes! [40] 100.0% [50] 216(1.7%) 0(0.0%) for-loop ...cket/7.5/pkgs/regraph/egraph.rkt:197:4 merge-egraph-nodes! [40] 100.0% ------------------------------------------------------------------------------- mk-enode-rec! [43] 100.0% [51] 202(1.6%) 202(1.6%) for-loop ...ket/7.5/pkgs/regraph/egraph.rkt:108:10 ------------------------------------------------------------------------------- mk-enode-rec! [43] 100.0% [52] 200(1.5%) 200(1.5%) hash-has-key? ...ket/private/more-scheme.rkt:371:2 ------------------------------------------------------------------------------- ??? [18] 8.2% loop! [60] 15.9% loop [53] 29.7% loop [47] 46.2% [53] 2706(20.9%) 1250(9.7%) loop (unknown source) loop [53] 29.7% loop! [60] 15.9% sample-multi-bounded [62] 8.2% ------------------------------------------------------------------------------- update-leader! [48] 100.0% [54] 1678(13.0%) 0(0.0%) for-loop ...cket/7.5/pkgs/regraph/egraph.rkt:216:6 hash-update! [64] 51.3% for-loop [61] 35.9% update-en-expr [78] 12.9% ------------------------------------------------------------------------------- for-loop [46] 100.0% [55] 1526(11.8%) 0(0.0%) for-loop ...cket/7.5/pkgs/regraph/ematch.rkt:47:37 match-e [42] 100.0% ------------------------------------------------------------------------------- loop [47] 100.0% [56] 606(4.7%) 606(4.7%) member (unknown source) ------------------------------------------------------------------------------- for-loop [46] 100.0% [57] 218(1.7%) 218(1.7%) procedure-reduce-keyword-arity-mask ....rkt:1597:4 ------------------------------------------------------------------------------- for-loop [46] 100.0% [58] 206(1.6%) 0(0.0%) foldr ....5/collects/racket/private/list.rkt:242:4 cp-2 [63] 100.0% ------------------------------------------------------------------------------- for-loop [46] 100.0% [59] 200(1.5%) 200(1.5%) keyword-apply ...lects/racket/private/kw.rkt:455:2 ------------------------------------------------------------------------------- loop [53] 27.3% merge-egraph-nodes! [40] 72.7% [60] 2262(17.5%) 0(0.0%) loop! .../.racket/7.5/pkgs/regraph/enode.rkt:158:2 custom-set-union [65] 49.9% loop [53] 27.3% set [66] 18.3% update-en-expr [78] 4.6% ------------------------------------------------------------------------------- for-loop [54] 100.0% [61] 602(4.7%) 0(0.0%) for-loop ...cket/7.5/pkgs/regraph/egraph.rkt:217:8 hash-update! [64] 100.0% ------------------------------------------------------------------------------- ??? [18] 47.4% loop [53] 52.6% [62] 422(3.3%) 0(0.0%) sample-multi-bounded ...egraph/src/points.rkt:14:0 for-loop [67] 52.6% random-ranges [69] 47.4% ------------------------------------------------------------------------------- foldr [58] 100.0% [63] 206(1.6%) 0(0.0%) cp-2 .../racket-7.5/collects/racket/list.rkt:826:2 for-loop [68] 100.0% ------------------------------------------------------------------------------- for-loop [61] 41.2% for-loop [54] 58.8% [64] 1462(11.3%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [70] 100.0% ------------------------------------------------------------------------------- loop! [60] 100.0% [65] 1228(9.5%) 618(4.8%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [72] 32.7% for-loop [73] 16.9% ------------------------------------------------------------------------------- loop! [60] 100.0% [66] 828(6.4%) 828(6.4%) set ...collects/racket/private/set-types.rkt:992:0 ------------------------------------------------------------------------------- sample-multi-bounded [62] 100.0% [67] 222(1.7%) 0(0.0%) for-loop ...e/simplify-regraph/src/points.rkt:20:4 ??? [71] 100.0% ------------------------------------------------------------------------------- cp-2 [63] 100.0% [68] 206(1.6%) 206(1.6%) for-loop ...ket-7.5/collects/racket/list.rkt:827:4 ------------------------------------------------------------------------------- sample-multi-bounded [62] 100.0% [69] 200(1.5%) 200(1.5%) random-ranges ...lify-regraph/src/common.rkt:164:0 ------------------------------------------------------------------------------- hash-update! [64] 100.0% [70] 1462(11.3%) 0(0.0%) ??? .../.racket/7.5/pkgs/regraph/egraph.rkt:219:24 for-loop [74] 100.0% ------------------------------------------------------------------------------- for-loop [67] 34.6% real->precision [22] 65.4% [71] 642(5.0%) 222(1.7%) ??? ...tract/private/arrow-higher-order.rkt:375:33 bf [75] 65.4% ------------------------------------------------------------------------------- custom-set-union [65] 100.0% [72] 402(3.1%) 202(1.6%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [76] 49.8% ------------------------------------------------------------------------------- custom-set-union [65] 100.0% [73] 208(1.6%) 208(1.6%) for-loop ...cts/racket/private/set-types.rkt:152:2 ------------------------------------------------------------------------------- ??? [70] 100.0% [74] 1462(11.3%) 1222(9.4%) for-loop ...ket/7.5/pkgs/regraph/egraph.rkt:220:26 update-en-expr [78] 16.4% ------------------------------------------------------------------------------- ??? [71] 100.0% [75] 420(3.2%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [77] 100.0% ------------------------------------------------------------------------------- for-loop [72] 100.0% [76] 200(1.5%) 200(1.5%) for-loop ...cts/racket/private/set-types.rkt:178:5 ------------------------------------------------------------------------------- bf [75] 49.6% bfadd [27] 50.4% [77] 846(6.5%) 846(6.5%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ------------------------------------------------------------------------------- loop! [60] 31.1% for-loop [54] 32.6% for-loop [74] 36.3% [78] 662(5.1%) 662(5.1%) update-en-expr ....5/pkgs/regraph/egraph.rkt:205:0 -------------------------------------------------------------------------------