Profiling results ----------------- Total cpu time observed: 479946ms (out of 481024ms) Number of samples taken: 2914 (once every 165ms) (Hiding functions with self<1.0% and local<2.0%: 5 of 111 hidden) ==================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ==================================================================== ??? [5] 100.0% [1] 479946(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% -------------------------------------------------------------------- ??? [5] 100.0% [2] 308(0.1%) 0(0.0%) errors ...bie/optional-posits/src/points.rkt:223:0 for-loop [4] 100.0% -------------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 479946(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% -------------------------------------------------------------------- errors [2] 100.0% [4] 308(0.1%) 0(0.0%) for-loop ...e/optional-posits/src/points.rkt:225:2 ??? [5] 100.0% -------------------------------------------------------------------- for-loop [4] 0.0% run [3] 50.0% [5] 479946(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% run-improve43 [6] 49.9% prepare-points [7] 0.0% errors [2] 0.0% eval-errors [8] 0.0% oracle-error [9] 0.0% ??? [20] 0.0% errors-score [10] 0.0% ordinary-value? [25] 0.0% ulp-difference [24] 0.0% ??? [31] 0.0% -------------------------------------------------------------------- ??? [5] 100.0% [6] 478912(99.8%) 0(0.0%) run-improve43 ...nal-posits/src/mainloop.rkt:340:0 simplify! [11] 100.0% -------------------------------------------------------------------- ??? [5] 100.0% [7] 374(0.1%) 0(0.0%) prepare-points ...onal-posits/src/points.rkt:166:0 loop [12] 100.0% -------------------------------------------------------------------- ??? [5] 100.0% [8] 152(0.0%) 0(0.0%) eval-errors ...ptional-posits/src/points.rkt:198:0 for-loop [13] 100.0% -------------------------------------------------------------------- ??? [5] 100.0% [9] 150(0.0%) 0(0.0%) oracle-error ...tional-posits/src/points.rkt:207:0 for-loop [14] 100.0% -------------------------------------------------------------------- ??? [5] 100.0% [10] 50(0.0%) 0(0.0%) errors-score ...tional-posits/src/points.rkt:215:0 loop [15] 100.0% -------------------------------------------------------------------- run-improve43 [6] 100.0% [11] 478912(99.8%) 0(0.0%) simplify! ...ptional-posits/src/mainloop.rkt:217:0 ??? [16] 100.0% -------------------------------------------------------------------- prepare-points [7] 100.0% [12] 374(0.1%) 0(0.0%) loop ...erbie/optional-posits/src/points.rkt:143:4 loop [17] 100.0% -------------------------------------------------------------------- eval-errors [8] 100.0% [13] 152(0.0%) 0(0.0%) for-loop ...e/optional-posits/src/points.rkt:200:2 ulp-difference [24] 67.1% ??? [20] 32.9% -------------------------------------------------------------------- oracle-error [9] 100.0% [14] 150(0.0%) 50(0.0%) for-loop ...e/optional-posits/src/points.rkt:208:2 map [18] 66.7% -------------------------------------------------------------------- errors-score [10] 100.0% [15] 50(0.0%) 0(0.0%) loop .../racket-7.0/collects/racket/list.rkt:559:2 ordinary-value? [25] 100.0% -------------------------------------------------------------------- simplify! [11] 100.0% [16] 478912(99.8%) 0(0.0%) ??? .../optional-posits/src/core/simplify.rkt:26:0 for-loop [19] 100.0% loop [22] 0.0% -------------------------------------------------------------------- loop [12] 100.0% [17] 374(0.1%) 106(0.0%) loop ...erbie/optional-posits/src/points.rkt:102:2 ??? [20] 42.2% ??? [93] 29.4% -------------------------------------------------------------------- for-loop [14] 100.0% [18] 100(0.0%) 0(0.0%) map ...t-7.0/collects/racket/private/map.rkt:35:13 ??? [21] 100.0% -------------------------------------------------------------------- ??? [16] 100.0% [19] 478862(99.8%) 250(0.1%) for-loop ...onal-posits/src/core/simplify.rkt:33:2 one-iter [23] 99.9% -------------------------------------------------------------------- for-loop [13] 13.7% ??? [5] 42.9% loop [17] 43.4% [20] 364(0.1%) 52(0.0%) ??? ...erbie/optional-posits/src/programs.rkt:99:2 ??? [31] 56.6% ??? [26] 15.4% ??? [100] 13.7% -------------------------------------------------------------------- map [18] 100.0% [21] 100(0.0%) 0(0.0%) ??? ...erbie/optional-posits/src/points.rkt:209:26 ordinary-value? [25] 50.0% ulp-difference [24] 50.0% -------------------------------------------------------------------- ??? [16] 100.0% [22] 50(0.0%) 0(0.0%) loop ...ptional-posits/src/core/simplify.rkt:142:2 for-loop [27] 100.0% -------------------------------------------------------------------- for-loop [19] 100.0% [23] 478612(99.7%) 0(0.0%) one-iter ...onal-posits/src/core/simplify.rkt:85:0 for-loop [28] 51.8% find-matches [29] 47.3% for-loop [30] 0.8% -------------------------------------------------------------------- ??? [21] 24.8% ??? [5] 24.8% for-loop [13] 50.5% [24] 202(0.0%) 0(0.0%) ulp-difference ...tional-posits/src/float.rkt:46:0 infer-representation [32]100.0% -------------------------------------------------------------------- ??? [21] 32.9% loop [15] 32.9% ??? [5] 34.2% [25] 152(0.0%) 0(0.0%) ordinary-value? ...ional-posits/src/float.rkt:80:0 special-value? [33] 100.0% -------------------------------------------------------------------- ??? [20] 100.0% [26] 56(0.0%) 0(0.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [31] 100.0% -------------------------------------------------------------------- loop [22] 100.0% [27] 50(0.0%) 0(0.0%) for-loop ...nal-posits/src/core/simplify.rkt:148:4 loop [34] 100.0% -------------------------------------------------------------------- one-iter [23] 100.0% [28] 248146(51.7%) 0(0.0%) for-loop ...onal-posits/src/core/simplify.rkt:94:2 loop [35] 99.0% reduce-to-single! [38] 1.0% -------------------------------------------------------------------- one-iter [23] 100.0% [29] 226490(47.2%) 336(0.1%) find-matches ...-posits/src/core/simplify.rkt:55:0 for-loop [36] 99.9% -------------------------------------------------------------------- one-iter [23] 100.0% [30] 3976(0.8%) 0(0.0%) for-loop ...nal-posits/src/core/simplify.rkt:110:2 set-precompute! [37] 100.0% -------------------------------------------------------------------- ??? [5] 16.0% ??? [26] 17.9% ??? [20] 66.0% [31] 312(0.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [40] 66.0% ival-mult [41] 17.9% mk-ival [43] 16.0% -------------------------------------------------------------------- ulp-difference [24] 100.0% [32] 202(0.0%) 50(0.0%) infer-representation ...-posits/src/float.rkt:15:0 for-loop [39] 75.2% -------------------------------------------------------------------- ordinary-value? [25] 100.0% [33] 152(0.0%) 0(0.0%) special-value? ...tional-posits/src/float.rkt:76:0 for-loop [39] 100.0% -------------------------------------------------------------------- for-loop [27] 100.0% [34] 50(0.0%) 0(0.0%) loop .../racket-7.0/collects/racket/list.rkt:751:4 for-loop [42] 100.0% -------------------------------------------------------------------- loop [35] 1.1% for-loop [28] 98.9% [35] 245574(51.2%) 0(0.0%) loop ...optional-posits/src/core/simplify.rkt:99:4 apply-match [44] 98.9% loop [35] 1.1% -------------------------------------------------------------------- for-loop [36] 49.4% find-matches [29] 50.6% [36] 226154(47.1%) 15310(3.2%) for-loop ...onal-posits/src/core/simplify.rkt:57:8 for-loop [36] 49.4% match-e [52] 46.0% ??? [78] 0.6% -------------------------------------------------------------------- for-loop [30] 100.0% [37] 3976(0.8%) 0(0.0%) set-precompute! ...its/src/core/simplify.rkt:116:0 for-loop [45] 92.5% make-sequence [61] 7.5% -------------------------------------------------------------------- for-loop [28] 100.0% [38] 2572(0.5%) 0(0.0%) reduce-to-single! ...its/src/core/egraph.rkt:318:0 for-loop [46] 100.0% -------------------------------------------------------------------- infer-representation [32] 50.0% special-value? [33] 50.0% [39] 304(0.1%) 204(0.0%) for-loop ...bie/optional-posits/src/float.rkt:17:3 ??? [48] 32.9% -------------------------------------------------------------------- ??? [31] 100.0% [40] 206(0.0%) 0(0.0%) ->flonum ...ie/optional-posits/src/float.rkt:149:0 ??? [47] 100.0% -------------------------------------------------------------------- ??? [31] 100.0% [41] 56(0.0%) 56(0.0%) ival-mult ...onal-posits/src/biginterval.rkt:112:0 -------------------------------------------------------------------- loop [34] 100.0% [42] 50(0.0%) 0(0.0%) for-loop ...optional-posits/src/programs.rkt:158:2 table-ref [49] 100.0% -------------------------------------------------------------------- ??? [31] 100.0% [43] 50(0.0%) 0(0.0%) mk-ival ...ptional-posits/src/biginterval.rkt:57:0 bf [50] 100.0% -------------------------------------------------------------------- loop [35] 100.0% [44] 245574(51.2%) 0(0.0%) apply-match ...l-posits/src/core/simplify.rkt:64:0 for-loop [51] 92.4% match-e [52] 6.9% set [77] 0.4% custom-set-intersect [56] 0.0% -------------------------------------------------------------------- set-precompute! [37] 100.0% [45] 3676(0.8%) 596(0.1%) for-loop ...nal-posits/src/core/simplify.rkt:118:2 setfindf [53] 83.8% -------------------------------------------------------------------- reduce-to-single! [38] 100.0% [46] 2572(0.5%) 280(0.1%) for-loop ...ional-posits/src/core/egraph.rkt:319:8 constant? [91] 89.1% -------------------------------------------------------------------- ->flonum [40] 100.0% [47] 206(0.0%) 0(0.0%) ??? ...s/herbie/optional-posits/src/float.rkt:23:2 for-loop [54] 100.0% -------------------------------------------------------------------- for-loop [39] 100.0% [48] 100(0.0%) 100(0.0%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 -------------------------------------------------------------------- for-loop [42] 100.0% [49] 50(0.0%) 50(0.0%) table-ref ...e/optional-posits/src/common.rkt:41:0 -------------------------------------------------------------------- mk-ival [43] 100.0% [50] 50(0.0%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [55] 100.0% -------------------------------------------------------------------- apply-match [44] 100.0% [51] 226922(47.3%) 956(0.2%) for-loop ...onal-posits/src/core/simplify.rkt:77:2 merge-egraph-nodes! [58] 51.3% dedup-children! [64] 47.0% substitute-e [60] 1.1% mk-enode! [81] 0.2% -------------------------------------------------------------------- apply-match [44] 4.0% for-loop [63] 24.6% for-loop [36] 71.4% [52] 225210(46.9%) 17814(3.7%) match-e ...ptional-posits/src/core/ematch.rkt:39:0 constant? [91] 45.8% for-loop [57] 41.1% variable? [66] 5.5% ??? [93] 0.8% make-sequence [61] 0.2% custom-in-set [82] 0.2% -------------------------------------------------------------------- for-loop [45] 100.0% [53] 3080(0.6%) 356(0.1%) setfindf ...e/optional-posits/src/common.rkt:138:0 for-loop [59] 88.4% -------------------------------------------------------------------- ??? [47] 100.0% [54] 206(0.0%) 206(0.0%) for-loop ...bie/optional-posits/src/float.rkt:24:5 -------------------------------------------------------------------- bf [50] 100.0% [55] 50(0.0%) 50(0.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 -------------------------------------------------------------------- apply-match [44] 100.0% [56] 50(0.0%) 0(0.0%) custom-set-intersect ...rivate/set-types.rkt:195:0 for-loop [62] 100.0% -------------------------------------------------------------------- match-e [52] 100.0% [57] 139134(29.0%) 24654(5.1%) for-loop ...ional-posits/src/core/ematch.rkt:52:11 for-loop [63] 80.0% curry* [69] 0.9% foldl [70] 0.5% foldr [71] 0.3% -------------------------------------------------------------------- merge-egraph-nodes! [58] 2.9% for-loop [51] 97.1% [58] 116434(24.3%) 0(0.0%) merge-egraph-nodes! ...s/src/core/egraph.rkt:143:0 loop! [65] 87.8% dedup-children! [64] 4.8% update-leader! [67] 4.2% merge-egraph-nodes! [58] 2.9% enode-merge! [73] 0.2% -------------------------------------------------------------------- setfindf [53] 100.0% [59] 2724(0.6%) 300(0.1%) for-loop ...e/optional-posits/src/common.rkt:139:2 constant? [91] 89.0% -------------------------------------------------------------------- for-loop [68] 41.1% for-loop [51] 58.9% [60] 2448(0.5%) 330(0.1%) substitute-e ...al-posits/src/core/ematch.rkt:64:0 for-loop [68] 51.3% constant? [91] 26.1% variable? [66] 13.8% ??? [93] 1.1% -------------------------------------------------------------------- set-precompute! [37] 31.3% match-e [52] 68.7% [61] 958(0.2%) 658(0.1%) make-sequence ...ects/racket/private/for.rkt:528:2 ??? [72] 31.3% -------------------------------------------------------------------- custom-set-intersect [56]100.0% [62] 50(0.0%) 0(0.0%) for-loop ...cts/racket/private/set-types.rkt:207:3 for-loop [74] 100.0% -------------------------------------------------------------------- for-loop [57] 100.0% [63] 112814(23.5%) 1478(0.3%) for-loop ...ional-posits/src/core/ematch.rkt:58:37 match-e [52] 91.9% ??? [78] 6.9% -------------------------------------------------------------------- merge-egraph-nodes! [58] 5.0% for-loop [51] 95.0% [64] 112218(23.4%) 0(0.0%) dedup-children! ...posits/src/core/enode.rkt:198:0 loop [75] 100.0% -------------------------------------------------------------------- loop [76] 25.5% merge-egraph-nodes! [58] 74.5% [65] 105660(22.0%) 21774(4.5%) loop! .../optional-posits/src/core/enode.rkt:190:2 custom-set-union [86] 44.6% loop [76] 30.3% set [77] 12.4% update-en-expr [106] 1.7% -------------------------------------------------------------------- substitute-e [60] 2.9% match-e [52] 97.1% [66] 28126(5.9%) 2600(0.5%) variable? ...al-posits/src/syntax/syntax.rkt:724:0 for-loop [101] 59.4% value? [97] 29.0% ??? [93] 2.3% -------------------------------------------------------------------- merge-egraph-nodes! [58] 100.0% [67] 4940(1.0%) 0(0.0%) update-leader! ...posits/src/core/egraph.rkt:211:0 for-loop [79] 100.0% -------------------------------------------------------------------- substitute-e [60] 100.0% [68] 2046(0.4%) 0(0.0%) for-loop ...ional-posits/src/core/ematch.rkt:73:24 substitute-e [60] 87.9% mk-enode! [81] 12.1% -------------------------------------------------------------------- for-loop [57] 100.0% [69] 1522(0.3%) 400(0.1%) curry* ...et-7.0/collects/racket/function.rkt:44:2 procedure-arity [80] 73.7% -------------------------------------------------------------------- for-loop [57] 100.0% [70] 788(0.2%) 486(0.1%) foldl ....0/collects/racket/private/list.rkt:229:4 merge2 [83] 38.3% -------------------------------------------------------------------- for-loop [57] 100.0% [71] 402(0.1%) 352(0.1%) foldr ....0/collects/racket/private/list.rkt:242:4 cp-2 [85] 12.4% -------------------------------------------------------------------- make-sequence [61] 100.0% [72] 300(0.1%) 0(0.0%) ??? ...t-7.0/collects/racket/private/for.rkt:448:7 custom-in-set [82] 100.0% -------------------------------------------------------------------- merge-egraph-nodes! [58] 100.0% [73] 250(0.1%) 0(0.0%) enode-merge! ...al-posits/src/core/enode.rkt:127:0 adopt-enode! [84] 100.0% -------------------------------------------------------------------- for-loop [62] 100.0% [74] 50(0.0%) 50(0.0%) for-loop ...cts/racket/private/set-types.rkt:201:4 -------------------------------------------------------------------- dedup-children! [64] 4.6% loop [75] 95.4% [75] 112218(23.4%) 112218(23.4%) loop ...racket-7.0/collects/racket/list.rkt:434:17 loop [75] 95.4% -------------------------------------------------------------------- loop! [65] 4.4% loop [76] 95.6% [76] 58976(12.3%) 5022(1.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [76] 95.6% loop! [65] 4.3% -------------------------------------------------------------------- apply-match [44] 3.7% loop! [65] 96.3% [77] 27208(5.7%) 26808(5.6%) set ...collects/racket/private/set-types.rkt:981:0 -------------------------------------------------------------------- for-loop [36] 25.6% for-loop [63] 74.4% [78] 10510(2.2%) 944(0.2%) ??? ...ie/optional-posits/src/core/ematch.rkt:43:5 for-loop [87] 91.0% -------------------------------------------------------------------- update-leader! [67] 100.0% [79] 4940(1.0%) 0(0.0%) for-loop ...ional-posits/src/core/egraph.rkt:216:6 for-loop [88] 70.1% hash-update! [94] 29.9% -------------------------------------------------------------------- curry* [69] 100.0% [80] 1122(0.2%) 1122(0.2%) procedure-arity ...ket/private/norm-arity.rkt:7:27 -------------------------------------------------------------------- for-loop [68] 35.5% for-loop [51] 64.5% [81] 698(0.1%) 100(0.0%) mk-enode! ...ional-posits/src/core/egraph.rkt:97:0 new-enode [89] 78.5% hash-has-key? [90] 7.2% -------------------------------------------------------------------- ??? [72] 46.0% match-e [52] 54.0% [82] 652(0.1%) 652(0.1%) custom-in-set ...acket/private/set-types.rkt:577:0 -------------------------------------------------------------------- foldl [70] 100.0% [83] 302(0.1%) 302(0.1%) merge2 ...optional-posits/src/core/ematch.rkt:24:0 -------------------------------------------------------------------- enode-merge! [73] 100.0% [84] 250(0.1%) 0(0.0%) adopt-enode! ...al-posits/src/core/enode.rkt:103:0 custom-set-union [86] 100.0% -------------------------------------------------------------------- foldr [71] 100.0% [85] 50(0.0%) 50(0.0%) cp-2 .../racket-7.0/collects/racket/list.rkt:826:2 -------------------------------------------------------------------- adopt-enode! [84] 0.5% loop! [65] 99.5% [86] 49468(10.3%) 16596(3.5%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [92] 59.5% for-loop [95] 6.9% -------------------------------------------------------------------- ??? [78] 100.0% [87] 9566(2.0%) 350(0.1%) for-loop ...tional-posits/src/core/ematch.rkt:44:7 constant? [91] 95.8% ??? [93] 0.5% -------------------------------------------------------------------- for-loop [79] 100.0% [88] 3464(0.7%) 0(0.0%) for-loop ...ional-posits/src/core/egraph.rkt:217:8 hash-update! [94] 100.0% -------------------------------------------------------------------- mk-enode! [81] 100.0% [89] 548(0.1%) 0(0.0%) new-enode ...tional-posits/src/core/enode.rkt:95:0 type-of-enode-expr [96] 100.0% -------------------------------------------------------------------- mk-enode! [81] 100.0% [90] 50(0.0%) 50(0.0%) hash-has-key? ...ket/private/more-scheme.rkt:371:2 -------------------------------------------------------------------- substitute-e [60] 0.7% for-loop [46] 1.5% for-loop [59] 1.6% for-loop [87] 6.1% match-e [52] 90.1% [91] 150910(31.4%) 11802(2.5%) constant? ...al-posits/src/syntax/syntax.rkt:721:0 for-loop [101] 52.0% value? [97] 40.2% -------------------------------------------------------------------- custom-set-union [86] 100.0% [92] 29456(6.1%) 14026(2.9%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [98] 52.4% -------------------------------------------------------------------- for-loop [87] 1.0% substitute-e [60] 1.0% loop [17] 2.2% variable? [66] 13.0% match-e [52] 82.8% [93] 5070(1.1%) 4504(0.9%) ??? ...contract/private/arrow-val-first.rkt:388:18 ??? [100] 11.2% -------------------------------------------------------------------- for-loop [79] 29.9% for-loop [88] 70.1% [94] 4940(1.0%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [99] 100.0% -------------------------------------------------------------------- custom-set-union [86] 100.0% [95] 3416(0.7%) 3416(0.7%) for-loop ...cts/racket/private/set-types.rkt:152:2 -------------------------------------------------------------------- new-enode [89] 100.0% [96] 548(0.1%) 248(0.1%) type-of-enode-expr ...sits/src/core/enode.rkt:67:0 value? [97] 54.7% -------------------------------------------------------------------- type-of-enode-expr [96] 0.4% variable? [66] 11.8% constant? [91] 87.8% [97] 69168(14.4%) 56912(11.9%) value? ...ptional-posits/src/syntax/types.rkt:18:0 ??? [104] 10.8% keyword-apply [105] 6.9% -------------------------------------------------------------------- for-loop [92] 100.0% [98] 15430(3.2%) 15430(3.2%) for-loop ...cts/racket/private/set-types.rkt:178:5 -------------------------------------------------------------------- hash-update! [94] 100.0% [99] 4940(1.0%) 0(0.0%) ??? .../optional-posits/src/core/egraph.rkt:219:24 for-loop [102] 100.0% -------------------------------------------------------------------- ??? [20] 8.1% ??? [93] 91.9% [100] 616(0.1%) 456(0.1%) ??? ...ects/racket/contract/private/guts.rkt:746:8 bigvalue? [103] 17.9% for-loop [101] 8.1% -------------------------------------------------------------------- ??? [100] 0.1% variable? [66] 17.6% constant? [91] 82.4% [101] 95156(19.8%) 74532(15.5%) for-loop ...onal-posits/src/syntax/types.rkt:18:19 ??? [104] 14.4% keyword-apply [105] 7.3% -------------------------------------------------------------------- ??? [99] 100.0% [102] 4940(1.0%) 4534(0.9%) for-loop ...onal-posits/src/core/egraph.rkt:220:26 update-en-expr [106] 8.2% -------------------------------------------------------------------- ??? [100] 100.0% [103] 110(0.0%) 110(0.0%) bigvalue? ...onal-posits/src/syntax/types.rkt:19:0 -------------------------------------------------------------------- value? [97] 35.4% for-loop [101] 64.6% [104] 21138(4.4%) 21138(4.4%) ??? ...-7.0/collects/racket/lazy-require.rkt:106:6 -------------------------------------------------------------------- value? [97] 40.7% for-loop [101] 59.3% [105] 11742(2.4%) 11742(2.4%) keyword-apply ...lects/racket/private/kw.rkt:421:2 -------------------------------------------------------------------- for-loop [102] 10.6% loop! [65] 89.4% [106] 3848(0.8%) 3848(0.8%) update-en-expr ...posits/src/core/egraph.rkt:205:0 --------------------------------------------------------------------