Profiling results ----------------- Total cpu time observed: 12220ms (out of 12616ms) Number of samples taken: 31 (once every 394ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== ??? [3] 100.0% [1] 12220(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ---------------------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 12220(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ---------------------------------------------------------------------- run [2] 50.0% [3] 12220(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [5] 45.7% run-improve50 [4] 4.3% ---------------------------------------------------------------------- ??? [3] 100.0% [4] 1060(8.7%) 0(0.0%) run-improve50 ...ie/develop/src/mainloop.rkt:234:0 loop [5] 76.6% ??? [6] 23.4% ---------------------------------------------------------------------- run-improve50 [4] 6.8% ??? [3] 93.2% [5] 11972(98.0%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:193:2 make-exacts* [11] 49.4% loop [7] 40.4% for-loop [8] 5.1% loop [12] 2.8% filter-exacts [9] 2.4% ---------------------------------------------------------------------- run-improve50 [4] 100.0% [6] 248(2.0%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 atab-add-altns [10] 100.0% ---------------------------------------------------------------------- loop [5] 100.0% [7] 4838(39.6%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:151:2 loop [12] 74.2% make-exacts* [11] 20.5% eval-prog [14] 5.3% ---------------------------------------------------------------------- loop [5] 100.0% [8] 606(5.0%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:200:24 for-loop [13] 100.0% ---------------------------------------------------------------------- loop [5] 100.0% [9] 282(2.3%) 282(2.3%) filter-exacts ...rbie/develop/src/points.rkt:166:0 ---------------------------------------------------------------------- ??? [6] 100.0% [10] 248(2.0%) 0(0.0%) atab-add-altns ...elop/src/core/alt-table.rkt:50:0 atab-add-altn [15] 100.0% ---------------------------------------------------------------------- loop [7] 14.3% loop [5] 85.7% [11] 6906(56.5%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:138:0 map [16] 54.9% loop [20] 45.1% ---------------------------------------------------------------------- loop [5] 8.4% loop [7] 91.6% [12] 3922(32.1%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:141:4 map [16] 100.0% ---------------------------------------------------------------------- for-loop [8] 100.0% [13] 606(5.0%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:201:26 ??? [17] 100.0% ---------------------------------------------------------------------- loop [7] 100.0% [14] 256(2.1%) 0(0.0%) eval-prog ...herbie/develop/src/programs.rkt:149:0 [running expand-time body] [18]100.0% ---------------------------------------------------------------------- atab-add-altns [10] 100.0% [15] 248(2.0%) 0(0.0%) atab-add-altn ...elop/src/core/alt-table.rkt:208:0 best-and-tied-at-points [19] 100.0% ---------------------------------------------------------------------- make-exacts* [11] 49.1% loop [12] 50.9% [16] 7712(63.1%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [20] 95.3% ??? [22] 4.7% ---------------------------------------------------------------------- for-loop [13] 100.0% [17] 606(5.0%) 606(5.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ---------------------------------------------------------------------- eval-prog [14] 100.0% [18] 256(2.1%) 256(2.1%) [running expand-time body] .../private/kws.rkt:##f ---------------------------------------------------------------------- atab-add-altn [15] 100.0% [19] 248(2.0%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 for-loop [21] 100.0% ---------------------------------------------------------------------- make-exacts* [11] 0.0% map [16] 4.5% loop [20] 95.4% [20] 10468(85.7%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [20] 95.4% ??? [22] 4.6% ->flonum [23] 0.0% ---------------------------------------------------------------------- best-and-tied-at-points [19] 100.0% [21] 248(2.0%) 248(2.0%) for-loop .../develop/src/core/alt-table.rkt:124:16 ---------------------------------------------------------------------- map [16] 3.7% loop [20] 96.3% [22] 9696(79.3%) 360(2.9%) ??? ...tlies/herbie/develop/src/programs.rkt:155:4 ??? [24] 54.0% ??? [25] 42.3% ---------------------------------------------------------------------- loop [20] 100.0% [23] 1132(9.3%) 0(0.0%) ->flonum ...s/herbie/develop/src/programs.rkt:37:0 return/no-unsupplied [26] 100.0% ---------------------------------------------------------------------- ??? [22] 100.0% [24] 5236(42.8%) 1392(11.4%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [28] 39.5% ??? [30] 34.0% ---------------------------------------------------------------------- ??? [22] 100.0% [25] 4100(33.6%) 682(5.6%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [27] 83.4% ---------------------------------------------------------------------- ->flonum [23] 100.0% [26] 1132(9.3%) 0(0.0%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 filter [29] 100.0% ---------------------------------------------------------------------- ??? [25] 100.0% [27] 3418(28.0%) 2022(16.5%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [32] 40.8% ---------------------------------------------------------------------- ??? [24] 100.0% [28] 2066(16.9%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [30] 100.0% ---------------------------------------------------------------------- return/no-unsupplied [26] 100.0% [29] 1132(9.3%) 1132(9.3%) filter ...t/collects/racket/private/list.rkt:256:2 ---------------------------------------------------------------------- ??? [24] 46.3% bf* [28] 53.7% [30] 3844(31.5%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [31] 100.0% ---------------------------------------------------------------------- ??? [30] 100.0% [31] 3844(31.5%) 1844(15.1%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [32] 52.0% ---------------------------------------------------------------------- real->bigfloat [27] 41.1% bfmul [31] 58.9% [32] 3396(27.8%) 3396(27.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ----------------------------------------------------------------------