Profiling results ----------------- Total cpu time observed: 5106ms (out of 5272ms) Number of samples taken: 23 (once every 222ms) ================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================= ??? [5] 100.0% [1] 5106(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ----------------------------------------------------------------- ??? [5] 100.0% [2] 946(18.5%) 0(0.0%) errors ...lies/herbie/develop/src/points.rkt:223:0 for-loop [4] 100.0% ----------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 5106(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% ----------------------------------------------------------------- errors [2] 100.0% [4] 946(18.5%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:225:2 ??? [5] 100.0% ----------------------------------------------------------------- for-loop [4] 6.2% run [3] 46.9% [5] 5106(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 46.9% prepare-points [14] 28.7% errors [2] 6.2% ulp-difference [23] 6.2% run-improve43 [6] 5.5% oracle-error [7] 3.3% eval-errors [8] 3.2% ----------------------------------------------------------------- ??? [5] 100.0% [6] 564(11.0%) 0(0.0%) run-improve43 ...ie/develop/src/mainloop.rkt:339:0 simplify! [11] 36.2% for-loop [12] 34.8% setup-prog!34 [13] 29.1% ----------------------------------------------------------------- ??? [5] 100.0% [7] 342(6.7%) 0(0.0%) oracle-error ...erbie/develop/src/points.rkt:207:0 for-loop [9] 100.0% ----------------------------------------------------------------- ??? [5] 100.0% [8] 324(6.3%) 0(0.0%) eval-errors ...herbie/develop/src/points.rkt:198:0 for-loop [10] 100.0% ----------------------------------------------------------------- oracle-error [7] 100.0% [9] 342(6.7%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:208:2 loop [16] 50.9% map [17] 49.1% ----------------------------------------------------------------- eval-errors [8] 100.0% [10] 324(6.3%) 158(3.1%) for-loop ...es/herbie/develop/src/points.rkt:200:2 ??? [33] 51.2% ----------------------------------------------------------------- run-improve43 [6] 100.0% [11] 204(4.0%) 0(0.0%) simplify! ...herbie/develop/src/mainloop.rkt:217:0 ??? [15] 100.0% ----------------------------------------------------------------- run-improve43 [6] 100.0% [12] 196(3.8%) 0(0.0%) for-loop .../herbie/develop/src/mainloop.rkt:354:4 ??? [29] 100.0% ----------------------------------------------------------------- run-improve43 [6] 100.0% [13] 164(3.2%) 0(0.0%) setup-prog!34 ...bie/develop/src/mainloop.rkt:67:0 prepare-points [14] 100.0% ----------------------------------------------------------------- setup-prog!34 [13] 5.3% ??? [5] 94.7% [14] 3094(60.6%) 0(0.0%) prepare-points ...bie/develop/src/points.rkt:166:0 loop [18] 94.7% eval-prog [21] 5.3% ----------------------------------------------------------------- simplify! [11] 100.0% [15] 204(4.0%) 0(0.0%) ??? ...s/herbie/develop/src/core/simplify.rkt:26:0 one-iter [19] 100.0% ----------------------------------------------------------------- for-loop [9] 100.0% [16] 174(3.4%) 0(0.0%) loop ...-7.2/collects/racket/private/map.rkt:40:19 ??? [27] 100.0% ----------------------------------------------------------------- for-loop [9] 100.0% [17] 168(3.3%) 0(0.0%) map ...t-7.2/collects/racket/private/map.rkt:35:13 ??? [20] 100.0% ----------------------------------------------------------------- prepare-points [14] 100.0% [18] 2930(57.4%) 162(3.2%) loop ...htlies/herbie/develop/src/points.rkt:143:4 loop [22] 83.3% ordinary-value? [24] 11.2% ----------------------------------------------------------------- ??? [15] 100.0% [19] 204(4.0%) 0(0.0%) one-iter ...bie/develop/src/core/simplify.rkt:85:0 find-matches [25] 100.0% ----------------------------------------------------------------- map [17] 100.0% [20] 168(3.3%) 0(0.0%) ??? ...htlies/herbie/develop/src/points.rkt:209:26 ulp-difference [23] 100.0% ----------------------------------------------------------------- prepare-points [14] 100.0% [21] 164(3.2%) 0(0.0%) eval-prog .../herbie/develop/src/programs.rkt:83:0 loop [26] 100.0% ----------------------------------------------------------------- loop [18] 100.0% [22] 2440(47.8%) 160(3.1%) loop ...htlies/herbie/develop/src/points.rkt:102:2 ??? [27] 79.1% ??? [29] 14.3% ----------------------------------------------------------------- ??? [20] 15.1% ??? [5] 84.9% [23] 1114(21.8%) 0(0.0%) ulp-difference ...erbie/develop/src/float.rkt:46:0 infer-representation [28] 100.0% ----------------------------------------------------------------- loop [18] 100.0% [24] 328(6.4%) 0(0.0%) ordinary-value? ...rbie/develop/src/float.rkt:80:0 special-value? [30] 100.0% ----------------------------------------------------------------- one-iter [19] 100.0% [25] 204(4.0%) 204(4.0%) find-matches ...develop/src/core/simplify.rkt:55:0 ----------------------------------------------------------------- loop [26] 33.3% expand-capturing-lifts [31] 33.3% eval-prog [21] 33.3% [26] 164(3.2%) 0(0.0%) loop (unknown source) expand-capturing-lifts [31] 33.3% loop [26] 33.3% for-loop [32] 33.3% ----------------------------------------------------------------- loop [16] 8.3% loop [22] 91.7% [27] 2104(41.2%) 324(6.3%) ??? ...htlies/herbie/develop/src/programs.rkt:99:2 ??? [33] 62.2% ??? [34] 22.4% ----------------------------------------------------------------- ulp-difference [23] 100.0% [28] 1114(21.8%) 318(6.2%) infer-representation ...develop/src/float.rkt:15:0 return/no-unsupplied [41] 71.5% ----------------------------------------------------------------- for-loop [12] 35.9% loop [22] 64.1% [29] 546(10.7%) 168(3.3%) ??? ...contract/private/arrow-val-first.rkt:390:18 atab-completed? [36] 35.9% ??? [37] 33.3% ----------------------------------------------------------------- ordinary-value? [24] 100.0% [30] 328(6.4%) 0(0.0%) special-value? ...erbie/develop/src/float.rkt:76:0 for-loop [35] 100.0% ----------------------------------------------------------------- loop [26] 100.0% [31] 164(3.2%) 0(0.0%) expand-capturing-lifts (unknown source) loop [26] 100.0% ----------------------------------------------------------------- run-module-instance!125 [39] 50.0% loop [26] 50.0% [32] 164(3.2%) 0(0.0%) for-loop (unknown source) run-module-instance!125 [39] 50.0% namespace->name [38] 50.0% ----------------------------------------------------------------- for-loop [10] 11.3% ??? [27] 88.7% [33] 1474(28.9%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:360:33 mk-ival [40] 76.9% ->flonum [43] 23.1% ----------------------------------------------------------------- ??? [27] 100.0% [34] 472(9.2%) 0(0.0%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14 ??? [42] 100.0% ----------------------------------------------------------------- special-value? [30] 100.0% [35] 328(6.4%) 144(2.8%) for-loop ...lies/herbie/develop/src/float.rkt:17:3 return/no-unsupplied [41] 56.1% ----------------------------------------------------------------- ??? [29] 100.0% [36] 196(3.8%) 196(3.8%) atab-completed? ...lop/src/core/alt-table.rkt:74:0 ----------------------------------------------------------------- ??? [29] 100.0% [37] 182(3.6%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:772:8 bigvalue? [44] 100.0% ----------------------------------------------------------------- for-loop [32] 100.0% [38] 164(3.2%) 164(3.2%) namespace->name (unknown source) ----------------------------------------------------------------- for-loop [32] 100.0% [39] 164(3.2%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [32] 100.0% ----------------------------------------------------------------- ??? [33] 100.0% [40] 1134(22.2%) 0(0.0%) mk-ival ...herbie/develop/src/biginterval.rkt:57:0 bf [45] 100.0% ----------------------------------------------------------------- for-loop [35] 18.8% infer-representation [28] 81.2% [41] 980(19.2%) 980(19.2%) return/no-unsupplied ...ct/private/arr-i.rkt:542:0 ----------------------------------------------------------------- ??? [34] 100.0% [42] 472(9.2%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:364:33 ival-add [46] 100.0% ----------------------------------------------------------------- ??? [33] 100.0% [43] 340(6.7%) 174(3.4%) ->flonum ...ies/herbie/develop/src/float.rkt:149:0 ??? [47] 48.8% ----------------------------------------------------------------- ??? [37] 100.0% [44] 182(3.6%) 182(3.6%) bigvalue? ...bie/develop/src/syntax/types.rkt:19:0 ----------------------------------------------------------------- mk-ival [40] 100.0% [45] 1134(22.2%) 810(15.9%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 ??? [49] 16.0% new-mpfr [51] 12.5% ----------------------------------------------------------------- ??? [42] 100.0% [46] 472(9.2%) 0(0.0%) ival-add ...erbie/develop/src/biginterval.rkt:94:0 bfadd [48] 100.0% ----------------------------------------------------------------- ->flonum [43] 100.0% [47] 166(3.3%) 0(0.0%) ??? ...nightlies/herbie/develop/src/float.rkt:23:2 for-loop [50] 100.0% ----------------------------------------------------------------- ival-add [46] 100.0% [48] 472(9.2%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [51] 100.0% ----------------------------------------------------------------- bf [45] 100.0% [49] 182(3.6%) 182(3.6%) ??? /opt/racket-7.2/collects/ffi/unsafe.rkt:905:4 ----------------------------------------------------------------- ??? [47] 100.0% [50] 166(3.3%) 0(0.0%) for-loop ...lies/herbie/develop/src/float.rkt:24:5 list-member? [52] 100.0% ----------------------------------------------------------------- bf [45] 23.1% bfadd [48] 76.9% [51] 614(12.0%) 614(12.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ----------------------------------------------------------------- for-loop [50] 100.0% [52] 166(3.3%) 166(3.3%) list-member? ...llects/racket/private/set.rkt:24:0 -----------------------------------------------------------------