Profiling results ----------------- Total cpu time observed: 133494ms (out of 136100ms) Number of samples taken: 336 (once every 397ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 85 hidden) =========================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =========================================================================== ??? [6] 100.0% [1] 133494(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% --------------------------------------------------------------------------- hash-ref! [29] 100.0% [2] 730(0.5%) 0(0.0%) ??? ...erbie/no-inf-columns/src/programs.rkt:161:5 loop [23] 100.0% --------------------------------------------------------------------------- ??? [6] 100.0% [3] 292(0.2%) 0(0.0%) errors ...rbie/no-inf-columns/src/points.rkt:201:0 for-loop [5] 100.0% --------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [4] 133494(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [6] 100.0% --------------------------------------------------------------------------- errors [3] 100.0% [5] 292(0.2%) 0(0.0%) for-loop ...ie/no-inf-columns/src/points.rkt:203:2 ??? [6] 100.0% --------------------------------------------------------------------------- for-loop [5] 0.1% run [4] 50.0% [6] 133494(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [9] 47.5% run-improve47 [7] 2.3% oracle-error [8] 0.1% errors [3] 0.1% ??? [34] 0.1% --------------------------------------------------------------------------- ??? [6] 100.0% [7] 6174(4.6%) 0(0.0%) run-improve47 ...nf-columns/src/mainloop.rkt:345:0 loop [9] 78.9% for-loop [10] 15.9% simplify! [11] 5.2% --------------------------------------------------------------------------- ??? [6] 100.0% [8] 272(0.2%) 0(0.0%) oracle-error ...o-inf-columns/src/points.rkt:188:0 for-loop [12] 100.0% --------------------------------------------------------------------------- run-improve47 [7] 3.7% ??? [6] 96.3% [9] 131626(98.6%) 0(0.0%) loop ...herbie/no-inf-columns/src/points.rkt:277:2 loop [13] 33.4% loop [17] 33.4% make-exacts-walkup [18] 30.9% for-loop [14] 2.3% --------------------------------------------------------------------------- run-improve47 [7] 100.0% [10] 982(0.7%) 0(0.0%) for-loop .../no-inf-columns/src/mainloop.rkt:363:4 run-iter! [15] 100.0% --------------------------------------------------------------------------- run-improve47 [7] 100.0% [11] 322(0.2%) 0(0.0%) simplify! ...no-inf-columns/src/mainloop.rkt:223:0 ??? [16] 100.0% --------------------------------------------------------------------------- oracle-error [8] 100.0% [12] 272(0.2%) 0(0.0%) for-loop ...ie/no-inf-columns/src/points.rkt:189:2 map [41] 100.0% --------------------------------------------------------------------------- loop [9] 100.0% [13] 43944(32.9%) 0(0.0%) loop ...herbie/no-inf-columns/src/points.rkt:240:2 loop [17] 52.6% make-exacts-walkup [18] 47.4% --------------------------------------------------------------------------- loop [9] 100.0% [14] 3048(2.3%) 0(0.0%) for-loop ...e/no-inf-columns/src/points.rkt:297:19 ??? [19] 100.0% --------------------------------------------------------------------------- for-loop [10] 100.0% [15] 982(0.7%) 0(0.0%) run-iter! ...no-inf-columns/src/mainloop.rkt:326:0 localize! [20] 64.4% gen-rewrites! [21] 35.6% --------------------------------------------------------------------------- simplify! [11] 100.0% [16] 322(0.2%) 0(0.0%) ??? ...e/no-inf-columns/src/core/simplify.rkt:26:0 one-iter [22] 100.0% --------------------------------------------------------------------------- loop [13] 34.5% loop [9] 65.5% [17] 67040(50.2%) 0(0.0%) loop ...herbie/no-inf-columns/src/points.rkt:223:4 loop [23] 99.0% composed [28] 1.0% --------------------------------------------------------------------------- loop [13] 33.8% loop [9] 66.2% [18] 61538(46.1%) 0(0.0%) make-exacts-walkup ...columns/src/points.rkt:218:0 loop [23] 97.2% eval-prog [24] 2.8% --------------------------------------------------------------------------- for-loop [14] 100.0% [19] 3048(2.3%) 922(0.7%) ??? .../herbie/no-inf-columns/src/points.rkt:106:2 ??? [40] 69.8% --------------------------------------------------------------------------- run-iter! [15] 100.0% [20] 632(0.5%) 0(0.0%) localize! ...no-inf-columns/src/mainloop.rkt:126:0 localize-error [25] 100.0% --------------------------------------------------------------------------- run-iter! [15] 100.0% [21] 350(0.3%) 0(0.0%) gen-rewrites! ...nf-columns/src/mainloop.rkt:182:0 for-loop [26] 100.0% --------------------------------------------------------------------------- ??? [16] 100.0% [22] 322(0.2%) 0(0.0%) one-iter ...inf-columns/src/core/simplify.rkt:72:0 find-matches [27] 100.0% --------------------------------------------------------------------------- map [41] 0.0% ??? [2] 0.6% loop [17] 1.1% make-exacts-walkup [18] 2.0% loop [23] 96.3% [23] 127584(95.6%) 328(0.2%) loop ...-7.2/collects/racket/private/map.rkt:40:19 loop [23] 96.3% composed [28] 3.1% hash-ref! [29] 0.6% ??? [34] 0.0% ??? [45] 0.0% --------------------------------------------------------------------------- make-exacts-walkup [18] 100.0% [24] 1708(1.3%) 0(0.0%) eval-prog .../no-inf-columns/src/programs.rkt:83:0 hash-ref! [29] 42.7% loop [59] 20.8% inductor [31] 19.1% temp85_0 [33] 17.3% --------------------------------------------------------------------------- localize! [20] 100.0% [25] 632(0.5%) 0(0.0%) localize-error ...lumns/src/core/localize.rkt:66:0 hash-ref! [29] 100.0% --------------------------------------------------------------------------- gen-rewrites! [21] 100.0% [26] 350(0.3%) 0(0.0%) for-loop ...no-inf-columns/src/mainloop.rkt:190:11 rewrite-expression-head20 [30] 100.0% --------------------------------------------------------------------------- one-iter [22] 100.0% [27] 322(0.2%) 0(0.0%) find-matches ...columns/src/core/simplify.rkt:62:0 for-loop [32] 100.0% --------------------------------------------------------------------------- loop [17] 0.5% loop [23] 99.5% [28] 123404(92.4%) 352(0.3%) composed ...ollects/racket/private/list.rkt:321:16 ??? [34] 99.7% --------------------------------------------------------------------------- localize-error [25] 11.6% eval-prog [24] 20.5% loop [23] 33.1% map [41] 34.8% [29] 1362(1.0%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 parse-loop30 [36] 46.4% ??? [2] 33.1% bigfloat-hash [35] 20.5% --------------------------------------------------------------------------- for-loop [26] 100.0% [30] 350(0.3%) 0(0.0%) rewrite-expression-head20 ...core/matcher.rkt:87:0 rewriter [37] 100.0% --------------------------------------------------------------------------- eval-prog [24] 33.3% inductor [31] 66.7% [31] 326(0.2%) 0(0.0%) inductor .../no-inf-columns/src/programs.rkt:104:4 inductor [31] 66.7% ??? [40] 33.3% --------------------------------------------------------------------------- find-matches [27] 100.0% [32] 322(0.2%) 322(0.2%) for-loop ...inf-columns/src/core/simplify.rkt:64:8 --------------------------------------------------------------------------- eval-prog [24] 100.0% [33] 296(0.2%) 0(0.0%) temp85_0 (unknown source) compile15 [38] 100.0% --------------------------------------------------------------------------- ??? [6] 0.2% loop [23] 2.5% composed [28] 97.3% [34] 126482(94.7%) 0(0.0%) ??? ...erbie/no-inf-columns/src/programs.rkt:115:2 ??? [39] 94.3% ??? [40] 4.8% ??? [69] 0.4% --------------------------------------------------------------------------- hash-ref! [29] 100.0% [35] 730(0.5%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:167:0 sig+exp->bigfloat [42] 100.0% --------------------------------------------------------------------------- hash-ref! [29] 100.0% [36] 632(0.5%) 0(0.0%) parse-loop30 ...s/racket/match/compiler.rkt:418:15 map [41] 100.0% --------------------------------------------------------------------------- rewrite-expression-head20 [30] 100.0% [37] 350(0.3%) 0(0.0%) rewriter ...-inf-columns/src/core/matcher.rkt:90:2 for-loop [43] 100.0% --------------------------------------------------------------------------- temp85_0 [33] 100.0% [38] 296(0.2%) 0(0.0%) compile15 (unknown source) temp91_0 [44] 100.0% --------------------------------------------------------------------------- ??? [34] 100.0% [39] 119260(89.3%) 658(0.5%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14 ??? [45] 99.4% --------------------------------------------------------------------------- inductor [31] 3.8% ??? [19] 25.1% ??? [34] 71.1% [40] 8484(6.4%) 1986(1.5%) ??? ...tract/private/arrow-higher-order.rkt:360:33 bf [46] 55.2% sample-multi-bounded [47] 21.4% --------------------------------------------------------------------------- for-loop [12] 30.1% parse-loop30 [36] 69.9% [41] 904(0.7%) 0(0.0%) map ...t-7.2/collects/racket/private/map.rkt:35:13 hash-ref! [29] 52.4% ??? [49] 30.1% loop [23] 17.5% --------------------------------------------------------------------------- bigfloat-hash [35] 100.0% [42] 730(0.5%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:387:0 new-mpfr [72] 100.0% --------------------------------------------------------------------------- rewriter [37] 100.0% [43] 350(0.3%) 350(0.3%) for-loop ...-inf-columns/src/core/matcher.rkt:92:4 --------------------------------------------------------------------------- compile15 [38] 100.0% [44] 296(0.2%) 0(0.0%) temp91_0 (unknown source) temp118_0 [48] 100.0% --------------------------------------------------------------------------- loop [23] 0.5% ??? [39] 99.5% [45] 119234(89.3%) 682(0.5%) ??? ...tract/private/arrow-higher-order.rkt:364:33 bf-complex-exp [50] 72.1% bf-complex-div [51] 21.7% bf-complex-add [52] 3.4% bf-complex-neg [53] 2.3% --------------------------------------------------------------------------- ??? [40] 100.0% [46] 4682(3.5%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [72] 92.8% ??? [73] 7.2% --------------------------------------------------------------------------- ??? [40] 100.0% [47] 1816(1.4%) 596(0.4%) sample-multi-bounded ...olumns/src/points.rkt:15:0 random-ranges [54] 51.2% for-loop [56] 16.0% --------------------------------------------------------------------------- temp91_0 [44] 100.0% [48] 296(0.2%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [55] 100.0% --------------------------------------------------------------------------- map [41] 100.0% [49] 272(0.2%) 272(0.2%) ??? ...herbie/no-inf-columns/src/points.rkt:190:26 --------------------------------------------------------------------------- ??? [45] 100.0% [50] 85996(64.4%) 1066(0.8%) bf-complex-exp ...-columns/src/bigcomplex.rkt:37:0 ??? [63] 90.3% bf* [57] 7.7% ...higher-order.rkt:364:33 [58] 0.7% --------------------------------------------------------------------------- ??? [45] 100.0% [51] 25830(19.3%) 1000(0.7%) bf-complex-div ...-columns/src/bigcomplex.rkt:54:0 ??? [63] 49.8% bf* [57] 41.1% ...higher-order.rkt:364:33 [58] 5.2% --------------------------------------------------------------------------- ??? [45] 100.0% [52] 4032(3.0%) 0(0.0%) bf-complex-add ...-columns/src/bigcomplex.rkt:23:0 ??? [63] 100.0% --------------------------------------------------------------------------- ??? [45] 100.0% [53] 2694(2.0%) 330(0.2%) bf-complex-neg ...-columns/src/bigcomplex.rkt:20:0 ??? [63] 87.8% --------------------------------------------------------------------------- sample-multi-bounded [47] 100.0% [54] 930(0.7%) 304(0.2%) random-ranges ...-inf-columns/src/common.rkt:171:0 cons/c [60] 35.1% build--> [61] 32.3% --------------------------------------------------------------------------- temp118_0 [48] 45.4% loop [59] 54.6% [55] 652(0.5%) 0(0.0%) expand-capturing-lifts (unknown source) loop [59] 54.6% lambda-clause-expander [62] 45.4% --------------------------------------------------------------------------- sample-multi-bounded [47] 100.0% [56] 290(0.2%) 290(0.2%) for-loop ...bie/no-inf-columns/src/points.rkt:23:4 --------------------------------------------------------------------------- bf-complex-exp [50] 38.4% bf-complex-div [51] 61.6% [57] 17228(12.9%) 704(0.5%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [63] 95.9% --------------------------------------------------------------------------- bf-complex-exp [50] 31.9% bf-complex-div [51] 68.1% [58] 1990(1.5%) 344(0.3%) ...higher-order.rkt:364:33 (unknown source) ??? [64] 64.7% ??? [69] 18.0% --------------------------------------------------------------------------- loop [59] 33.3% expand-capturing-lifts [55] 33.3% eval-prog [24] 33.3% [59] 356(0.3%) 0(0.0%) loop (unknown source) expand-capturing-lifts [55] 33.3% loop [59] 33.3% for-loop [70] 33.3% --------------------------------------------------------------------------- random-ranges [54] 100.0% [60] 326(0.2%) 0(0.0%) cons/c .../racket/contract/private/guts.rkt:504:15 coerce-contract [65] 100.0% --------------------------------------------------------------------------- random-ranges [54] 100.0% [61] 300(0.2%) 0(0.0%) build--> ...act/private/arrow-val-first.rkt:1088:0 coerce-contract [65] 100.0% --------------------------------------------------------------------------- expand-capturing-lifts [55] 100.0% [62] 296(0.2%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [66] 100.0% --------------------------------------------------------------------------- bf-complex-neg [53] 2.1% bf-complex-add [52] 3.6% bf-complex-div [51] 11.3% bf* [57] 14.6% bf-complex-exp [50] 68.5% [63] 113462(85.0%) 71340(53.4%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [67] 21.1% bfexp [68] 16.0% --------------------------------------------------------------------------- ...higher-order.rkt:364:33 [58] 100.0% [64] 1288(1.0%) 958(0.7%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [69] 25.6% --------------------------------------------------------------------------- build--> [61] 47.9% cons/c [60] 52.1% [65] 626(0.5%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:308:0 coerce-contract/f [71] 100.0% --------------------------------------------------------------------------- lambda-clause-expander [62] 16.7% for-loop [70] 83.3% [66] 296(0.2%) 0(0.0%) finish-bodys (unknown source) for-loop [70] 100.0% --------------------------------------------------------------------------- ??? [63] 100.0% [67] 23974(18.0%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [72] 69.6% ??? [73] 30.4% --------------------------------------------------------------------------- ??? [63] 100.0% [68] 18148(13.6%) 0(0.0%) bfexp ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [72] 83.3% ??? [73] 16.7% --------------------------------------------------------------------------- ??? [64] 27.7% ...higher-order.rkt:364:33 [58] 30.0% ??? [34] 42.3% [69] 1192(0.9%) 688(0.5%) ??? ...ects/racket/contract/private/guts.rkt:772:8 bigvalue? [75] 42.3% --------------------------------------------------------------------------- for-loop [70] 6.5% temp37_0 [77] 18.2% run-module-instance!125 [78] 18.2% loop [59] 18.2% finish-bodys [66] 38.9% [70] 652(0.5%) 0(0.0%) for-loop (unknown source) finish-bodys [66] 32.4% run-module-instance!125 [78] 18.2% temp37_0 [77] 18.2% module-path-index-resolve [76] 18.2% for-loop [70] 6.5% expand-implicit [79] 6.5% --------------------------------------------------------------------------- coerce-contract [65] 100.0% [71] 626(0.5%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:373:0 coerce-simple-value [74] 100.0% --------------------------------------------------------------------------- sig+exp->bigfloat [42] 2.0% bf [46] 11.8% bfexp [68] 41.0% bfadd [67] 45.3% [72] 36878(27.6%) 36878(27.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 --------------------------------------------------------------------------- bf [46] 3.2% bfexp [68] 28.5% bfadd [67] 68.3% [73] 10656(8.0%) 10656(8.0%) ??? /opt/racket-7.2/collects/ffi/unsafe.rkt:905:4 --------------------------------------------------------------------------- coerce-contract/f [71] 100.0% [74] 626(0.5%) 626(0.5%) coerce-simple-value ...ract/private/guts.rkt:386:0 --------------------------------------------------------------------------- ??? [69] 100.0% [75] 504(0.4%) 504(0.4%) bigvalue? ...inf-columns/src/syntax/types.rkt:19:0 --------------------------------------------------------------------------- module-path-index-resolve [76] 50.0% for-loop [70] 50.0% [76] 356(0.3%) 0(0.0%) module-path-index-resolve (unknown source) module-path-index-resolve [76] 50.0% standard-module-name-resolver [80] 50.0% --------------------------------------------------------------------------- for-loop [70] 100.0% [77] 356(0.3%) 0(0.0%) temp37_0 (unknown source) for-loop [70] 100.0% --------------------------------------------------------------------------- for-loop [70] 100.0% [78] 356(0.3%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [70] 100.0% --------------------------------------------------------------------------- for-loop [70] 100.0% [79] 296(0.2%) 0(0.0%) expand-implicit (unknown source) resolve+shift28 [81] 100.0% --------------------------------------------------------------------------- module-path-index-resolve [76] 100.0% [80] 356(0.3%) 0(0.0%) standard-module-name-resolver (unknown source) split-relative-string [82] 100.0% --------------------------------------------------------------------------- expand-implicit [79] 100.0% [81] 296(0.2%) 0(0.0%) resolve+shift28 (unknown source) fallback-loop [83] 100.0% --------------------------------------------------------------------------- standard-module-name-resolver [80]100.0% [82] 356(0.3%) 0(0.0%) split-relative-string (unknown source) iloop [84] 100.0% --------------------------------------------------------------------------- resolve+shift28 [81] 100.0% [83] 296(0.2%) 296(0.2%) fallback-loop (unknown source) --------------------------------------------------------------------------- iloop [84] 50.0% split-relative-string [82] 50.0% [84] 356(0.3%) 356(0.3%) iloop (unknown source) iloop [84] 50.0% ---------------------------------------------------------------------------