Profiling results ----------------- Total cpu time observed: 12304ms (out of 12748ms) Number of samples taken: 30 (once every 410ms) =============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================== ??? [3] 100.0% [1] 12304(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] 12304(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% --------------------------------------------------------------- run [2] 50.0% [3] 12304(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% prepare-points [4] 48.8% run-improve50 [5] 1.2% --------------------------------------------------------------- ??? [3] 100.0% [4] 12000(97.5%) 0(0.0%) prepare-points ...bie/develop/src/points.rkt:214:0 make-exacts* [9] 43.4% loop [10] 25.8% loop [6] 25.5% for-loop [7] 5.3% --------------------------------------------------------------- ??? [3] 100.0% [5] 304(2.5%) 0(0.0%) run-improve50 ...ie/develop/src/mainloop.rkt:234:0 setup-alt-simplified [8]100.0% --------------------------------------------------------------- prepare-points [4] 100.0% [6] 3056(24.8%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:158:2 make-exacts* [9] 55.2% loop [10] 44.8% --------------------------------------------------------------- prepare-points [4] 100.0% [7] 640(5.2%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:255:26 ??? [11] 100.0% --------------------------------------------------------------- run-improve50 [5] 100.0% [8] 304(2.5%) 0(0.0%) setup-alt-simplified .../develop/src/glue.rkt:49:0 simplify-alt [12] 100.0% --------------------------------------------------------------- loop [6] 24.5% prepare-points [4] 75.5% [9] 6888(56.0%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:138:0 loop [13] 100.0% --------------------------------------------------------------- loop [6] 30.6% prepare-points [4] 69.4% [10] 4472(36.3%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:141:4 loop [13] 100.0% --------------------------------------------------------------- for-loop [7] 100.0% [11] 640(5.2%) 0(0.0%) ??? ...ghtlies/herbie/develop/src/points.rkt:230:7 for-loop [14] 52.2% ??? [16] 47.8% --------------------------------------------------------------- setup-alt-simplified [8]100.0% [12] 304(2.5%) 0(0.0%) simplify-alt ...s/herbie/develop/src/glue.rkt:76:0 ??? [19] 100.0% --------------------------------------------------------------- make-exacts* [9] 0.3% loop [10] 0.4% loop [13] 99.3% [13] 11360(92.3%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [13] 99.3% ??? [15] 0.7% ??? [16] 0.0% --------------------------------------------------------------- ??? [11] 100.0% [14] 334(2.7%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:231:9 ??? [16] 100.0% --------------------------------------------------------------- loop [13] 100.0% [15] 10612(86.2%) 328(2.7%) ??? ...tlies/herbie/develop/src/programs.rkt:156:4 ??? [17] 81.4% ??? [18] 15.5% --------------------------------------------------------------- ??? [11] 22.0% for-loop [14] 24.1% loop [13] 53.9% [16] 1388(11.3%) 306(2.5%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [19] 78.0% --------------------------------------------------------------- ??? [15] 100.0% [17] 8640(70.2%) 1738(14.1%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [26] 68.0% bf* [21] 4.1% parse-loop145 [22] 3.9% ??? [23] 3.9% --------------------------------------------------------------- ??? [15] 100.0% [18] 1644(13.4%) 334(2.7%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [20] 79.7% --------------------------------------------------------------- ??? [19] 11.0% simplify-alt [12] 11.0% ??? [16] 78.1% [19] 1386(11.3%) 748(6.1%) ??? ...llects/racket/private/norm-define.rkt:53:83 loop [24] 24.1% ??? [19] 11.0% iterate-egraph!13 [25] 11.0% --------------------------------------------------------------- ??? [18] 100.0% [20] 1310(10.6%) 976(7.9%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [32] 25.5% --------------------------------------------------------------- ??? [17] 100.0% [21] 354(2.9%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [26] 100.0% --------------------------------------------------------------- ??? [17] 100.0% [22] 338(2.7%) 338(2.7%) parse-loop145 .../racket/match/compiler.rkt:418:15 --------------------------------------------------------------- ??? [17] 100.0% [23] 336(2.7%) 336(2.7%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 --------------------------------------------------------------- ??? [19] 100.0% [24] 334(2.7%) 0(0.0%) loop ...ghtlies/herbie/develop/src/points.rkt:66:6 random-exp [27] 100.0% --------------------------------------------------------------- ??? [19] 100.0% [25] 304(2.5%) 0(0.0%) iterate-egraph!13 ...p/src/core/simplify.rkt:105:0 one-iter [28] 100.0% --------------------------------------------------------------- bf* [21] 5.7% ??? [17] 94.3% [26] 6228(50.6%) 3720(30.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bflog [29] 29.0% bfmul [30] 11.2% --------------------------------------------------------------- loop [24] 100.0% [27] 334(2.7%) 334(2.7%) random-exp .../herbie/develop/src/common.rkt:253:0 --------------------------------------------------------------- iterate-egraph!13 [25] 100.0% [28] 304(2.5%) 0(0.0%) one-iter ...ie/develop/src/core/simplify.rkt:116:0 for-loop [31] 100.0% --------------------------------------------------------------- ??? [26] 100.0% [29] 1808(14.7%) 1808(14.7%) bflog ...-lib/math/private/bigfloat/mpfr.rkt:616:4 --------------------------------------------------------------- ??? [26] 100.0% [30] 700(5.7%) 346(2.8%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [32] 50.6% --------------------------------------------------------------- one-iter [28] 100.0% [31] 304(2.5%) 0(0.0%) for-loop ...ie/develop/src/core/simplify.rkt:166:2 for-loop [33] 100.0% --------------------------------------------------------------- real->bigfloat [20] 48.5% bfmul [30] 51.5% [32] 688(5.6%) 688(5.6%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 --------------------------------------------------------------- for-loop [31] 100.0% [33] 304(2.5%) 0(0.0%) for-loop ...e/develop/src/core/simplify.rkt:148:10 merge-egraph-nodes! [34]100.0% --------------------------------------------------------------- for-loop [33] 100.0% [34] 304(2.5%) 0(0.0%) merge-egraph-nodes! ...p/src/core/egraph.rkt:153:0 update-leader! [35] 100.0% --------------------------------------------------------------- merge-egraph-nodes! [34]100.0% [35] 304(2.5%) 304(2.5%) update-leader! ...evelop/src/core/egraph.rkt:218:0 ---------------------------------------------------------------