Profiling results ----------------- Total cpu time observed: 5258ms (out of 4972ms) Number of samples taken: 14 (once every 376ms) ========================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================= ??? [10] 100.0% [1] 5258(100.0%) 0(0.0%) profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% --------------------------------------------------------- ??? [10] 100.0% [2] 430(8.2%) 0(0.0%) run-improve58 ...ock/herbie/src/mainloop.rkt:242:0 for-loop [4] 100.0% --------------------------------------------------------- profile-thunk14 [1]100.0% [3] 5258(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:31:2 ??? [10] 100.0% --------------------------------------------------------- run-improve58 [2] 100.0% [4] 430(8.2%) 0(0.0%) for-loop ...ztatlock/herbie/src/mainloop.rkt:253:8 run-iter! [5] 100.0% --------------------------------------------------------- for-loop [4] 100.0% [5] 430(8.2%) 0(0.0%) run-iter! ...tatlock/herbie/src/mainloop.rkt:223:0 localize-error [6] 51.6% simplify! [7] 48.4% --------------------------------------------------------- run-iter! [5] 100.0% [6] 222(4.2%) 0(0.0%) localize-error ...erbie/src/core/localize.rkt:47:0 for-loop [8] 100.0% --------------------------------------------------------- run-iter! [5] 100.0% [7] 208(4.0%) 0(0.0%) simplify! ...tatlock/herbie/src/mainloop.rkt:162:0 for-loop [9] 100.0% --------------------------------------------------------- localize-error [6] 100.0% [8] 222(4.2%) 222(4.2%) for-loop ...ock/herbie/src/core/localize.rkt:49:34 --------------------------------------------------------- simplify! [7] 100.0% [9] 208(4.0%) 0(0.0%) for-loop ...ztatlock/herbie/src/mainloop.rkt:166:6 ??? [10] 100.0% --------------------------------------------------------- for-loop [9] 1.3% run [3] 49.3% [10] 5258(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk14 [1] 49.3% loop [11] 45.9% run-improve58 [2] 3.4% simplify [12] 1.3% --------------------------------------------------------- ??? [10] 100.0% [11] 4828(91.8%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:122:2 make-exacts* [15] 53.0% loop [13] 37.2% loop [16] 9.9% --------------------------------------------------------- ??? [10] 100.0% [12] 208(4.0%) 0(0.0%) simplify ...lock/herbie/src/core/simplify.rkt:39:0 debug7 [14] 100.0% --------------------------------------------------------- loop [11] 100.0% [13] 1794(34.1%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:93:2 loop [16] 86.6% make-exacts* [15] 13.4% --------------------------------------------------------- simplify [12] 100.0% [14] 208(4.0%) 0(0.0%) debug7 /home/ztatlock/herbie/src/debug.rkt:102:0 assoc-ref [17] 100.0% --------------------------------------------------------- loop [13] 8.6% loop [11] 91.4% [15] 2798(53.2%) 0(0.0%) make-exacts* ...tatlock/herbie/src/points.rkt:80:0 map [18] 71.2% loop [19] 28.8% --------------------------------------------------------- loop [11] 23.4% loop [13] 76.6% [16] 2030(38.6%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:83:4 map [18] 100.0% --------------------------------------------------------- debug7 [14] 100.0% [17] 208(4.0%) 208(4.0%) assoc-ref ...collects/racket/private/dict.rkt:56:0 --------------------------------------------------------- make-exacts* [15] 49.5% loop [16] 50.5% [18] 4022(76.5%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:21:13 loop [19] 100.0% --------------------------------------------------------- make-exacts* [15] 0.0% map [18] 0.4% loop [19] 99.5% [19] 4828(91.8%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:26:19 loop [19] 99.5% ??? [20] 0.5% ->flonum [21] 0.0% --------------------------------------------------------- loop [19] 100.0% [20] 4596(87.4%) 692(13.2%) ??? /home/ztatlock/herbie/src/programs.rkt:168:4 real->bigfloat [22] 50.7% ??? [23] 34.2% --------------------------------------------------------- loop [19] 100.0% [21] 232(4.4%) 232(4.4%) ->flonum ...ock/herbie/src/syntax/syntax.rkt:224:0 --------------------------------------------------------- ??? [20] 100.0% [22] 2330(44.3%) 1804(34.3%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [26] 22.6% --------------------------------------------------------- ??? [20] 100.0% [23] 1574(29.9%) 0(0.0%) ??? ...acket/collects/racket/private/kw.rkt:400:14 ??? [24] 100.0% --------------------------------------------------------- ??? [23] 100.0% [24] 1574(29.9%) 452(8.6%) ??? ...-racket/utils/simple-result-arrow.rkt:26:12 bfexpt [25] 71.3% --------------------------------------------------------- ??? [24] 100.0% [25] 1122(21.3%) 0(0.0%) bfexpt ...lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [26] 100.0% --------------------------------------------------------- real->bigfloat [22] 31.9% bfexpt [25] 68.1% [26] 1648(31.3%) 1648(31.3%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------