Profiling results ----------------- Total cpu time observed: 2336ms (out of 2692ms) Number of samples taken: 10 (once every 234ms) ======================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================== ??? [4] 100.0% [1] 2336(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% -------------------------------------------------------- loop [19] 100.0% [2] 204(8.7%) 0(0.0%) ??? ...ket/collects/racket/private/list.rkt:323:18 map [12] 100.0% -------------------------------------------------------- profile-thunk16 [1]100.0% [3] 2336(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [4] 100.0% -------------------------------------------------------- run [3] 50.0% [4] 2336(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [5] 45.6% run-improve58 [6] 4.4% -------------------------------------------------------- ??? [4] 100.0% [5] 2132(91.3%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 make-exacts* [9] 60.0% loop [7] 40.0% -------------------------------------------------------- ??? [4] 100.0% [6] 204(8.7%) 0(0.0%) run-improve58 ...ock/herbie/src/mainloop.rkt:244:0 for-loop [8] 100.0% -------------------------------------------------------- loop [5] 100.0% [7] 852(36.5%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:90:2 make-exacts* [9] 73.9% loop [10] 26.1% -------------------------------------------------------- run-improve58 [6] 100.0% [8] 204(8.7%) 0(0.0%) for-loop ...ztatlock/herbie/src/mainloop.rkt:255:8 run-iter! [11] 100.0% -------------------------------------------------------- loop [7] 33.0% loop [5] 67.0% [9] 1910(81.8%) 0(0.0%) make-exacts* ...tatlock/herbie/src/points.rkt:77:0 loop [19] 48.3% map [12] 40.1% eval-prog [13] 11.6% -------------------------------------------------------- loop [7] 100.0% [10] 222(9.5%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:80:4 map [12] 100.0% -------------------------------------------------------- for-loop [8] 100.0% [11] 204(8.7%) 0(0.0%) run-iter! ...tatlock/herbie/src/mainloop.rkt:225:0 localize-error [14]100.0% -------------------------------------------------------- ??? [2] 17.1% loop [10] 18.6% make-exacts* [9] 64.3% [12] 1192(51.0%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [19] 82.9% ->flonum [15] 17.1% -------------------------------------------------------- make-exacts* [9] 100.0% [13] 222(9.5%) 222(9.5%) eval-prog ...tatlock/herbie/src/programs.rkt:259:0 -------------------------------------------------------- run-iter! [11] 100.0% [14] 204(8.7%) 0(0.0%) localize-error ...erbie/src/core/localize.rkt:47:0 hash-ref! [16] 100.0% -------------------------------------------------------- map [12] 100.0% [15] 204(8.7%) 0(0.0%) ->flonum ...ock/herbie/src/syntax/syntax.rkt:230:0 ??? [17] 100.0% -------------------------------------------------------- localize-error [14]100.0% [16] 204(8.7%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 parse-loop12 [18] 100.0% -------------------------------------------------------- ->flonum [15] 100.0% [17] 204(8.7%) 204(8.7%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 -------------------------------------------------------- hash-ref! [16] 100.0% [18] 204(8.7%) 0(0.0%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [19] 100.0% -------------------------------------------------------- map [12] 0.1% parse-loop12 [18] 0.1% make-exacts* [9] 0.1% loop [19] 99.6% [19] 2114(90.5%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [19] 99.6% ??? [20] 0.2% ??? [2] 0.1% -------------------------------------------------------- loop [19] 100.0% [20] 1910(81.8%) 428(18.3%) ??? /home/ztatlock/herbie/src/programs.rkt:265:4 ??? [21] 53.6% ??? [22] 24.0% -------------------------------------------------------- ??? [20] 100.0% [21] 1024(43.8%) 0(0.0%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [23] 100.0% -------------------------------------------------------- ??? [20] 100.0% [22] 458(19.6%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [24]100.0% -------------------------------------------------------- ??? [21] 100.0% [23] 1024(43.8%) 202(8.6%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfdiv [25] 80.3% -------------------------------------------------------- ??? [22] 100.0% [24] 458(19.6%) 458(19.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 -------------------------------------------------------- ??? [23] 100.0% [25] 822(35.2%) 0(0.0%) bfdiv ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [26] 100.0% -------------------------------------------------------- bfdiv [25] 100.0% [26] 822(35.2%) 822(35.2%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 --------------------------------------------------------