Profiling results ----------------- Total cpu time observed: 2270ms (out of 2400ms) Number of samples taken: 12 (once every 189ms) ==================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ==================================================================== ??? [3] 100.0% [1] 2270(100.0%) 0(0.0%) profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% -------------------------------------------------------------------- profile-thunk14 [1] 100.0% [2] 2270(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:31:2 ??? [3] 100.0% -------------------------------------------------------------------- run [2] 50.0% [3] 2270(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk14 [1] 50.0% loop [4] 45.5% run-improve58 [5] 4.5% -------------------------------------------------------------------- ??? [3] 100.0% [4] 2066(91.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:122:2 make-exacts* [9] 54.9% loop [6] 36.6% for-loop [8] 8.5% -------------------------------------------------------------------- ??? [3] 100.0% [5] 204(9.0%) 0(0.0%) run-improve58 ...ock/herbie/src/mainloop.rkt:242:0 setup-prog [7] 100.0% -------------------------------------------------------------------- loop [4] 100.0% [6] 756(33.3%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:93:2 loop [10] 73.0% make-exacts* [9] 27.0% -------------------------------------------------------------------- run-improve58 [5] 100.0% [7] 204(9.0%) 204(9.0%) setup-prog /home/ztatlock/herbie/src/glue.rkt:46:0 -------------------------------------------------------------------- loop [4] 100.0% [8] 176(7.8%) 0(0.0%) for-loop .../ztatlock/herbie/src/points.rkt:128:18 for-loop [11] 100.0% -------------------------------------------------------------------- loop [6] 15.2% loop [4] 84.8% [9] 1338(58.9%) 0(0.0%) make-exacts* ...tatlock/herbie/src/points.rkt:80:0 loop [14] 57.4% map [12] 42.6% -------------------------------------------------------------------- loop [6] 100.0% [10] 552(24.3%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:83:4 map [12] 100.0% -------------------------------------------------------------------- for-loop [8] 100.0% [11] 176(7.8%) 0(0.0%) for-loop .../ztatlock/herbie/src/points.rkt:129:20 sample-default [13] 100.0% -------------------------------------------------------------------- loop [10] 49.2% make-exacts* [9] 50.8% [12] 1122(49.4%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:21:13 loop [14] 100.0% -------------------------------------------------------------------- for-loop [11] 100.0% [13] 176(7.8%) 0(0.0%) sample-default ...rc/syntax/distributions.rkt:11:0 ??? [15] 100.0% -------------------------------------------------------------------- make-exacts* [9] 0.0% map [12] 0.2% loop [14] 99.8% [14] 1890(83.3%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:26:19 loop [14] 99.8% ??? [16] 0.2% ->flonum [17] 0.0% -------------------------------------------------------------------- sample-default [13] 100.0% [15] 176(7.8%) 176(7.8%) ??? /home/ztatlock/herbie/src/config.rkt:29:0 -------------------------------------------------------------------- loop [14] 100.0% [16] 1316(58.0%) 360(15.9%) ??? /home/ztatlock/herbie/src/programs.rkt:168:4 real->bigfloat [18] 61.2% ...e/case-arrow.rkt:150:50 [20] 11.4% -------------------------------------------------------------------- loop [14] 100.0% [17] 574(25.3%) 0(0.0%) ->flonum ...ock/herbie/src/syntax/syntax.rkt:224:0 ??? [19] 100.0% -------------------------------------------------------------------- ??? [16] 100.0% [18] 806(35.5%) 806(35.5%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 -------------------------------------------------------------------- ->flonum [17] 100.0% [19] 574(25.3%) 184(8.1%) ??? ...tract/private/arrow-higher-order.rkt:373:33 ??? [21] 67.9% -------------------------------------------------------------------- ??? [16] 100.0% [20] 150(6.6%) 150(6.6%) ...e/case-arrow.rkt:150:50 (unknown source) -------------------------------------------------------------------- ??? [19] 100.0% [21] 390(17.2%) 204(9.0%) ??? ...llects/racket/contract/combinator.rkt:178:4 any-wrap/traverse [22] 47.7% -------------------------------------------------------------------- ??? [21] 100.0% [22] 186(8.2%) 186(8.2%) any-wrap/traverse ...cket/utils/any-wrap.rkt:106:2 --------------------------------------------------------------------