Profiling results ----------------- Total cpu time observed: 2650ms (out of 2648ms) Number of samples taken: 7 (once every 379ms) ================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================= run [4] 50.0% [1] 2650(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 50.0% run-improve47 [2] 50.0% ----------------------------------------------------------------- ??? [1] 100.0% [2] 2650(100.0%) 0(0.0%) run-improve47 ...estversion/src/mainloop.rkt:345:0 prepare-points-intervals [5] 65.0% simplify! [6] 35.0% ----------------------------------------------------------------- ??? [1] 100.0% [3] 2650(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ----------------------------------------------------------------- profile-thunk16 [3] 100.0% [4] 2650(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [1] 100.0% ----------------------------------------------------------------- run-improve47 [2] 100.0% [5] 1722(65.0%) 0(0.0%) prepare-points-intervals ...n/src/points.rkt:110:0 loop [7] 77.9% eval-prog [9] 22.1% ----------------------------------------------------------------- run-improve47 [2] 100.0% [6] 928(35.0%) 0(0.0%) simplify! ...th-testversion/src/mainloop.rkt:223:0 ??? [8] 100.0% ----------------------------------------------------------------- prepare-points-intervals [5]100.0% [7] 1342(50.6%) 0(0.0%) loop ...e/eggmath-testversion/src/points.rkt:123:4 loop [10] 100.0% ----------------------------------------------------------------- simplify! [6] 100.0% [8] 928(35.0%) 0(0.0%) ??? ...math-testversion/src/core/simplify.rkt:38:0 egraph-run [11] 56.9% unpack376 [12] 43.1% ----------------------------------------------------------------- prepare-points-intervals [5]100.0% [9] 380(14.3%) 0(0.0%) eval-prog ...ath-testversion/src/programs.rkt:83:0 loop [13] 100.0% ----------------------------------------------------------------- loop [7] 100.0% [10] 1342(50.6%) 376(14.2%) loop ...ie/eggmath-testversion/src/points.rkt:81:2 ??? [14] 72.0% ----------------------------------------------------------------- ??? [8] 100.0% [11] 528(19.9%) 0(0.0%) egraph-run ...estversion/src/core/eggmath.rkt:55:0 egraph-add-exprs [15] 100.0% ----------------------------------------------------------------- ??? [8] 100.0% [12] 400(15.1%) 400(15.1%) unpack376 ...7.2/collects/racket/format.rkt:147:16 ----------------------------------------------------------------- loop [13] 33.3% expand-capturing-lifts [16] 33.3% eval-prog [9] 33.3% [13] 380(14.3%) 0(0.0%) loop (unknown source) expand-capturing-lifts [16] 33.3% loop [13] 33.3% for-loop [17] 33.3% ----------------------------------------------------------------- loop [10] 100.0% [14] 966(36.5%) 0(0.0%) ??? .../eggmath-testversion/src/programs.rkt:115:2 ??? [18] 100.0% ----------------------------------------------------------------- egraph-run [11] 100.0% [15] 528(19.9%) 0(0.0%) egraph-add-exprs ...ion/src/core/eggmath.rkt:122:0 ??? [19] 100.0% ----------------------------------------------------------------- loop [13] 100.0% [16] 380(14.3%) 0(0.0%) expand-capturing-lifts (unknown source) loop [13] 100.0% ----------------------------------------------------------------- run-module-instance!125 [21] 50.0% loop [13] 50.0% [17] 380(14.3%) 0(0.0%) for-loop (unknown source) run-module-instance!125 [21] 50.0% temp37_0 [20] 50.0% ----------------------------------------------------------------- ??? [14] 100.0% [18] 966(36.5%) 0(0.0%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14 ??? [22] 100.0% ----------------------------------------------------------------- egraph-add-exprs [15] 100.0% [19] 528(19.9%) 528(19.9%) ??? ...math-testversion/src/core/simplify.rkt:49:8 ----------------------------------------------------------------- for-loop [17] 100.0% [20] 380(14.3%) 380(14.3%) temp37_0 (unknown source) ----------------------------------------------------------------- for-loop [17] 100.0% [21] 380(14.3%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [17] 100.0% ----------------------------------------------------------------- ??? [18] 100.0% [22] 966(36.5%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:364:33 ival-exp [23] 62.9% ival-sqrt [24] 37.1% ----------------------------------------------------------------- ??? [22] 100.0% [23] 608(22.9%) 608(22.9%) ival-exp ...-testversion/src/biginterval.rkt:179:0 ----------------------------------------------------------------- ??? [22] 100.0% [24] 358(13.5%) 0(0.0%) ival-sqrt ...testversion/src/biginterval.rkt:197:0 bfsqrt [25] 100.0% ----------------------------------------------------------------- ival-sqrt [24] 100.0% [25] 358(13.5%) 0(0.0%) bfsqrt ...lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [26] 100.0% ----------------------------------------------------------------- bfsqrt [25] 100.0% [26] 358(13.5%) 358(13.5%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 -----------------------------------------------------------------