Profiling results ----------------- Total cpu time observed: 29780ms (out of 30608ms) Number of samples taken: 104 (once every 286ms) (Hiding functions with self<1.0% and local<2.0%: 3 of 39 hidden) ============================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================ ??? [3] 100.0% [1] 29602(99.4%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ------------------------------------------------------------ profile-thunk16 [1] 99.4% [2] 29780(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ------------------------------------------------------------ run [2] 50.3% [3] 29780(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.7% loop [5] 30.8% prepare-points [6] 16.1% run-improve50 [4] 3.4% ------------------------------------------------------------ ??? [3] 100.0% [4] 2030(6.8%) 0(0.0%) run-improve50 ...lt-testing/src/mainloop.rkt:225:0 loop [5] 68.7% prepare-points [6] 16.4% for-loop [7] 15.0% ------------------------------------------------------------ run-improve50 [4] 7.1% ??? [3] 92.9% [5] 19546(65.6%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:238:2 loop [11] 37.2% loop [8] 35.3% make-exacts* [12] 22.6% for-loop [9] 4.9% ------------------------------------------------------------ run-improve50 [4] 3.3% ??? [3] 96.7% [6] 9930(33.3%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 make-exacts* [12] 46.4% loop [11] 27.2% loop [8] 26.4% ------------------------------------------------------------ run-improve50 [4] 100.0% [7] 304(1.0%) 0(0.0%) for-loop ...ie/alt-testing/src/mainloop.rkt:240:10 run-iter! [10] 100.0% ------------------------------------------------------------ prepare-points [6] 27.5% loop [5] 72.5% [8] 9532(32.0%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:158:2 loop [11] 56.8% make-exacts* [12] 43.2% ------------------------------------------------------------ loop [5] 100.0% [9] 948(3.2%) 0(0.0%) for-loop ...rbie/alt-testing/src/points.rkt:255:26 ??? [13] 100.0% ------------------------------------------------------------ for-loop [7] 100.0% [10] 304(1.0%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 choose-best-alt! [14]100.0% ------------------------------------------------------------ prepare-points [6] 17.6% loop [8] 35.2% loop [5] 47.2% [11] 15384(51.7%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [15] 100.0% ------------------------------------------------------------ loop [8] 31.3% loop [5] 33.7% prepare-points [6] 35.0% [12] 13144(44.1%) 0(0.0%) make-exacts* ...e/alt-testing/src/points.rkt:138:0 loop [15] 94.9% eval-prog [17] 5.1% ------------------------------------------------------------ for-loop [9] 100.0% [13] 948(3.2%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/points.rkt:230:7 for-loop [16] 79.3% ??? [20] 20.7% ------------------------------------------------------------ run-iter! [10] 100.0% [14] 304(1.0%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [18] 100.0% ------------------------------------------------------------ make-exacts* [12] 1.3% loop [11] 2.6% loop [15] 96.1% [15] 27860(93.6%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [15] 96.1% ??? [19] 3.8% ??? [20] 0.1% ------------------------------------------------------------ ??? [13] 100.0% [16] 752(2.5%) 0(0.0%) for-loop ...erbie/alt-testing/src/points.rkt:231:9 ??? [20] 100.0% ------------------------------------------------------------ make-exacts* [12] 100.0% [17] 668(2.2%) 668(2.2%) eval-prog ...ie/alt-testing/src/programs.rkt:150:0 ------------------------------------------------------------ choose-best-alt! [14]100.0% [18] 304(1.0%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 atab-pick-alt8 [21] 100.0% ------------------------------------------------------------ loop [15] 100.0% [19] 26452(88.8%) 1816(6.1%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 ??? [22] 60.8% ??? [23] 31.4% ------------------------------------------------------------ ??? [13] 8.3% for-loop [16] 31.9% loop [15] 59.8% [20] 2356(7.9%) 1226(4.1%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ->flonum [24] 48.0% ------------------------------------------------------------ ??? [18] 100.0% [21] 304(1.0%) 0(0.0%) atab-pick-alt8 ...ting/src/core/alt-table.rkt:64:0 write-json* [25] 100.0% ------------------------------------------------------------ ??? [19] 100.0% [22] 16070(54.0%) 3058(10.3%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [26] 74.7% ??? [28] 3.9% ------------------------------------------------------------ ??? [19] 100.0% [23] 8316(27.9%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [27] 100.0% ------------------------------------------------------------ ??? [20] 100.0% [24] 1130(3.8%) 948(3.2%) ->flonum ...s/racket/private/norm-define.rkt:53:83 ??? [30] 16.1% ------------------------------------------------------------ atab-pick-alt8 [21] 100.0% [25] 304(1.0%) 0(0.0%) write-json* .../racket/collects/json/main.rkt:69:0 loop [29] 100.0% ------------------------------------------------------------ ??? [22] 100.0% [26] 12008(40.3%) 6158(20.7%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bflog [31] 38.3% bfadd [32] 10.4% ------------------------------------------------------------ ??? [23] 100.0% [27] 8316(27.9%) 7182(24.1%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [36] 13.6% ------------------------------------------------------------ ??? [22] 100.0% [28] 628(2.1%) 628(2.1%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ------------------------------------------------------------ loop [29] 25.0% for-loop [33] 25.0% for-loop [34] 25.0% write-json* [25] 25.0% [29] 304(1.0%) 304(1.0%) loop .../share/racket/collects/json/main.rkt:103:2 for-loop [34] 25.0% for-loop [33] 25.0% loop [29] 25.0% ------------------------------------------------------------ ->flonum [24] 100.0% [30] 182(0.6%) 0(0.0%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [35] 100.0% ------------------------------------------------------------ ??? [26] 100.0% [31] 4604(15.5%) 3760(12.6%) bflog ...-lib/math/private/bigfloat/mpfr.rkt:616:4 ??? [36] 18.3% ------------------------------------------------------------ ??? [26] 100.0% [32] 1246(4.2%) 596(2.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [36] 52.2% ------------------------------------------------------------ loop [29] 100.0% [33] 304(1.0%) 0(0.0%) for-loop ...e/racket/collects/json/main.rkt:113:13 loop [29] 100.0% ------------------------------------------------------------ loop [29] 100.0% [34] 304(1.0%) 0(0.0%) for-loop ...e/racket/collects/json/main.rkt:118:11 loop [29] 100.0% ------------------------------------------------------------ ??? [30] 100.0% [35] 182(0.6%) 182(0.6%) ??? ...s/racket/contract/private/arr-i.rkt:1233:27 ------------------------------------------------------------ bfadd [32] 24.7% bflog [31] 32.1% real->bigfloat [27] 43.2% [36] 2628(8.8%) 2628(8.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ------------------------------------------------------------