Profiling results ----------------- Total cpu time observed: 8286ms (out of 11860ms) Number of samples taken: 25 (once every 331ms) ================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================== ??? [3] 100.0% [1] 7662(92.5%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ------------------------------------------------------------------ profile-thunk16 [1] 96.6% [2] 7934(95.8%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ------------------------------------------------------------------ run [2] 49.5% [3] 8286(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 46.2% loop [5] 44.9% run-improve50 [4] 8.9% ------------------------------------------------------------------ ??? [3] 100.0% [4] 846(10.2%) 0(0.0%) run-improve50 ...conditions/src/mainloop.rkt:234:0 loop [5] 41.6% setup-prog [6] 32.2% ??? [9] 26.2% ------------------------------------------------------------------ run-improve50 [4] 4.5% ??? [3] 95.5% [5] 7792(94.0%) 0(0.0%) loop ...e/simplify-conditions/src/points.rkt:205:2 loop [11] 37.0% loop [7] 26.5% make-exacts* [12] 22.4% for-loop [8] 9.1% filter-points [10] 4.9% ------------------------------------------------------------------ run-improve50 [4] 100.0% [6] 272(3.3%) 0(0.0%) setup-prog ...implify-conditions/src/glue.rkt:40:0 ??? [9] 100.0% ------------------------------------------------------------------ loop [5] 100.0% [7] 2068(25.0%) 0(0.0%) loop ...e/simplify-conditions/src/points.rkt:158:2 make-exacts* [12] 50.8% loop [11] 49.2% ------------------------------------------------------------------ loop [5] 100.0% [8] 712(8.6%) 0(0.0%) for-loop ...plify-conditions/src/points.rkt:222:26 for-loop [13] 100.0% ------------------------------------------------------------------ run-improve50 [4] 44.9% setup-prog [6] 55.1% [9] 494(6.0%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 make-alt-table [15] 55.1% atab-add-altns [16] 44.9% ------------------------------------------------------------------ loop [5] 100.0% [10] 382(4.6%) 0(0.0%) filter-points ...y-conditions/src/points.rkt:171:0 for-loop [14] 100.0% ------------------------------------------------------------------ loop [7] 26.1% loop [5] 73.9% [11] 3902(47.1%) 0(0.0%) loop ...e/simplify-conditions/src/points.rkt:141:4 loop [17] 100.0% ------------------------------------------------------------------ loop [7] 37.6% loop [5] 62.4% [12] 2796(33.7%) 0(0.0%) make-exacts* ...fy-conditions/src/points.rkt:138:0 loop [17] 87.4% eval-prog [18] 12.6% ------------------------------------------------------------------ for-loop [8] 100.0% [13] 712(8.6%) 0(0.0%) for-loop ...plify-conditions/src/points.rkt:223:28 ??? [25] 100.0% ------------------------------------------------------------------ filter-points [10] 100.0% [14] 382(4.6%) 382(4.6%) for-loop ...mplify-conditions/src/points.rkt:174:4 ------------------------------------------------------------------ ??? [9] 100.0% [15] 272(3.3%) 0(0.0%) make-alt-table ...ions/src/core/alt-table.rkt:32:0 errors [21] 100.0% ------------------------------------------------------------------ ??? [9] 100.0% [16] 222(2.7%) 0(0.0%) atab-add-altns ...ions/src/core/alt-table.rkt:50:0 atab-add-altn [19] 100.0% ------------------------------------------------------------------ make-exacts* [12] 0.2% loop [11] 0.6% loop [17] 99.2% [17] 6346(76.6%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [17] 99.2% ??? [23] 0.8% ??? [25] 0.0% ------------------------------------------------------------------ make-exacts* [12] 100.0% [18] 352(4.2%) 0(0.0%) eval-prog ...ify-conditions/src/programs.rkt:150:0 ??? [25] 100.0% ------------------------------------------------------------------ atab-add-altns [16] 100.0% [19] 222(2.7%) 0(0.0%) atab-add-altn ...ions/src/core/alt-table.rkt:208:0 best-and-tied-at-points [20]100.0% ------------------------------------------------------------------ atab-add-altn [19] 100.0% [20] 222(2.7%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 errors [21] 100.0% ------------------------------------------------------------------ best-and-tied-at-points [20] 44.9% make-alt-table [15] 55.1% [21] 494(6.0%) 0(0.0%) errors ...simplify-conditions/src/points.rkt:241:0 for-loop [22] 100.0% ------------------------------------------------------------------ errors [21] 100.0% [22] 494(6.0%) 0(0.0%) for-loop ...mplify-conditions/src/points.rkt:244:4 ??? [23] 100.0% ------------------------------------------------------------------ for-loop [22] 9.1% loop [17] 90.9% [23] 5450(65.8%) 0(0.0%) ??? .../simplify-conditions/src/programs.rkt:156:4 ??? [24] 72.0% ??? [26] 18.9% ??? [25] 9.1% ------------------------------------------------------------------ ??? [23] 100.0% [24] 3924(47.4%) 2138(25.8%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [28] 27.4% ??? [31] 18.1% ------------------------------------------------------------------ eval-prog [18] 11.9% ??? [23] 16.8% for-loop [13] 24.2% loop [17] 47.2% [25] 2948(35.6%) 980(11.8%) ??? ...tract/private/arrow-higher-order.rkt:342:33 sample-multi-bounded [27] 54.8% ??? [30] 11.9% ------------------------------------------------------------------ ??? [23] 100.0% [26] 1032(12.5%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [29] 100.0% ------------------------------------------------------------------ ??? [25] 100.0% [27] 1616(19.5%) 1274(15.4%) sample-multi-bounded ...vate/norm-define.rkt:53:83 ??? [32] 21.2% ------------------------------------------------------------------ ??? [24] 100.0% [28] 1076(13.0%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [31] 100.0% ------------------------------------------------------------------ ??? [26] 100.0% [29] 1032(12.5%) 1032(12.5%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ------------------------------------------------------------------ ??? [25] 100.0% [30] 352(4.2%) 352(4.2%) ??? ...tract/private/arrow-higher-order.rkt:336:46 ------------------------------------------------------------------ ??? [24] 39.8% bf* [28] 60.2% [31] 1786(21.6%) 364(4.4%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [33] 79.6% ------------------------------------------------------------------ sample-multi-bounded [27] 100.0% [32] 342(4.1%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:60:15 ??? [34] 100.0% ------------------------------------------------------------------ ??? [31] 100.0% [33] 1422(17.2%) 1084(13.1%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [34] 23.8% ------------------------------------------------------------------ bfmul [33] 49.7% ??? [32] 50.3% [34] 680(8.2%) 680(8.2%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ------------------------------------------------------------------