Profiling results ----------------- Total cpu time observed: 2496ms (out of 2576ms) Number of samples taken: 14 (once every 178ms) ============================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================ ??? [3] 100.0% [1] 2340(93.8%) 0(0.0%) profile-thunk14 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ------------------------------------------------------------ profile-thunk14 [1] 100.0% [2] 2340(93.8%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:31:2 ??? [3] 100.0% ------------------------------------------------------------ run [2] 50.0% [3] 2340(93.8%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk14 [1] 50.0% loop [4] 45.6% run-improve58 [5] 4.4% ------------------------------------------------------------ ??? [3] 100.0% [4] 2136(85.6%) 192(7.7%) loop /home/ztatlock/herbie/src/points.rkt:122:2 make-exacts* [9] 48.8% loop [6] 32.7% filter-exacts [7] 9.6% ------------------------------------------------------------ ??? [3] 100.0% [5] 204(8.2%) 0(0.0%) run-improve58 ...ock/herbie/src/mainloop.rkt:242:0 setup-prog [8] 100.0% ------------------------------------------------------------ loop [4] 100.0% [6] 698(28.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:93:2 loop [10] 74.8% make-exacts* [9] 25.2% ------------------------------------------------------------ loop [4] 100.0% [7] 204(8.2%) 0(0.0%) filter-exacts ...tlock/herbie/src/points.rkt:108:0 for-loop [11] 100.0% ------------------------------------------------------------ run-improve58 [5] 100.0% [8] 204(8.2%) 0(0.0%) setup-prog /home/ztatlock/herbie/src/glue.rkt:46:0 simplify-alt [12] 100.0% ------------------------------------------------------------ loop [6] 14.4% loop [4] 85.6% [9] 1218(48.8%) 0(0.0%) make-exacts* ...tatlock/herbie/src/points.rkt:80:0 map [13] 56.8% loop [16] 43.2% ------------------------------------------------------------ loop [6] 100.0% [10] 522(20.9%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:83:4 map [13] 100.0% ------------------------------------------------------------ filter-exacts [7] 100.0% [11] 204(8.2%) 0(0.0%) for-loop ...e/ztatlock/herbie/src/points.rkt:111:4 loop [14] 100.0% ------------------------------------------------------------ setup-prog [8] 100.0% [12] 204(8.2%) 0(0.0%) simplify-alt .../ztatlock/herbie/src/glue.rkt:84:0 simplify [15] 100.0% ------------------------------------------------------------ loop [10] 43.0% make-exacts* [9] 57.0% [13] 1214(48.6%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:21:13 loop [16] 100.0% ------------------------------------------------------------ for-loop [11] 100.0% [14] 204(8.2%) 204(8.2%) loop ...cket/collects/racket/private/map.rkt:82:23 ------------------------------------------------------------ simplify-alt [12] 100.0% [15] 204(8.2%) 0(0.0%) simplify ...lock/herbie/src/core/simplify.rkt:39:0 iterate-egraph!5 [17] 100.0% ------------------------------------------------------------ make-exacts* [9] 0.5% map [13] 0.5% loop [16] 99.0% [16] 1896(76.0%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:26:19 loop [16] 99.0% ??? [18] 1.0% ------------------------------------------------------------ simplify [15] 100.0% [17] 204(8.2%) 0(0.0%) iterate-egraph!5 ...bie/src/core/simplify.rkt:95:0 one-iter [19] 100.0% ------------------------------------------------------------ loop [16] 100.0% [18] 1896(76.0%) 512(20.5%) ??? /home/ztatlock/herbie/src/programs.rkt:168:4 real->bigfloat [20] 73.0% ------------------------------------------------------------ iterate-egraph!5 [17] 100.0% [19] 204(8.2%) 0(0.0%) one-iter ...ock/herbie/src/core/simplify.rkt:106:0 apply-match [21] 100.0% ------------------------------------------------------------ ??? [18] 100.0% [20] 1384(55.4%) 852(34.1%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [22] 38.4% ------------------------------------------------------------ one-iter [19] 100.0% [21] 204(8.2%) 0(0.0%) apply-match .../herbie/src/core/simplify.rkt:122:2 merge-egraph-nodes! [23]100.0% ------------------------------------------------------------ real->bigfloat [20] 100.0% [22] 532(21.3%) 532(21.3%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ------------------------------------------------------------ apply-match [21] 100.0% [23] 204(8.2%) 0(0.0%) merge-egraph-nodes! ...e/src/core/egraph.rkt:152:0 update-leader! [24] 100.0% ------------------------------------------------------------ merge-egraph-nodes! [23]100.0% [24] 204(8.2%) 0(0.0%) update-leader! ...herbie/src/core/egraph.rkt:217:0 make-sequence [25] 100.0% ------------------------------------------------------------ update-leader! [24] 100.0% [25] 204(8.2%) 204(8.2%) make-sequence ...ects/racket/private/for.rkt:508:2 ------------------------------------------------------------