Profiling results ----------------- Total cpu time observed: 4122ms (out of 4732ms) Number of samples taken: 11 (once every 375ms) =============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================== ??? [3] 100.0% [1] 4122(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% --------------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 4122(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% --------------------------------------------------------------- run [2] 50.0% [3] 4122(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [4] 45.6% run-improve50 [5] 4.4% --------------------------------------------------------------- ??? [3] 100.0% [4] 3762(91.3%) 0(0.0%) loop ...e/simplify-conditions/src/points.rkt:205:2 make-exacts* [9] 32.3% loop [10] 30.7% loop [6] 28.2% for-loop [8] 8.8% --------------------------------------------------------------- ??? [3] 100.0% [5] 360(8.7%) 0(0.0%) run-improve50 ...conditions/src/mainloop.rkt:234:0 for-loop [7] 100.0% --------------------------------------------------------------- loop [4] 100.0% [6] 1062(25.8%) 0(0.0%) loop ...e/simplify-conditions/src/points.rkt:158:2 make-exacts* [9] 65.5% loop [10] 34.5% --------------------------------------------------------------- run-improve50 [5] 100.0% [7] 360(8.7%) 0(0.0%) for-loop ...ify-conditions/src/mainloop.rkt:249:10 run-iter! [11] 100.0% --------------------------------------------------------------- loop [4] 100.0% [8] 330(8.0%) 0(0.0%) for-loop ...plify-conditions/src/points.rkt:222:26 for-loop [12] 100.0% --------------------------------------------------------------- loop [6] 36.4% loop [4] 63.6% [9] 1910(46.3%) 0(0.0%) make-exacts* ...fy-conditions/src/points.rkt:138:0 loop [13] 100.0% --------------------------------------------------------------- loop [6] 24.0% loop [4] 76.0% [10] 1522(36.9%) 0(0.0%) loop ...e/simplify-conditions/src/points.rkt:141:4 loop [13] 100.0% --------------------------------------------------------------- for-loop [7] 100.0% [11] 360(8.7%) 0(0.0%) run-iter! ...ify-conditions/src/mainloop.rkt:215:0 localize-error [14] 100.0% --------------------------------------------------------------- for-loop [8] 100.0% [12] 330(8.0%) 0(0.0%) for-loop ...plify-conditions/src/points.rkt:223:28 ??? [15] 100.0% --------------------------------------------------------------- loop [10] 0.1% make-exacts* [9] 0.1% loop [13] 99.8% [13] 3432(83.3%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [13] 99.8% ??? [16] 0.2% --------------------------------------------------------------- run-iter! [11] 100.0% [14] 360(8.7%) 0(0.0%) localize-error ...tions/src/core/localize.rkt:47:0 for-loop [17] 100.0% --------------------------------------------------------------- for-loop [12] 100.0% [15] 330(8.0%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 sample-multi-bounded [18]100.0% --------------------------------------------------------------- loop [13] 100.0% [16] 3432(83.3%) 0(0.0%) ??? .../simplify-conditions/src/programs.rkt:154:4 ??? [19] 58.9% ??? [20] 41.1% --------------------------------------------------------------- localize-error [14] 100.0% [17] 360(8.7%) 0(0.0%) for-loop ...conditions/src/core/localize.rkt:61:10 ormap [21] 100.0% --------------------------------------------------------------- ??? [15] 100.0% [18] 330(8.0%) 0(0.0%) sample-multi-bounded ...vate/norm-define.rkt:53:83 loop [22] 100.0% --------------------------------------------------------------- ??? [16] 100.0% [19] 2022(49.1%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [23] 100.0% --------------------------------------------------------------- ??? [16] 100.0% [20] 1410(34.2%) 348(8.4%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [24] 75.3% --------------------------------------------------------------- for-loop [17] 100.0% [21] 360(8.7%) 360(8.7%) ormap ...et/collects/racket/private/map.rkt:105:13 --------------------------------------------------------------- sample-multi-bounded [18]100.0% [22] 330(8.0%) 0(0.0%) loop ...ie/simplify-conditions/src/points.rkt:66:6 random-exp [25] 100.0% --------------------------------------------------------------- ??? [19] 100.0% [23] 2022(49.1%) 1176(28.5%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [27] 41.8% --------------------------------------------------------------- ??? [20] 100.0% [24] 1062(25.8%) 732(17.8%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfatan2 [26] 31.1% --------------------------------------------------------------- loop [22] 100.0% [25] 330(8.0%) 330(8.0%) random-exp ...lify-conditions/src/common.rkt:251:0 --------------------------------------------------------------- ??? [24] 100.0% [26] 330(8.0%) 0(0.0%) bfatan2 ...ib/math/private/bigfloat/mpfr.rkt:819:4 ??? [27] 100.0% --------------------------------------------------------------- bfatan2 [26] 28.1% real->bigfloat [23] 71.9% [27] 1176(28.5%) 1176(28.5%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------------