Profiling results ----------------- Total cpu time observed: 2976ms (out of 3080ms) Number of samples taken: 14 (once every 213ms) ========================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================= ??? [5] 100.0% [1] 2976(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% --------------------------------------------------------- ??? [5] 100.0% [2] 422(14.2%) 0(0.0%) errors ...tlies/herbie/master/src/points.rkt:223:0 for-loop [4] 100.0% --------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 2976(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% --------------------------------------------------------- errors [2] 100.0% [4] 422(14.2%) 198(6.7%) for-loop ...ies/herbie/master/src/points.rkt:225:2 ??? [5] 53.1% --------------------------------------------------------- for-loop [4] 2.5% run [3] 48.7% [5] 2976(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 48.7% prepare-points [6] 31.2% errors [2] 5.8% oracle-error [7] 5.7% errors-score [8] 3.2% eval-errors [9] 2.8% ??? [21] 2.5% --------------------------------------------------------- ??? [5] 100.0% [6] 1860(62.5%) 0(0.0%) prepare-points ...rbie/master/src/points.rkt:166:0 loop [10] 100.0% --------------------------------------------------------- ??? [5] 100.0% [7] 340(11.4%) 0(0.0%) oracle-error ...herbie/master/src/points.rkt:207:0 for-loop [11] 100.0% --------------------------------------------------------- ??? [5] 100.0% [8] 188(6.3%) 0(0.0%) errors-score ...herbie/master/src/points.rkt:215:0 loop [14] 100.0% --------------------------------------------------------- ??? [5] 100.0% [9] 166(5.6%) 0(0.0%) eval-errors .../herbie/master/src/points.rkt:198:0 for-loop [12] 100.0% --------------------------------------------------------- prepare-points [6] 100.0% [10] 1860(62.5%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:143:4 loop [13] 63.2% ??? [15] 25.5% ordinary-value? [16] 11.3% --------------------------------------------------------- oracle-error [7] 100.0% [11] 340(11.4%) 0(0.0%) for-loop ...ies/herbie/master/src/points.rkt:208:2 loop [14] 100.0% --------------------------------------------------------- eval-errors [9] 100.0% [12] 166(5.6%) 0(0.0%) for-loop ...ies/herbie/master/src/points.rkt:200:2 ordinary-value? [16]100.0% --------------------------------------------------------- loop [10] 100.0% [13] 1176(39.5%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:102:2 ??? [17] 100.0% --------------------------------------------------------- errors-score [8] 0.0% loop [14] 35.6% for-loop [11] 64.4% [14] 528(17.7%) 364(12.2%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [14] 35.6% ??? [17] 31.1% --------------------------------------------------------- loop [10] 100.0% [15] 474(15.9%) 246(8.3%) ??? ...ightlies/herbie/master/src/points.rkt:127:2 ??? [21] 48.1% --------------------------------------------------------- for-loop [12] 44.1% loop [10] 55.9% [16] 376(12.6%) 210(7.1%) ordinary-value? ...erbie/master/src/float.rkt:80:0 special-value? [18] 44.1% --------------------------------------------------------- loop [14] 12.2% loop [13] 87.8% [17] 1340(45.0%) 0(0.0%) ??? ...ghtlies/herbie/master/src/programs.rkt:99:2 ??? [19] 72.5% ??? [21] 27.5% --------------------------------------------------------- ordinary-value? [16]100.0% [18] 166(5.6%) 0(0.0%) special-value? ...herbie/master/src/float.rkt:76:0 for-loop [20] 100.0% --------------------------------------------------------- ??? [17] 100.0% [19] 972(32.7%) 0(0.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [21] 100.0% --------------------------------------------------------- special-value? [18] 100.0% [20] 166(5.6%) 166(5.6%) for-loop ...tlies/herbie/master/src/float.rkt:17:3 --------------------------------------------------------- ??? [5] 12.5% ??? [15] 12.7% ??? [17] 20.5% ??? [19] 54.2% [21] 1792(60.2%) 476(16.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ival-mult [22] 40.4% ->flonum [23] 21.7% mk-ival [24] 11.4% --------------------------------------------------------- ??? [21] 100.0% [22] 724(24.3%) 234(7.9%) ival-mult ...rbie/master/src/biginterval.rkt:112:0 bfmul [25] 67.7% --------------------------------------------------------- ??? [21] 100.0% [23] 388(13.0%) 0(0.0%) ->flonum ...lies/herbie/master/src/float.rkt:149:0 ??? [26] 100.0% --------------------------------------------------------- ??? [21] 100.0% [24] 204(6.9%) 0(0.0%) mk-ival .../herbie/master/src/biginterval.rkt:57:0 bf [27] 100.0% --------------------------------------------------------- ival-mult [22] 100.0% [25] 490(16.5%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [28] 58.0% ??? [30] 42.0% --------------------------------------------------------- ->flonum [23] 100.0% [26] 388(13.0%) 0(0.0%) ??? .../nightlies/herbie/master/src/float.rkt:23:2 for-loop [29] 100.0% --------------------------------------------------------- mk-ival [24] 100.0% [27] 204(6.9%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [28] 100.0% --------------------------------------------------------- bf [27] 41.8% bfmul [25] 58.2% [28] 488(16.4%) 488(16.4%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 --------------------------------------------------------- ??? [26] 100.0% [29] 388(13.0%) 164(5.5%) for-loop ...tlies/herbie/master/src/float.rkt:24:5 ??? [31] 57.7% --------------------------------------------------------- bfmul [25] 100.0% [30] 206(6.9%) 206(6.9%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 --------------------------------------------------------- for-loop [29] 100.0% [31] 224(7.5%) 224(7.5%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ---------------------------------------------------------