Profiling results ----------------- Total cpu time observed: 9476ms (out of 9188ms) Number of samples taken: 23 (once every 412ms) ========================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================= ??? [3] 100.0% [1] 9178(96.9%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% --------------------------------------------------------- profile-thunk16 [1] 96.9% [2] 9476(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% --------------------------------------------------------- run [2] 51.6% [3] 9476(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 loop [4] 50.0% profile-thunk16 [1] 48.4% run-improve50 [5] 1.6% --------------------------------------------------------- ??? [3] 100.0% [4] 9176(96.8%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:193:2 make-exacts* [9] 66.5% loop [6] 30.3% for-loop [8] 3.2% --------------------------------------------------------- ??? [3] 100.0% [5] 300(3.2%) 0(0.0%) run-improve50 ...ie/develop/src/mainloop.rkt:234:0 setup-prog [7] 100.0% --------------------------------------------------------- loop [4] 100.0% [6] 2778(29.3%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:151:2 loop [10] 68.8% make-exacts* [9] 31.2% --------------------------------------------------------- run-improve50 [5] 100.0% [7] 300(3.2%) 0(0.0%) setup-prog ...ies/herbie/develop/src/glue.rkt:39:0 ??? [11] 100.0% --------------------------------------------------------- loop [4] 100.0% [8] 298(3.1%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:200:24 for-loop [12] 100.0% --------------------------------------------------------- loop [6] 12.5% loop [4] 87.5% [9] 6968(73.5%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:138:0 map [13] 66.3% loop [15] 33.7% --------------------------------------------------------- loop [6] 100.0% [10] 1910(20.2%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:141:4 map [13] 100.0% --------------------------------------------------------- setup-prog [7] 100.0% [11] 300(3.2%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 make-alt-table [14]100.0% --------------------------------------------------------- for-loop [8] 100.0% [12] 298(3.1%) 298(3.1%) for-loop ...s/herbie/develop/src/points.rkt:201:26 --------------------------------------------------------- loop [10] 29.3% make-exacts* [9] 70.7% [13] 6528(68.9%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [15] 100.0% --------------------------------------------------------- ??? [11] 100.0% [14] 300(3.2%) 0(0.0%) make-alt-table ...elop/src/core/alt-table.rkt:32:0 errors [16] 100.0% --------------------------------------------------------- make-exacts* [9] 0.1% map [13] 2.3% loop [15] 97.6% [15] 8878(93.7%) 688(7.3%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [15] 97.6% ??? [18] 2.3% --------------------------------------------------------- make-alt-table [14]100.0% [16] 300(3.2%) 0(0.0%) errors ...lies/herbie/develop/src/points.rkt:218:0 for-loop [17] 100.0% --------------------------------------------------------- errors [16] 100.0% [17] 300(3.2%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:221:4 ??? [18] 100.0% --------------------------------------------------------- for-loop [17] 3.5% loop [15] 96.5% [18] 8490(89.6%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:155:4 ??? [19] 60.7% ??? [20] 39.3% --------------------------------------------------------- ??? [18] 100.0% [19] 5154(54.4%) 620(6.5%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [21] 80.0% ??? [23] 8.0% --------------------------------------------------------- ??? [18] 100.0% [20] 3336(35.2%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [22]100.0% --------------------------------------------------------- ??? [19] 100.0% [21] 4124(43.5%) 4124(43.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 --------------------------------------------------------- ??? [20] 100.0% [22] 3336(35.2%) 3336(35.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 --------------------------------------------------------- ??? [19] 100.0% [23] 410(4.3%) 410(4.3%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ---------------------------------------------------------