Profiling results ----------------- Total cpu time observed: 2044ms (out of 2600ms) Number of samples taken: 9 (once every 227ms) ======================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================== ??? [3] 100.0% [1] 2044(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] 2044(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% -------------------------------------------------------- run [2] 50.0% [3] 2044(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [4] 50.0% -------------------------------------------------------- ??? [3] 100.0% [4] 2044(100.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 loop [5] 52.2% make-exacts* [6] 47.8% -------------------------------------------------------- loop [4] 100.0% [5] 1066(52.2%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:90:2 loop [7] 61.9% make-exacts* [6] 38.1% -------------------------------------------------------- loop [5] 29.3% loop [4] 70.7% [6] 1384(67.7%) 0(0.0%) make-exacts* ...tatlock/herbie/src/points.rkt:77:0 map [8] 50.3% loop [10] 35.0% eval-prog [9] 14.7% -------------------------------------------------------- loop [5] 100.0% [7] 660(32.3%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:80:4 map [8] 100.0% -------------------------------------------------------- loop [7] 48.7% make-exacts* [6] 51.3% [8] 1356(66.3%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [10] 100.0% -------------------------------------------------------- make-exacts* [6] 100.0% [9] 204(10.0%) 204(10.0%) eval-prog ...tatlock/herbie/src/programs.rkt:259:0 -------------------------------------------------------- make-exacts* [6] 0.0% map [8] 2.0% loop [10] 98.0% [10] 1840(90.0%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [10] 98.0% ??? [11] 2.0% ->flonum [12] 0.0% -------------------------------------------------------- loop [10] 100.0% [11] 1594(78.0%) 204(10.0%) ??? /home/ztatlock/herbie/src/programs.rkt:265:4 ??? [13] 72.3% ??? [15] 14.9% -------------------------------------------------------- loop [10] 100.0% [12] 246(12.0%) 0(0.0%) ->flonum ...ock/herbie/src/syntax/syntax.rkt:230:0 ??? [14] 100.0% -------------------------------------------------------- ??? [11] 100.0% [13] 1152(56.4%) 250(12.2%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [16] 78.3% -------------------------------------------------------- ->flonum [12] 100.0% [14] 246(12.0%) 0(0.0%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 ??? [17] 100.0% -------------------------------------------------------- ??? [11] 100.0% [15] 238(11.6%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [18]100.0% -------------------------------------------------------- ??? [13] 100.0% [16] 902(44.1%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfabs [19] 53.4% bfsub [20] 46.6% -------------------------------------------------------- ??? [14] 100.0% [17] 246(12.0%) 0(0.0%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [21] 100.0% -------------------------------------------------------- ??? [15] 100.0% [18] 238(11.6%) 238(11.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 -------------------------------------------------------- ??? [16] 100.0% [19] 482(23.6%) 0(0.0%) bfabs ...-lib/math/private/bigfloat/mpfr.rkt:616:4 ??? [22] 100.0% -------------------------------------------------------- ??? [16] 100.0% [20] 420(20.5%) 0(0.0%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [22] 100.0% -------------------------------------------------------- ??? [17] 100.0% [21] 246(12.0%) 0(0.0%) ??? ...s/racket/contract/private/arr-i.rkt:1233:27 ??? [23] 100.0% -------------------------------------------------------- bfsub [20] 46.6% bfabs [19] 53.4% [22] 902(44.1%) 902(44.1%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 -------------------------------------------------------- ??? [21] 100.0% [23] 246(12.0%) 246(12.0%) ??? ...ects/racket/contract/private/prop.rkt:256:4 --------------------------------------------------------