Profiling results ----------------- Total cpu time observed: 16088ms (out of 16252ms) Number of samples taken: 61 (once every 264ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== ??? [32] 100.0% [1] 16088(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ---------------------------------------------------------------------- ??? [32] 100.0% [2] 9884(61.4%) 0(0.0%) run-improve40 ...xperiments/src/mainloop.rkt:340:0 for-loop [5] 95.1% simplify! [8] 4.9% ---------------------------------------------------------------------- matcher [31] 100.0% [3] 238(1.5%) 0(0.0%) ??? ...ing-experiments/src/core/matcher.rkt:175:11 for-loop [6] 100.0% ---------------------------------------------------------------------- profile-thunk16 [1] 100.0% [4] 16088(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [32] 100.0% ---------------------------------------------------------------------- run-improve40 [2] 100.0% [5] 9404(58.5%) 0(0.0%) for-loop ...ing-experiments/src/mainloop.rkt:355:4 run-iter! [7] 100.0% ---------------------------------------------------------------------- ??? [3] 100.0% [6] 238(1.5%) 0(0.0%) for-loop ...xperiments/src/core/matcher.rkt:179:21 matcher [31] 100.0% ---------------------------------------------------------------------- for-loop [5] 100.0% [7] 9404(58.5%) 0(0.0%) run-iter! ...ng-experiments/src/mainloop.rkt:321:0 simplify! [8] 88.5% finalize-iter! [9] 9.0% gen-rewrites! [10] 2.5% ---------------------------------------------------------------------- run-improve40 [2] 5.5% run-iter! [7] 94.5% [8] 8800(54.7%) 0(0.0%) simplify! ...ng-experiments/src/mainloop.rkt:217:0 ??? [11] 100.0% ---------------------------------------------------------------------- run-iter! [7] 100.0% [9] 846(5.3%) 0(0.0%) finalize-iter! ...periments/src/mainloop.rkt:272:0 ??? [48] 100.0% ---------------------------------------------------------------------- run-iter! [7] 100.0% [10] 238(1.5%) 0(0.0%) gen-rewrites! ...xperiments/src/mainloop.rkt:176:0 for-loop [12] 100.0% ---------------------------------------------------------------------- simplify! [8] 100.0% [11] 8800(54.7%) 0(0.0%) ??? ...ning-experiments/src/core/simplify.rkt:29:0 loop [13] 88.0% loop [14] 12.0% ---------------------------------------------------------------------- gen-rewrites! [10] 100.0% [12] 238(1.5%) 0(0.0%) for-loop ...ng-experiments/src/mainloop.rkt:184:11 rewrite-expression-head20 [15] 100.0% ---------------------------------------------------------------------- ??? [11] 100.0% [13] 7742(48.1%) 0(0.0%) loop ...ing-experiments/src/core/simplify.rkt:44:2 one-iter [16] 85.1% loop [17] 14.9% ---------------------------------------------------------------------- ??? [11] 100.0% [14] 1058(6.6%) 0(0.0%) loop ...ng-experiments/src/core/simplify.rkt:132:2 for-loop [18] 100.0% ---------------------------------------------------------------------- for-loop [12] 100.0% [15] 238(1.5%) 0(0.0%) rewrite-expression-head20 ...ore/matcher.rkt:126:0 rewriter [19] 100.0% ---------------------------------------------------------------------- loop [13] 100.0% [16] 6590(41.0%) 0(0.0%) one-iter ...xperiments/src/core/simplify.rkt:100:0 for-loop [20] 79.2% find-matches [21] 20.8% ---------------------------------------------------------------------- loop [13] 100.0% [17] 1152(7.2%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:74:19 set-precompute! [22] 73.8% update-leader! [47] 26.2% ---------------------------------------------------------------------- loop [14] 100.0% [18] 1058(6.6%) 0(0.0%) for-loop ...xperiments/src/core/simplify.rkt:138:4 argmin [23] 76.6% expression-cost [28] 23.4% ---------------------------------------------------------------------- rewrite-expression-head20 [15] 33.3% matcher [31] 66.7% [19] 238(1.5%) 0(0.0%) rewriter ...experiments/src/core/matcher.rkt:128:2 for-loop [24] 100.0% ---------------------------------------------------------------------- one-iter [16] 100.0% [20] 5216(32.4%) 0(0.0%) for-loop ...xperiments/src/core/simplify.rkt:101:2 apply-match [25] 100.0% ---------------------------------------------------------------------- one-iter [16] 100.0% [21] 1374(8.5%) 0(0.0%) find-matches ...riments/src/core/simplify.rkt:64:0 for-loop [26] 100.0% ---------------------------------------------------------------------- loop [17] 100.0% [22] 850(5.3%) 0(0.0%) set-precompute! ...nts/src/core/simplify.rkt:105:0 for-loop [27] 100.0% ---------------------------------------------------------------------- for-loop [18] 100.0% [23] 810(5.0%) 288(1.8%) argmin ...acket-7.0/collects/racket/list.rkt:765:0 for-loop [29] 33.1% expression-cost [28] 31.4% ---------------------------------------------------------------------- rewriter [19] 100.0% [24] 238(1.5%) 0(0.0%) for-loop ...xperiments/src/core/matcher.rkt:131:10 matcher [31] 66.7% type-of [30] 33.3% ---------------------------------------------------------------------- for-loop [20] 100.0% [25] 5216(32.4%) 0(0.0%) apply-match ...eriments/src/core/simplify.rkt:73:0 for-loop [33] 76.3% update-leader! [47] 18.9% match-e [34] 4.8% ---------------------------------------------------------------------- for-loop [26] 41.8% find-matches [21] 58.2% [26] 1374(8.5%) 464(2.9%) for-loop ...experiments/src/core/simplify.rkt:66:8 for-loop [26] 41.8% match-e [34] 33.1% ---------------------------------------------------------------------- set-precompute! [22] 100.0% [27] 850(5.3%) 0(0.0%) for-loop ...xperiments/src/core/simplify.rkt:108:2 ??? [32] 64.9% curried [36] 35.1% ---------------------------------------------------------------------- for-loop [18] 49.4% argmin [23] 50.6% [28] 502(3.1%) 0(0.0%) expression-cost ...eriments/src/programs.rkt:204:0 compile [35] 100.0% ---------------------------------------------------------------------- argmin [23] 100.0% [29] 268(1.7%) 0(0.0%) for-loop ...ing-experiments/src/programs.rkt:205:2 table-ref [37] 100.0% ---------------------------------------------------------------------- for-loop [24] 100.0% [30] 238(1.5%) 0(0.0%) type-of ...ing-experiments/src/type-check.rkt:34:0 ??? [48] 100.0% ---------------------------------------------------------------------- for-loop [6] 50.0% for-loop [24] 50.0% [31] 238(1.5%) 0(0.0%) matcher ...-experiments/src/core/matcher.rkt:163:2 ??? [3] 50.0% rewriter [19] 50.0% ---------------------------------------------------------------------- for-loop [27] 1.1% run [4] 49.4% [32] 16088(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.4% run-improve40 [2] 30.1% prepare-points-intervals [38] 15.1% errors [74] 2.6% merge-egraph-nodes! [39] 1.1% eval-errors [43] 0.8% oracle-error [44] 0.8% ---------------------------------------------------------------------- apply-match [25] 100.0% [33] 3980(24.7%) 0(0.0%) for-loop ...experiments/src/core/simplify.rkt:87:2 merge-egraph-nodes! [39] 81.9% substitute-e [41] 13.0% dedup-children! [45] 5.2% ---------------------------------------------------------------------- for-loop [52] 19.2% apply-match [25] 21.4% for-loop [26] 59.4% [34] 1158(7.2%) 240(1.5%) match-e ...ng-experiments/src/core/ematch.rkt:39:0 for-loop [40] 89.6% ---------------------------------------------------------------------- expression-cost [28] 100.0% [35] 502(3.1%) 0(0.0%) compile ...ning-experiments/src/programs.rkt:181:0 hash-ref! [42] 100.0% ---------------------------------------------------------------------- for-loop [27] 100.0% [36] 298(1.9%) 298(1.9%) curried ...-7.0/collects/racket/function.rkt:71:18 ---------------------------------------------------------------------- for-loop [29] 100.0% [37] 268(1.7%) 268(1.7%) table-ref ...uning-experiments/src/common.rkt:42:0 ---------------------------------------------------------------------- ??? [32] 100.0% [38] 4844(30.1%) 0(0.0%) prepare-points-intervals ...s/src/points.rkt:133:0 loop [46] 100.0% ---------------------------------------------------------------------- for-loop [56] 2.1% merge-egraph-nodes! [39] 9.0% ??? [32] 14.5% for-loop [33] 74.4% [39] 3810(23.7%) 0(0.0%) merge-egraph-nodes! ...s/src/core/egraph.rkt:145:0 update-leader! [47] 72.9% loop! [49] 12.8% merge-egraph-nodes! [39] 9.0% enode-merge! [55] 3.3% for-loop [56] 2.1% ---------------------------------------------------------------------- match-e [34] 100.0% [40] 1158(7.2%) 918(5.7%) for-loop ...-experiments/src/core/ematch.rkt:52:11 for-loop [52] 29.5% ---------------------------------------------------------------------- for-loop [50] 31.8% for-loop [33] 68.2% [41] 516(3.2%) 0(0.0%) substitute-e ...periments/src/core/ematch.rkt:64:0 for-loop [50] 84.1% ??? [48] 15.9% ---------------------------------------------------------------------- compile [35] 41.6% ??? [51] 58.4% [42] 502(3.1%) 502(3.1%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [51] 58.4% ---------------------------------------------------------------------- ??? [32] 100.0% [43] 266(1.7%) 0(0.0%) eval-errors ...ng-experiments/src/points.rkt:203:0 for-loop [53] 100.0% ---------------------------------------------------------------------- ??? [32] 100.0% [44] 252(1.6%) 0(0.0%) oracle-error ...g-experiments/src/points.rkt:212:0 for-loop [54] 100.0% ---------------------------------------------------------------------- for-loop [33] 100.0% [45] 206(1.3%) 0(0.0%) dedup-children! ...iments/src/core/enode.rkt:199:0 loop [57] 100.0% ---------------------------------------------------------------------- prepare-points-intervals [38] 100.0% [46] 4844(30.1%) 0(0.0%) loop ...e/pruning-experiments/src/points.rkt:145:4 loop [58] 88.4% ??? [61] 11.6% ---------------------------------------------------------------------- loop [17] 7.4% apply-match [25] 24.3% merge-egraph-nodes! [39] 68.3% [47] 4066(25.3%) 0(0.0%) update-leader! ...iments/src/core/egraph.rkt:213:0 for-loop [59] 100.0% ---------------------------------------------------------------------- type-of [30] 17.9% substitute-e [41] 18.5% finalize-iter! [9] 63.6% [48] 1330(8.3%) 484(3.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 for-loop [60] 63.6% ---------------------------------------------------------------------- loop [62] 17.2% merge-egraph-nodes! [39] 82.8% [49] 786(4.9%) 244(1.5%) loop! ...ning-experiments/src/core/enode.rkt:191:2 custom-set-union [63] 34.6% loop [62] 17.2% set [64] 17.2% ---------------------------------------------------------------------- substitute-e [41] 100.0% [50] 516(3.2%) 0(0.0%) for-loop ...-experiments/src/core/ematch.rkt:73:24 mk-enode! [65] 52.3% substitute-e [41] 47.7% ---------------------------------------------------------------------- hash-ref! [42] 100.0% [51] 502(3.1%) 0(0.0%) ??? .../pruning-experiments/src/programs.rkt:189:5 hash-ref! [42] 100.0% ---------------------------------------------------------------------- for-loop [40] 100.0% [52] 444(2.8%) 0(0.0%) for-loop ...-experiments/src/core/ematch.rkt:58:37 match-e [34] 100.0% ---------------------------------------------------------------------- eval-errors [43] 100.0% [53] 266(1.7%) 0(0.0%) for-loop ...uning-experiments/src/points.rkt:205:2 point-error [66] 100.0% ---------------------------------------------------------------------- oracle-error [44] 100.0% [54] 252(1.6%) 0(0.0%) for-loop ...uning-experiments/src/points.rkt:213:2 loop [62] 100.0% ---------------------------------------------------------------------- merge-egraph-nodes! [39] 100.0% [55] 248(1.5%) 0(0.0%) enode-merge! ...periments/src/core/enode.rkt:128:0 adopt-enode! [67] 100.0% ---------------------------------------------------------------------- merge-egraph-nodes! [39] 100.0% [56] 244(1.5%) 0(0.0%) for-loop ...-experiments/src/core/egraph.rkt:199:4 merge-egraph-nodes! [39] 100.0% ---------------------------------------------------------------------- dedup-children! [45] 20.0% loop [57] 80.0% [57] 206(1.3%) 0(0.0%) loop ...racket-7.0/collects/racket/list.rkt:417:34 loop [57] 80.0% member [68] 20.0% ---------------------------------------------------------------------- loop [46] 100.0% [58] 4280(26.6%) 542(3.4%) loop ...e/pruning-experiments/src/points.rkt:104:2 ??? [77] 52.4% ??? [81] 34.9% ---------------------------------------------------------------------- update-leader! [47] 100.0% [59] 4066(25.3%) 0(0.0%) for-loop ...-experiments/src/core/egraph.rkt:218:6 hash-update! [73] 63.5% for-loop [69] 36.5% ---------------------------------------------------------------------- ??? [48] 100.0% [60] 846(5.3%) 0(0.0%) for-loop ...xperiments/src/core/alt-table.rkt:56:2 atab-add-altn [70] 100.0% ---------------------------------------------------------------------- loop [46] 100.0% [61] 564(3.5%) 0(0.0%) ??? ...ie/pruning-experiments/src/points.rkt:129:2 ??? [81] 100.0% ---------------------------------------------------------------------- for-loop [54] 48.3% loop! [49] 51.7% [62] 522(3.2%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop! [49] 51.7% ??? [77] 48.3% ---------------------------------------------------------------------- loop! [49] 100.0% [63] 272(1.7%) 272(1.7%) custom-set-union ...et/private/set-types.rkt:168:0 ---------------------------------------------------------------------- loop! [49] 100.0% [64] 270(1.7%) 270(1.7%) set ...collects/racket/private/set-types.rkt:981:0 ---------------------------------------------------------------------- for-loop [50] 100.0% [65] 270(1.7%) 0(0.0%) mk-enode! ...-experiments/src/core/egraph.rkt:99:0 mutable-set [71] 100.0% ---------------------------------------------------------------------- for-loop [53] 100.0% [66] 266(1.7%) 0(0.0%) point-error ...ng-experiments/src/points.rkt:195:0 ulp-difference [72] 100.0% ---------------------------------------------------------------------- enode-merge! [55] 100.0% [67] 248(1.5%) 248(1.5%) adopt-enode! ...periments/src/core/enode.rkt:104:0 ---------------------------------------------------------------------- loop [57] 100.0% [68] 206(1.3%) 206(1.3%) member (unknown source) ---------------------------------------------------------------------- for-loop [59] 100.0% [69] 1486(9.2%) 228(1.4%) for-loop ...-experiments/src/core/egraph.rkt:219:8 hash-update! [73] 84.7% ---------------------------------------------------------------------- for-loop [60] 100.0% [70] 846(5.3%) 296(1.8%) atab-add-altn ...ents/src/core/alt-table.rkt:202:0 errors [74] 65.0% ---------------------------------------------------------------------- mk-enode! [65] 100.0% [71] 270(1.7%) 270(1.7%) mutable-set .../racket/private/set-types.rkt:999:0 ---------------------------------------------------------------------- point-error [66] 100.0% [72] 266(1.7%) 266(1.7%) ulp-difference ...g-experiments/src/float.rkt:14:0 ---------------------------------------------------------------------- for-loop [69] 32.8% for-loop [59] 67.2% [73] 3838(23.9%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [75] 100.0% ---------------------------------------------------------------------- atab-add-altn [70] 39.5% ??? [32] 60.5% [74] 1392(8.7%) 0(0.0%) errors ...pruning-experiments/src/points.rkt:228:0 for-loop [76] 100.0% ---------------------------------------------------------------------- hash-update! [73] 100.0% [75] 3838(23.9%) 242(1.5%) ??? ...ning-experiments/src/core/egraph.rkt:221:24 for-loop [78] 93.7% ---------------------------------------------------------------------- errors [74] 100.0% [76] 1392(8.7%) 0(0.0%) for-loop ...uning-experiments/src/points.rkt:230:2 ??? [77] 100.0% ---------------------------------------------------------------------- loop [62] 6.5% for-loop [76] 35.8% loop [58] 57.7% [77] 3888(24.2%) 282(1.8%) ??? .../pruning-experiments/src/programs.rkt:146:2 ??? [81] 55.8% ??? [79] 36.9% ---------------------------------------------------------------------- ??? [75] 100.0% [78] 3596(22.4%) 3322(20.6%) for-loop ...experiments/src/core/egraph.rkt:222:26 update-en-expr [80] 7.6% ---------------------------------------------------------------------- ??? [77] 100.0% [79] 1436(8.9%) 0(0.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [82] 40.0% ??? [83] 20.8% ??? [81] 20.6% double->posit16 [84] 18.7% ---------------------------------------------------------------------- for-loop [78] 100.0% [80] 274(1.7%) 274(1.7%) update-en-expr ...iments/src/core/egraph.rkt:207:0 ---------------------------------------------------------------------- ??? [79] 6.5% ??? [61] 12.5% loop [58] 33.0% ??? [77] 48.0% [81] 4524(28.1%) 1094(6.8%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [85] 45.0% mk-ival [86] 24.2% ival-mult [88] 6.5% ---------------------------------------------------------------------- ??? [79] 100.0% [82] 574(3.6%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-add [87] 100.0% ---------------------------------------------------------------------- ??? [79] 100.0% [83] 298(1.9%) 298(1.9%) ??? ...ng-experiments/src/syntax/syntax.rkt:317:17 ---------------------------------------------------------------------- ??? [79] 100.0% [84] 268(1.7%) 0(0.0%) double->posit16 ...ftposit-rkt/softposit.rkt:248:0 get-ffi-obj* [89] 100.0% ---------------------------------------------------------------------- ??? [81] 100.0% [85] 2038(12.7%) 572(3.6%) ->flonum ...ning-experiments/src/programs.rkt:38:0 keyword-apply [90] 43.0% return/no-unsupplied [92] 14.5% ??? [93] 14.4% ---------------------------------------------------------------------- ??? [81] 100.0% [86] 1096(6.8%) 556(3.5%) mk-ival ...ng-experiments/src/biginterval.rkt:59:0 bf [91] 49.3% ---------------------------------------------------------------------- ??? [82] 100.0% [87] 574(3.6%) 0(0.0%) ival-add ...g-experiments/src/biginterval.rkt:87:0 ??? [94] 50.2% ...higher-order.rkt:361:33 [95] 49.8% ---------------------------------------------------------------------- ??? [81] 100.0% [88] 296(1.8%) 296(1.8%) ival-mult ...experiments/src/biginterval.rkt:105:0 ---------------------------------------------------------------------- double->posit16 [84] 100.0% [89] 268(1.7%) 268(1.7%) get-ffi-obj* ...-7.0/collects/ffi/unsafe.rkt:209:2 ---------------------------------------------------------------------- ->flonum [85] 100.0% [90] 876(5.4%) 876(5.4%) keyword-apply ...lects/racket/private/kw.rkt:421:2 ---------------------------------------------------------------------- mk-ival [86] 100.0% [91] 540(3.4%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [96] 100.0% ---------------------------------------------------------------------- ->flonum [85] 100.0% [92] 296(1.8%) 296(1.8%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 ---------------------------------------------------------------------- ->flonum [85] 100.0% [93] 294(1.8%) 294(1.8%) ??? ...-7.0/collects/racket/lazy-require.rkt:106:6 ---------------------------------------------------------------------- ival-add [87] 100.0% [94] 288(1.8%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [97] 100.0% ---------------------------------------------------------------------- ival-add [87] 100.0% [95] 286(1.8%) 0(0.0%) ...higher-order.rkt:361:33 (unknown source) ??? [98] 100.0% ---------------------------------------------------------------------- bf [91] 100.0% [96] 540(3.4%) 540(3.4%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ---------------------------------------------------------------------- ??? [94] 100.0% [97] 288(1.8%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 ??? [99] 100.0% ---------------------------------------------------------------------- ...higher-order.rkt:361:33 [95]100.0% [98] 286(1.8%) 286(1.8%) ??? ...cts/racket/contract/private/list.rkt:209:10 ---------------------------------------------------------------------- bfadd [97] 100.0% [99] 288(1.8%) 288(1.8%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 ----------------------------------------------------------------------