Profiling results ----------------- Total cpu time observed: 9540ms (out of 9928ms) Number of samples taken: 51 (once every 187ms) ======================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================= run [7] 50.0% [1] 9540(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [4] 50.0% loop [8] 45.1% run-improve50 [5] 4.9% ----------------------------------------------------------------------- hash-ref! [31] 100.0% [2] 146(1.5%) 0(0.0%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [21] 100.0% ----------------------------------------------------------------------- match-e [45] 100.0% [3] 144(1.5%) 0(0.0%) for-loop ...plex-support/src/core/ematch.rkt:59:11 for-loop [6] 100.0% ----------------------------------------------------------------------- ??? [1] 100.0% [4] 9540(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [7] 100.0% ----------------------------------------------------------------------- ??? [1] 100.0% [5] 930(9.7%) 0(0.0%) run-improve50 ...ex-support/src/mainloop.rkt:235:0 setup-alt-simplified [9] 32.9% get-final-combination [10] 32.5% loop [8] 18.9% for-loop [11] 15.7% ----------------------------------------------------------------------- for-loop [3] 100.0% [6] 144(1.5%) 0(0.0%) for-loop ...plex-support/src/core/ematch.rkt:65:37 match-e [45] 100.0% ----------------------------------------------------------------------- profile-thunk16 [4] 100.0% [7] 9540(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ----------------------------------------------------------------------- run-improve50 [5] 2.0% ??? [1] 98.0% [8] 8786(92.1%) 0(0.0%) loop ...erbie/complex-support/src/points.rkt:159:2 loop [12] 48.0% make-exacts* [17] 26.4% loop [16] 25.6% ----------------------------------------------------------------------- run-improve50 [5] 100.0% [9] 306(3.2%) 0(0.0%) setup-alt-simplified ...-support/src/glue.rkt:55:0 simplify-alt [13] 100.0% ----------------------------------------------------------------------- run-improve50 [5] 100.0% [10] 302(3.2%) 0(0.0%) get-final-combination ...rt/src/mainloop.rkt:265:0 extract-alt [14] 100.0% ----------------------------------------------------------------------- run-improve50 [5] 100.0% [11] 146(1.5%) 0(0.0%) for-loop ...omplex-support/src/mainloop.rkt:250:10 run-iter! [15] 100.0% ----------------------------------------------------------------------- loop [8] 100.0% [12] 4218(44.2%) 0(0.0%) loop ...erbie/complex-support/src/points.rkt:119:2 loop [16] 81.9% make-exacts* [17] 13.9% eval-prog [18] 4.2% ----------------------------------------------------------------------- setup-alt-simplified [9] 100.0% [13] 306(3.2%) 0(0.0%) simplify-alt .../complex-support/src/glue.rkt:88:0 simplify [24] 100.0% ----------------------------------------------------------------------- get-final-combination [10] 100.0% [14] 302(3.2%) 0(0.0%) extract-alt ...e/complex-support/src/glue.rkt:61:0 loop [21] 100.0% ----------------------------------------------------------------------- for-loop [11] 100.0% [15] 146(1.5%) 0(0.0%) run-iter! ...omplex-support/src/mainloop.rkt:216:0 localize-error [19] 100.0% ----------------------------------------------------------------------- loop [8] 39.4% loop [12] 60.6% [16] 5702(59.8%) 0(0.0%) loop ...erbie/complex-support/src/points.rkt:109:4 map [20] 70.3% loop [21] 29.7% ----------------------------------------------------------------------- loop [12] 20.2% loop [8] 79.8% [17] 2908(30.5%) 0(0.0%) make-exacts* ...mplex-support/src/points.rkt:106:0 map [20] 60.3% loop [21] 39.7% ----------------------------------------------------------------------- loop [12] 100.0% [18] 176(1.8%) 0(0.0%) eval-prog ...omplex-support/src/programs.rkt:145:0 ??? [23] 100.0% ----------------------------------------------------------------------- run-iter! [15] 100.0% [19] 146(1.5%) 0(0.0%) localize-error ...pport/src/core/localize.rkt:47:0 hash-ref! [31] 100.0% ----------------------------------------------------------------------- make-exacts* [17] 30.4% loop [16] 69.6% [20] 5762(60.4%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [21] 100.0% ----------------------------------------------------------------------- loop [16] 0.0% make-exacts* [17] 0.0% map [20] 0.4% parse-loop12 [2] 1.6% extract-alt [14] 3.3% loop [21] 94.6% [21] 9058(94.9%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [21] 94.6% simplify [24] 3.3% ??? [25] 1.6% ??? [22] 0.2% ??? [23] 0.2% ----------------------------------------------------------------------- loop [21] 100.0% [22] 7594(79.6%) 114(1.2%) ??? ...rbie/complex-support/src/programs.rkt:151:4 ??? [26] 50.5% ??? [27] 48.0% ----------------------------------------------------------------------- eval-prog [18] 14.8% loop [21] 85.2% [23] 1192(12.5%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ->flonum [28] 85.2% ??? [30] 14.8% ----------------------------------------------------------------------- loop [21] 49.7% simplify-alt [13] 50.3% [24] 608(6.4%) 0(0.0%) simplify ...lex-support/src/core/simplify.rkt:39:0 iterate-egraph!5 [29] 100.0% ----------------------------------------------------------------------- loop [21] 100.0% [25] 146(1.5%) 0(0.0%) ??? ...ket/collects/racket/private/list.rkt:323:18 hash-ref! [31] 100.0% ----------------------------------------------------------------------- ??? [22] 100.0% [26] 3838(40.2%) 940(9.9%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [33] 75.5% ----------------------------------------------------------------------- ??? [22] 100.0% [27] 3642(38.2%) 196(2.1%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [32] 94.6% ----------------------------------------------------------------------- ??? [23] 100.0% [28] 1016(10.6%) 0(0.0%) ->flonum ...s/racket/private/norm-define.rkt:53:83 ??? [34] 100.0% ----------------------------------------------------------------------- simplify [24] 100.0% [29] 608(6.4%) 0(0.0%) iterate-egraph!5 ...ort/src/core/simplify.rkt:95:0 one-iter [35] 100.0% ----------------------------------------------------------------------- ??? [23] 100.0% [30] 176(1.8%) 176(1.8%) ??? ...tract/private/arrow-higher-order.rkt:336:46 ----------------------------------------------------------------------- localize-error [19] 25.0% ??? [25] 75.0% [31] 146(1.5%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 parse-loop12 [2] 75.0% ??? [36] 25.0% ----------------------------------------------------------------------- ??? [27] 100.0% [32] 3446(36.1%) 2632(27.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [43] 23.6% ----------------------------------------------------------------------- ??? [26] 100.0% [33] 2898(30.4%) 654(6.9%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [37] 77.4% ----------------------------------------------------------------------- ->flonum [28] 100.0% [34] 1016(10.6%) 732(7.7%) ??? .../herbie/complex-support/src/config.rkt:48:0 ??? [39] 16.3% return/no-unsupplied [42] 11.6% ----------------------------------------------------------------------- iterate-egraph!5 [29] 100.0% [35] 608(6.4%) 0(0.0%) one-iter ...ex-support/src/core/simplify.rkt:106:0 loop [38] 76.3% for-loop [41] 23.7% ----------------------------------------------------------------------- hash-ref! [31] 100.0% [36] 146(1.5%) 0(0.0%) ??? ...complex-support/src/core/localize.rkt:22:13 repeat [40] 100.0% ----------------------------------------------------------------------- ??? [33] 100.0% [37] 2244(23.5%) 1708(17.9%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [43] 23.9% ----------------------------------------------------------------------- one-iter [35] 100.0% [38] 464(4.9%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:52:19 apply-match [44] 100.0% ----------------------------------------------------------------------- ??? [34] 100.0% [39] 166(1.7%) 166(1.7%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ----------------------------------------------------------------------- ??? [36] 100.0% [40] 146(1.5%) 146(1.5%) repeat ...mplex-support/src/core/localize.rkt:13:0 ----------------------------------------------------------------------- for-loop [41] 50.0% one-iter [35] 50.0% [41] 144(1.5%) 0(0.0%) for-loop ...x-support/src/core/simplify.rkt:116:12 for-loop [41] 50.0% match-e [45] 50.0% ----------------------------------------------------------------------- ??? [34] 100.0% [42] 118(1.2%) 118(1.2%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 ----------------------------------------------------------------------- bfadd [37] 39.7% real->bigfloat [32] 60.3% [43] 1350(14.2%) 1350(14.2%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ----------------------------------------------------------------------- loop [38] 100.0% [44] 464(4.9%) 0(0.0%) apply-match ...support/src/core/simplify.rkt:123:2 merge-egraph-nodes! [46] 67.2% mk-enode! [47] 32.8% ----------------------------------------------------------------------- for-loop [6] 50.0% for-loop [41] 50.0% [45] 144(1.5%) 0(0.0%) match-e ...omplex-support/src/core/ematch.rkt:46:0 for-loop [3] 50.0% ??? [48] 50.0% ----------------------------------------------------------------------- merge-egraph-nodes! [46] 24.0% apply-match [44] 76.0% [46] 312(3.3%) 0(0.0%) merge-egraph-nodes! ...t/src/core/egraph.rkt:152:0 for-loop [49] 51.9% merge-egraph-nodes! [46] 24.0% update-leader! [51] 24.0% ----------------------------------------------------------------------- apply-match [44] 100.0% [47] 152(1.6%) 0(0.0%) mk-enode! ...lex-support/src/core/egraph.rkt:101:0 new-enode [50] 100.0% ----------------------------------------------------------------------- match-e [45] 100.0% [48] 144(1.5%) 144(1.5%) ??? ...contract/private/arrow-val-first.rkt:357:18 ----------------------------------------------------------------------- merge-egraph-nodes! [46] 100.0% [49] 162(1.7%) 162(1.7%) for-loop ...plex-support/src/core/egraph.rkt:232:6 ----------------------------------------------------------------------- mk-enode! [47] 100.0% [50] 152(1.6%) 0(0.0%) new-enode ...mplex-support/src/core/enode.rkt:97:0 type-of-enode-expr [52] 100.0% ----------------------------------------------------------------------- merge-egraph-nodes! [46] 100.0% [51] 150(1.6%) 0(0.0%) update-leader! ...upport/src/core/egraph.rkt:217:0 for-loop [53] 100.0% ----------------------------------------------------------------------- new-enode [50] 100.0% [52] 152(1.6%) 0(0.0%) type-of-enode-expr ...port/src/core/enode.rkt:68:0 get-sigs [54] 100.0% ----------------------------------------------------------------------- update-leader! [51] 100.0% [53] 150(1.6%) 0(0.0%) for-loop ...plex-support/src/core/egraph.rkt:222:6 for-loop [55] 100.0% ----------------------------------------------------------------------- type-of-enode-expr [52] 100.0% [54] 152(1.6%) 0(0.0%) get-sigs ...complex-support/src/type-check.rkt:5:0 ...pport/src/common.rkt:46:2 [56]100.0% ----------------------------------------------------------------------- for-loop [53] 100.0% [55] 150(1.6%) 0(0.0%) for-loop ...plex-support/src/core/egraph.rkt:223:8 hash-update! [57] 100.0% ----------------------------------------------------------------------- get-sigs [54] 100.0% [56] 152(1.6%) 0(0.0%) ...pport/src/common.rkt:46:2 ...e/arr-i.rkt:906:19 ??? [58] 100.0% ----------------------------------------------------------------------- for-loop [55] 100.0% [57] 150(1.6%) 0(0.0%) hash-update! ...ket/private/more-scheme.rkt:362:13 ??? [59] 100.0% ----------------------------------------------------------------------- ...pport/src/common.rkt:46:2 [56]100.0% [58] 152(1.6%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:342:4 ??? [60] 100.0% ----------------------------------------------------------------------- hash-update! [57] 100.0% [59] 150(1.6%) 0(0.0%) ??? .../complex-support/src/core/egraph.rkt:225:24 for-loop [61] 100.0% ----------------------------------------------------------------------- ??? [58] 100.0% [60] 152(1.6%) 152(1.6%) ??? ...cts/racket/contract/private/list.rkt:187:10 ----------------------------------------------------------------------- ??? [59] 100.0% [61] 150(1.6%) 150(1.6%) for-loop ...lex-support/src/core/egraph.rkt:226:26 -----------------------------------------------------------------------