Profiling results ----------------- Total cpu time observed: 5480ms (out of 6000ms) Number of samples taken: 15 (once every 365ms) =============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================== ??? [10] 100.0% [1] 5480(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [6] 100.0% --------------------------------------------------------------- ??? [10] 100.0% [2] 4212(76.9%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:167:2 loop [11] 73.2% loop [7] 26.8% --------------------------------------------------------------- ??? [10] 100.0% [3] 322(5.9%) 0(0.0%) oracle-error ...erbie/develop/src/points.rkt:227:0 for-loop [8] 100.0% --------------------------------------------------------------- hash-ref! [18] 100.0% [4] 302(5.5%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:153:5 loop [22] 100.0% --------------------------------------------------------------- ??? [10] 100.0% [5] 292(5.3%) 0(0.0%) run-improve39 ...ie/develop/src/mainloop.rkt:287:0 for-loop [9] 100.0% --------------------------------------------------------------- profile-thunk16 [1] 100.0% [6] 5480(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [10] 100.0% --------------------------------------------------------------- loop [2] 100.0% [7] 1128(20.6%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:125:2 loop [11] 41.3% make-exacts* [12] 31.9% eval-prog [13] 26.8% --------------------------------------------------------------- oracle-error [3] 100.0% [8] 322(5.9%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:228:2 loop [22] 100.0% --------------------------------------------------------------- run-improve39 [5] 100.0% [9] 292(5.3%) 0(0.0%) for-loop ...herbie/develop/src/mainloop.rkt:304:10 run-iter! [14] 100.0% --------------------------------------------------------------- run [6] 50.0% [10] 5480(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [2] 38.4% eval-errors [15] 3.2% oracle-error [3] 2.9% errors-score [16] 2.8% run-improve39 [5] 2.7% --------------------------------------------------------------- loop [7] 13.1% loop [2] 86.9% [11] 3550(64.8%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:108:4 loop [22] 100.0% --------------------------------------------------------------- loop [7] 100.0% [12] 360(6.6%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:105:0 loop [22] 100.0% --------------------------------------------------------------- loop [7] 100.0% [13] 302(5.5%) 0(0.0%) eval-prog ...herbie/develop/src/programs.rkt:109:0 hash-ref! [18] 100.0% --------------------------------------------------------------- for-loop [9] 100.0% [14] 292(5.3%) 0(0.0%) run-iter! ...herbie/develop/src/mainloop.rkt:268:0 localize-error [17] 100.0% --------------------------------------------------------------- ??? [10] 100.0% [15] 346(6.3%) 0(0.0%) eval-errors ...herbie/develop/src/points.rkt:208:0 for-loop [19] 100.0% --------------------------------------------------------------- ??? [10] 100.0% [16] 308(5.6%) 0(0.0%) errors-score ...erbie/develop/src/points.rkt:238:0 loop [22] 100.0% --------------------------------------------------------------- run-iter! [14] 100.0% [17] 292(5.3%) 0(0.0%) localize-error ...velop/src/core/localize.rkt:51:0 hash-ref! [18] 100.0% --------------------------------------------------------------- loop [22] 25.4% eval-prog [13] 25.4% localize-error [17] 49.2% [18] 594(10.8%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 parse-loop14 [21] 49.2% ??? [4] 25.4% bigfloat-hash [20] 25.4% --------------------------------------------------------------- eval-errors [15] 100.0% [19] 346(6.3%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:210:2 ??? [24] 100.0% --------------------------------------------------------------- hash-ref! [18] 100.0% [20] 302(5.5%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:167:0 sig+exp->bigfloat [23] 100.0% --------------------------------------------------------------- hash-ref! [18] 100.0% [21] 292(5.3%) 0(0.0%) parse-loop14 ...s/racket/match/compiler.rkt:418:15 loop [22] 100.0% --------------------------------------------------------------- errors-score [16] 0.0% parse-loop14 [21] 0.1% loop [11] 0.2% ??? [4] 5.9% for-loop [8] 6.3% make-exacts* [12] 7.0% loop [22] 80.5% [22] 5134(93.7%) 308(5.6%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [22] 80.5% ??? [24] 13.5% hash-ref! [18] 5.9% curried [26] 0.1% ??? [28] 0.0% --------------------------------------------------------------- bigfloat-hash [20] 100.0% [23] 302(5.5%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:387:0 integer->mpz [25] 100.0% --------------------------------------------------------------- for-loop [19] 8.8% loop [22] 91.2% [24] 3916(71.5%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:129:2 ??? [27] 52.9% bf [29] 30.1% ??? [28] 17.1% --------------------------------------------------------------- sig+exp->bigfloat [23] 100.0% [25] 302(5.5%) 302(5.5%) integer->mpz ...math/private/bigfloat/gmp.rkt:87:0 --------------------------------------------------------------- loop [22] 100.0% [26] 292(5.3%) 292(5.3%) curried ...cket/collects/racket/function.rkt:71:18 --------------------------------------------------------------- ??? [24] 100.0% [27] 2070(37.8%) 360(6.6%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [32] 42.1% bf* [31] 40.5% --------------------------------------------------------------- loop [22] 49.8% ??? [24] 50.2% [28] 1330(24.3%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [30] 100.0% --------------------------------------------------------------- ??? [24] 100.0% [29] 1178(21.5%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [35] 72.5% ??? [36] 27.5% --------------------------------------------------------------- ??? [28] 100.0% [30] 1330(24.3%) 346(6.3%) ->flonum ...s/herbie/develop/src/programs.rkt:36:0 return/no-unsupplied [33] 74.0% --------------------------------------------------------------- ??? [27] 100.0% [31] 838(15.3%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [32] 100.0% --------------------------------------------------------------- bf* [31] 49.0% ??? [27] 51.0% [32] 1710(31.2%) 432(7.9%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [34] 74.7% --------------------------------------------------------------- ->flonum [30] 100.0% [33] 984(18.0%) 984(18.0%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 --------------------------------------------------------------- ??? [32] 100.0% [34] 1278(23.3%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [35] 67.1% ??? [36] 32.9% --------------------------------------------------------------- bf [29] 49.9% bfmul [34] 50.1% [35] 1712(31.2%) 1712(31.2%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 --------------------------------------------------------------- bf [29] 43.5% bfmul [34] 56.5% [36] 744(13.6%) 744(13.6%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ---------------------------------------------------------------