Profiling results ----------------- Total cpu time observed: 10224ms (out of 10704ms) Number of samples taken: 24 (once every 426ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== ??? [3] 100.0% [1] 9960(97.4%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ---------------------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 9960(97.4%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ---------------------------------------------------------------------- run [2] 48.7% [3] 10224(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 48.7% loop [5] 46.2% run-improve50 [4] 5.0% ---------------------------------------------------------------------- ??? [3] 100.0% [4] 1032(10.1%) 0(0.0%) run-improve50 ...ie/develop/src/mainloop.rkt:234:0 get-final-combination [6] 39.9% loop [5] 31.0% setup-alt-simplified [7] 29.1% ---------------------------------------------------------------------- run-improve50 [4] 3.4% ??? [3] 96.6% [5] 9512(93.0%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:193:2 make-exacts* [12] 55.9% loop [8] 38.9% for-loop [9] 5.2% ---------------------------------------------------------------------- run-improve50 [4] 100.0% [6] 412(4.0%) 0(0.0%) get-final-combination ...op/src/mainloop.rkt:264:0 remove-pows [10] 100.0% ---------------------------------------------------------------------- run-improve50 [4] 100.0% [7] 300(2.9%) 0(0.0%) setup-alt-simplified .../develop/src/glue.rkt:48:0 simplify-alt [11] 100.0% ---------------------------------------------------------------------- loop [5] 100.0% [8] 3702(36.2%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:151:2 loop [13] 55.6% make-exacts* [12] 35.8% eval-prog [16] 8.6% ---------------------------------------------------------------------- loop [5] 100.0% [9] 492(4.8%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:200:24 for-loop [14] 100.0% ---------------------------------------------------------------------- get-final-combination [6] 100.0% [10] 412(4.0%) 412(4.0%) remove-pows ...es/herbie/develop/src/glue.rkt:24:0 ---------------------------------------------------------------------- setup-alt-simplified [7] 100.0% [11] 300(2.9%) 0(0.0%) simplify-alt ...s/herbie/develop/src/glue.rkt:81:0 ??? [20] 100.0% ---------------------------------------------------------------------- loop [8] 19.9% loop [5] 80.1% [12] 6642(65.0%) 0(0.0%) make-exacts* ...erbie/develop/src/points.rkt:138:0 loop [17] 51.7% map [15] 43.3% eval-prog [16] 5.1% ---------------------------------------------------------------------- loop [8] 100.0% [13] 2058(20.1%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:141:4 map [15] 100.0% ---------------------------------------------------------------------- for-loop [9] 100.0% [14] 492(4.8%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:201:26 ??? [18] 100.0% ---------------------------------------------------------------------- loop [13] 41.7% make-exacts* [12] 58.3% [15] 4932(48.2%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [17] 100.0% ---------------------------------------------------------------------- loop [8] 48.8% make-exacts* [12] 51.2% [16] 656(6.4%) 336(3.3%) eval-prog ...herbie/develop/src/programs.rkt:149:0 ??? [18] 48.8% ---------------------------------------------------------------------- make-exacts* [12] 0.1% map [15] 1.4% loop [17] 98.4% [17] 8364(81.8%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [17] 98.4% ??? [19] 1.6% ---------------------------------------------------------------------- eval-prog [16] 39.4% for-loop [14] 60.6% [18] 812(7.9%) 164(1.6%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [20] 40.4% ??? [21] 39.4% ---------------------------------------------------------------------- loop [17] 100.0% [19] 8364(81.8%) 354(3.5%) ??? ...tlies/herbie/develop/src/programs.rkt:155:4 ??? [22] 55.2% ??? [23] 37.3% ??? [25] 3.3% ---------------------------------------------------------------------- ??? [20] 23.9% simplify-alt [11] 23.9% ??? [18] 52.2% [20] 628(6.1%) 328(3.2%) ??? ...llects/racket/private/norm-define.rkt:53:83 ??? [20] 23.9% iterate-egraph!13 [24] 23.9% ---------------------------------------------------------------------- ??? [18] 100.0% [21] 320(3.1%) 320(3.1%) ??? ...tract/private/arrow-higher-order.rkt:336:46 ---------------------------------------------------------------------- ??? [19] 100.0% [22] 4616(45.1%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [26] 100.0% ---------------------------------------------------------------------- ??? [19] 100.0% [23] 3122(30.5%) 1156(11.3%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [27] 52.1% ...higher-order.rkt:346:33 [28] 10.9% ---------------------------------------------------------------------- ??? [20] 100.0% [24] 300(2.9%) 0(0.0%) iterate-egraph!13 ...p/src/core/simplify.rkt:102:0 one-iter [29] 100.0% ---------------------------------------------------------------------- ??? [19] 100.0% [25] 272(2.7%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:145:21 ??? [30] 100.0% ---------------------------------------------------------------------- ??? [22] 100.0% [26] 4616(45.1%) 4616(45.1%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ---------------------------------------------------------------------- ??? [23] 100.0% [27] 1626(15.9%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [31] 100.0% ---------------------------------------------------------------------- ??? [23] 100.0% [28] 340(3.3%) 0(0.0%) ...higher-order.rkt:346:33 (unknown source) ??? [32] 100.0% ---------------------------------------------------------------------- iterate-egraph!13 [24] 100.0% [29] 300(2.9%) 0(0.0%) one-iter ...ie/develop/src/core/simplify.rkt:113:0 loop [33] 100.0% ---------------------------------------------------------------------- ??? [25] 100.0% [30] 272(2.7%) 272(2.7%) ??? ...ects/racket/contract/private/guts.rkt:644:8 ---------------------------------------------------------------------- bf* [27] 100.0% [31] 1626(15.9%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [34] 100.0% ---------------------------------------------------------------------- ...higher-order.rkt:346:33 [28]100.0% [32] 340(3.3%) 340(3.3%) ??? ...cts/racket/contract/private/list.rkt:187:10 ---------------------------------------------------------------------- one-iter [29] 100.0% [33] 300(2.9%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:52:19 apply-match [35] 100.0% ---------------------------------------------------------------------- ??? [31] 100.0% [34] 1626(15.9%) 1626(15.9%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ---------------------------------------------------------------------- loop [33] 100.0% [35] 300(2.9%) 0(0.0%) apply-match ...develop/src/core/simplify.rkt:129:2 merge-egraph-nodes! [36] 100.0% ---------------------------------------------------------------------- apply-match [35] 100.0% [36] 300(2.9%) 0(0.0%) merge-egraph-nodes! ...p/src/core/egraph.rkt:152:0 enode-merge! [37] 100.0% ---------------------------------------------------------------------- merge-egraph-nodes! [36] 100.0% [37] 300(2.9%) 0(0.0%) enode-merge! ...e/develop/src/core/enode.rkt:100:0 custom-set-intersect! [38] 100.0% ---------------------------------------------------------------------- enode-merge! [37] 100.0% [38] 300(2.9%) 0(0.0%) custom-set-intersect! ...ivate/set-types.rkt:269:0 for-loop [39] 100.0% ---------------------------------------------------------------------- custom-set-intersect! [38] 100.0% [39] 300(2.9%) 300(2.9%) for-loop ...cts/racket/private/set-types.rkt:282:4 ----------------------------------------------------------------------