Profiling results ----------------- Total cpu time observed: 26388ms (out of 26588ms) Number of samples taken: 130 (once every 203ms) (Hiding functions with self<1.0% and local<2.0%: 2 of 59 hidden) =============================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================================== [1] 26388(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [2] 100.0% ------------------------------------------------------------------------------- ??? [1] 100.0% [2] 26388(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] 26388(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 [11] 0.4% run [3] 99.6% [4] 26388(100.0%) 204(0.8%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [5] 92.8% prepare-points-intervals [6] 5.7% oracle-error [8] 0.8% errors [7] 0.4% ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [5] 24478(92.8%) 0(0.0%) run-improve47 ...building-2/src/mainloop.rkt:346:0 simplify! [9] 100.0% ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [6] 1506(5.7%) 0(0.0%) prepare-points-intervals ...2/src/points.rkt:120:0 loop [10] 100.0% ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [7] 204(0.8%) 0(0.0%) errors ...egraph-rebuilding-2/src/points.rkt:190:0 for-loop [11] 100.0% ------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4] 100.0% [8] 200(0.8%) 0(0.0%) oracle-error ...-rebuilding-2/src/points.rkt:177:0 for-loop [12] 100.0% ------------------------------------------------------------------------------- run-improve47 [5] 100.0% [9] 24478(92.8%) 0(0.0%) simplify! ...h-rebuilding-2/src/mainloop.rkt:224:0 ??? [13] 100.0% ------------------------------------------------------------------------------- prepare-points-intervals [6] 100.0% [10] 1506(5.7%) 0(0.0%) loop ...-regraph-rebuilding-2/src/points.rkt:132:4 loop [14] 100.0% ------------------------------------------------------------------------------- errors [7] 100.0% [11] 204(0.8%) 0(0.0%) for-loop ...raph-rebuilding-2/src/points.rkt:192:2 .../more-scheme.rkt:261:28 [4] 100.0% ------------------------------------------------------------------------------- oracle-error [8] 100.0% [12] 200(0.8%) 0(0.0%) for-loop ...raph-rebuilding-2/src/points.rkt:178:2 loop [54] 100.0% ------------------------------------------------------------------------------- simplify! [9] 100.0% [13] 24478(92.8%) 0(0.0%) ??? ...aph-rebuilding-2/src/core/simplify.rkt:38:0 ??? [15] 100.0% ------------------------------------------------------------------------------- loop [10] 100.0% [14] 1506(5.7%) 368(1.4%) loop ...y-regraph-rebuilding-2/src/points.rkt:79:2 ??? [16] 63.3% ??? [17] 12.2% ------------------------------------------------------------------------------- ??? [13] 100.0% [15] 24478(92.8%) 0(0.0%) ??? ...aph-rebuilding-2/src/core/simplify.rkt:56:0 for-loop [18] 100.0% ------------------------------------------------------------------------------- loop [14] 100.0% [16] 954(3.6%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-sub [19] 80.7% ival-add [20] 19.3% ------------------------------------------------------------------------------- loop [14] 100.0% [17] 184(0.7%) 184(0.7%) ??? ...contract/private/arrow-val-first.rkt:486:18 ------------------------------------------------------------------------------- ??? [15] 100.0% [18] 24478(92.8%) 0(0.0%) for-loop ...ebuilding-2/src/core/simplify.rkt:76:2 for-loop [21] 100.0% ------------------------------------------------------------------------------- ??? [16] 100.0% [19] 770(2.9%) 188(0.7%) ival-sub ...rebuilding-2/src/biginterval.rkt:108:0 bfsub [22] 75.6% ------------------------------------------------------------------------------- ??? [16] 100.0% [20] 184(0.7%) 0(0.0%) ival-add ...rebuilding-2/src/biginterval.rkt:102:0 bfsub [22] 100.0% ------------------------------------------------------------------------------- for-loop [18] 100.0% [21] 24478(92.8%) 0(0.0%) for-loop ...ebuilding-2/src/core/simplify.rkt:80:4 ??? [23] 98.4% egraph-rebuild [24] 1.6% ------------------------------------------------------------------------------- ival-add [20] 24.0% ival-sub [19] 76.0% [22] 766(2.9%) 0(0.0%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:835:4 ??? [25] 50.1% new-mpfr [26] 49.9% ------------------------------------------------------------------------------- for-loop [21] 100.0% [23] 24092(91.3%) 0(0.0%) ??? ...-regraph-rebuilding-2/regraph/main.rkt:45:0 find-matches [27] 69.6% for-loop [28] 30.4% ------------------------------------------------------------------------------- for-loop [21] 100.0% [24] 386(1.5%) 0(0.0%) egraph-rebuild ...ilding-2/regraph/egraph.rkt:61:0 egraph-rebuild-once [29] 100.0% ------------------------------------------------------------------------------- bfsub [22] 100.0% [25] 384(1.5%) 384(1.5%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ------------------------------------------------------------------------------- bfsub [22] 100.0% [26] 382(1.4%) 382(1.4%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ------------------------------------------------------------------------------- ??? [23] 100.0% [27] 16764(63.5%) 0(0.0%) find-matches ...rebuilding-2/regraph/main.rkt:37:0 for-loop [30] 100.0% ------------------------------------------------------------------------------- ??? [23] 100.0% [28] 7328(27.8%) 0(0.0%) for-loop ...aph-rebuilding-2/regraph/main.rkt:48:2 for-loop [31] 100.0% ------------------------------------------------------------------------------- egraph-rebuild [24] 100.0% [29] 386(1.5%) 0(0.0%) egraph-rebuild-once ...g-2/regraph/egraph.rkt:68:0 for-loop [32] 100.0% ------------------------------------------------------------------------------- for-loop [30] 50.0% find-matches [27] 50.0% [30] 16764(63.5%) 0(0.0%) for-loop ...aph-rebuilding-2/regraph/main.rkt:39:2 for-loop [30] 50.0% match-e [33] 50.0% ------------------------------------------------------------------------------- for-loop [28] 100.0% [31] 7328(27.8%) 192(0.7%) for-loop ...aph-rebuilding-2/regraph/main.rkt:51:4 add-enode-rec! [34] 54.7% substitute-e [35] 42.7% ------------------------------------------------------------------------------- egraph-rebuild-once [29] 100.0% [32] 386(1.5%) 0(0.0%) for-loop ...h-rebuilding-2/regraph/egraph.rkt:72:2 for-loop [36] 100.0% ------------------------------------------------------------------------------- for-loop [43] 38.6% for-loop [30] 61.4% [33] 16764(63.5%) 2086(7.9%) match-e ...ph-rebuilding-2/regraph/ematch.rkt:35:0 for-loop [37] 92.7% ------------------------------------------------------------------------------- for-loop [31] 100.0% [34] 4008(15.2%) 622(2.4%) add-enode-rec! ...lding-2/regraph/egraph.rkt:161:0 map [38] 59.7% mk-enode! [39] 14.8% enode-merge! [42] 5.0% do-curry [45] 4.9% ------------------------------------------------------------------------------- substitute-e [35] 27.9% for-loop [31] 72.1% [35] 3128(11.9%) 2332(8.8%) substitute-e ...building-2/regraph/ematch.rkt:55:0 substitute-e [35] 27.9% return/no-unsupplied [40] 9.0% ??? [41] 7.0% do-curry [45] 6.5% ------------------------------------------------------------------------------- for-loop [32] 100.0% [36] 386(1.5%) 386(1.5%) for-loop ...h-rebuilding-2/regraph/egraph.rkt:73:4 ------------------------------------------------------------------------------- match-e [33] 100.0% [37] 16544(62.7%) 7292(27.6%) for-loop ...-rebuilding-2/regraph/ematch.rkt:41:11 for-loop [43] 46.4% loop [54] 9.6% do-curry [45] 4.6% procedure-reduce-keyword-arity-mask [46] 3.7% foldr [47] 3.1% cartesian-product [48] 2.4% step [49] 1.8% make-curried [50] 1.3% ??? [51] 1.2% ------------------------------------------------------------------------------- add-enode-rec! [34] 100.0% [38] 2392(9.1%) 200(0.8%) map ...t-7.5/collects/racket/private/map.rkt:35:13 mk-enode-rec! [44] 83.3% ??? [57] 8.4% ------------------------------------------------------------------------------- add-enode-rec! [34] 100.0% [39] 594(2.3%) 198(0.8%) mk-enode! ...rebuilding-2/regraph/egraph.rkt:132:0 hash-has-key? [55] 66.7% ------------------------------------------------------------------------------- substitute-e [35] 100.0% [40] 374(1.4%) 374(1.4%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 ------------------------------------------------------------------------------- substitute-e [35] 100.0% [41] 218(0.8%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:770:8 dict? [52] 100.0% ------------------------------------------------------------------------------- add-enode-rec! [34] 100.0% [42] 202(0.8%) 0(0.0%) enode-merge! ...ebuilding-2/regraph/enode.rkt:95:0 custom-set-union [53] 100.0% ------------------------------------------------------------------------------- for-loop [37] 100.0% [43] 12858(48.7%) 200(0.8%) for-loop ...-rebuilding-2/regraph/ematch.rkt:47:37 match-e [33] 98.4% ------------------------------------------------------------------------------- map [38] 100.0% [44] 1992(7.5%) 1204(4.6%) mk-enode-rec! ...ilding-2/regraph/egraph.rkt:152:0 hash-has-key? [55] 29.3% loop [54] 10.2% ------------------------------------------------------------------------------- add-enode-rec! [34] 10.2% substitute-e [35] 10.5% for-loop [37] 79.2% [45] 1934(7.3%) 1934(7.3%) do-curry ...-7.5/collects/racket/function.rkt:71:2 ------------------------------------------------------------------------------- for-loop [37] 100.0% [46] 1232(4.7%) 1232(4.7%) procedure-reduce-keyword-arity-mask ....rkt:1597:4 ------------------------------------------------------------------------------- for-loop [37] 100.0% [47] 610(2.3%) 406(1.5%) foldr ....5/collects/racket/private/list.rkt:242:4 cp-2 [56] 33.4% ------------------------------------------------------------------------------- for-loop [37] 100.0% [48] 602(2.3%) 602(2.3%) cartesian-product ...ollects/racket/list.rkt:822:0 ------------------------------------------------------------------------------- for-loop [37] 100.0% [49] 580(2.2%) 580(2.2%) step ...ket-7.5/collects/racket/function.rkt:145:9 ------------------------------------------------------------------------------- for-loop [37] 100.0% [50] 422(1.6%) 422(1.6%) make-curried ...collects/racket/function.rkt:130:9 ------------------------------------------------------------------------------- for-loop [37] 100.0% [51] 392(1.5%) 392(1.5%) ??? ...ket-7.5/collects/racket/function.rkt:138:13 ------------------------------------------------------------------------------- ??? [41] 100.0% [52] 218(0.8%) 218(0.8%) dict? ...ollects/racket/private/generic.rkt:146:11 ------------------------------------------------------------------------------- enode-merge! [42] 100.0% [53] 202(0.8%) 202(0.8%) custom-set-union ...et/private/set-types.rkt:168:0 ------------------------------------------------------------------------------- for-loop [37] 4.8% for-loop [12] 10.0% mk-enode-rec! [44] 10.2% loop [54] 75.0% [54] 2000(7.6%) 1588(6.0%) loop (unknown source) loop [54] 75.0% ??? [57] 10.2% ------------------------------------------------------------------------------- mk-enode! [39] 40.4% mk-enode-rec! [44] 59.6% [55] 980(3.7%) 980(3.7%) hash-has-key? ...ket/private/more-scheme.rkt:371:2 ------------------------------------------------------------------------------- foldr [47] 100.0% [56] 204(0.8%) 204(0.8%) cp-2 .../racket-7.5/collects/racket/list.rkt:826:2 ------------------------------------------------------------------------------- map [38] 49.5% loop [54] 50.5% [57] 404(1.5%) 404(1.5%) ??? ...cket-7.5/collects/racket/function.rkt:93:12 -------------------------------------------------------------------------------