Profiling results ----------------- Total cpu time observed: 42918ms (out of 44120ms) Number of samples taken: 138 (once every 311ms) (Hiding functions with self<1.0% and local<2.0%: 3 of 35 hidden) ================================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================ ??? [3] 100.0% [1] 42022(97.9%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ---------------------------------------------------------------- profile-thunk16 [1] 99.4% [2] 42294(98.5%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ---------------------------------------------------------------- run [2] 49.9% [3] 42612(99.3%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.3% loop [5] 37.3% prepare-points [6] 11.3% run-improve50 [4] 2.2% ---------------------------------------------------------------- ??? [3] 100.0% [4] 1848(4.3%) 0(0.0%) run-improve50 ...ie/develop/src/mainloop.rkt:234:0 loop [5] 84.0% prepare-points [6] 16.0% ---------------------------------------------------------------- run-improve50 [4] 4.7% ??? [3] 95.3% [5] 32992(76.9%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:238:2 loop [7] 34.5% loop [9] 34.4% make-exacts* [10] 28.9% for-loop [8] 2.2% ---------------------------------------------------------------- run-improve50 [4] 3.1% ??? [3] 96.9% [6] 9620(22.4%) 0(0.0%) prepare-points ...bie/develop/src/points.rkt:214:0 loop [9] 47.4% make-exacts* [10] 24.8% loop [7] 24.2% for-loop [8] 3.5% ---------------------------------------------------------------- prepare-points [6] 17.0% loop [5] 83.0% [7] 13724(32.0%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:158:2 make-exacts* [10] 49.9% loop [9] 48.6% debug-print [12] 1.5% ---------------------------------------------------------------- prepare-points [6] 32.1% loop [5] 67.9% [8] 1052(2.5%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:255:26 ??? [11] 100.0% ---------------------------------------------------------------- prepare-points [6] 20.2% loop [7] 29.6% loop [5] 50.2% [9] 22592(52.6%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:141:4 loop [13] 96.3% ??? [16] 3.7% ---------------------------------------------------------------- prepare-points [6] 12.7% loop [7] 36.5% loop [5] 50.8% [10] 18762(43.7%) 272(0.6%) make-exacts* ...erbie/develop/src/points.rkt:138:0 loop [13] 97.4% ---------------------------------------------------------------- for-loop [8] 100.0% [11] 1052(2.5%) 0(0.0%) ??? ...ghtlies/herbie/develop/src/points.rkt:230:7 ??? [17] 75.9% for-loop [14] 24.1% ---------------------------------------------------------------- loop [7] 100.0% [12] 206(0.5%) 0(0.0%) debug-print .../herbie/develop/src/debug.rkt:107:0 for-loop [15] 100.0% ---------------------------------------------------------------- loop [9] 1.8% make-exacts* [10] 3.4% loop [13] 94.8% [13] 40342(94.0%) 300(0.7%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [13] 94.8% ??? [16] 5.0% ??? [17] 0.2% ---------------------------------------------------------------- ??? [11] 100.0% [14] 254(0.6%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:231:9 ??? [17] 100.0% ---------------------------------------------------------------- debug-print [12] 100.0% [15] 206(0.5%) 206(0.5%) for-loop ...ies/herbie/develop/src/debug.rkt:113:2 ---------------------------------------------------------------- loop [9] 2.1% loop [13] 97.9% [16] 39448(91.9%) 882(2.1%) ??? ...tlies/herbie/develop/src/programs.rkt:156:4 ??? [18] 61.6% ??? [19] 34.7% ??? [21] 1.5% ---------------------------------------------------------------- for-loop [14] 10.3% ??? [11] 32.2% loop [13] 57.5% [17] 2478(5.8%) 544(1.3%) ??? ...tract/private/arrow-higher-order.rkt:342:33 sample-multi-bounded [20] 78.0% ---------------------------------------------------------------- ??? [16] 100.0% [18] 24312(56.6%) 4030(9.4%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [22] 75.9% ??? [24] 2.5% ??? [25] 2.5% ---------------------------------------------------------------- ??? [16] 100.0% [19] 13670(31.9%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [23] 100.0% ---------------------------------------------------------------- ??? [17] 100.0% [20] 1934(4.5%) 1098(2.6%) sample-multi-bounded ...vate/norm-define.rkt:53:83 return/no-unsupplied [27] 30.1% loop [28] 13.1% ---------------------------------------------------------------- ??? [16] 100.0% [21] 584(1.4%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:145:21 ??? [26] 100.0% ---------------------------------------------------------------- ??? [18] 100.0% [22] 18462(43.0%) 8862(20.6%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfexp [29] 27.1% bfadd [30] 24.9% ---------------------------------------------------------------- ??? [19] 100.0% [23] 13670(31.9%) 10018(23.3%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [32] 26.7% ---------------------------------------------------------------- ??? [18] 100.0% [24] 606(1.4%) 606(1.4%) ??? ...ects/racket/contract/private/prop.rkt:493:4 ---------------------------------------------------------------- ??? [18] 100.0% [25] 604(1.4%) 604(1.4%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ---------------------------------------------------------------- ??? [21] 100.0% [26] 584(1.4%) 584(1.4%) ??? ...ects/racket/contract/private/guts.rkt:644:8 ---------------------------------------------------------------- sample-multi-bounded [20]100.0% [27] 582(1.4%) 582(1.4%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 ---------------------------------------------------------------- sample-multi-bounded [20]100.0% [28] 254(0.6%) 0(0.0%) loop ...ghtlies/herbie/develop/src/points.rkt:66:6 random-exp [31] 100.0% ---------------------------------------------------------------- ??? [22] 100.0% [29] 5012(11.7%) 3574(8.3%) bfexp ...-lib/math/private/bigfloat/mpfr.rkt:616:4 ??? [32] 28.7% ---------------------------------------------------------------- ??? [22] 100.0% [30] 4588(10.7%) 3402(7.9%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [32] 25.9% ---------------------------------------------------------------- loop [28] 100.0% [31] 254(0.6%) 254(0.6%) random-exp .../herbie/develop/src/common.rkt:253:0 ---------------------------------------------------------------- bfadd [30] 18.9% bfexp [29] 22.9% real->bigfloat [23] 58.2% [32] 6276(14.6%) 6276(14.6%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ----------------------------------------------------------------