Profiling results ----------------- Total cpu time observed: 11824ms (out of 12560ms) Number of samples taken: 28 (once every 422ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== run [4] 50.0% [1] 11824(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [2] 50.0% loop [5] 45.9% run-improve50 [3] 4.1% ---------------------------------------------------------------------- ??? [1] 100.0% [2] 11824(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ---------------------------------------------------------------------- ??? [1] 100.0% [3] 976(8.3%) 0(0.0%) run-improve50 ...mplify-bug/src/mainloop.rkt:234:0 loop [5] 55.7% get-final-combination [6] 23.0% for-loop [7] 21.3% ---------------------------------------------------------------------- profile-thunk16 [2] 100.0% [4] 11824(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ---------------------------------------------------------------------- run-improve50 [3] 4.8% ??? [1] 95.2% [5] 11392(96.3%) 0(0.0%) loop ...rbie/fix-simplify-bug/src/points.rkt:193:2 make-exacts* [11] 50.5% loop [8] 31.9% loop [12] 11.0% for-loop [9] 6.7% ---------------------------------------------------------------------- run-improve50 [3] 100.0% [6] 224(1.9%) 0(0.0%) get-final-combination ...ug/src/mainloop.rkt:264:0 ??? [21] 100.0% ---------------------------------------------------------------------- run-improve50 [3] 100.0% [7] 208(1.8%) 0(0.0%) for-loop ...x-simplify-bug/src/mainloop.rkt:249:10 run-iter! [10] 100.0% ---------------------------------------------------------------------- loop [5] 100.0% [8] 3632(30.7%) 0(0.0%) loop ...rbie/fix-simplify-bug/src/points.rkt:151:2 loop [12] 52.5% make-exacts* [11] 40.2% eval-prog [14] 7.3% ---------------------------------------------------------------------- loop [5] 100.0% [9] 762(6.4%) 0(0.0%) for-loop ...fix-simplify-bug/src/points.rkt:200:24 for-loop [13] 100.0% ---------------------------------------------------------------------- for-loop [7] 100.0% [10] 208(1.8%) 0(0.0%) run-iter! ...x-simplify-bug/src/mainloop.rkt:215:0 localize-error [15] 100.0% ---------------------------------------------------------------------- loop [8] 20.3% loop [5] 79.7% [11] 7208(61.0%) 0(0.0%) make-exacts* ...-simplify-bug/src/points.rkt:138:0 loop [18] 68.1% map [16] 31.9% ---------------------------------------------------------------------- loop [5] 39.6% loop [8] 60.4% [12] 3158(26.7%) 0(0.0%) loop ...rbie/fix-simplify-bug/src/points.rkt:141:4 map [16] 100.0% ---------------------------------------------------------------------- for-loop [9] 100.0% [13] 762(6.4%) 0(0.0%) for-loop ...fix-simplify-bug/src/points.rkt:201:26 ??? [21] 100.0% ---------------------------------------------------------------------- loop [8] 100.0% [14] 264(2.2%) 0(0.0%) eval-prog ...x-simplify-bug/src/programs.rkt:148:0 ??? [21] 100.0% ---------------------------------------------------------------------- run-iter! [10] 100.0% [15] 208(1.8%) 0(0.0%) localize-error ...y-bug/src/core/localize.rkt:47:0 hash-ref! [17] 100.0% ---------------------------------------------------------------------- make-exacts* [11] 42.1% loop [12] 57.9% [16] 5458(46.2%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [18] 100.0% ---------------------------------------------------------------------- localize-error [15] 100.0% [17] 208(1.8%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 parse-loop12 [19] 100.0% ---------------------------------------------------------------------- map [16] 0.5% make-exacts* [11] 2.5% loop [18] 96.9% [18] 10366(87.7%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [18] 96.9% ??? [20] 3.0% ??? [21] 0.0% ---------------------------------------------------------------------- hash-ref! [17] 100.0% [19] 208(1.8%) 208(1.8%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 ---------------------------------------------------------------------- loop [18] 100.0% [20] 9074(76.7%) 0(0.0%) ??? ...bie/fix-simplify-bug/src/programs.rkt:154:4 ??? [22] 57.6% ??? [23] 42.4% ---------------------------------------------------------------------- get-final-combination [6] 8.8% eval-prog [14] 10.4% for-loop [13] 30.0% loop [18] 50.8% [21] 2542(21.5%) 292(2.5%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [24] 78.1% ??? [25] 10.4% ---------------------------------------------------------------------- ??? [20] 100.0% [22] 5228(44.2%) 714(6.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [26] 86.3% ---------------------------------------------------------------------- ??? [20] 100.0% [23] 3846(32.5%) 256(2.2%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [27] 39.2% ...higher-order.rkt:346:33 [28] 34.3% ??? [34] 19.9% ---------------------------------------------------------------------- for-loop [32] 5.6% ??? [21] 94.4% [24] 1986(16.8%) 662(5.6%) ??? ...llects/racket/private/norm-define.rkt:53:83 ??? [29] 22.7% loop [30] 22.3% return/no-unsupplied [33] 10.5% for-loop [32] 5.6% mk-egraph [31] 5.6% ---------------------------------------------------------------------- ??? [21] 100.0% [25] 264(2.2%) 264(2.2%) ??? ...tract/private/arrow-higher-order.rkt:336:46 ---------------------------------------------------------------------- ??? [22] 100.0% [26] 4514(38.2%) 4514(38.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ---------------------------------------------------------------------- ??? [23] 100.0% [27] 1506(12.7%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [34] 100.0% ---------------------------------------------------------------------- ??? [23] 100.0% [28] 1320(11.2%) 1320(11.2%) ...higher-order.rkt:346:33 (unknown source) ---------------------------------------------------------------------- ??? [24] 100.0% [29] 450(3.8%) 0(0.0%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [35] 100.0% ---------------------------------------------------------------------- ??? [24] 100.0% [30] 442(3.7%) 0(0.0%) loop ...erbie/fix-simplify-bug/src/points.rkt:66:6 random-exp [36] 100.0% ---------------------------------------------------------------------- ??? [24] 100.0% [31] 224(1.9%) 0(0.0%) mk-egraph ...implify-bug/src/core/egraph.rkt:123:0 expr->enode [37] 100.0% ---------------------------------------------------------------------- ??? [24] 100.0% [32] 224(1.9%) 0(0.0%) for-loop ...mplify-bug/src/core/simplify.rkt:63:12 ??? [24] 100.0% ---------------------------------------------------------------------- ??? [24] 100.0% [33] 208(1.8%) 0(0.0%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 filter [38] 100.0% ---------------------------------------------------------------------- ??? [23] 33.7% bf* [27] 66.3% [34] 2270(19.2%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [39] 100.0% ---------------------------------------------------------------------- ??? [29] 100.0% [35] 450(3.8%) 450(3.8%) ??? ...s/racket/contract/private/arr-i.rkt:1233:27 ---------------------------------------------------------------------- loop [30] 100.0% [36] 442(3.7%) 442(3.7%) random-exp ...ix-simplify-bug/src/common.rkt:251:0 ---------------------------------------------------------------------- mk-egraph [31] 100.0% [37] 224(1.9%) 224(1.9%) expr->enode ...plify-bug/src/core/egraph.rkt:124:2 ---------------------------------------------------------------------- return/no-unsupplied [33] 100.0% [38] 208(1.8%) 208(1.8%) filter ...t/collects/racket/private/list.rkt:256:2 ---------------------------------------------------------------------- ??? [34] 100.0% [39] 2270(19.2%) 1506(12.7%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [40] 33.7% ---------------------------------------------------------------------- bfmul [39] 100.0% [40] 764(6.5%) 764(6.5%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ----------------------------------------------------------------------