Profiling results ----------------- Total cpu time observed: 20458ms (out of 21144ms) Number of samples taken: 54 (once every 379ms) ================================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================ ??? [3] 100.0% [1] 20458(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ---------------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 20458(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ---------------------------------------------------------------- run [2] 50.0% [3] 20458(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [4] 48.4% run-improve39 [5] 1.6% ---------------------------------------------------------------- ??? [3] 100.0% [4] 19800(96.8%) 0(0.0%) loop ...e/biginterval-sampler/src/points.rkt:241:2 make-exacts-intervals [6]100.0% ---------------------------------------------------------------- ??? [3] 100.0% [5] 658(3.2%) 0(0.0%) run-improve39 ...al-sampler/src/mainloop.rkt:287:0 for-loop [7] 100.0% ---------------------------------------------------------------- loop [4] 100.0% [6] 19800(96.8%) 0(0.0%) make-exacts-intervals ...pler/src/points.rkt:182:0 for-loop [8] 100.0% ---------------------------------------------------------------- run-improve39 [5] 100.0% [7] 658(3.2%) 0(0.0%) for-loop ...terval-sampler/src/mainloop.rkt:299:29 ??? [9] 100.0% ---------------------------------------------------------------- make-exacts-intervals [6]100.0% [8] 19800(96.8%) 0(0.0%) for-loop ...ginterval-sampler/src/points.rkt:185:2 loop [10] 100.0% ---------------------------------------------------------------- for-loop [7] 100.0% [9] 658(3.2%) 0(0.0%) ??? ...interval-sampler/src/core/simplify.rkt:31:0 iterate-egraph!7 [11] 100.0% ---------------------------------------------------------------- for-loop [8] 100.0% [10] 19800(96.8%) 1402(6.9%) loop ...e/biginterval-sampler/src/points.rkt:167:2 ??? [17] 92.9% ---------------------------------------------------------------- ??? [9] 100.0% [11] 658(3.2%) 0(0.0%) iterate-egraph!7 ...ler/src/core/simplify.rkt:61:0 one-iter [12] 100.0% ---------------------------------------------------------------- iterate-egraph!7 [11] 100.0% [12] 658(3.2%) 0(0.0%) one-iter ...val-sampler/src/core/simplify.rkt:72:0 map-enodes [13] 100.0% ---------------------------------------------------------------- one-iter [12] 100.0% [13] 658(3.2%) 0(0.0%) map-enodes ...al-sampler/src/core/egraph.rkt:140:0 loop [14] 100.0% ---------------------------------------------------------------- loop [14] 46.3% map-enodes [13] 53.7% [14] 658(3.2%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:40:19 set-precompute! [15] 53.7% loop [14] 46.3% ---------------------------------------------------------------- loop [14] 100.0% [15] 658(3.2%) 0(0.0%) set-precompute! ...ler/src/core/simplify.rkt:151:0 for-loop [16] 100.0% ---------------------------------------------------------------- set-precompute! [15] 100.0% [16] 658(3.2%) 0(0.0%) for-loop ...al-sampler/src/core/simplify.rkt:153:2 reduce-to-new! [18] 50.2% ??? [17] 49.8% ---------------------------------------------------------------- for-loop [16] 1.8% loop [10] 98.2% [17] 18726(91.5%) 0(0.0%) ??? .../biginterval-sampler/src/programs.rkt:124:2 ??? [19] 100.0% ---------------------------------------------------------------- for-loop [16] 100.0% [18] 330(1.6%) 0(0.0%) reduce-to-new! ...ampler/src/core/egraph.rkt:334:0 merge-egraph-nodes! [20] 100.0% ---------------------------------------------------------------- ??? [17] 100.0% [19] 18726(91.5%) 700(3.4%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [21] 96.3% ---------------------------------------------------------------- reduce-to-new! [18] 100.0% [20] 330(1.6%) 0(0.0%) merge-egraph-nodes! ...r/src/core/egraph.rkt:153:0 update-leader! [22] 100.0% ---------------------------------------------------------------- ??? [19] 100.0% [21] 18026(88.1%) 308(1.5%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-mult [23] 64.4% ival-div [24] 20.0% mk-ival [25] 9.5% ival-add [26] 4.4% ---------------------------------------------------------------- merge-egraph-nodes! [20] 100.0% [22] 330(1.6%) 0(0.0%) update-leader! ...ampler/src/core/egraph.rkt:215:0 for-loop [27] 100.0% ---------------------------------------------------------------- ??? [21] 100.0% [23] 11604(56.7%) 628(3.1%) ival-mult ...rval-sampler/src/biginterval.rkt:94:0 bf* [28] 56.9% foldl [34] 15.2% bfmax* [30] 13.7% bfmin* [31] 8.8% ---------------------------------------------------------------- ??? [21] 100.0% [24] 3604(17.6%) 308(1.5%) ival-div ...rval-sampler/src/biginterval.rkt:105:0 ??? [35] 55.2% foldl [34] 18.4% force [32] 9.5% bf/ [33] 8.3% ---------------------------------------------------------------- ??? [21] 100.0% [25] 1714(8.4%) 0(0.0%) mk-ival ...terval-sampler/src/biginterval.rkt:52:0 bf [29] 100.0% ---------------------------------------------------------------- ??? [21] 100.0% [26] 796(3.9%) 0(0.0%) ival-add ...erval-sampler/src/biginterval.rkt:76:0 ??? [35] 100.0% ---------------------------------------------------------------- update-leader! [22] 100.0% [27] 330(1.6%) 330(1.6%) for-loop ...rval-sampler/src/core/egraph.rkt:220:6 ---------------------------------------------------------------- ival-mult [23] 100.0% [28] 6600(32.3%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [35] 100.0% ---------------------------------------------------------------- mk-ival [25] 100.0% [29] 1714(8.4%) 604(3.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [37] 64.8% ---------------------------------------------------------------- ival-mult [23] 100.0% [30] 1590(7.8%) 0(0.0%) bfmax* ...nterval-sampler/src/biginterval.rkt:91:0 foldl [34] 100.0% ---------------------------------------------------------------- ival-mult [23] 100.0% [31] 1024(5.0%) 0(0.0%) bfmin* ...nterval-sampler/src/biginterval.rkt:88:0 foldl [34] 100.0% ---------------------------------------------------------------- ival-div [24] 100.0% [32] 344(1.7%) 344(1.7%) force ...collects/racket/private/promise.rkt:109:0 ---------------------------------------------------------------- ival-div [24] 100.0% [33] 300(1.5%) 300(1.5%) bf/ ...th/private/bigfloat/bigfloat-mpfr.rkt:102:0 ---------------------------------------------------------------- ival-div [24] 13.2% bfmin* [31] 20.3% bfmax* [30] 31.5% ival-mult [23] 35.0% [34] 5040(24.6%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:229:4 ??? [35] 100.0% ---------------------------------------------------------------- ival-add [26] 5.5% ival-div [24] 13.8% foldl [34] 34.9% bf* [28] 45.8% [35] 14424(70.5%) 2042(10.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmax2 [36] 85.8% ---------------------------------------------------------------- ??? [35] 100.0% [36] 12382(60.5%) 638(3.1%) bfmax2 ...lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [37] 60.0% ??? [38] 34.9% ---------------------------------------------------------------- bf [29] 13.0% bfmax2 [36] 87.0% [37] 8534(41.7%) 8534(41.7%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ---------------------------------------------------------------- bfmax2 [36] 100.0% [38] 4320(21.1%) 4320(21.1%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ----------------------------------------------------------------