Profiling results ----------------- Total cpu time observed: 102550ms (out of 103380ms) Number of samples taken: 491 (once every 209ms) =========================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================================== [1] 102550(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 100.0% --------------------------------------------------------------------------- for-loop [84] 100.0% [2] 200(0.2%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [4] 100.0% --------------------------------------------------------------------------- ??? [1] 100.0% [3] 102550(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [5] 100.0% --------------------------------------------------------------------------- syntax-e [2] 100.0% [4] 200(0.2%) 0(0.0%) syntax-e/no-taint (unknown source) loop [60] 100.0% --------------------------------------------------------------------------- profile-thunk16 [3] 100.0% [5] 102550(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [6] 100.0% --------------------------------------------------------------------------- for-loop [47] 1.1% run [5] 98.9% [6] 102550(100.0%) 200(0.2%) .../more-scheme.rkt:261:28 (unknown source) prepare-points-intervals [11] 88.9% run-improve47 [7] 7.5% oracle-error [8] 1.4% ??? [67] 1.0% eval-errors [10] 0.4% get-final-combination [9] 0.4% errors [41] 0.3% --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6] 100.0% [7] 8528(8.3%) 0(0.0%) run-improve47 ...estversion/src/mainloop.rkt:346:0 for-loop [12] 54.1% prepare-points-intervals [11] 43.3% simplify! [22] 2.6% --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6] 100.0% [8] 1416(1.4%) 0(0.0%) oracle-error ...h-testversion/src/points.rkt:188:0 for-loop [13] 100.0% --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6] 100.0% [9] 606(0.6%) 0(0.0%) get-final-combination ...on/src/mainloop.rkt:371:0 infer-splitpoints [14] 100.0% --------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [6] 100.0% [10] 406(0.4%) 0(0.0%) eval-errors ...th-testversion/src/points.rkt:179:0 for-loop [15] 100.0% --------------------------------------------------------------------------- run-improve47 [7] 3.9% .../more-scheme.rkt:261:28 [6] 96.1% [11] 94828(92.5%) 0(0.0%) prepare-points-intervals ...n/src/points.rkt:110:0 loop [16] 99.5% eval-prog [49] 0.5% --------------------------------------------------------------------------- run-improve47 [7] 100.0% [12] 4614(4.5%) 0(0.0%) for-loop ...ath-testversion/src/mainloop.rkt:365:4 run-iter! [17] 100.0% --------------------------------------------------------------------------- oracle-error [8] 100.0% [13] 1416(1.4%) 0(0.0%) for-loop ...gmath-testversion/src/points.rkt:189:2 loop [60] 71.3% map [19] 28.7% --------------------------------------------------------------------------- get-final-combination [9] 100.0% [14] 606(0.6%) 0(0.0%) infer-splitpoints ...ion/src/core/regimes.rkt:34:0 for-loop [18] 100.0% --------------------------------------------------------------------------- eval-errors [10] 100.0% [15] 406(0.4%) 0(0.0%) for-loop ...gmath-testversion/src/points.rkt:181:2 ??? [67] 100.0% --------------------------------------------------------------------------- prepare-points-intervals [11] 100.0% [16] 94354(92.0%) 432(0.4%) loop ...e/eggmath-testversion/src/points.rkt:123:4 loop [20] 97.6% ??? [23] 1.9% --------------------------------------------------------------------------- for-loop [12] 100.0% [17] 4614(4.5%) 0(0.0%) run-iter! ...th-testversion/src/mainloop.rkt:327:0 finalize-iter! [21] 52.7% simplify! [22] 35.9% gen-rewrites! [25] 11.4% --------------------------------------------------------------------------- infer-splitpoints [14] 100.0% [18] 606(0.6%) 0(0.0%) for-loop ...-testversion/src/core/regimes.rkt:47:6 option-on-expr [24] 100.0% --------------------------------------------------------------------------- for-loop [13] 100.0% [19] 406(0.4%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 ??? [62] 100.0% --------------------------------------------------------------------------- loop [16] 100.0% [20] 92118(89.8%) 1658(1.6%) loop ...ie/eggmath-testversion/src/points.rkt:81:2 ??? [67] 97.3% ??? [98] 0.4% log! [30] 0.2% ??? [26] 0.2% --------------------------------------------------------------------------- run-iter! [17] 100.0% [21] 2430(2.4%) 0(0.0%) finalize-iter! ...stversion/src/mainloop.rkt:278:0 ??? [26] 100.0% --------------------------------------------------------------------------- run-improve47 [7] 11.9% run-iter! [17] 88.1% [22] 1882(1.8%) 0(0.0%) simplify! ...th-testversion/src/mainloop.rkt:224:0 ??? [27] 100.0% --------------------------------------------------------------------------- loop [16] 100.0% [23] 1804(1.8%) 422(0.4%) ??? ...ie/eggmath-testversion/src/points.rkt:106:2 ??? [73] 76.6% --------------------------------------------------------------------------- for-loop [18] 100.0% [24] 606(0.6%) 0(0.0%) option-on-expr ...rsion/src/core/regimes.rkt:126:0 for-loop [29] 67.0% sort-context-on-expr [31] 33.0% --------------------------------------------------------------------------- run-iter! [17] 100.0% [25] 526(0.5%) 0(0.0%) gen-rewrites! ...estversion/src/mainloop.rkt:183:0 for-loop [28] 100.0% --------------------------------------------------------------------------- loop [20] 7.6% finalize-iter! [21] 92.4% [26] 2630(2.6%) 200(0.2%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [32] 92.4% --------------------------------------------------------------------------- simplify! [22] 100.0% [27] 1882(1.8%) 0(0.0%) ??? ...math-testversion/src/core/simplify.rkt:53:0 egraph-run [33] 100.0% --------------------------------------------------------------------------- gen-rewrites! [25] 100.0% [28] 526(0.5%) 0(0.0%) for-loop ...th-testversion/src/mainloop.rkt:191:11 rewrite-expression-head20 [34] 100.0% --------------------------------------------------------------------------- option-on-expr [24] 100.0% [29] 406(0.4%) 0(0.0%) for-loop ...testversion/src/core/regimes.rkt:136:4 errors [41] 100.0% --------------------------------------------------------------------------- loop [20] 100.0% [30] 208(0.2%) 0(0.0%) log! ...ie/eggmath-testversion/src/points.rkt:61:2 warn21 [35] 100.0% --------------------------------------------------------------------------- option-on-expr [24] 100.0% [31] 200(0.2%) 0(0.0%) sort-context-on-expr ...src/core/regimes.rkt:119:0 ??? [36] 100.0% --------------------------------------------------------------------------- ??? [26] 100.0% [32] 2430(2.4%) 0(0.0%) for-loop ...estversion/src/core/alt-table.rkt:55:2 atab-add-altn [37] 91.8% errors [41] 8.2% --------------------------------------------------------------------------- ??? [27] 100.0% [33] 1882(1.8%) 0(0.0%) egraph-run ...estversion/src/core/eggmath.rkt:52:0 egraph-add-exprs [38] 100.0% --------------------------------------------------------------------------- for-loop [28] 100.0% [34] 526(0.5%) 0(0.0%) rewrite-expression-head20 ...core/matcher.rkt:87:0 rewriter [39] 100.0% --------------------------------------------------------------------------- log! [30] 100.0% [35] 208(0.2%) 208(0.2%) warn21 .../eggmath-testversion/src/errors.rkt:63:0 --------------------------------------------------------------------------- sort-context-on-expr [31] 100.0% [36] 200(0.2%) 0(0.0%) ??? ...-7.5/collects/racket/private/sort.rkt:369:3 generic-sort/key [40] 100.0% --------------------------------------------------------------------------- for-loop [32] 100.0% [37] 2230(2.2%) 0(0.0%) atab-add-altn ...sion/src/core/alt-table.rkt:203:0 errors [41] 91.0% for-loop [45] 9.0% --------------------------------------------------------------------------- egraph-run [33] 100.0% [38] 1882(1.8%) 0(0.0%) egraph-add-exprs ...ion/src/core/eggmath.rkt:116:0 ??? [42] 100.0% --------------------------------------------------------------------------- rewrite-expression-head20 [34] 100.0% [39] 526(0.5%) 0(0.0%) rewriter ...-testversion/src/core/matcher.rkt:90:2 *rules* [43] 54.8% for-loop [44] 45.2% --------------------------------------------------------------------------- ??? [36] 100.0% [40] 200(0.2%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [46] 100.0% --------------------------------------------------------------------------- for-loop [32] 6.5% for-loop [29] 13.1% .../more-scheme.rkt:261:28 [6] 14.7% atab-add-altn [37] 65.7% [41] 3092(3.0%) 0(0.0%) errors ...eggmath-testversion/src/points.rkt:201:0 for-loop [47] 80.6% eval-prog [49] 19.4% --------------------------------------------------------------------------- egraph-add-exprs [38] 100.0% [42] 1882(1.8%) 0(0.0%) ??? ...math-testversion/src/core/simplify.rkt:66:8 egg-run-rules [48] 100.0% --------------------------------------------------------------------------- rewriter [39] 100.0% [43] 288(0.3%) 0(0.0%) *rules* ...-testversion/src/syntax/rules.rkt:669:0 for-loop [84] 100.0% --------------------------------------------------------------------------- rewriter [39] 100.0% [44] 238(0.2%) 0(0.0%) for-loop ...-testversion/src/core/matcher.rkt:92:4 matcher [50] 100.0% --------------------------------------------------------------------------- atab-add-altn [37] 100.0% [45] 200(0.2%) 200(0.2%) for-loop ...stversion/src/core/alt-table.rkt:119:2 --------------------------------------------------------------------------- copying-mergesort [46] 50.0% generic-sort/key [40] 50.0% [46] 200(0.2%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [46] 50.0% loop [51] 50.0% --------------------------------------------------------------------------- errors [41] 100.0% [47] 2492(2.4%) 240(0.2%) for-loop ...gmath-testversion/src/points.rkt:203:2 .../more-scheme.rkt:261:28 [6] 90.4% --------------------------------------------------------------------------- ??? [42] 100.0% [48] 1882(1.8%) 0(0.0%) egg-run-rules ...ersion/src/core/simplify.rkt:73:0 for-loop [52] 100.0% --------------------------------------------------------------------------- prepare-points-intervals [11] 44.1% errors [41] 55.9% [49] 1074(1.0%) 0(0.0%) eval-prog ...ath-testversion/src/programs.rkt:83:0 temp85_0 [53] 59.4% loop [60] 22.0% hash-ref! [65] 18.6% --------------------------------------------------------------------------- for-loop [44] 100.0% [50] 238(0.2%) 238(0.2%) matcher ...-testversion/src/core/matcher.rkt:118:2 --------------------------------------------------------------------------- copying-mergesort [46] 100.0% [51] 200(0.2%) 200(0.2%) loop ...7.5/collects/racket/private/sort.rkt:96:12 --------------------------------------------------------------------------- egg-run-rules [48] 100.0% [52] 1882(1.8%) 1882(1.8%) for-loop ...testversion/src/core/simplify.rkt:78:2 --------------------------------------------------------------------------- eval-prog [49] 100.0% [53] 638(0.6%) 0(0.0%) temp85_0 (unknown source) compile15 [54] 100.0% --------------------------------------------------------------------------- temp85_0 [53] 100.0% [54] 638(0.6%) 0(0.0%) compile15 (unknown source) temp91_0 [55] 100.0% --------------------------------------------------------------------------- compile15 [54] 100.0% [55] 638(0.6%) 0(0.0%) temp91_0 (unknown source) temp118_0 [56] 62.7% compile-top9 [57] 37.3% --------------------------------------------------------------------------- temp91_0 [55] 100.0% [56] 400(0.4%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [58] 100.0% --------------------------------------------------------------------------- temp91_0 [55] 100.0% [57] 238(0.2%) 0(0.0%) compile-top9 (unknown source) compile-forms33 [59] 100.0% --------------------------------------------------------------------------- loop [60] 37.1% temp118_0 [56] 62.9% [58] 636(0.6%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [61] 62.9% loop [60] 37.1% --------------------------------------------------------------------------- compile-top9 [57] 100.0% [59] 238(0.2%) 238(0.2%) compile-forms33 (unknown source) --------------------------------------------------------------------------- expand-capturing-lifts [58] 4.3% eval-prog [49] 4.3% for-loop [84] 10.8% syntax-e/no-taint [4] 10.8% ??? [70] 10.8% loop [60] 20.5% for-loop [13] 38.5% [60] 1846(1.8%) 0(0.0%) loop (unknown source) ??? [62] 33.0% loop [60] 20.5% hash-ref! [65] 10.8% gf [64] 10.8% expand-id-application-form17 [66] 10.8% ??? [67] 5.4% expand-capturing-lifts [58] 4.3% for-loop [84] 4.3% --------------------------------------------------------------------------- expand-capturing-lifts [58] 100.0% [61] 400(0.4%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [63] 100.0% --------------------------------------------------------------------------- map [19] 33.4% loop [60] 66.6% [62] 1216(1.2%) 200(0.2%) ??? ...e/eggmath-testversion/src/points.rkt:190:26 ??? [67] 67.1% *bit-width* [68] 16.4% --------------------------------------------------------------------------- lambda-clause-expander [61] 5.3% for-loop [84] 94.7% [63] 400(0.4%) 0(0.0%) finish-bodys (unknown source) for-loop [84] 100.0% --------------------------------------------------------------------------- loop [60] 100.0% [64] 200(0.2%) 0(0.0%) gf (unknown source) propagation-apply-shifted [69] 100.0% --------------------------------------------------------------------------- eval-prog [49] 11.1% loop [60] 88.9% [65] 200(0.2%) 200(0.2%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [70] 88.9% --------------------------------------------------------------------------- loop [60] 100.0% [66] 200(0.2%) 0(0.0%) expand-id-application-form17 (unknown source) resolve+shift28 [71] 100.0% --------------------------------------------------------------------------- loop [60] 0.2% for-loop [15] 0.4% ??? [62] 0.9% .../more-scheme.rkt:261:28 [6] 2.2% loop [20] 96.3% [67] 93120(90.8%) 37116(36.2%) ??? .../eggmath-testversion/src/programs.rkt:115:2 ??? [72] 49.7% ??? [73] 7.8% ??? [74] 2.7% --------------------------------------------------------------------------- ??? [62] 100.0% [68] 200(0.2%) 200(0.2%) *bit-width* ...math-testversion/src/float.rkt:35:0 --------------------------------------------------------------------------- gf [64] 100.0% [69] 200(0.2%) 200(0.2%) propagation-apply-shifted (unknown source) --------------------------------------------------------------------------- hash-ref! [65] 100.0% [70] 200(0.2%) 0(0.0%) ??? .../eggmath-testversion/src/programs.rkt:161:5 loop [60] 100.0% --------------------------------------------------------------------------- expand-id-application-form17 [66]100.0% [71] 200(0.2%) 0(0.0%) resolve+shift28 (unknown source) fallback-loop [75] 100.0% --------------------------------------------------------------------------- ??? [67] 100.0% [72] 46294(45.1%) 21906(21.4%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-log1p [76] 32.7% ival-cosh [78] 7.1% ival-fmod [79] 6.7% ival-acos [80] 6.1% --------------------------------------------------------------------------- ??? [73] 1.0% ??? [23] 15.0% ??? [67] 84.0% [73] 8624(8.4%) 378(0.4%) ??? ...tract/private/arrow-higher-order.rkt:375:33 ival-pow [77] 50.4% ival-mult [81] 16.9% mk-ival [82] 14.3% sample-multi-bounded [83] 14.0% ??? [73] 1.0% --------------------------------------------------------------------------- ??? [67] 100.0% [74] 2468(2.4%) 1454(1.4%) ??? ...th-testversion/src/syntax/syntax.rkt:214:17 return/no-unsupplied [89] 32.7% list-member? [85] 8.3% --------------------------------------------------------------------------- resolve+shift28 [71] 100.0% [75] 200(0.2%) 0(0.0%) fallback-loop (unknown source) for-loop [84] 100.0% --------------------------------------------------------------------------- ??? [72] 100.0% [76] 15158(14.8%) 14354(14.0%) ival-log1p ...estversion/src/biginterval.rkt:205:0 bfacos [86] 5.3% --------------------------------------------------------------------------- ??? [73] 100.0% [77] 4348(4.2%) 3300(3.2%) ival-pow ...-testversion/src/biginterval.rkt:229:0 bfexpt [95] 24.1% --------------------------------------------------------------------------- ??? [72] 100.0% [78] 3308(3.2%) 2682(2.6%) ival-cosh ...testversion/src/biginterval.rkt:378:0 bfacos [86] 18.9% --------------------------------------------------------------------------- ??? [72] 100.0% [79] 3096(3.0%) 402(0.4%) ival-fmod ...testversion/src/biginterval.rkt:395:0 ival-div [87] 66.7% bftruncate [90] 20.3% --------------------------------------------------------------------------- ??? [72] 100.0% [80] 2826(2.8%) 1818(1.8%) ival-acos ...testversion/src/biginterval.rkt:362:0 bfacos [86] 35.7% --------------------------------------------------------------------------- ??? [73] 100.0% [81] 1458(1.4%) 406(0.4%) ival-mult ...testversion/src/biginterval.rkt:119:0 bfexpt [95] 72.2% --------------------------------------------------------------------------- ??? [73] 100.0% [82] 1236(1.2%) 0(0.0%) mk-ival ...th-testversion/src/biginterval.rkt:65:0 bf [88] 100.0% --------------------------------------------------------------------------- ??? [73] 100.0% [83] 1204(1.2%) 200(0.2%) sample-multi-bounded ...ersion/src/points.rkt:15:0 for-loop [91] 33.6% random-ranges [92] 33.2% return/no-unsupplied [89] 16.6% --------------------------------------------------------------------------- for-loop [84] 0.9% fallback-loop [75] 1.3% run-module-instance!125 [94] 12.8% loop [60] 12.8% *rules* [43] 31.2% finish-bodys [63] 41.1% [84] 924(0.9%) 488(0.5%) for-loop (unknown source) finish-bodys [63] 38.9% run-module-instance!125 [94] 12.8% temp37_0 [93] 12.8% loop [60] 1.3% for-loop [84] 0.9% syntax-e [2] 0.9% --------------------------------------------------------------------------- ??? [74] 100.0% [85] 206(0.2%) 206(0.2%) list-member? ...llects/racket/private/set.rkt:24:0 --------------------------------------------------------------------------- ival-cosh [78] 25.7% ival-log1p [76] 33.0% ival-acos [80] 41.3% [86] 2438(2.4%) 200(0.2%) bfacos ...lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [99] 49.5% ??? [98] 42.3% --------------------------------------------------------------------------- ival-fmod [79] 100.0% [87] 2066(2.0%) 1008(1.0%) ival-div ...-testversion/src/biginterval.rkt:155:0 bfexpt [95] 51.2% --------------------------------------------------------------------------- mk-ival [82] 100.0% [88] 1236(1.2%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [99] 50.0% ??? [98] 50.0% --------------------------------------------------------------------------- sample-multi-bounded [83] 19.8% ??? [74] 80.2% [89] 1008(1.0%) 1008(1.0%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 --------------------------------------------------------------------------- ival-fmod [79] 100.0% [90] 628(0.6%) 0(0.0%) bftruncate ...math/private/bigfloat/mpfr.rkt:730:4 ??? [98] 67.8% new-mpfr [99] 32.2% --------------------------------------------------------------------------- sample-multi-bounded [83] 100.0% [91] 404(0.4%) 404(0.4%) for-loop ...ggmath-testversion/src/points.rkt:23:4 --------------------------------------------------------------------------- sample-multi-bounded [83] 100.0% [92] 400(0.4%) 0(0.0%) random-ranges ...-testversion/src/common.rkt:171:0 cons/c [96] 100.0% --------------------------------------------------------------------------- for-loop [84] 100.0% [93] 236(0.2%) 0(0.0%) temp37_0 (unknown source) [running body] [97] 100.0% --------------------------------------------------------------------------- for-loop [84] 100.0% [94] 236(0.2%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [84] 100.0% --------------------------------------------------------------------------- ival-pow [77] 33.2% ival-mult [81] 33.3% ival-div [87] 33.5% [95] 3158(3.1%) 606(0.6%) bfexpt ...lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [99] 46.7% ??? [98] 34.1% --------------------------------------------------------------------------- random-ranges [92] 100.0% [96] 400(0.4%) 0(0.0%) cons/c .../racket/contract/private/guts.rkt:500:15 coerce-contract [100] 100.0% --------------------------------------------------------------------------- temp37_0 [93] 100.0% [97] 236(0.2%) 0(0.0%) [running body] .../collects/racket/format.rkt":##f .get-syntax-literal! [101] 100.0% --------------------------------------------------------------------------- loop [20] 11.4% bftruncate [90] 12.0% bf [88] 17.4% bfacos [86] 29.0% bfexpt [95] 30.2% [98] 3558(3.5%) 3558(3.5%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 --------------------------------------------------------------------------- bftruncate [90] 5.8% bf [88] 17.6% bfacos [86] 34.4% bfexpt [95] 42.1% [99] 3502(3.4%) 3502(3.4%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 --------------------------------------------------------------------------- cons/c [96] 100.0% [100] 400(0.4%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [102] 100.0% --------------------------------------------------------------------------- [running body] [97] 100.0% [101] 236(0.2%) 0(0.0%) .get-syntax-literal! (unknown source) .deserialize-syntax [103] 100.0% --------------------------------------------------------------------------- coerce-contract [100] 100.0% [102] 400(0.4%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [104] 100.0% --------------------------------------------------------------------------- .get-syntax-literal! [101] 100.0% [103] 236(0.2%) 236(0.2%) .deserialize-syntax (unknown source) --------------------------------------------------------------------------- coerce-contract/f [102] 100.0% [104] 400(0.4%) 400(0.4%) coerce-simple-value ...ract/private/guts.rkt:385:0 ---------------------------------------------------------------------------