Profiling results ----------------- Total cpu time observed: 7938ms (out of 8164ms) Number of samples taken: 43 (once every 185ms) ================================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================ ??? [7] 100.0% [1] 7938(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ---------------------------------------------------------------- ??? [7] 100.0% [2] 508(6.4%) 0(0.0%) errors .../move-sample-ranges/src/points.rkt:202:0 for-loop [5] 100.0% ---------------------------------------------------------------- ??? [7] 100.0% [3] 204(2.6%) 0(0.0%) eval-const-expr ...e-ranges/src/programs.rkt:102:0 eval-prog [6] 100.0% ---------------------------------------------------------------- profile-thunk16 [1] 100.0% [4] 7938(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [7] 100.0% ---------------------------------------------------------------- errors [2] 100.0% [5] 508(6.4%) 0(0.0%) for-loop ...ove-sample-ranges/src/points.rkt:204:2 ??? [7] 100.0% ---------------------------------------------------------------- eval-const-expr [3] 100.0% [6] 204(2.6%) 0(0.0%) eval-prog ...e-sample-ranges/src/programs.rkt:83:0 temp68_2 [8] 100.0% ---------------------------------------------------------------- for-loop [56] 0.9% for-loop [5] 2.1% run [4] 48.5% [7] 7938(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 48.5% run-improve43 [9] 30.8% prepare-points [10] 10.8% oracle-error [11] 3.1% errors [2] 2.1% eval-errors [12] 1.7% ulp-difference [34] 1.1% ordinary-value? [27] 1.0% eval-const-expr [3] 0.9% ---------------------------------------------------------------- eval-prog [6] 100.0% [8] 204(2.6%) 0(0.0%) temp68_2 (unknown source) compile16 [13] 100.0% ---------------------------------------------------------------- ??? [7] 100.0% [9] 4950(62.4%) 0(0.0%) run-improve43 ...ple-ranges/src/mainloop.rkt:339:0 simplify! [14] 100.0% ---------------------------------------------------------------- ??? [7] 100.0% [10] 1722(21.7%) 0(0.0%) prepare-points ...mple-ranges/src/points.rkt:145:0 loop [15] 100.0% ---------------------------------------------------------------- ??? [7] 100.0% [11] 496(6.2%) 0(0.0%) oracle-error ...sample-ranges/src/points.rkt:186:0 for-loop [16] 100.0% ---------------------------------------------------------------- ??? [7] 100.0% [12] 262(3.3%) 0(0.0%) eval-errors ...-sample-ranges/src/points.rkt:177:0 for-loop [17] 100.0% ---------------------------------------------------------------- temp68_2 [8] 100.0% [13] 204(2.6%) 0(0.0%) compile16 (unknown source) temp74_0 [18] 100.0% ---------------------------------------------------------------- run-improve43 [9] 100.0% [14] 4950(62.4%) 0(0.0%) simplify! ...-sample-ranges/src/mainloop.rkt:217:0 ??? [19] 100.0% ---------------------------------------------------------------- prepare-points [10] 100.0% [15] 1722(21.7%) 0(0.0%) loop ...ie/move-sample-ranges/src/points.rkt:122:4 loop [21] 50.1% ??? [22] 34.8% ordinary-value? [27] 15.1% ---------------------------------------------------------------- oracle-error [11] 100.0% [16] 496(6.2%) 0(0.0%) for-loop ...ove-sample-ranges/src/points.rkt:187:2 loop [20] 50.0% map [23] 50.0% ---------------------------------------------------------------- eval-errors [12] 100.0% [17] 262(3.3%) 0(0.0%) for-loop ...ove-sample-ranges/src/points.rkt:179:2 ??? [26] 100.0% ---------------------------------------------------------------- compile16 [13] 100.0% [18] 204(2.6%) 0(0.0%) temp74_0 (unknown source) expand-single [24] 100.0% ---------------------------------------------------------------- simplify! [14] 100.0% [19] 4950(62.4%) 0(0.0%) ??? ...ve-sample-ranges/src/core/simplify.rkt:26:0 for-loop [25] 100.0% ---------------------------------------------------------------- loop! [68] 12.2% for-loop [16] 22.4% loop [20] 65.4% [20] 1108(14.0%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [20] 65.4% ordinary-value? [27] 22.4% loop! [68] 12.2% ---------------------------------------------------------------- loop [15] 100.0% [21] 862(10.9%) 334(4.2%) loop ...bie/move-sample-ranges/src/points.rkt:81:2 ??? [26] 61.3% ---------------------------------------------------------------- loop [15] 100.0% [22] 600(7.6%) 0(0.0%) ??? ...bie/move-sample-ranges/src/points.rkt:106:2 ??? [33] 71.0% compose [30] 29.0% ---------------------------------------------------------------- for-loop [16] 100.0% [23] 248(3.1%) 0(0.0%) map ...t-7.0/collects/racket/private/map.rkt:35:13 ??? [28] 100.0% ---------------------------------------------------------------- temp74_0 [18] 100.0% [24] 204(2.6%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [29]100.0% ---------------------------------------------------------------- ??? [19] 100.0% [25] 4950(62.4%) 0(0.0%) for-loop ...mple-ranges/src/core/simplify.rkt:33:2 one-iter [31] 100.0% ---------------------------------------------------------------- for-loop [17] 33.2% loop [21] 66.8% [26] 790(10.0%) 194(2.4%) ??? ...ie/move-sample-ranges/src/programs.rkt:99:2 ??? [35] 42.3% ??? [33] 33.2% ---------------------------------------------------------------- ??? [7] 32.6% loop [20] 32.9% loop [15] 34.5% [27] 754(9.5%) 0(0.0%) ordinary-value? ...ample-ranges/src/float.rkt:80:0 special-value? [32] 100.0% ---------------------------------------------------------------- map [23] 100.0% [28] 248(3.1%) 0(0.0%) ??? ...ie/move-sample-ranges/src/points.rkt:188:26 ulp-difference [34] 100.0% ---------------------------------------------------------------- expand-single [24] 100.0% [29] 204(2.6%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [36]100.0% ---------------------------------------------------------------- ??? [22] 100.0% [30] 174(2.2%) 174(2.2%) compose ...collects/racket/private/list.rkt:385:12 ---------------------------------------------------------------- for-loop [25] 100.0% [31] 4950(62.4%) 0(0.0%) one-iter ...mple-ranges/src/core/simplify.rkt:85:0 for-loop [37] 64.4% find-matches [38] 31.4% for-loop [44] 4.1% ---------------------------------------------------------------- ordinary-value? [27] 100.0% [32] 754(9.5%) 246(3.1%) special-value? ...sample-ranges/src/float.rkt:76:0 for-loop [40] 67.4% ---------------------------------------------------------------- ??? [26] 38.1% ??? [22] 61.9% [33] 688(8.7%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 sample-multi-bounded [41] 61.9% ->flonum [43] 38.1% ---------------------------------------------------------------- ??? [28] 48.6% ??? [7] 51.4% [34] 510(6.4%) 0(0.0%) ulp-difference ...sample-ranges/src/float.rkt:46:0 infer-representation [39] 100.0% ---------------------------------------------------------------- ??? [26] 100.0% [35] 334(4.2%) 0(0.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [42] 100.0% ---------------------------------------------------------------- expand-capturing-lifts [29]100.0% [36] 204(2.6%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [45] 100.0% ---------------------------------------------------------------- one-iter [31] 100.0% [37] 3190(40.2%) 0(0.0%) for-loop ...mple-ranges/src/core/simplify.rkt:94:2 loop [46] 95.1% reduce-to-single! [52] 4.9% ---------------------------------------------------------------- one-iter [31] 100.0% [38] 1556(19.6%) 0(0.0%) find-matches ...-ranges/src/core/simplify.rkt:55:0 for-loop [47] 100.0% ---------------------------------------------------------------- ulp-difference [34] 100.0% [39] 510(6.4%) 510(6.4%) infer-representation ...-ranges/src/float.rkt:15:0 ---------------------------------------------------------------- special-value? [32] 100.0% [40] 508(6.4%) 508(6.4%) for-loop .../move-sample-ranges/src/float.rkt:17:3 ---------------------------------------------------------------- ??? [33] 100.0% [41] 426(5.4%) 0(0.0%) sample-multi-bounded ...ranges/src/points.rkt:15:0 random-ranges [48] 100.0% ---------------------------------------------------------------- ??? [35] 100.0% [42] 334(4.2%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-sub [49] 100.0% ---------------------------------------------------------------- ??? [33] 100.0% [43] 262(3.3%) 262(3.3%) ->flonum ...move-sample-ranges/src/float.rkt:149:0 ---------------------------------------------------------------- one-iter [31] 100.0% [44] 204(2.6%) 0(0.0%) for-loop ...ple-ranges/src/core/simplify.rkt:110:2 set-precompute! [50] 100.0% ---------------------------------------------------------------- for-loop [51] 50.0% lambda-clause-expander [36] 50.0% [45] 204(2.6%) 0(0.0%) finish-bodys (unknown source) for-loop [51] 100.0% ---------------------------------------------------------------- for-loop [37] 100.0% [46] 3034(38.2%) 0(0.0%) loop ...e-sample-ranges/src/core/simplify.rkt:99:4 apply-match [53] 100.0% ---------------------------------------------------------------- for-loop [47] 50.0% find-matches [38] 50.0% [47] 1556(19.6%) 160(2.0%) for-loop ...mple-ranges/src/core/simplify.rkt:57:8 for-loop [47] 50.0% match-e [59] 44.9% ---------------------------------------------------------------- sample-multi-bounded [41] 100.0% [48] 426(5.4%) 0(0.0%) random-ranges ...ample-ranges/src/common.rkt:179:0 build--> [54] 100.0% ---------------------------------------------------------------- ??? [42] 100.0% [49] 334(4.2%) 0(0.0%) ival-sub ...ample-ranges/src/biginterval.rkt:100:0 bfsub [55] 100.0% ---------------------------------------------------------------- for-loop [44] 100.0% [50] 204(2.6%) 0(0.0%) set-precompute! ...ges/src/core/simplify.rkt:116:0 for-loop [56] 100.0% ---------------------------------------------------------------- for-loop [51] 33.3% finish-bodys [45] 66.7% [51] 204(2.6%) 204(2.6%) for-loop (unknown source) finish-bodys [45] 33.3% for-loop [51] 33.3% ---------------------------------------------------------------- for-loop [37] 100.0% [52] 156(2.0%) 0(0.0%) reduce-to-single! ...ges/src/core/egraph.rkt:318:0 for-loop [57] 100.0% ---------------------------------------------------------------- loop [46] 100.0% [53] 3034(38.2%) 0(0.0%) apply-match ...e-ranges/src/core/simplify.rkt:64:0 for-loop [58] 88.7% match-e [59] 11.3% ---------------------------------------------------------------- random-ranges [48] 100.0% [54] 426(5.4%) 252(3.2%) build--> ...act/private/arrow-val-first.rkt:1086:0 coerce-contract [61] 40.8% ---------------------------------------------------------------- ival-sub [49] 100.0% [55] 334(4.2%) 0(0.0%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:821:4 ??? [60] 100.0% ---------------------------------------------------------------- set-precompute! [50] 100.0% [56] 204(2.6%) 0(0.0%) for-loop ...ple-ranges/src/core/simplify.rkt:118:2 ??? [7] 100.0% ---------------------------------------------------------------- reduce-to-single! [52] 100.0% [57] 156(2.0%) 156(2.0%) for-loop ...ample-ranges/src/core/egraph.rkt:319:8 ---------------------------------------------------------------- apply-match [53] 100.0% [58] 2690(33.9%) 0(0.0%) for-loop ...mple-ranges/src/core/simplify.rkt:77:2 merge-egraph-nodes! [63] 43.8% dedup-children! [67] 37.3% substitute-e [64] 18.9% ---------------------------------------------------------------- apply-match [53] 14.5% for-loop [70] 16.6% for-loop [47] 68.9% [59] 1740(21.9%) 222(2.8%) match-e ...-sample-ranges/src/core/ematch.rkt:39:0 for-loop [62] 65.0% constant? [65] 13.6% ??? [69] 8.7% ---------------------------------------------------------------- bfsub [55] 100.0% [60] 334(4.2%) 334(4.2%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 ---------------------------------------------------------------- build--> [54] 100.0% [61] 174(2.2%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:285:0 coerce-contract/f [66] 100.0% ---------------------------------------------------------------- match-e [59] 100.0% [62] 1360(17.1%) 842(10.6%) for-loop ...ample-ranges/src/core/ematch.rkt:52:11 for-loop [70] 38.1% ---------------------------------------------------------------- merge-egraph-nodes! [63] 6.9% for-loop [58] 93.1% [63] 1178(14.8%) 0(0.0%) merge-egraph-nodes! ...s/src/core/egraph.rkt:143:0 loop! [68] 66.1% dedup-children! [67] 13.6% enode-merge! [74] 13.4% merge-egraph-nodes! [63] 6.9% ---------------------------------------------------------------- for-loop [71] 21.3% for-loop [58] 78.7% [64] 508(6.4%) 188(2.4%) substitute-e ...le-ranges/src/core/ematch.rkt:64:0 for-loop [71] 52.4% ??? [69] 10.6% ---------------------------------------------------------------- match-e [59] 100.0% [65] 316(4.0%) 0(0.0%) constant? ...le-ranges/src/syntax/syntax.rkt:721:0 value? [72] 100.0% ---------------------------------------------------------------- coerce-contract [61] 100.0% [66] 174(2.2%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:350:0 coerce-simple-value [73] 100.0% ---------------------------------------------------------------- merge-egraph-nodes! [63] 13.7% for-loop [58] 86.3% [67] 1164(14.7%) 0(0.0%) dedup-children! ...ranges/src/core/enode.rkt:198:0 loop [75] 100.0% ---------------------------------------------------------------- loop [20] 50.0% merge-egraph-nodes! [63] 50.0% [68] 860(10.8%) 536(6.8%) loop! ...ve-sample-ranges/src/core/enode.rkt:190:2 loop [20] 50.0% custom-set-union [80] 9.4% update-en-expr [76] 9.4% ---------------------------------------------------------------- substitute-e [64] 31.0% match-e [59] 69.0% [69] 522(6.6%) 522(6.6%) ??? ...contract/private/arrow-val-first.rkt:388:18 ---------------------------------------------------------------- for-loop [62] 100.0% [70] 518(6.5%) 0(0.0%) for-loop ...ample-ranges/src/core/ematch.rkt:58:37 match-e [59] 100.0% ---------------------------------------------------------------- substitute-e [64] 100.0% [71] 320(4.0%) 158(2.0%) for-loop ...ample-ranges/src/core/ematch.rkt:73:24 substitute-e [64] 50.6% ---------------------------------------------------------------- constant? [65] 100.0% [72] 316(4.0%) 316(4.0%) value? ...-sample-ranges/src/syntax/types.rkt:18:0 ---------------------------------------------------------------- coerce-contract/f [66] 100.0% [73] 174(2.2%) 174(2.2%) coerce-simple-value ...ract/private/guts.rkt:363:0 ---------------------------------------------------------------- merge-egraph-nodes! [63] 100.0% [74] 158(2.0%) 0(0.0%) enode-merge! ...le-ranges/src/core/enode.rkt:127:0 adopt-enode! [77] 100.0% ---------------------------------------------------------------- dedup-children! [67] 25.0% loop [75] 75.0% [75] 1164(14.7%) 0(0.0%) loop ...racket-7.0/collects/racket/list.rkt:417:34 loop [75] 75.0% member [79] 13.8% loop [78] 11.2% ---------------------------------------------------------------- loop! [68] 100.0% [76] 162(2.0%) 162(2.0%) update-en-expr ...ranges/src/core/egraph.rkt:205:0 ---------------------------------------------------------------- enode-merge! [74] 100.0% [77] 158(2.0%) 0(0.0%) adopt-enode! ...le-ranges/src/core/enode.rkt:103:0 custom-set-union [80] 100.0% ---------------------------------------------------------------- loop [75] 100.0% [78] 632(8.0%) 632(8.0%) loop (unknown source) ---------------------------------------------------------------- loop [75] 100.0% [79] 532(6.7%) 532(6.7%) member (unknown source) ---------------------------------------------------------------- adopt-enode! [77] 49.4% loop! [68] 50.6% [80] 320(4.0%) 162(2.0%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [81] 49.4% ---------------------------------------------------------------- custom-set-union [80] 100.0% [81] 158(2.0%) 158(2.0%) for-loop ...cts/racket/private/set-types.rkt:174:3 ----------------------------------------------------------------