Profiling results ----------------- Total cpu time observed: 5100ms (out of 5384ms) Number of samples taken: 14 (once every 364ms) =============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================== ??? [3] 100.0% [1] 4776(93.6%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% --------------------------------------------------------------- profile-thunk16 [1] 93.6% [2] 5100(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% --------------------------------------------------------------- run [2] 53.2% [3] 5100(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 loop [4] 53.2% profile-thunk16 [1] 46.8% --------------------------------------------------------------- ??? [3] 100.0% [4] 5100(100.0%) 0(0.0%) loop ...e/simplify-conditions/src/points.rkt:205:2 loop [8] 32.3% make-exacts* [9] 28.5% loop [5] 19.5% for-loop [6] 13.4% filter-exacts [7] 6.4% --------------------------------------------------------------- loop [4] 100.0% [5] 992(19.5%) 0(0.0%) loop ...e/simplify-conditions/src/points.rkt:158:2 loop [8] 66.3% make-exacts* [9] 33.7% --------------------------------------------------------------- loop [4] 100.0% [6] 682(13.4%) 0(0.0%) for-loop ...plify-conditions/src/points.rkt:222:26 for-loop [10] 100.0% --------------------------------------------------------------- loop [4] 100.0% [7] 324(6.4%) 0(0.0%) filter-exacts ...y-conditions/src/points.rkt:178:0 for-loop [11] 100.0% --------------------------------------------------------------- loop [5] 28.6% loop [4] 71.4% [8] 2304(45.2%) 0(0.0%) loop ...e/simplify-conditions/src/points.rkt:141:4 loop [12] 100.0% --------------------------------------------------------------- loop [5] 18.7% loop [4] 81.3% [9] 1790(35.1%) 0(0.0%) make-exacts* ...fy-conditions/src/points.rkt:138:0 loop [12] 100.0% --------------------------------------------------------------- for-loop [6] 100.0% [10] 682(13.4%) 0(0.0%) for-loop ...plify-conditions/src/points.rkt:223:28 ??? [14] 100.0% --------------------------------------------------------------- filter-exacts [7] 100.0% [11] 324(6.4%) 324(6.4%) for-loop ...mplify-conditions/src/points.rkt:181:4 --------------------------------------------------------------- make-exacts* [9] 0.1% loop [8] 0.4% loop [12] 99.5% [12] 4094(80.3%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [12] 99.5% ??? [13] 0.2% ??? [14] 0.2% --------------------------------------------------------------- loop [12] 100.0% [13] 3768(73.9%) 0(0.0%) ??? .../simplify-conditions/src/programs.rkt:154:4 ??? [15] 70.5% ??? [16] 29.5% --------------------------------------------------------------- loop [12] 32.3% for-loop [10] 67.7% [14] 1008(19.8%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 sample-multi-bounded [17]100.0% --------------------------------------------------------------- ??? [13] 100.0% [15] 2656(52.1%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [18] 100.0% --------------------------------------------------------------- ??? [13] 100.0% [16] 1112(21.8%) 0(0.0%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [19] 100.0% --------------------------------------------------------------- ??? [14] 100.0% [17] 1008(19.8%) 326(6.4%) sample-multi-bounded ...vate/norm-define.rkt:53:83 for-loop [20] 35.3% return/no-unsupplied [21] 32.3% --------------------------------------------------------------- ??? [15] 100.0% [18] 2656(52.1%) 1986(38.9%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [23] 25.2% --------------------------------------------------------------- ??? [16] 100.0% [19] 1112(21.8%) 726(14.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfatan2 [22] 34.7% --------------------------------------------------------------- sample-multi-bounded [17]100.0% [20] 356(7.0%) 356(7.0%) for-loop ...implify-conditions/src/points.rkt:47:4 --------------------------------------------------------------- sample-multi-bounded [17]100.0% [21] 326(6.4%) 326(6.4%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 --------------------------------------------------------------- ??? [19] 100.0% [22] 386(7.6%) 0(0.0%) bfatan2 ...ib/math/private/bigfloat/mpfr.rkt:819:4 ??? [23] 100.0% --------------------------------------------------------------- bfatan2 [22] 36.6% real->bigfloat [18] 63.4% [23] 1056(20.7%) 1056(20.7%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------------