Profiling results ----------------- Total cpu time observed: 1716ms (out of 1968ms) Number of samples taken: 11 (once every 156ms) =========================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================== ??? [3] 100.0% [1] 1612(93.9%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ----------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 1612(93.9%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ----------------------------------------------------------- run [2] 47.0% [3] 1716(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 47.0% prepare-points [7] 43.5% run-improve48 [4] 9.6% ----------------------------------------------------------- ??? [3] 100.0% [4] 224(13.1%) 0(0.0%) run-improve48 ...n-out-code/src/mainloop.rkt:256:0 setup-prog!41 [5] 53.6% for-loop [6] 46.4% ----------------------------------------------------------- run-improve48 [4] 100.0% [5] 120(7.0%) 0(0.0%) setup-prog!41 ...an-out-code/src/mainloop.rkt:63:0 prepare-points [7] 100.0% ----------------------------------------------------------- run-improve48 [4] 100.0% [6] 104(6.1%) 0(0.0%) for-loop ...clean-out-code/src/mainloop.rkt:268:29 ??? [8] 100.0% ----------------------------------------------------------- setup-prog!41 [5] 7.4% ??? [3] 92.6% [7] 1612(93.9%) 108(6.3%) prepare-points ...an-out-code/src/points.rkt:214:0 loop [9] 36.4% make-exacts* [11] 35.9% loop [12] 21.1% ----------------------------------------------------------- ??? [8] 50.0% for-loop [6] 50.0% [8] 104(6.1%) 0(0.0%) ??? ...llects/racket/private/norm-define.rkt:53:83 ??? [8] 50.0% iterate-egraph!13 [10] 50.0% ----------------------------------------------------------- prepare-points [7] 100.0% [9] 586(34.1%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:158:2 make-exacts* [11] 85.3% loop [12] 14.7% ----------------------------------------------------------- ??? [8] 100.0% [10] 104(6.1%) 0(0.0%) iterate-egraph!13 ...e/src/core/simplify.rkt:105:0 one-iter [13] 100.0% ----------------------------------------------------------- loop [9] 46.4% prepare-points [7] 53.6% [11] 1078(62.8%) 0(0.0%) make-exacts* ...lean-out-code/src/points.rkt:138:0 loop [14] 100.0% ----------------------------------------------------------- loop [9] 20.2% prepare-points [7] 79.8% [12] 426(24.8%) 0(0.0%) loop ...herbie/clean-out-code/src/points.rkt:141:4 loop [14] 100.0% ----------------------------------------------------------- iterate-egraph!13 [10]100.0% [13] 104(6.1%) 0(0.0%) one-iter ...n-out-code/src/core/simplify.rkt:116:0 for-loop [15] 100.0% ----------------------------------------------------------- loop [12] 0.0% make-exacts* [11] 1.3% loop [14] 98.7% [14] 1504(87.6%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [14] 98.7% ??? [16] 1.3% ----------------------------------------------------------- for-loop [15] 50.0% one-iter [13] 50.0% [15] 104(6.1%) 104(6.1%) for-loop ...-out-code/src/core/simplify.rkt:126:12 for-loop [15] 50.0% ----------------------------------------------------------- loop [14] 100.0% [16] 1504(87.6%) 0(0.0%) ??? ...erbie/clean-out-code/src/programs.rkt:156:4 ??? [17] 76.5% ??? [18] 23.5% ----------------------------------------------------------- ??? [16] 100.0% [17] 1150(67.0%) 86(5.0%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [19] 77.9% ??? [21] 14.6% ----------------------------------------------------------- ??? [16] 100.0% [18] 354(20.6%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [20] 100.0% ----------------------------------------------------------- ??? [17] 100.0% [19] 896(52.2%) 396(23.1%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [22] 55.8% ----------------------------------------------------------- ??? [18] 100.0% [20] 354(20.6%) 354(20.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ----------------------------------------------------------- ??? [17] 100.0% [21] 168(9.8%) 168(9.8%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 ----------------------------------------------------------- ??? [19] 100.0% [22] 500(29.1%) 300(17.5%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [23] 40.0% ----------------------------------------------------------- bfadd [22] 100.0% [23] 200(11.7%) 200(11.7%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 -----------------------------------------------------------