Profiling results ----------------- Total cpu time observed: 7602ms (out of 8120ms) Number of samples taken: 41 (once every 185ms) ========================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================= ??? [3] 100.0% [1] 7452(98.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% --------------------------------------------------------- profile-thunk16 [1] 98.0% [2] 7602(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% --------------------------------------------------------- run [2] 51.0% [3] 7602(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 loop [5] 50.0% profile-thunk16 [1] 49.0% run-improve50 [4] 1.0% --------------------------------------------------------- ??? [3] 100.0% [4] 156(2.1%) 0(0.0%) run-improve50 ...ock/herbie/src/mainloop.rkt:234:0 loop [5] 100.0% --------------------------------------------------------- run-improve50 [4] 2.1% ??? [3] 97.9% [5] 7602(100.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:159:2 make-exacts* [8] 60.1% loop [6] 35.9% loop [9] 2.1% for-loop [7] 2.0% --------------------------------------------------------- loop [5] 100.0% [6] 2730(35.9%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 loop [9] 62.9% make-exacts* [8] 37.1% --------------------------------------------------------- loop [5] 100.0% [7] 150(2.0%) 0(0.0%) for-loop .../ztatlock/herbie/src/points.rkt:166:24 for-loop [10] 100.0% --------------------------------------------------------- loop [6] 18.1% loop [5] 81.9% [8] 5578(73.4%) 0(0.0%) make-exacts* ...atlock/herbie/src/points.rkt:106:0 map [11] 51.9% loop [12] 48.1% --------------------------------------------------------- loop [5] 8.3% loop [6] 91.7% [9] 1874(24.7%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:109:4 map [11] 100.0% --------------------------------------------------------- for-loop [7] 100.0% [10] 150(2.0%) 150(2.0%) for-loop .../ztatlock/herbie/src/points.rkt:167:26 --------------------------------------------------------- loop [9] 39.3% make-exacts* [8] 60.7% [11] 4770(62.7%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [12] 100.0% --------------------------------------------------------- make-exacts* [8] 0.0% map [11] 0.8% loop [12] 99.2% [12] 7452(98.0%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [12] 99.2% ??? [13] 0.8% ->flonum [14] 0.0% --------------------------------------------------------- loop [12] 100.0% [13] 6816(89.7%) 192(2.5%) ??? /home/ztatlock/herbie/src/programs.rkt:152:4 ??? [15] 77.3% ??? [16] 17.5% ??? [18] 2.3% --------------------------------------------------------- loop [12] 100.0% [14] 636(8.4%) 0(0.0%) ->flonum .../ztatlock/herbie/src/programs.rkt:34:0 ??? [17] 100.0% --------------------------------------------------------- ??? [13] 100.0% [15] 5272(69.4%) 1102(14.5%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [24] 50.5% bf* [19] 25.6% ??? [22] 3.0% --------------------------------------------------------- ??? [13] 100.0% [16] 1196(15.7%) 190(2.5%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [20] 84.1% --------------------------------------------------------- ->flonum [14] 100.0% [17] 636(8.4%) 476(6.3%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 list-member? [21] 25.2% --------------------------------------------------------- ??? [13] 100.0% [18] 156(2.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:145:21 ??? [23] 100.0% --------------------------------------------------------- ??? [15] 100.0% [19] 1352(17.8%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [24] 100.0% --------------------------------------------------------- ??? [16] 100.0% [20] 1006(13.2%) 896(11.8%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [27] 10.9% --------------------------------------------------------- ??? [17] 100.0% [21] 160(2.1%) 160(2.1%) list-member? ...llects/racket/private/set.rkt:24:0 --------------------------------------------------------- ??? [15] 100.0% [22] 156(2.1%) 156(2.1%) ??? ...ects/racket/contract/private/prop.rkt:493:4 --------------------------------------------------------- ??? [18] 100.0% [23] 156(2.1%) 156(2.1%) ??? ...ects/racket/contract/private/guts.rkt:644:8 --------------------------------------------------------- bf* [19] 33.7% ??? [15] 66.3% [24] 4014(52.8%) 1008(13.3%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [25] 72.3% bfsqrt [26] 2.5% --------------------------------------------------------- ??? [24] 100.0% [25] 2904(38.2%) 1390(18.3%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [27] 52.1% --------------------------------------------------------- ??? [24] 100.0% [26] 102(1.3%) 102(1.3%) bfsqrt ...lib/math/private/bigfloat/mpfr.rkt:616:4 --------------------------------------------------------- real->bigfloat [20] 6.8% bfmul [25] 93.2% [27] 1624(21.4%) 1624(21.4%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------