Profiling results ----------------- Total cpu time observed: 2054ms (out of 2556ms) Number of samples taken: 9 (once every 228ms) ======================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================== run [5] 50.0% [1] 2054(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [4] 50.0% loop [3] 50.0% -------------------------------------------------------- hash-ref! [14] 100.0% [2] 200(9.7%) 0(0.0%) ??? /home/ztatlock/herbie/src/programs.rkt:294:5 loop [11] 100.0% -------------------------------------------------------- ??? [1] 100.0% [3] 2054(100.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 loop [6] 52.4% make-exacts* [7] 47.6% -------------------------------------------------------- ??? [1] 100.0% [4] 2054(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [5] 100.0% -------------------------------------------------------- profile-thunk16 [4]100.0% [5] 2054(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% -------------------------------------------------------- loop [3] 100.0% [6] 1076(52.4%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:90:2 loop [8] 59.9% make-exacts* [7] 21.6% eval-prog [9] 18.6% -------------------------------------------------------- loop [6] 19.2% loop [3] 80.8% [7] 1210(58.9%) 0(0.0%) make-exacts* ...tatlock/herbie/src/points.rkt:77:0 map [10] 78.7% loop [11] 21.3% -------------------------------------------------------- loop [6] 100.0% [8] 644(31.4%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:80:4 map [10] 100.0% -------------------------------------------------------- loop [6] 100.0% [9] 200(9.7%) 0(0.0%) eval-prog ...tatlock/herbie/src/programs.rkt:259:0 hash-ref! [14] 100.0% -------------------------------------------------------- loop [8] 40.4% make-exacts* [7] 59.6% [10] 1596(77.7%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [11] 100.0% -------------------------------------------------------- make-exacts* [7] 0.0% map [10] 0.3% ??? [2] 9.7% loop [11] 90.0% [11] 2054(100.0%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [11] 90.0% hash-ref! [14] 9.7% ??? [12] 0.3% ->flonum [13] 0.0% -------------------------------------------------------- loop [11] 100.0% [12] 1380(67.2%) 212(10.3%) ??? /home/ztatlock/herbie/src/programs.rkt:265:4 ??? [15] 67.5% ??? [17] 17.1% -------------------------------------------------------- loop [11] 100.0% [13] 474(23.1%) 0(0.0%) ->flonum ...ock/herbie/src/syntax/syntax.rkt:230:0 ??? [16] 100.0% -------------------------------------------------------- loop [11] 50.0% eval-prog [9] 50.0% [14] 200(9.7%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 ??? [2] 50.0% bigfloat-hash [18] 50.0% -------------------------------------------------------- ??? [12] 100.0% [15] 932(45.4%) 484(23.6%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [19] 48.1% -------------------------------------------------------- ->flonum [13] 100.0% [16] 474(23.1%) 258(12.6%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 ??? [21] 45.6% -------------------------------------------------------- ??? [12] 100.0% [17] 236(11.5%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [20]100.0% -------------------------------------------------------- hash-ref! [14] 100.0% [18] 200(9.7%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0 bfcanonicalize [22]100.0% -------------------------------------------------------- ??? [15] 100.0% [19] 448(21.8%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [23] 51.8% bfabs [25] 48.2% -------------------------------------------------------- ??? [17] 100.0% [20] 236(11.5%) 236(11.5%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 -------------------------------------------------------- ??? [16] 100.0% [21] 216(10.5%) 0(0.0%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [24] 100.0% -------------------------------------------------------- bigfloat-hash [18] 100.0% [22] 200(9.7%) 200(9.7%) bfcanonicalize .../private/bigfloat/mpfr.rkt:155:0 -------------------------------------------------------- ??? [19] 100.0% [23] 232(11.3%) 0(0.0%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [26] 100.0% -------------------------------------------------------- ??? [21] 100.0% [24] 216(10.5%) 216(10.5%) ??? ...ects/racket/contract/private/guts.rkt:644:8 -------------------------------------------------------- ??? [19] 100.0% [25] 216(10.5%) 0(0.0%) bfabs ...-lib/math/private/bigfloat/mpfr.rkt:616:4 ??? [26] 100.0% -------------------------------------------------------- bfabs [25] 48.2% bfsub [23] 51.8% [26] 448(21.8%) 448(21.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 --------------------------------------------------------