Profiling results ----------------- Total cpu time observed: 12620ms (out of 12936ms) Number of samples taken: 39 (once every 324ms) =================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =================================================================== ??? [17] 100.0% [1] 12302(97.5%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [5] 100.0% ------------------------------------------------------------------- ??? [17] 100.0% [2] 2442(19.4%) 0(0.0%) run-improve50 ...me-testing/src/mainloop.rkt:235:0 for-loop [6] 100.0% ------------------------------------------------------------------- loop [28] 21.7% ??? [52] 26.1% loop [46] 52.2% [3] 1280(10.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [23] 100.0% ------------------------------------------------------------------- match-e [53] 100.0% [4] 256(2.0%) 0(0.0%) for-loop ...gime-testing/src/core/ematch.rkt:59:11 for-loop [7] 100.0% ------------------------------------------------------------------- profile-thunk16 [1] 97.5% [5] 12620(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [17] 100.0% ------------------------------------------------------------------- run-improve50 [2] 100.0% [6] 2442(19.4%) 0(0.0%) for-loop ...regime-testing/src/mainloop.rkt:251:10 run-iter! [8] 100.0% ------------------------------------------------------------------- for-loop [4] 100.0% [7] 256(2.0%) 0(0.0%) for-loop ...gime-testing/src/core/ematch.rkt:65:37 match-e [53] 100.0% ------------------------------------------------------------------- for-loop [6] 100.0% [8] 2442(19.4%) 0(0.0%) run-iter! ...regime-testing/src/mainloop.rkt:215:0 simplify! [9] 65.3% gen-rewrites! [10] 11.8% finalize-iter! [11] 11.5% localize-error [12] 11.4% ------------------------------------------------------------------- run-iter! [8] 100.0% [9] 1594(12.6%) 0(0.0%) simplify! ...regime-testing/src/mainloop.rkt:155:0 for-loop [13] 100.0% ------------------------------------------------------------------- run-iter! [8] 100.0% [10] 288(2.3%) 0(0.0%) gen-rewrites! ...me-testing/src/mainloop.rkt:142:0 for-loop [14] 100.0% ------------------------------------------------------------------- run-iter! [8] 100.0% [11] 282(2.2%) 0(0.0%) finalize-iter! ...e-testing/src/mainloop.rkt:169:0 ??? [15] 100.0% ------------------------------------------------------------------- run-iter! [8] 100.0% [12] 278(2.2%) 0(0.0%) localize-error ...sting/src/core/localize.rkt:47:0 hash-ref! [16] 100.0% ------------------------------------------------------------------- simplify! [9] 100.0% [13] 1594(12.6%) 0(0.0%) for-loop .../regime-testing/src/mainloop.rkt:159:6 ??? [17] 100.0% ------------------------------------------------------------------- gen-rewrites! [10] 100.0% [14] 288(2.3%) 0(0.0%) for-loop ...regime-testing/src/mainloop.rkt:147:11 ??? [18] 100.0% ------------------------------------------------------------------- finalize-iter! [11] 100.0% [15] 282(2.2%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 for-loop [19] 100.0% ------------------------------------------------------------------- localize-error [12] 100.0% [16] 278(2.2%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 parse-loop12 [20] 100.0% ------------------------------------------------------------------- for-loop [13] 4.2% run [5] 49.2% [17] 12620(100.0%) 696(5.5%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 46.6% prepare-points [21] 16.3% loop [22] 13.7% run-improve50 [2] 7.6% oracle-error [24] 4.9% ??? [23] 4.2% eval-errors [40] 2.5% errors-score [25] 1.3% ------------------------------------------------------------------- for-loop [14] 100.0% [18] 288(2.3%) 0(0.0%) ??? ...bie/regime-testing/src/alternative.rkt:88:0 rewriter [26] 100.0% ------------------------------------------------------------------- ??? [15] 100.0% [19] 282(2.2%) 0(0.0%) for-loop ...me-testing/src/core/alt-table.rkt:51:2 atab-add-altn [27] 100.0% ------------------------------------------------------------------- hash-ref! [16] 100.0% [20] 278(2.2%) 0(0.0%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [28] 100.0% ------------------------------------------------------------------- ??? [17] 100.0% [21] 4124(32.7%) 0(0.0%) prepare-points ...ime-testing/src/points.rkt:214:0 loop [38] 41.1% make-exacts* [37] 34.9% loop [29] 24.0% ------------------------------------------------------------------- ??? [17] 100.0% [22] 3148(24.9%) 0(0.0%) loop ...herbie/regime-testing/src/points.rkt:238:2 make-exacts* [37] 34.9% loop [29] 31.4% loop [38] 23.6% for-loop [33] 10.1% ------------------------------------------------------------------- ??? [23] 4.7% for-loop [31] 23.0% ??? [17] 27.7% ??? [3] 44.5% [23] 2874(22.8%) 612(4.8%) ??? ...llects/racket/private/norm-define.rkt:53:83 iterate-egraph!13 [30] 27.7% return/no-unsupplied [58] 23.2% for-loop [31] 23.0% ??? [23] 4.7% ------------------------------------------------------------------- ??? [17] 100.0% [24] 1236(9.8%) 0(0.0%) oracle-error ...egime-testing/src/points.rkt:290:0 for-loop [32] 100.0% ------------------------------------------------------------------- ??? [17] 100.0% [25] 336(2.7%) 336(2.7%) errors-score ...egime-testing/src/points.rkt:301:0 ------------------------------------------------------------------- ??? [18] 33.3% matcher [44] 66.7% [26] 288(2.3%) 0(0.0%) rewriter ...ime-testing/src/core/matcher.rkt:131:2 for-loop [35] 66.7% *rules* [34] 33.3% ------------------------------------------------------------------- for-loop [19] 100.0% [27] 282(2.2%) 0(0.0%) atab-add-altn ...ting/src/core/alt-table.rkt:208:0 best-and-tied-at-points [36]100.0% ------------------------------------------------------------------- parse-loop12 [20] 25.0% loop [28] 75.0% [28] 278(2.2%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:36:19 loop [28] 75.0% ??? [3] 25.0% ------------------------------------------------------------------- loop [22] 49.9% prepare-points [21] 50.1% [29] 1978(15.7%) 0(0.0%) loop ...herbie/regime-testing/src/points.rkt:158:2 make-exacts* [37] 84.4% loop [38] 15.6% ------------------------------------------------------------------- ??? [23] 100.0% [30] 1594(12.6%) 0(0.0%) iterate-egraph!13 ...g/src/core/simplify.rkt:105:0 one-iter [39] 83.8% map-enodes [45] 16.2% ------------------------------------------------------------------- ??? [23] 100.0% [31] 1324(10.5%) 0(0.0%) for-loop ...me-testing/src/core/simplify.rkt:66:12 ??? [23] 100.0% ------------------------------------------------------------------- oracle-error [24] 100.0% [32] 1236(9.8%) 0(0.0%) for-loop ...ie/regime-testing/src/points.rkt:291:2 loop [46] 73.0% map [41] 27.0% ------------------------------------------------------------------- loop [22] 100.0% [33] 318(2.5%) 0(0.0%) for-loop ...e/regime-testing/src/points.rkt:255:26 ??? [42] 100.0% ------------------------------------------------------------------- rewriter [26] 100.0% [34] 288(2.3%) 0(0.0%) *rules* ...gime-testing/src/syntax/rules.rkt:565:0 for-loop [43] 100.0% ------------------------------------------------------------------- rewriter [26] 100.0% [35] 288(2.3%) 0(0.0%) for-loop ...me-testing/src/core/matcher.rkt:134:10 matcher [44] 100.0% ------------------------------------------------------------------- atab-add-altn [27] 100.0% [36] 282(2.2%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 eval-errors [40] 100.0% ------------------------------------------------------------------- loop [22] 26.1% prepare-points [21] 34.2% loop [29] 39.7% [37] 4210(33.4%) 0(0.0%) make-exacts* ...egime-testing/src/points.rkt:138:0 loop [46] 92.3% eval-prog [50] 7.7% ------------------------------------------------------------------- loop [29] 11.2% loop [22] 27.0% prepare-points [21] 61.7% [38] 2744(21.7%) 0(0.0%) loop ...herbie/regime-testing/src/points.rkt:141:4 loop [46] 100.0% ------------------------------------------------------------------- iterate-egraph!13 [30] 100.0% [39] 1336(10.6%) 0(0.0%) one-iter ...me-testing/src/core/simplify.rkt:116:0 for-loop [47] 100.0% ------------------------------------------------------------------- best-and-tied-at-points [36] 30.7% ??? [17] 69.3% [40] 920(7.3%) 0(0.0%) eval-errors ...regime-testing/src/points.rkt:271:0 for-loop [48] 100.0% ------------------------------------------------------------------- for-loop [32] 100.0% [41] 334(2.6%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 ??? [49] 100.0% ------------------------------------------------------------------- for-loop [33] 100.0% [42] 318(2.5%) 318(2.5%) ??? .../herbie/regime-testing/src/points.rkt:230:7 ------------------------------------------------------------------- *rules* [34] 100.0% [43] 288(2.3%) 0(0.0%) for-loop ...ie/regime-testing/src/common.rkt:100:9 loop [51] 100.0% ------------------------------------------------------------------- matcher [44] 50.0% for-loop [35] 50.0% [44] 288(2.3%) 0(0.0%) matcher ...gime-testing/src/core/matcher.rkt:167:2 matcher [44] 50.0% rewriter [26] 50.0% ------------------------------------------------------------------- iterate-egraph!13 [30] 100.0% [45] 258(2.0%) 0(0.0%) map-enodes ...me-testing/src/core/egraph.rkt:140:0 loop [46] 100.0% ------------------------------------------------------------------- loop [38] 0.1% make-exacts* [37] 1.9% map-enodes [45] 3.3% for-loop [32] 7.6% loop [46] 87.0% [46] 7788(61.7%) 356(2.8%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [46] 87.0% ulp-difference [54] 5.6% ??? [52] 4.0% for-loop [56] 3.3% ??? [3] 0.0% ------------------------------------------------------------------- for-loop [47] 50.0% one-iter [39] 50.0% [47] 1336(10.6%) 0(0.0%) for-loop ...e-testing/src/core/simplify.rkt:126:12 for-loop [47] 50.0% match-e [53] 50.0% ------------------------------------------------------------------- eval-errors [40] 100.0% [48] 920(7.3%) 0(0.0%) for-loop ...ie/regime-testing/src/points.rkt:273:2 ??? [52] 65.4% ulp-difference [54] 34.6% ------------------------------------------------------------------- map [41] 100.0% [49] 334(2.6%) 0(0.0%) ??? ...herbie/regime-testing/src/points.rkt:292:26 ??? [52] 100.0% ------------------------------------------------------------------- make-exacts* [37] 100.0% [50] 326(2.6%) 326(2.6%) eval-prog ...regime-testing/src/programs.rkt:150:0 ------------------------------------------------------------------- for-loop [43] 100.0% [51] 288(2.3%) 0(0.0%) loop ...ket/collects/racket/private/map.rkt:112:23 flag-set? [55] 100.0% ------------------------------------------------------------------- ??? [49] 4.9% for-loop [48] 8.8% loop [46] 86.3% [52] 6840(54.2%) 332(2.6%) ??? ...erbie/regime-testing/src/programs.rkt:156:4 ??? [57] 73.7% ??? [59] 16.5% ??? [3] 4.9% ------------------------------------------------------------------- for-loop [7] 9.6% for-loop [47] 90.4% [53] 1336(10.6%) 1068(8.5%) match-e ...regime-testing/src/core/ematch.rkt:46:0 list-cartesian-product [61] 20.1% for-loop [4] 9.6% ------------------------------------------------------------------- for-loop [48] 34.6% loop [46] 65.4% [54] 920(7.3%) 318(2.5%) ulp-difference ...egime-testing/src/float.rkt:19:0 return/no-unsupplied [58] 35.2% ??? [60] 30.2% ------------------------------------------------------------------- loop [51] 100.0% [55] 288(2.3%) 0(0.0%) flag-set? ...ie/regime-testing/src/config.rkt:34:0 return/no-unsupplied [58] 100.0% ------------------------------------------------------------------- loop [46] 100.0% [56] 258(2.0%) 0(0.0%) for-loop ...me-testing/src/core/simplify.rkt:195:2 eval-const-expr [62] 100.0% ------------------------------------------------------------------- ??? [52] 100.0% [57] 5042(40.0%) 2646(21.0%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [63] 47.5% ------------------------------------------------------------------- flag-set? [55] 22.5% ulp-difference [54] 25.3% ??? [23] 52.2% [58] 1280(10.1%) 946(7.5%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 filter [65] 26.1% ------------------------------------------------------------------- ??? [52] 100.0% [59] 1132(9.0%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [64] 100.0% ------------------------------------------------------------------- ulp-difference [54] 100.0% [60] 278(2.2%) 278(2.2%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ------------------------------------------------------------------- match-e [53] 100.0% [61] 268(2.1%) 268(2.1%) list-cartesian-product ...src/core/ematch.rkt:20:0 ------------------------------------------------------------------- for-loop [56] 100.0% [62] 258(2.0%) 0(0.0%) eval-const-expr ...-testing/src/programs.rkt:168:0 ??? [66] 100.0% ------------------------------------------------------------------- ??? [57] 100.0% [63] 2396(19.0%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [67] 100.0% ------------------------------------------------------------------- ??? [59] 100.0% [64] 1132(9.0%) 780(6.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [71] 31.1% ------------------------------------------------------------------- return/no-unsupplied [58] 100.0% [65] 334(2.6%) 334(2.6%) filter ...t/collects/racket/private/list.rkt:256:2 ------------------------------------------------------------------- eval-const-expr [62] 100.0% [66] 258(2.0%) 0(0.0%) ??? ...cket/collects/racket/private/kw.rkt:1633:36 unpack245 [68] 100.0% ------------------------------------------------------------------- bf* [63] 100.0% [67] 2396(19.0%) 662(5.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [69] 72.4% ------------------------------------------------------------------- ??? [66] 100.0% [68] 258(2.0%) 0(0.0%) unpack245 ...private/arrow-higher-order.rkt:354:44 maybe-cons-kwd [70] 100.0% ------------------------------------------------------------------- ??? [67] 100.0% [69] 1734(13.7%) 1378(10.9%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [71] 20.5% ------------------------------------------------------------------- unpack245 [68] 100.0% [70] 258(2.0%) 258(2.0%) maybe-cons-kwd ...ate/arrow-higher-order.rkt:498:0 ------------------------------------------------------------------- real->bigfloat [64] 49.7% bfmul [69] 50.3% [71] 708(5.6%) 708(5.6%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 -------------------------------------------------------------------