Profiling results ----------------- Total cpu time observed: 2504ms (out of 2616ms) Number of samples taken: 10 (once every 250ms) ============================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================= ??? [3] 100.0% [1] 2504(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ------------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 2504(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ------------------------------------------------------------- run [2] 50.0% [3] 2504(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [4] 45.8% run-improve50 [5] 4.2% ------------------------------------------------------------- ??? [3] 100.0% [4] 2292(91.5%) 0(0.0%) loop .../herbie/diff-of-prods/src/points.rkt:193:2 loop [6] 61.8% make-exacts* [8] 38.2% ------------------------------------------------------------- ??? [3] 100.0% [5] 212(8.5%) 0(0.0%) run-improve50 ...f-of-prods/src/mainloop.rkt:234:0 setup-alt-simplified [7]100.0% ------------------------------------------------------------- loop [4] 100.0% [6] 1416(56.5%) 0(0.0%) loop .../herbie/diff-of-prods/src/points.rkt:151:2 loop [9] 75.6% make-exacts* [8] 24.4% ------------------------------------------------------------- run-improve50 [5] 100.0% [7] 212(8.5%) 0(0.0%) setup-alt-simplified ...of-prods/src/glue.rkt:49:0 simplify-alt [10] 100.0% ------------------------------------------------------------- loop [6] 28.3% loop [4] 71.7% [8] 1222(48.8%) 0(0.0%) make-exacts* ...diff-of-prods/src/points.rkt:138:0 map [11] 58.1% loop [12] 41.9% ------------------------------------------------------------- loop [6] 100.0% [9] 1070(42.7%) 0(0.0%) loop .../herbie/diff-of-prods/src/points.rkt:141:4 map [11] 100.0% ------------------------------------------------------------- setup-alt-simplified [7]100.0% [10] 212(8.5%) 0(0.0%) simplify-alt ...ie/diff-of-prods/src/glue.rkt:76:0 ??? [16] 100.0% ------------------------------------------------------------- make-exacts* [8] 39.9% loop [9] 60.1% [11] 1780(71.1%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [12] 100.0% ------------------------------------------------------------- make-exacts* [8] 0.1% map [11] 0.5% loop [12] 99.4% [12] 2292(91.5%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [12] 99.4% ??? [13] 0.6% ??? [14] 0.0% ------------------------------------------------------------- loop [12] 100.0% [13] 2120(84.7%) 0(0.0%) ??? ...herbie/diff-of-prods/src/programs.rkt:154:4 ??? [15] 84.0% ??? [17] 16.0% ------------------------------------------------------------- loop [12] 100.0% [14] 172(6.9%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [16] 100.0% ------------------------------------------------------------- ??? [13] 100.0% [15] 1780(71.1%) 0(0.0%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [18] 100.0% ------------------------------------------------------------- ??? [16] 27.6% simplify-alt [10] 27.6% ??? [14] 44.8% [16] 384(15.3%) 172(6.9%) ??? ...llects/racket/private/norm-define.rkt:53:83 ??? [16] 27.6% iterate-egraph!13 [19] 27.6% ------------------------------------------------------------- ??? [13] 100.0% [17] 340(13.6%) 174(6.9%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [20] 48.8% ------------------------------------------------------------- ??? [15] 100.0% [18] 1780(71.1%) 178(7.1%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [21] 90.0% ------------------------------------------------------------- ??? [16] 100.0% [19] 212(8.5%) 0(0.0%) iterate-egraph!13 ...s/src/core/simplify.rkt:102:0 one-iter [22] 100.0% ------------------------------------------------------------- ??? [17] 100.0% [20] 166(6.6%) 166(6.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ------------------------------------------------------------- ??? [18] 100.0% [21] 1602(64.0%) 896(35.8%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [23] 44.1% ------------------------------------------------------------- iterate-egraph!13 [19] 100.0% [22] 212(8.5%) 0(0.0%) one-iter ...f-of-prods/src/core/simplify.rkt:113:0 loop [24] 100.0% ------------------------------------------------------------- bfsub [21] 100.0% [23] 706(28.2%) 706(28.2%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ------------------------------------------------------------- one-iter [22] 100.0% [24] 212(8.5%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:52:19 apply-match [25] 100.0% ------------------------------------------------------------- loop [24] 100.0% [25] 212(8.5%) 0(0.0%) apply-match ...f-prods/src/core/simplify.rkt:130:2 for-loop [26] 100.0% ------------------------------------------------------------- apply-match [25] 100.0% [26] 212(8.5%) 0(0.0%) for-loop ...-of-prods/src/core/simplify.rkt:145:10 loop! [27] 100.0% ------------------------------------------------------------- for-loop [26] 100.0% [27] 212(8.5%) 212(8.5%) loop! ...ie/diff-of-prods/src/core/enode.rkt:192:2 -------------------------------------------------------------