Profiling results ----------------- Total cpu time observed: 13996ms (out of 16636ms) Number of samples taken: 40 (once every 350ms) ================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================= ??? [3] 100.0% [1] 13684(97.8%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ----------------------------------------------------------------- profile-thunk16 [1] 97.8% [2] 13996(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ----------------------------------------------------------------- run [2] 51.1% [3] 13996(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 48.9% prepare-points [7] 33.3% loop [4] 4.9% run-improve50 [5] 4.7% eval-errors [24] 4.6% oracle-error [6] 3.6% ----------------------------------------------------------------- ??? [3] 100.0% [4] 1364(9.7%) 0(0.0%) loop ...herbie/regime-testing/src/points.rkt:238:2 make-exacts* [17] 51.8% loop [16] 24.2% loop [11] 24.0% ----------------------------------------------------------------- ??? [3] 100.0% [5] 1006(7.2%) 0(0.0%) run-improve50 ...me-testing/src/mainloop.rkt:235:0 prepare-points [7] 35.8% setup-alt-simplified [9] 33.2% get-final-combination [10] 31.0% ----------------------------------------------------------------- ??? [3] 100.0% [6] 994(7.1%) 0(0.0%) oracle-error ...egime-testing/src/points.rkt:290:0 for-loop [8] 100.0% ----------------------------------------------------------------- run-improve50 [5] 3.7% ??? [3] 96.3% [7] 9692(69.2%) 0(0.0%) prepare-points ...ime-testing/src/points.rkt:214:0 loop [16] 53.6% loop [11] 22.8% make-exacts* [17] 20.1% for-loop [13] 3.5% ----------------------------------------------------------------- oracle-error [6] 100.0% [8] 994(7.1%) 310(2.2%) for-loop ...ie/regime-testing/src/points.rkt:291:2 map [12] 35.4% loop [21] 33.4% ----------------------------------------------------------------- run-improve50 [5] 100.0% [9] 334(2.4%) 0(0.0%) setup-alt-simplified ...-testing/src/glue.rkt:49:0 simplify-alt [14] 100.0% ----------------------------------------------------------------- run-improve50 [5] 100.0% [10] 312(2.2%) 0(0.0%) get-final-combination ...ng/src/mainloop.rkt:266:0 extract-alt [15] 100.0% ----------------------------------------------------------------- loop [4] 12.9% prepare-points [7] 87.1% [11] 2542(18.2%) 0(0.0%) loop ...herbie/regime-testing/src/points.rkt:158:2 loop [16] 57.2% make-exacts* [17] 42.8% ----------------------------------------------------------------- for-loop [8] 100.0% [12] 352(2.5%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 ??? [18] 100.0% ----------------------------------------------------------------- prepare-points [7] 100.0% [13] 336(2.4%) 0(0.0%) for-loop ...e/regime-testing/src/points.rkt:255:26 ??? [19] 100.0% ----------------------------------------------------------------- setup-alt-simplified [9] 100.0% [14] 334(2.4%) 0(0.0%) simplify-alt ...e/regime-testing/src/glue.rkt:76:0 ??? [33] 100.0% ----------------------------------------------------------------- get-final-combination [10]100.0% [15] 312(2.2%) 0(0.0%) extract-alt ...ie/regime-testing/src/glue.rkt:55:0 argmins [20] 100.0% ----------------------------------------------------------------- loop [4] 4.7% loop [11] 20.8% prepare-points [7] 74.4% [16] 6976(49.8%) 0(0.0%) loop ...herbie/regime-testing/src/points.rkt:141:4 loop [21] 100.0% ----------------------------------------------------------------- loop [4] 18.9% loop [11] 29.1% prepare-points [7] 52.1% [17] 3744(26.8%) 0(0.0%) make-exacts* ...egime-testing/src/points.rkt:138:0 loop [21] 90.2% eval-prog [22] 9.8% ----------------------------------------------------------------- map [12] 100.0% [18] 352(2.5%) 0(0.0%) ??? ...herbie/regime-testing/src/points.rkt:292:26 ??? [30] 100.0% ----------------------------------------------------------------- for-loop [13] 100.0% [19] 336(2.4%) 0(0.0%) ??? .../herbie/regime-testing/src/points.rkt:230:7 ??? [30] 100.0% ----------------------------------------------------------------- extract-alt [15] 100.0% [20] 312(2.2%) 0(0.0%) argmins ...bie/regime-testing/src/common.rkt:153:0 composed [23] 100.0% ----------------------------------------------------------------- loop [16] 0.3% make-exacts* [17] 0.4% for-loop [8] 3.1% loop [21] 96.2% [21] 10684(76.3%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [21] 96.2% ??? [30] 3.1% ??? [26] 0.7% ----------------------------------------------------------------- make-exacts* [17] 100.0% [22] 368(2.6%) 0(0.0%) eval-prog ...regime-testing/src/programs.rkt:150:0 ??? [30] 100.0% ----------------------------------------------------------------- argmins [20] 100.0% [23] 312(2.2%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 eval-errors [24] 100.0% ----------------------------------------------------------------- composed [23] 19.4% ??? [3] 80.6% [24] 1612(11.5%) 0(0.0%) eval-errors ...regime-testing/src/points.rkt:271:0 for-loop [25] 100.0% ----------------------------------------------------------------- eval-errors [24] 100.0% [25] 1612(11.5%) 0(0.0%) for-loop ...ie/regime-testing/src/points.rkt:273:2 ??? [26] 80.1% ulp-difference [27] 19.9% ----------------------------------------------------------------- for-loop [25] 11.4% loop [21] 88.6% [26] 11300(80.7%) 1696(12.1%) ??? ...erbie/regime-testing/src/programs.rkt:156:4 ??? [28] 53.3% ??? [29] 28.8% ??? [30] 2.9% ----------------------------------------------------------------- for-loop [25] 100.0% [27] 320(2.3%) 320(2.3%) ulp-difference ...egime-testing/src/float.rkt:19:0 ----------------------------------------------------------------- ??? [26] 100.0% [28] 6018(43.0%) 1734(12.4%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [32] 34.9% ??? [36] 31.1% ??? [35] 5.2% ----------------------------------------------------------------- ??? [26] 100.0% [29] 3260(23.3%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [31] 100.0% ----------------------------------------------------------------- ??? [26] 15.8% ??? [19] 16.3% ??? [18] 17.1% eval-prog [22] 17.9% loop [21] 32.8% [30] 2058(14.7%) 1014(7.2%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [33] 32.8% ->bf [34] 17.9% ----------------------------------------------------------------- ??? [29] 100.0% [31] 3260(23.3%) 1376(9.8%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [42] 57.8% ----------------------------------------------------------------- ??? [28] 100.0% [32] 2100(15.0%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [36] 100.0% ----------------------------------------------------------------- ??? [33] 16.5% simplify-alt [14] 16.5% ??? [30] 66.9% [33] 1010(7.2%) 344(2.5%) ??? ...llects/racket/private/norm-define.rkt:53:83 return/no-unsupplied [39] 32.9% ??? [33] 16.5% iterate-egraph!13 [38] 16.5% ----------------------------------------------------------------- ??? [30] 100.0% [34] 368(2.6%) 0(0.0%) ->bf ...erbie/regime-testing/src/programs.rkt:53:0 ??? [37] 100.0% ----------------------------------------------------------------- ??? [28] 100.0% [35] 314(2.2%) 314(2.2%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ----------------------------------------------------------------- ??? [28] 47.1% bf* [32] 52.9% [36] 3970(28.4%) 310(2.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [40] 92.2% ----------------------------------------------------------------- ->bf [34] 100.0% [37] 368(2.6%) 368(2.6%) ??? ...ts/racket/contract/private/arr-i.rkt:804:10 ----------------------------------------------------------------- ??? [33] 100.0% [38] 334(2.4%) 0(0.0%) iterate-egraph!13 ...g/src/core/simplify.rkt:105:0 one-iter [41] 100.0% ----------------------------------------------------------------- ??? [33] 100.0% [39] 332(2.4%) 332(2.4%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 ----------------------------------------------------------------- ??? [36] 100.0% [40] 3660(26.2%) 2704(19.3%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [42] 26.1% ----------------------------------------------------------------- iterate-egraph!13 [38] 100.0% [41] 334(2.4%) 0(0.0%) one-iter ...me-testing/src/core/simplify.rkt:116:0 for-loop [43] 100.0% ----------------------------------------------------------------- bfmul [40] 33.7% real->bigfloat [31] 66.3% [42] 2840(20.3%) 2840(20.3%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ----------------------------------------------------------------- for-loop [43] 50.0% one-iter [41] 50.0% [43] 334(2.4%) 0(0.0%) for-loop ...e-testing/src/core/simplify.rkt:126:12 for-loop [43] 50.0% match-e [44] 50.0% ----------------------------------------------------------------- for-loop [43] 100.0% [44] 334(2.4%) 334(2.4%) match-e ...regime-testing/src/core/ematch.rkt:46:0 -----------------------------------------------------------------