Profiling results ----------------- Total cpu time observed: 13752ms (out of 14144ms) Number of samples taken: 52 (once every 264ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 35 hidden) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== run [5] 49.2% [1] 13752(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 loop [4] 50.1% profile-thunk14 [3] 49.2% ---------------------------------------------------------------------- hash-ref! [16] 100.0% [2] 226(1.6%) 0(0.0%) ??? /home/ztatlock/herbie/src/programs.rkt:197:5 loop [12] 100.0% ---------------------------------------------------------------------- ??? [1] 100.0% [3] 13526(98.4%) 0(0.0%) profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0 run [5] 100.0% ---------------------------------------------------------------------- ??? [1] 98.5% [4] 13752(100.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:122:2 loop [6] 53.3% make-exacts* [7] 37.4% loop [8] 9.3% ---------------------------------------------------------------------- profile-thunk14 [3] 100.0% [5] 13526(98.4%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:31:2 ??? [1] 100.0% ---------------------------------------------------------------------- loop [4] 100.0% [6] 7330(53.3%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:93:2 make-exacts* [7] 46.4% loop [8] 40.7% eval-prog [9] 12.9% ---------------------------------------------------------------------- loop [6] 39.8% loop [4] 60.2% [7] 8546(62.1%) 202(1.5%) make-exacts* ...tatlock/herbie/src/points.rkt:80:0 map [10] 65.6% loop [12] 32.1% ---------------------------------------------------------------------- loop [4] 30.0% loop [6] 70.0% [8] 4258(31.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:83:4 map [10] 100.0% ---------------------------------------------------------------------- loop [6] 100.0% [9] 948(6.9%) 484(3.5%) eval-prog ...tatlock/herbie/src/programs.rkt:162:0 inductor [11] 25.1% hash-ref! [16] 23.8% ---------------------------------------------------------------------- loop [8] 43.2% make-exacts* [7] 56.8% [10] 9860(71.7%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:21:13 loop [12] 97.4% ??? [14] 2.6% ---------------------------------------------------------------------- eval-prog [9] 33.3% inductor [11] 66.7% [11] 238(1.7%) 0(0.0%) inductor .../ztatlock/herbie/src/programs.rkt:73:2 inductor [11] 66.7% integer->bigfloat [13] 33.3% ---------------------------------------------------------------------- make-exacts* [7] 0.1% ??? [2] 1.8% map [10] 4.8% loop [12] 93.3% [12] 12576(91.4%) 230(1.7%) loop ...cket/collects/racket/private/map.rkt:26:19 loop [12] 93.3% ??? [14] 4.5% hash-ref! [16] 1.8% ->flonum [15] 0.1% ---------------------------------------------------------------------- inductor [11] 100.0% [13] 238(1.7%) 238(1.7%) integer->bigfloat ...ivate/bigfloat/mpfr.rkt:399:0 ---------------------------------------------------------------------- map [10] 2.2% loop [12] 97.8% [14] 11702(85.1%) 1716(12.5%) ??? /home/ztatlock/herbie/src/programs.rkt:168:4 ??? [17] 49.9% real->bigfloat [18] 31.5% ...e/case-arrow.rkt:150:50 [19] 4.0% ---------------------------------------------------------------------- loop [12] 100.0% [15] 670(4.9%) 0(0.0%) ->flonum ...ock/herbie/src/syntax/syntax.rkt:224:0 ??? [31] 63.9% ??? [20] 36.1% ---------------------------------------------------------------------- loop [12] 50.0% eval-prog [9] 50.0% [16] 226(1.6%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 ??? [2] 50.0% bigfloat-hash [21] 50.0% ---------------------------------------------------------------------- ??? [14] 100.0% [17] 5840(42.5%) 254(1.8%) ??? ...acket/collects/racket/private/kw.rkt:400:14 bffma [22] 48.3% ??? [28] 34.7% ...higher-order.rkt:369:33 [23] 8.5% bf<= [24] 4.2% ---------------------------------------------------------------------- ??? [14] 100.0% [18] 3682(26.8%) 3246(23.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [32] 11.8% ---------------------------------------------------------------------- ??? [14] 100.0% [19] 464(3.4%) 464(3.4%) ...e/case-arrow.rkt:150:50 (unknown source) ---------------------------------------------------------------------- ->flonum [15] 100.0% [20] 242(1.8%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:47:15 ??? [32] 100.0% ---------------------------------------------------------------------- hash-ref! [16] 100.0% [21] 226(1.6%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:165:0 sig+exp->bigfloat [25] 100.0% ---------------------------------------------------------------------- ??? [17] 100.0% [22] 2820(20.5%) 0(0.0%) bffma ...atlock/herbie/src/syntax/syntax.rkt:122:0 bf* [26] 100.0% ---------------------------------------------------------------------- ??? [17] 100.0% [23] 498(3.6%) 0(0.0%) ...higher-order.rkt:369:33 (unknown source) ??? [29] 50.6% ??? [27] 49.4% ---------------------------------------------------------------------- ??? [17] 100.0% [24] 244(1.8%) 0(0.0%) bf<= ...h/private/bigfloat/bigfloat-mpfr.rkt:127:4 ??? [31] 100.0% ---------------------------------------------------------------------- bigfloat-hash [21] 100.0% [25] 226(1.6%) 226(1.6%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:385:0 ---------------------------------------------------------------------- bffma [22] 100.0% [26] 2820(20.5%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [28] 100.0% ---------------------------------------------------------------------- ...higher-order.rkt:369:33 [23]100.0% [27] 246(1.8%) 0(0.0%) ??? ...cts/racket/contract/private/list.rkt:187:10 ??? [29] 100.0% ---------------------------------------------------------------------- ??? [17] 41.8% bf* [26] 58.2% [28] 4844(35.2%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:26:12 bfadd [30] 76.5% ??? [31] 23.5% ---------------------------------------------------------------------- ??? [27] 49.4% ...higher-order.rkt:369:33 [23] 50.6% [29] 498(3.6%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:638:8 ??? [31] 100.0% ---------------------------------------------------------------------- ??? [28] 100.0% [30] 3704(26.9%) 2936(21.3%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [32] 20.7% ---------------------------------------------------------------------- bf<= [24] 10.6% ->flonum [15] 18.5% ??? [29] 21.6% ??? [28] 49.4% [31] 2310(16.8%) 1086(7.9%) ??? ...tract/private/arrow-higher-order.rkt:373:33 ??? [33] 53.0% ---------------------------------------------------------------------- ??? [20] 16.7% real->bigfloat [18] 30.2% bfadd [30] 53.1% [32] 1446(10.5%) 1446(10.5%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------------------- ??? [31] 100.0% [33] 1224(8.9%) 704(5.1%) ??? ...llects/racket/contract/combinator.rkt:178:4 any-wrap/traverse [34] 42.5% ---------------------------------------------------------------------- ??? [33] 100.0% [34] 520(3.8%) 520(3.8%) any-wrap/traverse ...cket/utils/any-wrap.rkt:106:2 ----------------------------------------------------------------------