Profiling results ----------------- Total cpu time observed: 26188ms (out of 26824ms) Number of samples taken: 70 (once every 374ms) ======================================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================================= ??? [3] 100.0% [1] 26188(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] 26188(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% --------------------------------------------------------------------------------------- run [2] 50.0% [3] 26188(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [7] 41.9% run-improve39 [4] 8.1% --------------------------------------------------------------------------------------- ??? [3] 100.0% [4] 4266(16.3%) 0(0.0%) run-improve39 ...al-sampler/src/mainloop.rkt:287:0 for-loop [5] 90.8% setup-prog!32 [6] 9.2% --------------------------------------------------------------------------------------- run-improve39 [4] 100.0% [5] 3874(14.8%) 0(0.0%) for-loop ...terval-sampler/src/mainloop.rkt:299:29 ??? [8] 100.0% --------------------------------------------------------------------------------------- run-improve39 [4] 100.0% [6] 392(1.5%) 0(0.0%) setup-prog!32 ...val-sampler/src/mainloop.rkt:63:0 loop [7] 100.0% --------------------------------------------------------------------------------------- setup-prog!32 [6] 1.8% ??? [3] 98.2% [7] 22314(85.2%) 0(0.0%) loop ...e/biginterval-sampler/src/points.rkt:241:2 make-exacts-intervals [9] 97.0% for-loop [11] 3.0% --------------------------------------------------------------------------------------- for-loop [5] 100.0% [8] 3874(14.8%) 0(0.0%) ??? ...interval-sampler/src/core/simplify.rkt:31:0 iterate-egraph!7 [10] 91.1% loop [12] 8.9% --------------------------------------------------------------------------------------- loop [7] 100.0% [9] 21642(82.6%) 0(0.0%) make-exacts-intervals ...pler/src/points.rkt:182:0 for-loop [13] 100.0% --------------------------------------------------------------------------------------- ??? [8] 100.0% [10] 3530(13.5%) 0(0.0%) iterate-egraph!7 ...ler/src/core/simplify.rkt:61:0 one-iter [14] 100.0% --------------------------------------------------------------------------------------- loop [7] 100.0% [11] 672(2.6%) 0(0.0%) for-loop ...interval-sampler/src/points.rkt:256:19 for-loop [15] 100.0% --------------------------------------------------------------------------------------- ??? [8] 100.0% [12] 344(1.3%) 0(0.0%) loop ...terval-sampler/src/core/simplify.rkt:195:2 for-loop [16] 100.0% --------------------------------------------------------------------------------------- make-exacts-intervals [9] 100.0% [13] 21642(82.6%) 0(0.0%) for-loop ...ginterval-sampler/src/points.rkt:185:2 loop [17] 96.6% ??? [34] 1.9% ??? [22] 1.5% --------------------------------------------------------------------------------------- iterate-egraph!7 [10] 100.0% [14] 3530(13.5%) 0(0.0%) one-iter ...val-sampler/src/core/simplify.rkt:72:0 for-loop [18] 82.0% for-loop [19] 18.0% --------------------------------------------------------------------------------------- for-loop [11] 100.0% [15] 672(2.6%) 358(1.4%) for-loop ...ginterval-sampler/src/points.rkt:233:4 ??? [22] 46.7% --------------------------------------------------------------------------------------- loop [12] 100.0% [16] 344(1.3%) 0(0.0%) for-loop ...l-sampler/src/core/simplify.rkt:188:29 argmin [20] 100.0% --------------------------------------------------------------------------------------- for-loop [13] 100.0% [17] 20916(79.9%) 718(2.7%) loop ...e/biginterval-sampler/src/points.rkt:167:2 ??? [21] 87.9% ??? [22] 8.7% --------------------------------------------------------------------------------------- one-iter [14] 100.0% [18] 2894(11.1%) 0(0.0%) for-loop ...al-sampler/src/core/simplify.rkt:123:2 for-loop [23] 78.9% match-e [24] 21.1% --------------------------------------------------------------------------------------- for-loop [19] 50.0% one-iter [14] 50.0% [19] 636(2.4%) 0(0.0%) for-loop ...al-sampler/src/core/simplify.rkt:83:12 for-loop [19] 50.0% match-e [24] 50.0% --------------------------------------------------------------------------------------- for-loop [16] 100.0% [20] 344(1.3%) 0(0.0%) argmin ...92/racket/collects/racket/list.rkt:765:0 for-loop [25] 100.0% --------------------------------------------------------------------------------------- loop [17] 100.0% [21] 18386(70.2%) 0(0.0%) ??? .../biginterval-sampler/src/programs.rkt:124:2 ??? [26] 92.9% ??? [34] 7.1% --------------------------------------------------------------------------------------- for-loop [15] 12.9% for-loop [13] 12.9% loop [17] 74.2% [22] 2442(9.3%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [27] 87.1% sample-multi-bounded [32] 12.9% --------------------------------------------------------------------------------------- for-loop [18] 100.0% [23] 2282(8.7%) 0(0.0%) for-loop ...al-sampler/src/core/simplify.rkt:106:4 loop! [28] 71.6% merge-egraph-nodes! [30] 15.3% substitute-e [33] 13.1% --------------------------------------------------------------------------------------- for-loop [18] 24.5% for-loop [19] 34.9% for-loop [36] 40.5% [24] 1248(4.8%) 300(1.1%) match-e ...terval-sampler/src/core/ematch.rkt:39:0 for-loop [29] 65.1% ??? [38] 26.9% --------------------------------------------------------------------------------------- argmin [20] 100.0% [25] 344(1.3%) 0(0.0%) for-loop ...nterval-sampler/src/programs.rkt:183:2 table-ref [31] 100.0% --------------------------------------------------------------------------------------- ??? [21] 100.0% [26] 17082(65.2%) 1596(6.1%) ??? ...acket/collects/racket/private/kw.rkt:592:14 ??? [34] 90.7% --------------------------------------------------------------------------------------- ??? [22] 100.0% [27] 2128(8.1%) 620(2.4%) ->flonum ...interval-sampler/src/programs.rkt:36:0 ??? [35] 55.8% return/no-unsupplied [41] 15.0% --------------------------------------------------------------------------------------- loop [37] 19.8% for-loop [23] 80.2% [28] 1634(6.2%) 298(1.1%) loop! ...interval-sampler/src/core/enode.rkt:190:2 custom-set-union [53] 60.5% loop [37] 19.8% set [40] 10.6% --------------------------------------------------------------------------------------- match-e [24] 100.0% [29] 912(3.5%) 312(1.2%) for-loop ...rval-sampler/src/core/ematch.rkt:52:11 for-loop [36] 82.9% --------------------------------------------------------------------------------------- for-loop [23] 100.0% [30] 350(1.3%) 0(0.0%) merge-egraph-nodes! ...r/src/core/egraph.rkt:153:0 enode-merge! [39] 100.0% --------------------------------------------------------------------------------------- for-loop [25] 100.0% [31] 344(1.3%) 0(0.0%) table-ref ...ginterval-sampler/src/common.rkt:47:0 ??? [55] 100.0% --------------------------------------------------------------------------------------- ??? [22] 100.0% [32] 314(1.2%) 314(1.2%) sample-multi-bounded ...ampler/src/points.rkt:43:0 --------------------------------------------------------------------------------------- for-loop [23] 33.3% for-loop [42] 66.7% [33] 298(1.1%) 0(0.0%) substitute-e ...l-sampler/src/core/ematch.rkt:64:0 for-loop [42] 66.7% ??? [38] 33.3% --------------------------------------------------------------------------------------- for-loop [13] 2.4% ??? [21] 7.6% ??? [26] 90.0% [34] 17200(65.7%) 746(2.8%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-mult [43] 72.4% ival-add [44] 15.7% mk-ival [45] 7.6% --------------------------------------------------------------------------------------- ->flonum [27] 100.0% [35] 1188(4.5%) 1188(4.5%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 --------------------------------------------------------------------------------------- for-loop [29] 100.0% [36] 912(3.5%) 300(1.1%) for-loop ...rval-sampler/src/core/ematch.rkt:58:37 match-e [24] 83.6% --------------------------------------------------------------------------------------- loop! [28] 7.0% loop [37] 93.0% [37] 646(2.5%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [37] 93.0% loop! [28] 7.0% --------------------------------------------------------------------------------------- substitute-e [33] 47.0% match-e [24] 53.0% [38] 634(2.4%) 298(1.1%) ??? ...contract/private/arrow-val-first.rkt:388:18 hash-has-key? [47] 53.0% --------------------------------------------------------------------------------------- merge-egraph-nodes! [30] 100.0% [39] 350(1.3%) 0(0.0%) enode-merge! ...l-sampler/src/core/enode.rkt:127:0 adopt-enode! [46] 100.0% --------------------------------------------------------------------------------------- loop! [28] 100.0% [40] 348(1.3%) 348(1.3%) set ...collects/racket/private/set-types.rkt:981:0 --------------------------------------------------------------------------------------- ->flonum [27] 100.0% [41] 320(1.2%) 0(0.0%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 filter [48] 100.0% --------------------------------------------------------------------------------------- substitute-e [33] 100.0% [42] 298(1.1%) 0(0.0%) for-loop ...rval-sampler/src/core/ematch.rkt:73:24 substitute-e [33] 100.0% --------------------------------------------------------------------------------------- ??? [34] 100.0% [43] 12446(47.5%) 338(1.3%) ival-mult ...rval-sampler/src/biginterval.rkt:94:0 bf* [49] 56.6% bfmax* [50] 14.5% bfmin* [52] 10.9% ...higher-order.rkt:361:33 [51] 7.9% foldl [56] 7.4% --------------------------------------------------------------------------------------- ??? [34] 100.0% [44] 2704(10.3%) 1556(5.9%) ival-add ...erval-sampler/src/biginterval.rkt:76:0 ??? [61] 28.8% ...higher-order.rkt:361:33 [51] 13.7% --------------------------------------------------------------------------------------- ??? [34] 100.0% [45] 1304(5.0%) 0(0.0%) mk-ival ...terval-sampler/src/biginterval.rkt:52:0 bf [54] 100.0% --------------------------------------------------------------------------------------- enode-merge! [39] 100.0% [46] 350(1.3%) 0(0.0%) adopt-enode! ...l-sampler/src/core/enode.rkt:103:0 custom-set-union [53] 100.0% --------------------------------------------------------------------------------------- ??? [38] 100.0% [47] 336(1.3%) 0(0.0%) hash-has-key? ...ket/private/more-scheme.rkt:371:2 ??? [55] 100.0% --------------------------------------------------------------------------------------- return/no-unsupplied [41] 100.0% [48] 320(1.2%) 320(1.2%) filter ...t/collects/racket/private/list.rkt:256:2 --------------------------------------------------------------------------------------- ival-mult [43] 100.0% [49] 7042(26.9%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [61] 100.0% --------------------------------------------------------------------------------------- ival-mult [43] 100.0% [50] 1810(6.9%) 0(0.0%) bfmax* ...nterval-sampler/src/biginterval.rkt:91:0 foldl [56] 100.0% --------------------------------------------------------------------------------------- ival-add [44] 27.3% ival-mult [43] 72.7% [51] 1354(5.2%) 0(0.0%) ...higher-order.rkt:361:33 (unknown source) ??? [57] 100.0% --------------------------------------------------------------------------------------- ival-mult [43] 100.0% [52] 1354(5.2%) 0(0.0%) bfmin* ...nterval-sampler/src/biginterval.rkt:88:0 foldl [56] 100.0% --------------------------------------------------------------------------------------- adopt-enode! [46] 26.2% loop! [28] 73.8% [53] 1338(5.1%) 350(1.3%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [58] 73.8% --------------------------------------------------------------------------------------- mk-ival [45] 100.0% [54] 1304(5.0%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [69] 53.2% ??? [70] 46.8% --------------------------------------------------------------------------------------- hash-has-key? [47] 49.4% table-ref [31] 50.6% [55] 680(2.6%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:798:4 for-loop [59] 50.6% successfully-got-the-right-kind-of-function [60] 49.4% --------------------------------------------------------------------------------------- ival-mult [43] 22.5% bfmin* [52] 33.2% bfmax* [50] 44.3% [56] 4082(15.6%) 0(0.0%) foldl ...et/collects/racket/private/list.rkt:229:4 ??? [61] 100.0% --------------------------------------------------------------------------------------- ...higher-order.rkt:361:33 [51] 100.0% [57] 1354(5.2%) 674(2.6%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [63] 50.2% --------------------------------------------------------------------------------------- custom-set-union [53] 100.0% [58] 988(3.8%) 0(0.0%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [62] 100.0% --------------------------------------------------------------------------------------- ??? [55] 100.0% [59] 344(1.3%) 0(0.0%) for-loop ...acket/contract/private/list.rkt:804:12 ??? [64] 100.0% --------------------------------------------------------------------------------------- ??? [55] 100.0% [60] 336(1.3%) 0(0.0%) successfully-got-the-right-kind-of-function ...5:4 arity-checking-wrapper [65] 100.0% --------------------------------------------------------------------------------------- ival-add [44] 6.5% foldl [56] 34.3% bf* [49] 59.2% [61] 11902(45.4%) 1356(5.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmax2 [66] 88.6% --------------------------------------------------------------------------------------- for-loop [58] 100.0% [62] 988(3.8%) 988(3.8%) for-loop ...cts/racket/private/set-types.rkt:178:5 --------------------------------------------------------------------------------------- ??? [57] 100.0% [63] 680(2.6%) 680(2.6%) ??? ...ects/racket/contract/private/guts.rkt:746:8 --------------------------------------------------------------------------------------- for-loop [59] 100.0% [64] 344(1.3%) 0(0.0%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 make-keyword-procedure [67] 100.0% --------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [60]100.0% [65] 336(1.3%) 0(0.0%) arity-checking-wrapper ...w-higher-order.rkt:425:0 matches-arity-exactly? [68] 100.0% --------------------------------------------------------------------------------------- ??? [61] 100.0% [66] 10546(40.3%) 0(0.0%) bfmax2 ...lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [69] 69.3% ??? [70] 30.7% --------------------------------------------------------------------------------------- ??? [64] 100.0% [67] 344(1.3%) 344(1.3%) make-keyword-procedure ...ket/private/kw.rkt:407:4 --------------------------------------------------------------------------------------- arity-checking-wrapper [65] 100.0% [68] 336(1.3%) 336(1.3%) matches-arity-exactly? ...te/arrow-common.rkt:70:0 --------------------------------------------------------------------------------------- bf [54] 8.7% bfmax2 [66] 91.3% [69] 8006(30.6%) 8006(30.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 --------------------------------------------------------------------------------------- bf [54] 15.9% bfmax2 [66] 84.1% [70] 3844(14.7%) 3844(14.7%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 ---------------------------------------------------------------------------------------