Profiling results ----------------- Total cpu time observed: 5610ms (out of 5936ms) Number of samples taken: 18 (once every 312ms) ========================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================= ??? [5] 100.0% [1] 5610(100.0%) 0(0.0%) profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% --------------------------------------------------------- ??? [5] 100.0% [2] 5338(95.2%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:122:2 make-exacts* [6] 62.9% loop [4] 37.1% --------------------------------------------------------- profile-thunk14 [1]100.0% [3] 5610(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:31:2 ??? [5] 100.0% --------------------------------------------------------- loop [2] 100.0% [4] 1978(35.3%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:93:2 loop [7] 61.1% make-exacts* [6] 38.9% --------------------------------------------------------- run [3] 50.0% [5] 5610(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk14 [1] 50.0% loop [2] 47.6% run-improve58 [9] 2.4% --------------------------------------------------------- loop [4] 18.6% loop [2] 81.4% [6] 4130(73.6%) 0(0.0%) make-exacts* ...tatlock/herbie/src/points.rkt:80:0 loop [10] 60.0% map [8] 40.0% --------------------------------------------------------- loop [4] 100.0% [7] 1208(21.5%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:83:4 map [8] 100.0% --------------------------------------------------------- loop [7] 42.3% make-exacts* [6] 57.7% [8] 2858(50.9%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:21:13 loop [10] 100.0% --------------------------------------------------------- ??? [5] 100.0% [9] 272(4.8%) 0(0.0%) run-improve58 ...ock/herbie/src/mainloop.rkt:242:0 setup-prog [11] 100.0% --------------------------------------------------------- make-exacts* [6] 0.3% map [8] 1.1% ??? [12] 1.2% loop [10] 97.4% [10] 5338(95.2%) 236(4.2%) loop ...cket/collects/racket/private/map.rkt:26:19 loop [10] 97.4% ??? [12] 1.4% real->bigfloat [15] 1.2% ->flonum [13] 0.0% --------------------------------------------------------- run-improve58 [9] 100.0% [11] 272(4.8%) 0(0.0%) setup-prog /home/ztatlock/herbie/src/glue.rkt:46:0 simplify-alt [14] 100.0% --------------------------------------------------------- loop [10] 100.0% [12] 4476(79.8%) 240(4.3%) ??? /home/ztatlock/herbie/src/programs.rkt:168:4 real->bigfloat [15] 51.3% loop [10] 32.6% ??? [17] 10.7% --------------------------------------------------------- loop [10] 100.0% [13] 862(15.4%) 0(0.0%) ->flonum ...ock/herbie/src/syntax/syntax.rkt:224:0 ??? [16] 100.0% --------------------------------------------------------- setup-prog [11] 100.0% [14] 272(4.8%) 0(0.0%) simplify-alt .../ztatlock/herbie/src/glue.rkt:84:0 simplify [18] 100.0% --------------------------------------------------------- loop [10] 34.7% ??? [12] 65.3% [15] 3520(62.7%) 3296(58.8%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [20] 6.4% --------------------------------------------------------- ->flonum [13] 100.0% [16] 862(15.4%) 862(15.4%) ??? /home/ztatlock/herbie/src/config.rkt:29:0 --------------------------------------------------------- ??? [12] 100.0% [17] 480(8.6%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:638:8 ??? [19] 100.0% --------------------------------------------------------- simplify-alt [14] 100.0% [18] 272(4.8%) 272(4.8%) simplify ...lock/herbie/src/core/simplify.rkt:39:0 --------------------------------------------------------- ??? [17] 100.0% [19] 480(8.6%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:373:33 ??? [21] 100.0% --------------------------------------------------------- real->bigfloat [15]100.0% [20] 224(4.0%) 224(4.0%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 --------------------------------------------------------- ??? [19] 100.0% [21] 480(8.6%) 480(8.6%) ??? ...llects/racket/contract/combinator.rkt:178:4 ---------------------------------------------------------