Profiling results ----------------- Total cpu time observed: 2518ms (out of 2664ms) Number of samples taken: 11 (once every 229ms) =========================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================== run [5] 50.0% [1] 2518(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk14 [4] 50.0% loop [3] 50.0% ----------------------------------------------------------- hash-ref! [16] 100.0% [2] 198(7.9%) 0(0.0%) ??? /home/ztatlock/herbie/src/programs.rkt:197:5 loop [11] 100.0% ----------------------------------------------------------- ??? [1] 100.0% [3] 2518(100.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:122:2 loop [6] 53.9% make-exacts* [7] 46.1% ----------------------------------------------------------- ??? [1] 100.0% [4] 2518(100.0%) 0(0.0%) profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0 run [5] 100.0% ----------------------------------------------------------- profile-thunk14 [4] 100.0% [5] 2518(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:31:2 ??? [1] 100.0% ----------------------------------------------------------- loop [3] 100.0% [6] 1358(53.9%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:93:2 make-exacts* [7] 45.1% loop [8] 33.1% eval-prog [10] 21.8% ----------------------------------------------------------- loop [6] 34.5% loop [3] 65.5% [7] 1772(70.4%) 0(0.0%) make-exacts* ...tatlock/herbie/src/points.rkt:80:0 map [9] 64.0% loop [11] 24.8% eval-prog [10] 11.2% ----------------------------------------------------------- loop [6] 100.0% [8] 450(17.9%) 216(8.6%) loop /home/ztatlock/herbie/src/points.rkt:83:4 map [9] 52.0% ----------------------------------------------------------- loop [8] 17.1% make-exacts* [7] 82.9% [9] 1368(54.3%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:21:13 loop [11] 100.0% ----------------------------------------------------------- make-exacts* [7] 40.1% loop [6] 59.9% [10] 494(19.6%) 0(0.0%) eval-prog ...tatlock/herbie/src/programs.rkt:162:0 inductor [12] 59.9% hash-ref! [16] 40.1% ----------------------------------------------------------- make-exacts* [7] 0.0% map [9] 1.2% ??? [2] 9.9% loop [11] 88.9% [11] 2006(79.7%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:26:19 loop [11] 88.9% hash-ref! [16] 9.9% ->flonum [15] 1.0% ??? [13] 0.2% ----------------------------------------------------------- eval-prog [10] 33.3% inductor [12] 66.7% [12] 296(11.8%) 0(0.0%) inductor .../ztatlock/herbie/src/programs.rkt:73:2 inductor [12] 66.7% integer->bigfloat [14] 33.3% ----------------------------------------------------------- loop [11] 100.0% [13] 1578(62.7%) 230(9.1%) ??? /home/ztatlock/herbie/src/programs.rkt:168:4 ??? [17] 42.5% real->bigfloat [18] 29.2% ??? [20] 13.8% ----------------------------------------------------------- inductor [12] 100.0% [14] 296(11.8%) 296(11.8%) integer->bigfloat ...ivate/bigfloat/mpfr.rkt:399:0 ----------------------------------------------------------- loop [11] 100.0% [15] 230(9.1%) 0(0.0%) ->flonum ...ock/herbie/src/syntax/syntax.rkt:224:0 ??? [19] 100.0% ----------------------------------------------------------- loop [11] 50.0% eval-prog [10] 50.0% [16] 198(7.9%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 ??? [2] 50.0% bigfloat-hash [21] 50.0% ----------------------------------------------------------- ??? [13] 100.0% [17] 670(26.6%) 0(0.0%) ??? ...acket/collects/racket/private/kw.rkt:400:14 bf* [22] 68.7% ??? [24] 31.3% ----------------------------------------------------------- ??? [13] 100.0% [18] 460(18.3%) 460(18.3%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ----------------------------------------------------------- ->flonum [15] 100.0% [19] 230(9.1%) 230(9.1%) ??? ...-racket/utils/simple-result-arrow.rkt:47:15 ----------------------------------------------------------- ??? [13] 100.0% [20] 218(8.7%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:638:8 ??? [25] 100.0% ----------------------------------------------------------- hash-ref! [16] 100.0% [21] 198(7.9%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0 bfcanonicalize [23] 100.0% ----------------------------------------------------------- ??? [17] 100.0% [22] 460(18.3%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [24] 100.0% ----------------------------------------------------------- bigfloat-hash [21] 100.0% [23] 198(7.9%) 198(7.9%) bfcanonicalize .../private/bigfloat/mpfr.rkt:155:0 ----------------------------------------------------------- ??? [17] 31.3% bf* [22] 68.7% [24] 670(26.6%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:26:12 ??? [25] 100.0% ----------------------------------------------------------- ??? [20] 24.5% ??? [24] 75.5% [25] 888(35.3%) 460(18.3%) ??? ...tract/private/arrow-higher-order.rkt:373:33 ??? [26] 48.2% ----------------------------------------------------------- ??? [25] 100.0% [26] 428(17.0%) 0(0.0%) ??? ...llects/racket/contract/combinator.rkt:178:4 any-wrap/traverse [27]100.0% ----------------------------------------------------------- ??? [26] 100.0% [27] 428(17.0%) 428(17.0%) any-wrap/traverse ...cket/utils/any-wrap.rkt:106:2 -----------------------------------------------------------