Profiling results ----------------- Total cpu time observed: 107326ms (out of 108616ms) Number of samples taken: 316 (once every 340ms) (Hiding functions with self<1.0% and local<2.0%: 3 of 143 hidden) ============================================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================================ ??? [48] 100.0% [1] 107326(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ---------------------------------------------------------------------------- ??? [48] 100.0% [2] 48216(44.9%) 0(0.0%) run-improve47 .../js-tweaks/src/mainloop.rkt:342:0 for-loop [6] 60.8% simplify! [11] 36.3% prepare-points [5] 2.8% ---------------------------------------------------------------------------- for-loop [140] 100.0% [3] 300(0.3%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [7] 100.0% ---------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [4] 107326(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [48] 100.0% ---------------------------------------------------------------------------- run-improve47 [2] 2.4% ??? [48] 97.6% [5] 58224(54.2%) 0(0.0%) prepare-points ...e/js-tweaks/src/points.rkt:146:0 loop [8] 100.0% ---------------------------------------------------------------------------- run-improve47 [2] 100.0% [6] 29326(27.3%) 0(0.0%) for-loop ...erbie/js-tweaks/src/mainloop.rkt:359:4 run-iter! [9] 100.0% ---------------------------------------------------------------------------- syntax-e [3] 100.0% [7] 300(0.3%) 0(0.0%) syntax-e/no-taint (unknown source) loop [90] 100.0% ---------------------------------------------------------------------------- prepare-points [5] 100.0% [8] 58224(54.2%) 286(0.3%) loop ...lies/herbie/js-tweaks/src/points.rkt:122:4 loop [10] 90.3% ??? [12] 8.1% infer-representation [105] 1.1% ---------------------------------------------------------------------------- for-loop [6] 100.0% [9] 29326(27.3%) 0(0.0%) run-iter! ...rbie/js-tweaks/src/mainloop.rkt:323:0 simplify! [11] 95.9% finalize-iter! [13] 3.1% gen-series! [14] 1.0% ---------------------------------------------------------------------------- loop [8] 100.0% [10] 52554(49.0%) 624(0.6%) loop ...tlies/herbie/js-tweaks/src/points.rkt:81:2 ??? [15] 96.5% ??? [61] 1.1% hash-update! [98] 0.6% ??? [131] 0.6% ---------------------------------------------------------------------------- run-improve47 [2] 38.4% run-iter! [9] 61.6% [11] 45650(42.5%) 0(0.0%) simplify! ...rbie/js-tweaks/src/mainloop.rkt:220:0 ??? [16] 100.0% ---------------------------------------------------------------------------- loop [8] 100.0% [12] 4738(4.4%) 628(0.6%) ??? ...tlies/herbie/js-tweaks/src/points.rkt:106:2 ??? [26] 80.6% ??? [87] 6.2% ---------------------------------------------------------------------------- run-iter! [9] 100.0% [13] 896(0.8%) 0(0.0%) finalize-iter! ...js-tweaks/src/mainloop.rkt:274:0 ??? [61] 100.0% ---------------------------------------------------------------------------- run-iter! [9] 100.0% [14] 300(0.3%) 0(0.0%) gen-series! ...ie/js-tweaks/src/mainloop.rkt:156:0 for-loop [17] 100.0% ---------------------------------------------------------------------------- for-loop [80] 0.6% loop [89] 0.6% ??? [48] 0.6% loop [10] 98.2% [15] 51642(48.1%) 1006(0.9%) ??? ...ies/herbie/js-tweaks/src/programs.rkt:108:2 ??? [18] 82.8% ??? [26] 14.0% real->precision [21] 0.6% ??? [87] 0.6% ---------------------------------------------------------------------------- simplify! [11] 100.0% [16] 45650(42.5%) 0(0.0%) ??? ...herbie/js-tweaks/src/core/simplify.rkt:26:0 for-loop [19] 68.4% one-iter [23] 30.2% loop [20] 1.3% ---------------------------------------------------------------------------- gen-series! [14] 100.0% [17] 300(0.3%) 0(0.0%) for-loop ...erbie/js-tweaks/src/mainloop.rkt:163:7 taylor-alt [22] 100.0% ---------------------------------------------------------------------------- ??? [15] 100.0% [18] 42782(39.9%) 5178(4.8%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [87] 56.9% ??? [26] 31.0% ---------------------------------------------------------------------------- ??? [16] 100.0% [19] 31246(29.1%) 0(0.0%) for-loop ...e/js-tweaks/src/core/simplify.rkt:33:2 one-iter [23] 100.0% ---------------------------------------------------------------------------- ??? [16] 100.0% [20] 612(0.6%) 0(0.0%) loop ...rbie/js-tweaks/src/core/simplify.rkt:104:2 for-loop [24] 100.0% ---------------------------------------------------------------------------- ??? [15] 100.0% [21] 312(0.3%) 0(0.0%) real->precision ...s-tweaks/src/programs.rkt:87:33 infer-representation [105] 100.0% ---------------------------------------------------------------------------- for-loop [17] 100.0% [22] 300(0.3%) 0(0.0%) taylor-alt ...bie/js-tweaks/src/mainloop.rkt:142:0 for-loop [25] 100.0% ---------------------------------------------------------------------------- ??? [16] 30.6% for-loop [19] 69.4% [23] 45038(42.0%) 0(0.0%) one-iter ...e/js-tweaks/src/core/simplify.rkt:65:0 find-matches [27] 51.3% for-loop [28] 18.2% for-loop [29] 17.0% for-loop [30] 13.5% ---------------------------------------------------------------------------- loop [20] 100.0% [24] 612(0.6%) 612(0.6%) for-loop .../js-tweaks/src/core/simplify.rkt:110:4 ---------------------------------------------------------------------------- taylor-alt [22] 100.0% [25] 300(0.3%) 0(0.0%) for-loop ...erbie/js-tweaks/src/mainloop.rkt:148:6 ??? [26] 100.0% ---------------------------------------------------------------------------- for-loop [25] 0.6% ??? [12] 15.5% ??? [15] 29.4% ??? [18] 53.9% [26] 24640(23.0%) 696(0.6%) ??? ...tract/private/arrow-higher-order.rkt:357:33 mk-ival [33] 29.4% ival-pow [34] 29.1% ival-mult [35] 24.7% sample-multi-bounded [37] 12.7% approximate9 [38] 0.6% ---------------------------------------------------------------------------- one-iter [23] 100.0% [27] 23118(21.5%) 0(0.0%) find-matches ...-tweaks/src/core/simplify.rkt:55:0 for-loop [31] 100.0% ---------------------------------------------------------------------------- one-iter [23] 100.0% [28] 8176(7.6%) 0(0.0%) for-loop ...e/js-tweaks/src/core/simplify.rkt:75:2 update-leader! [60] 100.0% ---------------------------------------------------------------------------- one-iter [23] 100.0% [29] 7678(7.2%) 0(0.0%) for-loop ...e/js-tweaks/src/core/simplify.rkt:72:2 set-precompute! [32] 100.0% ---------------------------------------------------------------------------- one-iter [23] 100.0% [30] 6066(5.7%) 0(0.0%) for-loop ...e/js-tweaks/src/core/simplify.rkt:67:2 for-loop [36] 100.0% ---------------------------------------------------------------------------- for-loop [31] 50.0% find-matches [27] 50.0% [31] 23118(21.5%) 1256(1.2%) for-loop ...e/js-tweaks/src/core/simplify.rkt:57:8 for-loop [31] 50.0% match-e [39] 46.6% ??? [75] 0.7% ---------------------------------------------------------------------------- for-loop [29] 100.0% [32] 7678(7.2%) 0(0.0%) set-precompute! ...eaks/src/core/simplify.rkt:79:0 for-loop [40] 100.0% ---------------------------------------------------------------------------- ??? [26] 100.0% [33] 7242(6.7%) 0(0.0%) mk-ival ...rbie/js-tweaks/src/biginterval.rkt:57:0 bf [41] 100.0% ---------------------------------------------------------------------------- ??? [26] 100.0% [34] 7182(6.7%) 2804(2.6%) ival-pow ...ie/js-tweaks/src/biginterval.rkt:216:0 bfexpt [125] 28.6% bftruncate [114] 24.2% bfodd? [45] 4.2% bfeven? [47] 4.0% ---------------------------------------------------------------------------- ??? [26] 100.0% [35] 6098(5.7%) 2898(2.7%) ival-mult ...e/js-tweaks/src/biginterval.rkt:112:0 bfexpt [125] 52.5% ---------------------------------------------------------------------------- for-loop [30] 100.0% [36] 6066(5.7%) 298(0.3%) for-loop ...e/js-tweaks/src/core/simplify.rkt:70:4 merge-egraph-nodes! [50] 79.7% substitute-e [43] 10.0% dedup-children! [62] 5.4% ---------------------------------------------------------------------------- ??? [26] 100.0% [37] 3122(2.9%) 0(0.0%) sample-multi-bounded ...tweaks/src/points.rkt:15:0 random-ranges [42] 80.9% for-loop [44] 19.1% ---------------------------------------------------------------------------- ??? [26] 100.0% [38] 300(0.3%) 0(0.0%) approximate9 ...js-tweaks/src/core/taylor.rkt:12:0 for-loop [46] 100.0% ---------------------------------------------------------------------------- for-loop [59] 38.0% for-loop [31] 62.0% [39] 21554(20.1%) 3184(3.0%) match-e ...rbie/js-tweaks/src/core/ematch.rkt:39:0 for-loop [49] 78.9% variable? [51] 5.7% constant? [103] 3.2% ??? [61] 1.4% ---------------------------------------------------------------------------- set-precompute! [32] 100.0% [40] 7678(7.2%) 326(0.3%) for-loop ...e/js-tweaks/src/core/simplify.rkt:81:2 merge-egraph-nodes! [50] 66.2% ??? [48] 13.3% setfindf [53] 12.3% dedup-children! [62] 3.9% ---------------------------------------------------------------------------- mk-ival [33] 100.0% [41] 7242(6.7%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [130] 100.0% ---------------------------------------------------------------------------- sample-multi-bounded [37] 100.0% [42] 2526(2.4%) 700(0.7%) random-ranges ...ie/js-tweaks/src/common.rkt:183:0 build--> [52] 59.1% cons/c [55] 13.2% ---------------------------------------------------------------------------- for-loop [54] 25.2% for-loop [36] 74.8% [43] 608(0.6%) 0(0.0%) substitute-e ...js-tweaks/src/core/ematch.rkt:64:0 for-loop [54] 74.8% variable? [51] 25.2% ---------------------------------------------------------------------------- sample-multi-bounded [37] 100.0% [44] 596(0.6%) 596(0.6%) for-loop ...s/herbie/js-tweaks/src/points.rkt:23:4 ---------------------------------------------------------------------------- ival-pow [34] 100.0% [45] 300(0.3%) 0(0.0%) bfodd? ...lib/math/private/bigfloat/mpfr.rkt:803:0 new-mpz [56] 100.0% ---------------------------------------------------------------------------- approximate9 [38] 100.0% [46] 300(0.3%) 0(0.0%) for-loop ...ie/js-tweaks/src/core/taylor.rkt:30:18 taylor [57] 100.0% ---------------------------------------------------------------------------- ival-pow [34] 100.0% [47] 286(0.3%) 0(0.0%) bfeven? ...ib/math/private/bigfloat/mpfr.rkt:800:0 size+limbs->integer [58] 100.0% ---------------------------------------------------------------------------- for-loop [116] 0.3% for-loop [40] 0.3% run [4] 49.7% [48] 107326(100.0%) 690(0.6%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.7% prepare-points [5] 26.5% run-improve47 [2] 22.3% eval-errors [67] 0.3% oracle-error [68] 0.3% errors [104] 0.2% eval-const-expr [65] 0.2% loop [89] 0.2% infer-double-representation [69] 0.1% ??? [15] 0.1% ---------------------------------------------------------------------------- match-e [39] 100.0% [49] 19962(18.6%) 7532(7.0%) for-loop ...ie/js-tweaks/src/core/ematch.rkt:52:11 for-loop [59] 63.3% loop [89] 7.9% cp-2 [70] 1.6% foldl [106] 0.8% ---------------------------------------------------------------------------- for-loop [66] 2.6% merge-egraph-nodes! [50] 20.7% for-loop [36] 36.5% for-loop [40] 40.2% [50] 9916(9.2%) 0(0.0%) merge-egraph-nodes! ...s/src/core/egraph.rkt:143:0 update-leader! [60] 49.8% merge-egraph-nodes! [50] 20.7% loop! [101] 19.8% dedup-children! [62] 7.0% for-loop [66] 2.6% ---------------------------------------------------------------------------- substitute-e [43] 7.7% match-e [39] 92.3% [51] 3984(3.7%) 632(0.6%) variable? ...js-tweaks/src/syntax/syntax.rkt:722:0 ??? [61] 53.2% value? [113] 30.9% ---------------------------------------------------------------------------- random-ranges [42] 100.0% [52] 1492(1.4%) 590(0.5%) build--> ...act/private/arrow-val-first.rkt:1086:0 coerce-contract [64] 40.2% chaperone-contract? [71] 20.2% ---------------------------------------------------------------------------- for-loop [40] 100.0% [53] 946(0.9%) 0(0.0%) setfindf .../herbie/js-tweaks/src/common.rkt:142:0 for-loop [63] 100.0% ---------------------------------------------------------------------------- substitute-e [43] 100.0% [54] 608(0.6%) 0(0.0%) for-loop ...ie/js-tweaks/src/core/ematch.rkt:73:24 substitute-e [43] 50.3% mk-enode! [72] 49.7% ---------------------------------------------------------------------------- random-ranges [42] 100.0% [55] 334(0.3%) 0(0.0%) cons/c .../racket/contract/private/guts.rkt:478:15 coerce-contract [64] 100.0% ---------------------------------------------------------------------------- bfodd? [45] 100.0% [56] 300(0.3%) 300(0.3%) new-mpz ...-lib/math/private/bigfloat/gmp.rkt:73:0 ---------------------------------------------------------------------------- taylor [57] 50.0% for-loop [46] 50.0% [57] 300(0.3%) 0(0.0%) taylor ...rbie/js-tweaks/src/core/taylor.rkt:170:0 taylor [57] 50.0% taylor-invert [73] 50.0% ---------------------------------------------------------------------------- bfeven? [47] 100.0% [58] 286(0.3%) 286(0.3%) size+limbs->integer ...vate/bigfloat/gmp.rkt:103:0 ---------------------------------------------------------------------------- for-loop [49] 100.0% [59] 15528(14.5%) 302(0.3%) for-loop ...ie/js-tweaks/src/core/ematch.rkt:58:37 match-e [39] 90.4% ??? [75] 8.6% ---------------------------------------------------------------------------- merge-egraph-nodes! [50] 43.1% for-loop [28] 56.9% [60] 14368(13.4%) 358(0.3%) update-leader! ...tweaks/src/core/egraph.rkt:211:0 for-loop [74] 97.5% ---------------------------------------------------------------------------- loop [10] 13.3% finalize-iter! [13] 19.8% match-e [39] 20.1% variable? [51] 46.8% [61] 4528(4.2%) 3330(3.1%) ??? ...contract/private/arrow-val-first.rkt:388:18 for-loop [82] 13.2% ??? [120] 6.7% atab-add-altns [86] 6.6% ---------------------------------------------------------------------------- for-loop [40] 19.4% for-loop [36] 21.1% merge-egraph-nodes! [50] 59.6% [62] 1548(1.4%) 300(0.3%) dedup-children! ...tweaks/src/core/enode.rkt:195:0 loop [78] 40.4% loop [79] 40.2% ---------------------------------------------------------------------------- setfindf [53] 100.0% [63] 946(0.9%) 626(0.6%) for-loop .../herbie/js-tweaks/src/common.rkt:143:2 constant? [103] 33.8% ---------------------------------------------------------------------------- cons/c [55] 35.8% build--> [52] 64.2% [64] 934(0.9%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:285:0 coerce-contract/f [77] 100.0% ---------------------------------------------------------------------------- parse-loop80 [123] 32.2% ??? [48] 67.8% [65] 932(0.9%) 0(0.0%) eval-const-expr ...s-tweaks/src/programs.rkt:111:0 eval-prog [76] 100.0% ---------------------------------------------------------------------------- merge-egraph-nodes! [50] 100.0% [66] 894(0.8%) 0(0.0%) for-loop ...ie/js-tweaks/src/core/egraph.rkt:197:4 merge-egraph-nodes! [50] 100.0% ---------------------------------------------------------------------------- ??? [48] 100.0% [67] 610(0.6%) 0(0.0%) eval-errors ...rbie/js-tweaks/src/points.rkt:179:0 for-loop [80] 100.0% ---------------------------------------------------------------------------- ??? [48] 100.0% [68] 602(0.6%) 0(0.0%) oracle-error ...bie/js-tweaks/src/points.rkt:188:0 for-loop [81] 100.0% ---------------------------------------------------------------------------- ??? [48] 100.0% [69] 396(0.4%) 0(0.0%) infer-double-representation .../src/float.rkt:22:0 for-loop [83] 100.0% ---------------------------------------------------------------------------- for-loop [49] 100.0% [70] 324(0.3%) 0(0.0%) cp-2 .../racket-7.0/collects/racket/list.rkt:826:2 for-loop [84] 100.0% ---------------------------------------------------------------------------- build--> [52] 100.0% [71] 302(0.3%) 302(0.3%) chaperone-contract? ...ract/private/guts.rkt:128:0 ---------------------------------------------------------------------------- for-loop [54] 100.0% [72] 302(0.3%) 302(0.3%) mk-enode! ...ie/js-tweaks/src/core/egraph.rkt:97:0 ---------------------------------------------------------------------------- taylor [57] 100.0% [73] 300(0.3%) 0(0.0%) taylor-invert ...-tweaks/src/core/taylor.rkt:318:0 first-nonzero-exp [85] 100.0% ---------------------------------------------------------------------------- update-leader! [60] 100.0% [74] 14010(13.1%) 0(0.0%) for-loop ...ie/js-tweaks/src/core/egraph.rkt:216:6 hash-update! [98] 50.1% for-loop [88] 49.9% ---------------------------------------------------------------------------- for-loop [31] 17.2% for-loop [59] 82.8% [75] 1794(1.7%) 894(0.8%) ??? ...s/herbie/js-tweaks/src/core/ematch.rkt:43:5 for-loop [92] 50.2% ---------------------------------------------------------------------------- errors [104] 19.1% loop [89] 21.4% eval-const-expr [65] 59.4% [76] 1568(1.5%) 0(0.0%) eval-prog ...erbie/js-tweaks/src/programs.rkt:83:0 temp68_2 [91] 59.4% loop [90] 21.4% ??? [87] 19.1% ---------------------------------------------------------------------------- coerce-contract [64] 100.0% [77] 934(0.9%) 334(0.3%) coerce-contract/f ...ntract/private/guts.rkt:350:0 coerce-simple-value [94] 64.2% ---------------------------------------------------------------------------- loop [78] 43.1% dedup-children! [62] 56.9% [78] 626(0.6%) 626(0.6%) loop ...racket-7.0/collects/racket/list.rkt:417:34 loop [78] 43.1% ---------------------------------------------------------------------------- dedup-children! [62] 2.0% loop [79] 98.0% [79] 622(0.6%) 622(0.6%) loop ...racket-7.0/collects/racket/list.rkt:434:17 loop [79] 98.0% ---------------------------------------------------------------------------- eval-errors [67] 100.0% [80] 610(0.6%) 0(0.0%) for-loop .../herbie/js-tweaks/src/points.rkt:181:2 precision->real [96] 50.8% ??? [15] 49.2% ---------------------------------------------------------------------------- oracle-error [68] 100.0% [81] 602(0.6%) 298(0.3%) for-loop .../herbie/js-tweaks/src/points.rkt:189:2 loop [89] 50.5% ---------------------------------------------------------------------------- ??? [61] 100.0% [82] 598(0.6%) 0(0.0%) for-loop .../js-tweaks/src/core/alt-table.rkt:56:2 atab-add-altn [93] 100.0% ---------------------------------------------------------------------------- infer-double-representation [69] 100.0% [83] 396(0.4%) 0(0.0%) for-loop ...es/herbie/js-tweaks/src/float.rkt:17:3 return/no-unsupplied [95] 100.0% ---------------------------------------------------------------------------- cp-2 [70] 100.0% [84] 324(0.3%) 324(0.3%) for-loop ...ket-7.0/collects/racket/list.rkt:827:4 ---------------------------------------------------------------------------- taylor-invert [73] 100.0% [85] 300(0.3%) 0(0.0%) first-nonzero-exp ...aks/src/core/taylor.rkt:266:0 hash-ref! [97] 100.0% ---------------------------------------------------------------------------- ??? [61] 100.0% [86] 298(0.3%) 0(0.0%) atab-add-altns ...eaks/src/core/alt-table.rkt:50:0 atab-add-altn [93] 100.0% ---------------------------------------------------------------------------- ??? [12] 1.2% eval-prog [76] 1.2% ??? [15] 1.2% ??? [18] 96.5% [87] 25216(23.5%) 8428(7.9%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-fmod [99] 29.3% ival-asin [100] 24.7% ival-atan [102] 10.3% ??? [108] 2.3% ---------------------------------------------------------------------------- for-loop [74] 100.0% [88] 6988(6.5%) 0(0.0%) for-loop ...ie/js-tweaks/src/core/egraph.rkt:217:8 hash-update! [98] 100.0% ---------------------------------------------------------------------------- for-loop [49] 2.2% loop! [101] 6.1% for-loop [81] 6.4% ??? [48] 7.1% loop [89] 78.1% [89] 4728(4.4%) 966(0.9%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [89] 78.1% eval-prog [76] 7.1% ??? [15] 6.4% loop! [101] 6.1% foldl [106] 0.0% ---------------------------------------------------------------------------- syntax-e/no-taint [7] 31.0% for-loop [140] 34.3% eval-prog [76] 34.7% [90] 968(0.9%) 0(0.0%) loop (unknown source) expand-capturing-lifts [132] 34.7% expand-id-application-form17 [136] 34.3% gf [109] 31.0% ---------------------------------------------------------------------------- eval-prog [76] 100.0% [91] 932(0.9%) 0(0.0%) temp68_2 (unknown source) compile16 [107] 100.0% ---------------------------------------------------------------------------- ??? [75] 100.0% [92] 900(0.8%) 598(0.6%) for-loop ...bie/js-tweaks/src/core/ematch.rkt:44:7 constant? [103] 33.6% ---------------------------------------------------------------------------- atab-add-altns [86] 33.3% for-loop [82] 66.7% [93] 896(0.8%) 0(0.0%) atab-add-altn ...eaks/src/core/alt-table.rkt:203:0 errors [104] 100.0% ---------------------------------------------------------------------------- coerce-contract/f [77] 100.0% [94] 600(0.6%) 600(0.6%) coerce-simple-value ...ract/private/guts.rkt:363:0 ---------------------------------------------------------------------------- for-loop [83] 100.0% [95] 396(0.4%) 396(0.4%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 ---------------------------------------------------------------------------- for-loop [80] 100.0% [96] 310(0.3%) 0(0.0%) precision->real ...s-tweaks/src/programs.rkt:92:33 infer-representation [105] 100.0% ---------------------------------------------------------------------------- first-nonzero-exp [85] 100.0% [97] 300(0.3%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 simplify [110] 100.0% ---------------------------------------------------------------------------- loop [10] 2.1% for-loop [88] 48.8% for-loop [74] 49.1% [98] 14310(13.3%) 300(0.3%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [111] 97.9% ---------------------------------------------------------------------------- ??? [87] 100.0% [99] 7378(6.9%) 1894(1.8%) ival-fmod ...e/js-tweaks/src/biginterval.rkt:382:0 ival-div [112] 39.4% ival-fabs [115] 18.3% bftruncate [114] 8.3% bfexpt [125] 4.2% bfatan [126] 4.1% ---------------------------------------------------------------------------- ??? [87] 100.0% [100] 6216(5.8%) 4598(4.3%) ival-asin ...e/js-tweaks/src/biginterval.rkt:344:0 bfatan [126] 26.0% ---------------------------------------------------------------------------- loop [89] 46.5% merge-egraph-nodes! [50] 53.5% [101] 2802(2.6%) 1234(1.1%) loop! ...herbie/js-tweaks/src/core/enode.rkt:187:2 loop [89] 46.5% set [117] 17.3% custom-set-union [121] 16.1% ---------------------------------------------------------------------------- ??? [87] 100.0% [102] 2602(2.4%) 664(0.6%) ival-atan ...e/js-tweaks/src/biginterval.rkt:312:0 bfatan [126] 74.5% ---------------------------------------------------------------------------- for-loop [92] 16.2% for-loop [63] 17.1% match-e [39] 66.7% [103] 1866(1.7%) 298(0.3%) constant? ...js-tweaks/src/syntax/syntax.rkt:719:0 value? [113] 84.0% ---------------------------------------------------------------------------- ??? [48] 44.1% atab-add-altn [93] 55.9% [104] 1604(1.5%) 0(0.0%) errors ...es/herbie/js-tweaks/src/points.rkt:205:0 for-loop [116] 81.3% eval-prog [76] 18.7% ---------------------------------------------------------------------------- precision->real [96] 24.4% real->precision [21] 24.6% loop [8] 50.9% [105] 1268(1.2%) 958(0.9%) infer-representation ...-tweaks/src/float.rkt:15:0 ??? [120] 24.4% ---------------------------------------------------------------------------- for-loop [49] 33.5% loop [89] 66.5% [106] 932(0.9%) 302(0.3%) foldl ....0/collects/racket/private/list.rkt:229:4 merge2 [119] 67.6% ---------------------------------------------------------------------------- temp68_2 [91] 100.0% [107] 932(0.9%) 0(0.0%) compile16 (unknown source) temp74_0 [118] 100.0% ---------------------------------------------------------------------------- ??? [87] 100.0% [108] 592(0.6%) 592(0.6%) ??? ...cts/racket/contract/private/list.rkt:209:10 ---------------------------------------------------------------------------- loop [90] 100.0% [109] 300(0.3%) 0(0.0%) gf (unknown source) propagation-apply-shifted [122] 100.0% ---------------------------------------------------------------------------- hash-ref! [97] 100.0% [110] 300(0.3%) 0(0.0%) simplify ...bie/js-tweaks/src/core/reduce.rkt:16:0 parse-loop80 [123] 100.0% ---------------------------------------------------------------------------- hash-update! [98] 100.0% [111] 14010(13.1%) 0(0.0%) ??? ...herbie/js-tweaks/src/core/egraph.rkt:219:24 for-loop [124] 97.9% update-en-expr [133] 2.1% ---------------------------------------------------------------------------- ival-fmod [99] 100.0% [112] 2910(2.7%) 976(0.9%) ival-div ...ie/js-tweaks/src/biginterval.rkt:148:0 bfexpt [125] 66.5% ---------------------------------------------------------------------------- variable? [51] 44.0% constant? [103] 56.0% [113] 2800(2.6%) 2800(2.6%) value? ...rbie/js-tweaks/src/syntax/types.rkt:18:0 ---------------------------------------------------------------------------- ival-fmod [99] 26.0% ival-pow [34] 74.0% [114] 2350(2.2%) 0(0.0%) bftruncate ...math/private/bigfloat/mpfr.rkt:716:4 new-mpfr [130] 74.0% ??? [131] 26.0% ---------------------------------------------------------------------------- ival-fmod [99] 100.0% [115] 1352(1.3%) 298(0.3%) ival-fabs ...e/js-tweaks/src/biginterval.rkt:354:0 bfatan [126] 44.4% bfexpt [125] 33.6% ---------------------------------------------------------------------------- errors [104] 100.0% [116] 1304(1.2%) 298(0.3%) for-loop .../herbie/js-tweaks/src/points.rkt:207:2 ??? [48] 77.1% ---------------------------------------------------------------------------- loop! [101] 100.0% [117] 968(0.9%) 968(0.9%) set ...collects/racket/private/set-types.rkt:981:0 ---------------------------------------------------------------------------- compile16 [107] 100.0% [118] 932(0.9%) 0(0.0%) temp74_0 (unknown source) expand-single [127] 100.0% ---------------------------------------------------------------------------- foldl [106] 100.0% [119] 630(0.6%) 630(0.6%) merge2 ...erbie/js-tweaks/src/core/ematch.rkt:24:0 ---------------------------------------------------------------------------- ??? [61] 49.3% infer-representation [105] 50.7% [120] 612(0.6%) 310(0.3%) ??? ...ects/racket/contract/private/guts.rkt:746:8 bigvalue? [129] 49.3% ---------------------------------------------------------------------------- loop! [101] 100.0% [121] 600(0.6%) 0(0.0%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [128] 100.0% ---------------------------------------------------------------------------- gf [109] 100.0% [122] 300(0.3%) 300(0.3%) propagation-apply-shifted (unknown source) ---------------------------------------------------------------------------- simplify [110] 100.0% [123] 300(0.3%) 0(0.0%) parse-loop80 ...s/racket/match/compiler.rkt:418:15 eval-const-expr [65] 100.0% ---------------------------------------------------------------------------- ??? [111] 100.0% [124] 13710(12.8%) 13108(12.2%) for-loop ...e/js-tweaks/src/core/egraph.rkt:220:26 update-en-expr [133] 4.4% ---------------------------------------------------------------------------- ival-fmod [99] 3.9% ival-fabs [115] 5.7% ival-div [112] 24.3% ival-pow [34] 25.8% ival-mult [35] 40.3% [125] 7950(7.4%) 1176(1.1%) bfexpt ...lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [130] 51.2% ??? [131] 34.0% ---------------------------------------------------------------------------- ival-fmod [99] 6.8% ival-fabs [115] 13.5% ival-asin [100] 36.3% ival-atan [102] 43.5% [126] 4458(4.2%) 0(0.0%) bfatan ...lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [130] 66.8% ??? [131] 33.2% ---------------------------------------------------------------------------- temp74_0 [118] 100.0% [127] 932(0.9%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [132] 100.0% ---------------------------------------------------------------------------- custom-set-union [121] 100.0% [128] 600(0.6%) 300(0.3%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [134] 50.0% ---------------------------------------------------------------------------- ??? [120] 100.0% [129] 302(0.3%) 302(0.3%) bigvalue? ...e/js-tweaks/src/syntax/types.rkt:19:0 ---------------------------------------------------------------------------- bftruncate [114] 10.9% bfatan [126] 18.6% bfexpt [125] 25.4% bf [41] 45.2% [130] 16034(14.9%) 16034(14.9%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ---------------------------------------------------------------------------- loop [10] 5.9% bftruncate [114] 12.0% bfatan [126] 29.1% bfexpt [125] 53.0% [131] 5090(4.7%) 5090(4.7%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 ---------------------------------------------------------------------------- loop [90] 26.5% expand-single [127] 73.5% [132] 1268(1.2%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [135] 73.5% expand-id-application-form17 [136] 26.5% ---------------------------------------------------------------------------- ??? [111] 33.3% for-loop [124] 66.7% [133] 902(0.8%) 902(0.8%) update-en-expr ...tweaks/src/core/egraph.rkt:205:0 ---------------------------------------------------------------------------- for-loop [128] 100.0% [134] 300(0.3%) 300(0.3%) for-loop ...cts/racket/private/set-types.rkt:178:5 ---------------------------------------------------------------------------- expand-capturing-lifts [132] 100.0% [135] 932(0.9%) 300(0.3%) lambda-clause-expander (unknown source) finish-bodys [138] 67.8% ---------------------------------------------------------------------------- loop [90] 49.7% expand-capturing-lifts [132] 50.3% [136] 668(0.6%) 0(0.0%) expand-id-application-form17 (unknown source) resolve+shift28 [137] 100.0% ---------------------------------------------------------------------------- expand-id-application-form17 [136]100.0% [137] 668(0.6%) 336(0.3%) resolve+shift28 (unknown source) fallback-loop [139] 49.7% ---------------------------------------------------------------------------- for-loop [140] 23.7% lambda-clause-expander [135] 76.3% [138] 632(0.6%) 0(0.0%) finish-bodys (unknown source) for-loop [140] 100.0% ---------------------------------------------------------------------------- resolve+shift28 [137] 100.0% [139] 332(0.3%) 0(0.0%) fallback-loop (unknown source) for-loop [140] 100.0% ---------------------------------------------------------------------------- fallback-loop [139] 17.5% for-loop [140] 33.3% finish-bodys [138] 49.2% [140] 632(0.6%) 332(0.3%) for-loop (unknown source) for-loop [140] 33.3% loop [90] 17.5% finish-bodys [138] 15.8% syntax-e [3] 15.8% ----------------------------------------------------------------------------