Profiling results ----------------- Total cpu time observed: 7242ms (out of 7560ms) Number of samples taken: 15 (once every 483ms) =========================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================== ??? [3] 100.0% [1] 7242(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ----------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 7242(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ----------------------------------------------------------- run [2] 50.0% [3] 7242(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [4] 47.5% run-improve50 [5] 2.5% ----------------------------------------------------------- ??? [3] 100.0% [4] 6882(95.0%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:205:2 make-exacts* [8] 38.7% loop [9] 33.1% loop [6] 28.2% ----------------------------------------------------------- ??? [3] 100.0% [5] 360(5.0%) 0(0.0%) run-improve50 ...ie/develop/src/mainloop.rkt:234:0 ??? [7] 100.0% ----------------------------------------------------------- loop [4] 100.0% [6] 1944(26.8%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:158:2 loop [9] 58.4% make-exacts* [8] 41.6% ----------------------------------------------------------- run-improve50 [5] 100.0% [7] 360(5.0%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 atab-add-altns [10] 100.0% ----------------------------------------------------------- loop [6] 23.3% loop [4] 76.7% [8] 3468(47.9%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:138:0 loop [11] 100.0% ----------------------------------------------------------- loop [6] 33.3% loop [4] 66.7% [9] 3414(47.1%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:141:4 loop [11] 100.0% ----------------------------------------------------------- ??? [7] 100.0% [10] 360(5.0%) 0(0.0%) atab-add-altns ...elop/src/core/alt-table.rkt:50:0 atab-add-altn [12] 100.0% ----------------------------------------------------------- make-exacts* [8] 0.3% loop [9] 0.5% loop [11] 99.3% [11] 6882(95.0%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [11] 99.3% ??? [13] 0.7% ??? [15] 0.0% ----------------------------------------------------------- atab-add-altns [10] 100.0% [12] 360(5.0%) 0(0.0%) atab-add-altn ...elop/src/core/alt-table.rkt:208:0 override-at-pnts [14]100.0% ----------------------------------------------------------- loop [11] 100.0% [13] 6548(90.4%) 324(4.5%) ??? ...tlies/herbie/develop/src/programs.rkt:156:4 ??? [16] 52.0% ??? [17] 43.0% ----------------------------------------------------------- atab-add-altn [12] 100.0% [14] 360(5.0%) 0(0.0%) override-at-pnts ...p/src/core/alt-table.rkt:145:0 errors [18] 100.0% ----------------------------------------------------------- loop [11] 100.0% [15] 334(4.6%) 334(4.6%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ----------------------------------------------------------- ??? [13] 100.0% [16] 3408(47.1%) 1326(18.3%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [19] 61.1% ----------------------------------------------------------- ??? [13] 100.0% [17] 2816(38.9%) 470(6.5%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [20] 60.8% ??? [22] 11.6% ??? [23] 10.9% ----------------------------------------------------------- override-at-pnts [14]100.0% [18] 360(5.0%) 0(0.0%) errors ...lies/herbie/develop/src/points.rkt:241:0 eval-prog [21] 100.0% ----------------------------------------------------------- ??? [16] 100.0% [19] 2082(28.7%) 1744(24.1%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [25] 16.2% ----------------------------------------------------------- ??? [17] 100.0% [20] 1712(23.6%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [24] 100.0% ----------------------------------------------------------- errors [18] 100.0% [21] 360(5.0%) 360(5.0%) eval-prog ...herbie/develop/src/programs.rkt:150:0 ----------------------------------------------------------- ??? [17] 100.0% [22] 326(4.5%) 326(4.5%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ----------------------------------------------------------- ??? [17] 100.0% [23] 308(4.3%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:493:4 ??? [26] 100.0% ----------------------------------------------------------- bf* [20] 100.0% [24] 1712(23.6%) 360(5.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [27] 79.0% ----------------------------------------------------------- real->bigfloat [19] 100.0% [25] 338(4.7%) 338(4.7%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ----------------------------------------------------------- ??? [23] 100.0% [26] 308(4.3%) 308(4.3%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ----------------------------------------------------------- ??? [24] 100.0% [27] 1352(18.7%) 1352(18.7%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 -----------------------------------------------------------