Profiling results ----------------- Total cpu time observed: 33594ms (out of 34408ms) Number of samples taken: 138 (once every 243ms) (Hiding functions with self<1.0% and local<2.0%: 3 of 30 hidden) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== ??? [3] 100.0% [1] 33132(98.6%) 0(0.0%) profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ---------------------------------------------------------------------- profile-thunk14 [1] 98.6% [2] 33594(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:31:2 ??? [3] 100.0% ---------------------------------------------------------------------- run [2] 50.7% [3] 33594(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 run-improve58 [4] 50.7% profile-thunk14 [1] 49.3% ---------------------------------------------------------------------- ??? [3] 100.0% [4] 33594(100.0%) 0(0.0%) run-improve58 ...ock/herbie/src/mainloop.rkt:242:0 loop [5] 100.0% ---------------------------------------------------------------------- run-improve58 [4] 100.0% [5] 33594(100.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:122:2 loop [7] 58.6% loop [6] 40.8% ---------------------------------------------------------------------- loop [5] 100.0% [6] 13708(40.8%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:93:2 make-exacts* [8] 68.3% loop [7] 30.2% eval-prog [10] 1.5% ---------------------------------------------------------------------- loop [6] 17.4% loop [5] 82.6% [7] 23810(70.9%) 250(0.7%) loop /home/ztatlock/herbie/src/points.rkt:83:4 map [9] 99.0% ---------------------------------------------------------------------- loop [6] 100.0% [8] 9360(27.9%) 0(0.0%) make-exacts* ...tatlock/herbie/src/points.rkt:80:0 loop [11] 45.6% map [9] 41.9% eval-prog [10] 12.5% ---------------------------------------------------------------------- make-exacts* [8] 14.3% loop [7] 85.7% [9] 27486(81.8%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:21:13 loop [11] 96.1% ??? [13] 3.9% ---------------------------------------------------------------------- loop [6] 15.4% make-exacts* [8] 84.6% [10] 1378(4.1%) 716(2.1%) eval-prog ...tatlock/herbie/src/programs.rkt:162:0 parse-lambda [12] 48.0% ---------------------------------------------------------------------- make-exacts* [8] 2.8% map [9] 11.2% loop [11] 86.0% [11] 30686(91.3%) 238(0.7%) loop ...cket/collects/racket/private/map.rkt:26:19 loop [11] 86.0% ??? [13] 13.2% ->flonum [14] 0.6% ---------------------------------------------------------------------- eval-prog [10] 100.0% [12] 662(2.0%) 662(2.0%) parse-lambda ...llects/racket/private/kw.rkt:393:2 ---------------------------------------------------------------------- map [9] 3.5% loop [11] 96.5% [13] 30254(90.1%) 3946(11.7%) ??? /home/ztatlock/herbie/src/programs.rkt:168:4 ??? [15] 40.1% real->bigfloat [16] 31.5% ??? [23] 13.9% ---------------------------------------------------------------------- loop [11] 100.0% [14] 1262(3.8%) 408(1.2%) ->flonum ...ock/herbie/src/syntax/syntax.rkt:224:0 ??? [17] 51.7% ??? [25] 16.0% ---------------------------------------------------------------------- ??? [13] 100.0% [15] 12134(36.1%) 206(0.6%) ??? ...acket/collects/racket/private/kw.rkt:400:14 ??? [18] 91.0% ...higher-order.rkt:373:33 [19] 7.3% ---------------------------------------------------------------------- ??? [13] 100.0% [16] 9542(28.4%) 6520(19.4%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [24] 31.7% ---------------------------------------------------------------------- ->flonum [14] 100.0% [17] 652(1.9%) 652(1.9%) ??? /home/ztatlock/herbie/src/config.rkt:29:0 ---------------------------------------------------------------------- ??? [15] 100.0% [18] 11044(32.9%) 3830(11.4%) ??? ...-racket/utils/simple-result-arrow.rkt:26:12 bfasin [20] 28.1% ??? [25] 23.5% bfadd [21] 13.7% ---------------------------------------------------------------------- ??? [15] 100.0% [19] 884(2.6%) 0(0.0%) ...higher-order.rkt:373:33 (unknown source) ??? [22] 100.0% ---------------------------------------------------------------------- ??? [18] 100.0% [20] 3100(9.2%) 1854(5.5%) bfasin ...lib/math/private/bigfloat/mpfr.rkt:616:4 ??? [24] 40.2% ---------------------------------------------------------------------- ??? [18] 100.0% [21] 1518(4.5%) 1112(3.3%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [24] 26.7% ---------------------------------------------------------------------- ...higher-order.rkt:373:33 [19]100.0% [22] 884(2.6%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:187:10 ??? [23] 100.0% ---------------------------------------------------------------------- ??? [22] 17.3% ??? [13] 82.7% [23] 5100(15.2%) 206(0.6%) ??? ...ects/racket/contract/private/guts.rkt:638:8 ??? [25] 96.0% ---------------------------------------------------------------------- bfadd [21] 8.7% bfasin [20] 26.7% real->bigfloat [16] 64.7% [24] 4674(13.9%) 4674(13.9%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------------------- ->flonum [14] 2.6% ??? [18] 33.7% ??? [23] 63.6% [25] 7692(22.9%) 3564(10.6%) ??? ...tract/private/arrow-higher-order.rkt:373:33 ??? [26] 53.7% ---------------------------------------------------------------------- ??? [25] 100.0% [26] 4128(12.3%) 2644(7.9%) ??? ...llects/racket/contract/combinator.rkt:178:4 any-wrap/traverse [27] 35.9% ---------------------------------------------------------------------- ??? [26] 100.0% [27] 1484(4.4%) 1484(4.4%) any-wrap/traverse ...cket/utils/any-wrap.rkt:106:2 ----------------------------------------------------------------------