Profiling results ----------------- Total cpu time observed: 22386ms (out of 22980ms) Number of samples taken: 60 (once every 373ms) ================================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================ run [8] 50.0% [1] 22386(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 50.0% loop [4] 45.8% eval-errors [5] 2.0% oracle-error [6] 1.4% run-improve39 [7] 0.8% ---------------------------------------------------------------- hash-ref! [24] 100.0% [2] 344(1.5%) 0(0.0%) parse-loop14 ...s/racket/match/compiler.rkt:418:15 loop [15] 100.0% ---------------------------------------------------------------- ??? [1] 100.0% [3] 22386(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [8] 100.0% ---------------------------------------------------------------- ??? [1] 100.0% [4] 20502(91.6%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:242:2 make-exacts-intervals [9] 98.3% for-loop [12] 1.7% ---------------------------------------------------------------- ??? [1] 100.0% [5] 910(4.1%) 0(0.0%) eval-errors ...herbie/develop/src/points.rkt:292:0 for-loop [10] 100.0% ---------------------------------------------------------------- ??? [1] 100.0% [6] 630(2.8%) 0(0.0%) oracle-error ...erbie/develop/src/points.rkt:311:0 for-loop [11] 100.0% ---------------------------------------------------------------- ??? [1] 100.0% [7] 344(1.5%) 0(0.0%) run-improve39 ...ie/develop/src/mainloop.rkt:340:0 for-loop [13] 100.0% ---------------------------------------------------------------- profile-thunk16 [3] 100.0% [8] 22386(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ---------------------------------------------------------------- loop [4] 100.0% [9] 20154(90.0%) 0(0.0%) make-exacts-intervals ...elop/src/points.rkt:183:0 for-loop [14] 98.5% loop [18] 1.5% ---------------------------------------------------------------- eval-errors [5] 100.0% [10] 910(4.1%) 312(1.4%) for-loop ...es/herbie/develop/src/points.rkt:294:2 ??? [21] 33.2% ulp-difference [19] 32.5% ---------------------------------------------------------------- oracle-error [6] 100.0% [11] 630(2.8%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:312:2 loop [15] 100.0% ---------------------------------------------------------------- loop [4] 100.0% [12] 348(1.6%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:257:19 for-loop [16] 100.0% ---------------------------------------------------------------- run-improve39 [7] 100.0% [13] 344(1.5%) 0(0.0%) for-loop ...herbie/develop/src/mainloop.rkt:361:10 run-iter! [17] 100.0% ---------------------------------------------------------------- make-exacts-intervals [9]100.0% [14] 19854(88.7%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:186:2 loop [18] 98.4% ??? [25] 1.6% ---------------------------------------------------------------- parse-loop14 [2] 35.3% for-loop [11] 64.7% [15] 974(4.4%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:40:19 hash-ref! [24] 35.3% ??? [45] 32.4% ulp-difference [19] 32.2% ---------------------------------------------------------------- for-loop [12] 100.0% [16] 348(1.6%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:234:4 ??? [45] 100.0% ---------------------------------------------------------------- for-loop [13] 100.0% [17] 344(1.5%) 0(0.0%) run-iter! ...herbie/develop/src/mainloop.rkt:321:0 localize! [20] 100.0% ---------------------------------------------------------------- make-exacts-intervals [9] 1.5% for-loop [14] 98.5% [18] 19832(88.6%) 286(1.3%) loop ...htlies/herbie/develop/src/points.rkt:168:2 ??? [21] 95.5% ??? [45] 3.1% ---------------------------------------------------------------- for-loop [10] 48.5% loop [15] 51.5% [19] 610(2.7%) 610(2.7%) ulp-difference ...erbie/develop/src/float.rkt:19:0 ---------------------------------------------------------------- run-iter! [17] 100.0% [20] 344(1.5%) 0(0.0%) localize! ...herbie/develop/src/mainloop.rkt:123:0 localize-error [22] 100.0% ---------------------------------------------------------------- for-loop [10] 1.6% loop [18] 98.4% [21] 19234(85.9%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:124:2 ??? [23] 91.2% ??? [25] 7.3% ??? [45] 1.6% ---------------------------------------------------------------- localize! [20] 100.0% [22] 344(1.5%) 0(0.0%) localize-error ...velop/src/core/localize.rkt:51:0 hash-ref! [24] 100.0% ---------------------------------------------------------------- ??? [21] 100.0% [23] 17534(78.3%) 0(0.0%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [25] 100.0% ---------------------------------------------------------------- loop [15] 50.0% localize-error [22] 50.0% [24] 344(1.5%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 parse-loop14 [2] 50.0% f8 [26] 50.0% ---------------------------------------------------------------- for-loop [14] 1.7% fold-binary-pred [37] 2.5% ??? [21] 7.3% ??? [23] 88.6% [25] 19254(86.0%) 1636(7.3%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-cos [27] 43.4% ival-mult [28] 31.4% ival-exp [29] 10.3% mk-ival [30] 7.3% ??? [32] 1.7% ---------------------------------------------------------------- hash-ref! [24] 100.0% [26] 344(1.5%) 0(0.0%) f8 ...et/collects/racket/match/compiler.rkt:507:40 map [31] 100.0% ---------------------------------------------------------------- ??? [25] 100.0% [27] 8838(39.5%) 584(2.6%) ival-cos ...rbie/develop/src/biginterval.rkt:204:0 ??? [44] 78.6% fold-binary-pred [37] 10.9% bfeven? [38] 3.9% ---------------------------------------------------------------- ??? [25] 100.0% [28] 6046(27.0%) 0(0.0%) ival-mult ...rbie/develop/src/biginterval.rkt:94:0 bfmin* [33] 43.4% bfmax* [34] 33.4% bf* [35] 18.3% foldl [41] 4.9% ---------------------------------------------------------------- ??? [25] 100.0% [29] 1980(8.8%) 0(0.0%) ival-exp ...rbie/develop/src/biginterval.rkt:116:0 ??? [44] 100.0% ---------------------------------------------------------------- ??? [25] 100.0% [30] 1398(6.2%) 312(1.4%) mk-ival ...herbie/develop/src/biginterval.rkt:52:0 bf [36] 77.7% ---------------------------------------------------------------- f8 [26] 100.0% [31] 344(1.5%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:35:13 loop [39] 100.0% ---------------------------------------------------------------- ??? [25] 100.0% [32] 322(1.4%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:519:4 ??? [40] 100.0% ---------------------------------------------------------------- ival-mult [28] 100.0% [33] 2624(11.7%) 0(0.0%) bfmin* .../herbie/develop/src/biginterval.rkt:88:0 foldl [41] 100.0% ---------------------------------------------------------------- ival-mult [28] 100.0% [34] 2022(9.0%) 0(0.0%) bfmax* .../herbie/develop/src/biginterval.rkt:91:0 foldl [41] 100.0% ---------------------------------------------------------------- ival-mult [28] 100.0% [35] 1106(4.9%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [44] 100.0% ---------------------------------------------------------------- mk-ival [30] 100.0% [36] 1086(4.9%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [52] 100.0% ---------------------------------------------------------------- ival-cos [27] 100.0% [37] 966(4.3%) 0(0.0%) fold-binary-pred ...gfloat/bigfloat-mpfr.rkt:117:0 ??? [25] 100.0% ---------------------------------------------------------------- ival-cos [27] 100.0% [38] 344(1.5%) 344(1.5%) bfeven? ...ib/math/private/bigfloat/mpfr.rkt:800:0 ---------------------------------------------------------------- map [31] 3.3% loop [39] 96.7% [39] 344(1.5%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:54:19 loop [39] 96.7% ??? [42] 3.3% ---------------------------------------------------------------- ??? [32] 100.0% [40] 322(1.4%) 0(0.0%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ??? [43] 100.0% ---------------------------------------------------------------- ival-mult [28] 6.0% bfmax* [34] 40.9% bfmin* [33] 53.1% [41] 4940(22.1%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:229:4 ??? [44] 100.0% ---------------------------------------------------------------- loop [39] 100.0% [42] 344(1.5%) 0(0.0%) ??? .../herbie/develop/src/core/localize.rkt:43:32 ??? [45] 100.0% ---------------------------------------------------------------- ??? [40] 100.0% [43] 322(1.4%) 322(1.4%) ??? ...ects/racket/contract/private/list.rkt:163:5 ---------------------------------------------------------------- bf* [35] 7.4% ival-exp [29] 13.2% foldl [41] 33.0% ival-cos [27] 46.4% [44] 14970(66.9%) 4376(19.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfdiv [46] 44.6% bfexp [47] 18.0% pi.bf [49] 6.2% bffloor [51] 2.0% ---------------------------------------------------------------- ??? [21] 15.7% loop [15] 16.4% ??? [42] 17.9% for-loop [16] 18.1% loop [18] 31.9% [45] 1924(8.6%) 302(1.3%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [48] 66.2% sample-multi-bounded [50] 18.1% ---------------------------------------------------------------- ??? [44] 100.0% [46] 6674(29.8%) 0(0.0%) bfdiv ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [52] 69.2% ??? [53] 30.8% ---------------------------------------------------------------- ??? [44] 100.0% [47] 2696(12.0%) 0(0.0%) bfexp ...-lib/math/private/bigfloat/mpfr.rkt:618:4 ??? [53] 61.9% new-mpfr [52] 38.1% ---------------------------------------------------------------- ??? [45] 100.0% [48] 1274(5.7%) 930(4.2%) ->flonum ...s/herbie/develop/src/programs.rkt:36:0 ??? [53] 27.0% ---------------------------------------------------------------- ??? [44] 100.0% [49] 924(4.1%) 0(0.0%) pi.bf ...-lib/math/private/bigfloat/mpfr.rkt:998:4 ??? [53] 66.5% new-mpfr [52] 33.5% ---------------------------------------------------------------- ??? [45] 100.0% [50] 348(1.6%) 348(1.6%) sample-multi-bounded ...evelop/src/points.rkt:44:0 ---------------------------------------------------------------- ??? [44] 100.0% [51] 300(1.3%) 0(0.0%) bffloor ...ib/math/private/bigfloat/mpfr.rkt:716:4 new-mpfr [52] 100.0% ---------------------------------------------------------------- bffloor [51] 4.1% pi.bf [49] 4.2% bfexp [47] 14.0% bf [36] 14.8% bfdiv [46] 62.9% [52] 7340(32.8%) 7340(32.8%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ---------------------------------------------------------------- ->flonum [48] 7.3% pi.bf [49] 13.1% bfexp [47] 35.6% bfdiv [46] 43.9% [53] 4684(20.9%) 4684(20.9%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ----------------------------------------------------------------