Profiling results ----------------- Total cpu time observed: 3216ms (out of 3556ms) Number of samples taken: 9 (once every 357ms) ================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================= run [4] 50.0% [1] 3216(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 50.0% run-improve47 [2] 50.0% ----------------------------------------------------------------- ??? [1] 100.0% [2] 3216(100.0%) 0(0.0%) run-improve47 ...bie/master/src/mainloop.rkt:342:0 prepare-points [5] 70.1% simplify! [6] 29.9% ----------------------------------------------------------------- ??? [1] 100.0% [3] 3216(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ----------------------------------------------------------------- profile-thunk16 [3] 100.0% [4] 3216(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ----------------------------------------------------------------- run-improve47 [2] 100.0% [5] 2256(70.1%) 0(0.0%) prepare-points ...rbie/master/src/points.rkt:146:0 loop [7] 85.1% eval-prog [9] 14.9% ----------------------------------------------------------------- run-improve47 [2] 100.0% [6] 960(29.9%) 0(0.0%) simplify! .../herbie/master/src/mainloop.rkt:220:0 ??? [8] 100.0% ----------------------------------------------------------------- prepare-points [5] 100.0% [7] 1920(59.7%) 0(0.0%) loop ...ghtlies/herbie/master/src/points.rkt:122:4 loop [10] 100.0% ----------------------------------------------------------------- simplify! [6] 100.0% [8] 960(29.9%) 0(0.0%) ??? ...es/herbie/master/src/core/simplify.rkt:26:0 for-loop [11] 69.8% one-iter [14] 30.2% ----------------------------------------------------------------- prepare-points [5] 100.0% [9] 336(10.4%) 0(0.0%) eval-prog ...s/herbie/master/src/programs.rkt:83:0 loop [12] 100.0% ----------------------------------------------------------------- loop [7] 100.0% [10] 1920(59.7%) 0(0.0%) loop ...ightlies/herbie/master/src/points.rkt:81:2 ??? [13] 100.0% ----------------------------------------------------------------- ??? [8] 100.0% [11] 670(20.8%) 0(0.0%) for-loop ...rbie/master/src/core/simplify.rkt:33:2 one-iter [14] 100.0% ----------------------------------------------------------------- loop [12] 33.3% expand-capturing-lifts [15] 33.3% eval-prog [9] 33.3% [12] 336(10.4%) 0(0.0%) loop (unknown source) expand-capturing-lifts [15] 33.3% loop [12] 33.3% for-loop [16] 33.3% ----------------------------------------------------------------- loop [10] 100.0% [13] 1920(59.7%) 0(0.0%) ??? ...htlies/herbie/master/src/programs.rkt:108:2 ??? [17] 100.0% ----------------------------------------------------------------- ??? [8] 30.2% for-loop [11] 69.8% [14] 960(29.9%) 0(0.0%) one-iter ...rbie/master/src/core/simplify.rkt:65:0 for-loop [18] 69.8% find-matches [20] 30.2% ----------------------------------------------------------------- loop [12] 100.0% [15] 336(10.4%) 0(0.0%) expand-capturing-lifts (unknown source) loop [12] 100.0% ----------------------------------------------------------------- run-module-instance!125 [19] 50.0% loop [12] 50.0% [16] 336(10.4%) 336(10.4%) for-loop (unknown source) run-module-instance!125 [19] 50.0% ----------------------------------------------------------------- ??? [13] 100.0% [17] 1920(59.7%) 0(0.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [21] 100.0% ----------------------------------------------------------------- one-iter [14] 100.0% [18] 670(20.8%) 0(0.0%) for-loop ...rbie/master/src/core/simplify.rkt:67:2 for-loop [22] 100.0% ----------------------------------------------------------------- for-loop [16] 100.0% [19] 336(10.4%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [16] 100.0% ----------------------------------------------------------------- one-iter [14] 100.0% [20] 290(9.0%) 0(0.0%) find-matches .../master/src/core/simplify.rkt:55:0 for-loop [23] 100.0% ----------------------------------------------------------------- ??? [17] 100.0% [21] 1920(59.7%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-tan [24] 100.0% ----------------------------------------------------------------- for-loop [18] 100.0% [22] 670(20.8%) 0(0.0%) for-loop ...rbie/master/src/core/simplify.rkt:70:4 merge-egraph-nodes! [25] 51.3% substitute-e [26] 48.7% ----------------------------------------------------------------- for-loop [23] 50.0% find-matches [20] 50.0% [23] 290(9.0%) 0(0.0%) for-loop ...rbie/master/src/core/simplify.rkt:57:8 for-loop [23] 50.0% match-e [27] 50.0% ----------------------------------------------------------------- ??? [21] 100.0% [24] 1920(59.7%) 474(14.7%) ival-tan ...erbie/master/src/biginterval.rkt:309:0 ival-sin [28] 57.9% ival-cos [30] 17.4% ----------------------------------------------------------------- for-loop [22] 100.0% [25] 344(10.7%) 0(0.0%) merge-egraph-nodes! ...r/src/core/egraph.rkt:143:0 loop! [29] 100.0% ----------------------------------------------------------------- for-loop [22] 100.0% [26] 326(10.1%) 326(10.1%) substitute-e ...ie/master/src/core/ematch.rkt:64:0 ----------------------------------------------------------------- for-loop [23] 100.0% [27] 290(9.0%) 0(0.0%) match-e .../herbie/master/src/core/ematch.rkt:39:0 constant? [31] 100.0% ----------------------------------------------------------------- ival-tan [24] 100.0% [28] 1112(34.6%) 678(21.1%) ival-sin ...erbie/master/src/biginterval.rkt:292:0 pi.bf [32] 39.0% ----------------------------------------------------------------- merge-egraph-nodes! [25] 100.0% [29] 344(10.7%) 344(10.7%) loop! ...es/herbie/master/src/core/enode.rkt:187:2 ----------------------------------------------------------------- ival-tan [24] 100.0% [30] 334(10.4%) 334(10.4%) ival-cos ...erbie/master/src/biginterval.rkt:275:0 ----------------------------------------------------------------- match-e [27] 100.0% [31] 290(9.0%) 0(0.0%) constant? ...ie/master/src/syntax/syntax.rkt:719:0 value? [33] 100.0% ----------------------------------------------------------------- ival-sin [28] 100.0% [32] 434(13.5%) 0(0.0%) pi.bf ...-lib/math/private/bigfloat/mpfr.rkt:998:4 new-mpfr [34] 100.0% ----------------------------------------------------------------- constant? [31] 100.0% [33] 290(9.0%) 290(9.0%) value? .../herbie/master/src/syntax/types.rkt:18:0 ----------------------------------------------------------------- pi.bf [32] 100.0% [34] 434(13.5%) 434(13.5%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 -----------------------------------------------------------------