Profiling results ----------------- Total cpu time observed: 23868ms (out of 24104ms) Number of samples taken: 112 (once every 213ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 173 hidden) ===================================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ===================================================================================== [1] 23668(99.2%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [16] 100.0% ------------------------------------------------------------------------------------- matcher [144] 100.0% [2] 3466(14.5%) 0(0.0%) ??? ...e/ival-pow-test/src/core/matcher.rkt:127:11 for-loop [17] 83.0% for-loop [7] 17.0% ------------------------------------------------------------------------------------- ??? [134] 100.0% [3] 3366(14.1%) 0(0.0%) approximate9 ...-pow-test/src/core/taylor.rkt:11:0 loop [18] 88.1% taylor [26] 5.9% for-loop [27] 5.9% ------------------------------------------------------------------------------------- hash-ref! [143] 100.0% [4] 2966(12.4%) 0(0.0%) ??? ...bie/ival-pow-test/src/core/taylor.rkt:44:15 hash-ref! [143] 93.3% ??? [24] 6.7% ------------------------------------------------------------------------------------- hash-ref! [143] 100.0% [5] 2190(9.2%) 0(0.0%) ??? ...ie/ival-pow-test/src/core/taylor.rkt:300:23 for-loop [19] 100.0% ------------------------------------------------------------------------------------- map [59] 16.4% hash-ref! [143] 83.6% [6] 1784(7.5%) 0(0.0%) f40 (unknown source) map [59] 100.0% ------------------------------------------------------------------------------------- ??? [2] 100.0% [7] 1632(6.8%) 0(0.0%) for-loop ...al-pow-test/src/core/matcher.rkt:103:4 foldl [21] 100.0% ------------------------------------------------------------------------------------- for-loop [168] 100.0% [8] 1598(6.7%) 0(0.0%) syntax-e (unknown source) syntax-e/no-taint [20] 100.0% ------------------------------------------------------------------------------------- for-loop [136] 100.0% [9] 1224(5.1%) 0(0.0%) for-loop ...val-pow-test/src/core/matcher.rkt:96:8 fix-up-variables [22] 100.0% ------------------------------------------------------------------------------------- hash-ref! [143] 100.0% [10] 974(4.1%) 0(0.0%) ??? ...ie/ival-pow-test/src/core/taylor.rkt:406:23 for-loop [23] 100.0% ------------------------------------------------------------------------------------- hash-ref! [143] 100.0% [11] 400(1.7%) 0(0.0%) ??? ...bie/ival-pow-test/src/core/taylor.rkt:67:15 ??? [134] 100.0% ------------------------------------------------------------------------------------- hash-ref! [143] 100.0% [12] 200(0.8%) 0(0.0%) ??? ...ie/ival-pow-test/src/core/taylor.rkt:290:26 for-loop [25] 100.0% ------------------------------------------------------------------------------------- map [59] 100.0% [13] 200(0.8%) 0(0.0%) ??? ...rbie/ival-pow-test/src/core/reduce.rkt:57:5 for-loop [28] 100.0% ------------------------------------------------------------------------------------- for-loop [168] 100.0% [14] 200(0.8%) 0(0.0%) expand-implicit (unknown source) resolve+shift28 [97] 100.0% ------------------------------------------------------------------------------------- for-loop [168] 100.0% [15] 200(0.8%) 0(0.0%) expand-identifier (unknown source) resolve+shift28 [97] 100.0% ------------------------------------------------------------------------------------- ??? [1] 100.0% [16] 23668(99.2%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [29] 100.0% ------------------------------------------------------------------------------------- ??? [2] 100.0% [17] 3466(14.5%) 0(0.0%) for-loop ...l-pow-test/src/core/matcher.rkt:129:15 matcher [144] 100.0% ------------------------------------------------------------------------------------- approximate9 [3] 100.0% [18] 2966(12.4%) 0(0.0%) loop ...bie/ival-pow-test/src/core/taylor.rkt:86:4 ??? [134] 86.5% hash-ref! [143] 13.5% ------------------------------------------------------------------------------------- ??? [5] 100.0% [19] 2190(9.2%) 0(0.0%) for-loop ...al-pow-test/src/core/taylor.rkt:303:27 hash-ref! [143] 100.0% ------------------------------------------------------------------------------------- expand-id-application-form17 [77] 20.0% syntax-e [8] 80.0% [20] 1998(8.4%) 0(0.0%) syntax-e/no-taint (unknown source) loop [58] 100.0% ------------------------------------------------------------------------------------- for-loop [7] 100.0% [21] 1632(6.8%) 0(0.0%) foldl ....5/collects/racket/private/list.rkt:229:4 ??? [30] 100.0% ------------------------------------------------------------------------------------- for-loop [9] 100.0% [22] 1224(5.1%) 0(0.0%) fix-up-variables ...est/src/core/matcher.rkt:108:2 for-loop [33] 34.2% pattern-match [32] 33.2% pattern-substitute [34] 32.7% ------------------------------------------------------------------------------------- ??? [10] 100.0% [23] 974(4.1%) 0(0.0%) for-loop ...al-pow-test/src/core/taylor.rkt:410:33 for-loop [31] 100.0% ------------------------------------------------------------------------------------- ??? [4] 100.0% [24] 200(0.8%) 0(0.0%) ??? ...ie/ival-pow-test/src/core/taylor.rkt:293:19 hash-ref! [143] 100.0% ------------------------------------------------------------------------------------- ??? [12] 100.0% [25] 200(0.8%) 0(0.0%) for-loop ...al-pow-test/src/core/taylor.rkt:290:52 hash-ref! [143] 66.7% f61 [35] 33.3% ------------------------------------------------------------------------------------- taylor [26] 50.0% approximate9 [3] 50.0% [26] 200(0.8%) 0(0.0%) taylor .../ival-pow-test/src/core/taylor.rkt:169:0 taylor [26] 50.0% map [59] 50.0% ------------------------------------------------------------------------------------- approximate9 [3] 100.0% [27] 200(0.8%) 0(0.0%) for-loop ...val-pow-test/src/core/taylor.rkt:29:18 taylor-invert [36] 100.0% ------------------------------------------------------------------------------------- ??? [13] 100.0% [28] 200(0.8%) 0(0.0%) for-loop ...ival-pow-test/src/core/reduce.rkt:58:7 pattern-match [32] 100.0% ------------------------------------------------------------------------------------- profile-thunk16 [16] 100.0% [29] 23668(99.2%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [37] 100.0% ------------------------------------------------------------------------------------- foldl [21] 100.0% [30] 1632(6.8%) 0(0.0%) ??? ...bie/ival-pow-test/src/core/matcher.rkt:25:7 core457 [43] 100.0% ------------------------------------------------------------------------------------- for-loop [23] 100.0% [31] 974(4.1%) 0(0.0%) for-loop ...al-pow-test/src/core/taylor.rkt:412:39 hash-ref! [143] 100.0% ------------------------------------------------------------------------------------- for-loop [28] 33.0% fix-up-variables [22] 67.0% [32] 606(2.5%) 200(0.8%) pattern-match ...ow-test/src/core/matcher.rkt:29:0 for-loop [38] 67.0% ------------------------------------------------------------------------------------- fix-up-variables [22] 100.0% [33] 418(1.8%) 0(0.0%) for-loop ...val-pow-test/src/core/matcher.rkt:41:9 for-loop [38] 100.0% ------------------------------------------------------------------------------------- fix-up-variables [22] 33.3% pattern-substitute [34] 66.7% [34] 400(1.7%) 0(0.0%) pattern-substitute ...st/src/core/matcher.rkt:45:0 pattern-substitute [34] 66.7% return/no-unsupplied [156] 16.7% variable? [40] 16.7% ------------------------------------------------------------------------------------- map [59] 50.0% for-loop [25] 50.0% [35] 400(1.7%) 0(0.0%) f61 (unknown source) eval-const-expr [91] 100.0% ------------------------------------------------------------------------------------- for-loop [27] 50.0% map [59] 50.0% [36] 400(1.7%) 0(0.0%) taylor-invert ...ow-test/src/core/taylor.rkt:317:0 first-nonzero-exp [39] 100.0% ------------------------------------------------------------------------------------- for-loop [146] 4.7% run [29] 95.3% [37] 23668(99.2%) 1018(4.3%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [41] 55.8% prepare-points-intervals [42] 34.0% oracle-error [44] 3.4% ??? [93] 1.7% errors [135] 1.3% get-final-combination [45] 0.9% ulp-difference [46] 0.4% ??? [80] 0.4% ------------------------------------------------------------------------------------- pattern-match [32] 49.3% for-loop [33] 50.7% [38] 824(3.5%) 0(0.0%) for-loop ...val-pow-test/src/core/matcher.rkt:26:9 core457 [43] 100.0% ------------------------------------------------------------------------------------- taylor-invert [36] 100.0% [39] 400(1.7%) 0(0.0%) first-nonzero-exp ...est/src/core/taylor.rkt:265:0 hash-ref! [143] 100.0% ------------------------------------------------------------------------------------- pattern-substitute [34] 100.0% [40] 200(0.8%) 0(0.0%) variable? ...-pow-test/src/syntax/syntax.rkt:729:0 ??? [88] 100.0% ------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [37] 100.0% [41] 14012(58.7%) 0(0.0%) run-improve47 ...l-pow-test/src/mainloop.rkt:346:0 for-loop [47] 98.5% simplify! [72] 1.5% ------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [37] 100.0% [42] 8048(33.7%) 0(0.0%) prepare-points-intervals ...t/src/points.rkt:120:0 loop [48] 100.0% ------------------------------------------------------------------------------------- for-loop [38] 33.6% ??? [30] 66.4% [43] 2456(10.3%) 408(1.7%) core457 ...acket/contract/private/arr-i.rkt:976:19 un-dep/maybe-chaperone [50] 32.7% or/c [51] 17.3% arrow-higher-order:lnp [52] 9.0% build-unary-very-simple--> [54] 8.1% ??? [104] 8.1% ??? [55] 8.1% ------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [37] 100.0% [44] 806(3.4%) 0(0.0%) oracle-error ...ival-pow-test/src/points.rkt:177:0 for-loop [49] 100.0% ------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [37] 100.0% [45] 202(0.8%) 0(0.0%) get-final-combination ...st/src/mainloop.rkt:371:0 infer-splitpoints [53] 100.0% ------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [37] 100.0% [46] 202(0.8%) 0(0.0%) ulp-difference ...ival-pow-test/src/float.rkt:19:0 ??? [134] 100.0% ------------------------------------------------------------------------------------- run-improve47 [41] 100.0% [47] 13808(57.9%) 0(0.0%) for-loop ...e/ival-pow-test/src/mainloop.rkt:365:4 run-iter! [56] 100.0% ------------------------------------------------------------------------------------- prepare-points-intervals [42] 100.0% [48] 8048(33.7%) 402(1.7%) loop .../herbie/ival-pow-test/src/points.rkt:132:4 loop [57] 77.5% ??? [60] 17.5% ------------------------------------------------------------------------------------- oracle-error [44] 100.0% [49] 806(3.4%) 0(0.0%) for-loop ...bie/ival-pow-test/src/points.rkt:178:2 loop [58] 75.2% map [59] 24.8% ------------------------------------------------------------------------------------- core457 [43] 100.0% [50] 802(3.4%) 200(0.8%) un-dep/maybe-chaperone ...private/arr-i.rkt:1137:2 get/build-late-neg-projection [61] 49.9% ??? [64] 25.2% ------------------------------------------------------------------------------------- core457 [43] 100.0% [51] 424(1.8%) 218(0.9%) or/c ...lects/racket/contract/private/orc.rkt:16:2 build-compound-type-name [63] 48.6% ------------------------------------------------------------------------------------- core457 [43] 100.0% [52] 222(0.9%) 0(0.0%) arrow-higher-order:lnp ...w-higher-order.rkt:673:7 ??? [62] 100.0% ------------------------------------------------------------------------------------- get-final-combination [45] 100.0% [53] 202(0.8%) 0(0.0%) infer-splitpoints ...est/src/core/regimes.rkt:33:0 for-loop [65] 100.0% ------------------------------------------------------------------------------------- core457 [43] 100.0% [54] 200(0.8%) 200(0.8%) build-unary-very-simple--> ...val-first.rkt:1150:0 ------------------------------------------------------------------------------------- core457 [43] 100.0% [55] 200(0.8%) 0(0.0%) ??? ...s/racket/contract/private/arr-i.rkt:1288:27 build-nullary-very-simple--> [66] 100.0% ------------------------------------------------------------------------------------- for-loop [47] 100.0% [56] 13808(57.9%) 0(0.0%) run-iter! .../ival-pow-test/src/mainloop.rkt:327:0 finalize-iter! [67] 30.9% gen-rewrites! [68] 28.0% gen-series! [69] 24.4% simplify! [72] 13.6% localize! [79] 3.2% ------------------------------------------------------------------------------------- loop [48] 100.0% [57] 6238(26.1%) 606(2.5%) loop ...s/herbie/ival-pow-test/src/points.rkt:79:2 ??? [71] 38.7% real->precision [74] 19.3% ??? [134] 16.2% log! [76] 9.6% ??? [80] 3.3% ??? [159] 3.2% ------------------------------------------------------------------------------------- loop [58] 4.7% for-loop [168] 14.5% for-loop [49] 16.8% syntax-e/no-taint [20] 63.9% [58] 2812(11.8%) 806(3.4%) loop (unknown source) gf [73] 60.4% core-form-sym [81] 7.4% expand-id-application-form17 [77] 7.1% loop [58] 4.7% ------------------------------------------------------------------------------------- taylor [26] 7.6% for-loop [49] 7.6% parse-loop15 [157] 16.6% f40 [6] 68.1% [59] 2620(11.0%) 200(0.8%) map ...t-7.5/collects/racket/private/map.rkt:35:13 parse-loop74 [70] 45.2% f40 [6] 11.2% hash-ref! [143] 10.3% ??? [85] 7.6% taylor-invert [36] 7.6% f61 [35] 7.6% loop [78] 6.4% ??? [13] 2.5% ------------------------------------------------------------------------------------- loop [48] 100.0% [60] 1408(5.9%) 400(1.7%) ??? ...s/herbie/ival-pow-test/src/points.rkt:113:6 sample-multi-bounded [75] 71.6% ------------------------------------------------------------------------------------- single-or/c-late-neg-projection [87] 25.0% un-dep/maybe-chaperone [50] 75.0% [61] 400(1.7%) 200(0.8%) get/build-late-neg-projection ...te/guts.rkt:827:0 single-or/c-late-neg-projection [87] 25.0% ->-proj [86] 25.0% ------------------------------------------------------------------------------------- arrow-higher-order:lnp [52] 100.0% [62] 222(0.9%) 222(0.9%) ??? ...et/contract/private/arity-checking.rkt:19:2 ------------------------------------------------------------------------------------- or/c [51] 100.0% [63] 206(0.9%) 0(0.0%) build-compound-type-name ...private/guts.rkt:537:0 contract-struct-name [82] 100.0% ------------------------------------------------------------------------------------- un-dep/maybe-chaperone [50] 100.0% [64] 202(0.8%) 0(0.0%) ??? ...cts/racket/contract/private/guts.rkt:835:10 ??? [83] 100.0% ------------------------------------------------------------------------------------- infer-splitpoints [53] 100.0% [65] 202(0.8%) 0(0.0%) for-loop ...val-pow-test/src/core/regimes.rkt:45:6 option-on-expr [84] 100.0% ------------------------------------------------------------------------------------- ??? [55] 100.0% [66] 200(0.8%) 200(0.8%) build-nullary-very-simple--> ...l-first.rkt:1131:0 ------------------------------------------------------------------------------------- run-iter! [56] 100.0% [67] 4266(17.9%) 0(0.0%) finalize-iter! ...-pow-test/src/mainloop.rkt:278:0 ??? [88] 100.0% ------------------------------------------------------------------------------------- run-iter! [56] 100.0% [68] 3866(16.2%) 200(0.8%) gen-rewrites! ...l-pow-test/src/mainloop.rkt:183:0 for-loop [89] 89.7% for-loop [111] 5.2% ------------------------------------------------------------------------------------- run-iter! [56] 100.0% [69] 3366(14.1%) 0(0.0%) gen-series! ...val-pow-test/src/mainloop.rkt:160:0 for-loop [90] 100.0% ------------------------------------------------------------------------------------- map [59] 46.1% hash-ref! [143] 53.9% [70] 2566(10.8%) 0(0.0%) parse-loop74 (unknown source) eval-const-expr [91] 100.0% ------------------------------------------------------------------------------------- loop [57] 100.0% [71] 2412(10.1%) 600(2.5%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-sub [95] 33.3% ival-exp [100] 17.0% ival-div [103] 16.6% ival-add [110] 8.3% ------------------------------------------------------------------------------------- run-improve47 [41] 9.8% run-iter! [56] 90.2% [72] 2078(8.7%) 310(1.3%) simplify! .../ival-pow-test/src/mainloop.rkt:224:0 ??? [92] 85.1% ------------------------------------------------------------------------------------- loop [58] 100.0% [73] 1798(7.5%) 574(2.4%) gf (unknown source) propagation-merge [99] 23.1% propagation-apply-shifted [101] 22.7% propagation-apply [102] 22.2% ------------------------------------------------------------------------------------- loop [57] 100.0% [74] 1202(5.0%) 202(0.8%) real->precision ...pow-test/src/programs.rkt:94:11 ??? [134] 66.7% ??? [104] 16.5% ------------------------------------------------------------------------------------- ??? [60] 100.0% [75] 1008(4.2%) 0(0.0%) sample-multi-bounded ...w-test/src/points.rkt:14:0 random-ranges [94] 80.2% for-loop [109] 19.8% ------------------------------------------------------------------------------------- loop [57] 100.0% [76] 600(2.5%) 0(0.0%) log! ...s/herbie/ival-pow-test/src/points.rkt:59:2 for-loop [96] 100.0% ------------------------------------------------------------------------------------- for-loop [168] 33.3% loop [58] 66.7% [77] 600(2.5%) 0(0.0%) expand-id-application-form17 (unknown source) syntax-e/no-taint [20] 66.7% resolve+shift28 [97] 33.3% ------------------------------------------------------------------------------------- map [59] 4.6% loop [78] 95.4% [78] 436(1.8%) 0(0.0%) loop ...-7.5/collects/racket/private/map.rkt:40:19 loop [78] 95.4% bf* [105] 2.5% ??? [93] 2.1% ------------------------------------------------------------------------------------- run-iter! [56] 100.0% [79] 436(1.8%) 0(0.0%) localize! .../ival-pow-test/src/mainloop.rkt:127:0 localize-error [98] 100.0% ------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [37] 49.3% loop [57] 50.7% [80] 406(1.7%) 406(1.7%) ??? ...cket-7.5/collects/racket/function.rkt:93:12 ------------------------------------------------------------------------------------- loop [58] 100.0% [81] 208(0.9%) 208(0.9%) core-form-sym (unknown source) ------------------------------------------------------------------------------------- build-compound-type-name [63] 100.0% [82] 206(0.9%) 0(0.0%) contract-struct-name ...ract/private/prop.rkt:98:0 ??? [106] 100.0% ------------------------------------------------------------------------------------- ??? [64] 100.0% [83] 202(0.8%) 0(0.0%) ??? ...ntract/private/arrow-higher-order.rkt:575:2 build-subcontract-late-negs [107] 100.0% ------------------------------------------------------------------------------------- for-loop [65] 100.0% [84] 202(0.8%) 0(0.0%) option-on-expr ...-test/src/core/regimes.rkt:124:0 err-lsts->split-indices [108] 100.0% ------------------------------------------------------------------------------------- map [59] 100.0% [85] 200(0.8%) 200(0.8%) ??? .../herbie/ival-pow-test/src/points.rkt:179:26 ------------------------------------------------------------------------------------- get/build-late-neg-projection [61] 100.0% [86] 200(0.8%) 200(0.8%) ->-proj ...ct/private/arrow-higher-order.rkt:557:0 ------------------------------------------------------------------------------------- get/build-late-neg-projection [61] 100.0% [87] 200(0.8%) 0(0.0%) single-or/c-late-neg-projection ...te/orc.rkt:85:0 get/build-late-neg-projection [61] 100.0% ------------------------------------------------------------------------------------- variable? [40] 4.5% finalize-iter! [67] 95.5% [88] 4466(18.7%) 200(0.8%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [112] 95.5% ------------------------------------------------------------------------------------- gen-rewrites! [68] 100.0% [89] 3466(14.5%) 0(0.0%) for-loop .../ival-pow-test/src/mainloop.rkt:191:11 rewrite-expression-head24 [113] 100.0% ------------------------------------------------------------------------------------- gen-series! [69] 100.0% [90] 3366(14.1%) 0(0.0%) for-loop ...e/ival-pow-test/src/mainloop.rkt:167:7 taylor-alt [114] 100.0% ------------------------------------------------------------------------------------- f61 [35] 13.5% parse-loop74 [70] 86.5% [91] 2966(12.4%) 200(0.8%) eval-const-expr ...pow-test/src/programs.rkt:120:0 temp85_0 [142] 93.3% ------------------------------------------------------------------------------------- simplify! [72] 100.0% [92] 1768(7.4%) 0(0.0%) ??? ...ie/ival-pow-test/src/core/simplify.rkt:42:0 egraph-run [115] 100.0% ------------------------------------------------------------------------------------- loop [78] 20.2% .../more-scheme.rkt:261:28 [37] 79.8% [93] 1020(4.3%) 814(3.4%) ??? .../ival-pow-test/src/syntax/syntax.rkt:214:17 return/no-unsupplied [156] 20.2% ------------------------------------------------------------------------------------- sample-multi-bounded [75] 100.0% [94] 808(3.4%) 0(0.0%) random-ranges ...val-pow-test/src/common.rkt:164:0 cons/c [116] 74.5% build--> [120] 25.5% ------------------------------------------------------------------------------------- ??? [71] 100.0% [95] 802(3.4%) 202(0.8%) ival-sub ...val-pow-test/src/biginterval.rkt:108:0 bfmul [155] 74.8% ------------------------------------------------------------------------------------- log! [76] 100.0% [96] 600(2.5%) 600(2.5%) for-loop ...bie/ival-pow-test/src/points.rkt:66:23 ------------------------------------------------------------------------------------- expand-id-application-form17 [77] 33.3% expand-identifier [15] 33.3% expand-implicit [14] 33.3% [97] 600(2.5%) 0(0.0%) resolve+shift28 (unknown source) fallback-loop [117] 100.0% ------------------------------------------------------------------------------------- localize! [79] 100.0% [98] 436(1.8%) 0(0.0%) localize-error ...-test/src/core/localize.rkt:58:0 hash-ref! [143] 100.0% ------------------------------------------------------------------------------------- gf [73] 100.0% [99] 416(1.7%) 416(1.7%) propagation-merge (unknown source) ------------------------------------------------------------------------------------- ??? [71] 100.0% [100] 410(1.7%) 202(0.8%) ival-exp ...val-pow-test/src/biginterval.rkt:192:0 bfexp [119] 50.7% ------------------------------------------------------------------------------------- gf [73] 100.0% [101] 408(1.7%) 408(1.7%) propagation-apply-shifted (unknown source) ------------------------------------------------------------------------------------- gf [73] 100.0% [102] 400(1.7%) 400(1.7%) propagation-apply (unknown source) ------------------------------------------------------------------------------------- ??? [71] 100.0% [103] 400(1.7%) 400(1.7%) ival-div ...val-pow-test/src/biginterval.rkt:156:0 ------------------------------------------------------------------------------------- real->precision [74] 49.7% core457 [43] 50.3% [104] 398(1.7%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:770:8 ??? [123] 50.3% bigvalue? [125] 49.7% ------------------------------------------------------------------------------------- loop [78] 100.0% [105] 230(1.0%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [118] 100.0% ------------------------------------------------------------------------------------- contract-struct-name [82] 100.0% [106] 206(0.9%) 206(0.9%) ??? ...contract/private/arrow-val-first.rkt:1556:0 ------------------------------------------------------------------------------------- ??? [83] 100.0% [107] 202(0.8%) 0(0.0%) build-subcontract-late-negs ...her-order.rkt:711:0 get/build-collapsible-late-neg-projection [121]100.0% ------------------------------------------------------------------------------------- option-on-expr [84] 100.0% [108] 202(0.8%) 0(0.0%) err-lsts->split-indices .../core/regimes.rkt:263:0 loop [122] 100.0% ------------------------------------------------------------------------------------- sample-multi-bounded [75] 100.0% [109] 200(0.8%) 200(0.8%) for-loop ...rbie/ival-pow-test/src/points.rkt:20:4 ------------------------------------------------------------------------------------- ??? [71] 100.0% [110] 200(0.8%) 0(0.0%) ival-add ...val-pow-test/src/biginterval.rkt:102:0 bfmul [155] 100.0% ------------------------------------------------------------------------------------- gen-rewrites! [68] 100.0% [111] 200(0.8%) 0(0.0%) for-loop ...e/ival-pow-test/src/mainloop.rkt:208:4 for-loop [124] 100.0% ------------------------------------------------------------------------------------- ??? [88] 100.0% [112] 4266(17.9%) 0(0.0%) for-loop ...l-pow-test/src/core/alt-table.rkt:46:2 atab-add-altn [128] 66.5% errors [135] 24.0% for-loop [131] 4.7% best-and-tied-at-points [133] 4.7% ------------------------------------------------------------------------------------- for-loop [89] 100.0% [113] 3466(14.5%) 0(0.0%) rewrite-expression-head24 ...core/matcher.rkt:85:0 rewriter [126] 100.0% ------------------------------------------------------------------------------------- for-loop [90] 100.0% [114] 3366(14.1%) 0(0.0%) taylor-alt ...ival-pow-test/src/mainloop.rkt:146:0 for-loop [127] 100.0% ------------------------------------------------------------------------------------- ??? [92] 100.0% [115] 1768(7.4%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [129] 100.0% ------------------------------------------------------------------------------------- random-ranges [94] 100.0% [116] 602(2.5%) 200(0.8%) cons/c .../racket/contract/private/guts.rkt:500:15 coerce-contract [130] 66.8% ------------------------------------------------------------------------------------- resolve+shift28 [97] 100.0% [117] 600(2.5%) 200(0.8%) fallback-loop (unknown source) for-loop [168] 66.7% ------------------------------------------------------------------------------------- bf* [105] 100.0% [118] 230(1.0%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [155] 100.0% ------------------------------------------------------------------------------------- ival-exp [100] 100.0% [119] 208(0.9%) 0(0.0%) bfexp ...-lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [160] 100.0% ------------------------------------------------------------------------------------- random-ranges [94] 100.0% [120] 206(0.9%) 0(0.0%) build--> ...act/private/arrow-val-first.rkt:1214:0 coerce-contract [130] 100.0% ------------------------------------------------------------------------------------- build-subcontract-late-negs [107] 100.0% [121] 202(0.8%) 202(0.8%) get/build-collapsible-late-neg-projection ...817:0 ------------------------------------------------------------------------------------- err-lsts->split-indices [108] 100.0% [122] 202(0.8%) 0(0.0%) loop ...e/ival-pow-test/src/core/regimes.rkt:314:4 for-loop [132] 100.0% ------------------------------------------------------------------------------------- ??? [104] 100.0% [123] 200(0.8%) 200(0.8%) ??? /opt/racket-7.5/collects/racket/dict.rkt:11:8 ------------------------------------------------------------------------------------- for-loop [111] 100.0% [124] 200(0.8%) 0(0.0%) for-loop ...e/ival-pow-test/src/mainloop.rkt:209:6 ??? [134] 100.0% ------------------------------------------------------------------------------------- ??? [104] 100.0% [125] 198(0.8%) 198(0.8%) bigvalue? ...al-pow-test/src/syntax/types.rkt:19:0 ------------------------------------------------------------------------------------- rewrite-expression-head24 [113] 31.8% matcher [144] 68.2% [126] 3466(14.5%) 206(0.9%) rewriter ...val-pow-test/src/core/matcher.rkt:87:2 for-loop [136] 98.5% ------------------------------------------------------------------------------------- taylor-alt [114] 100.0% [127] 3366(14.1%) 0(0.0%) for-loop ...e/ival-pow-test/src/mainloop.rkt:152:6 ??? [134] 100.0% ------------------------------------------------------------------------------------- for-loop [112] 100.0% [128] 2838(11.9%) 0(0.0%) atab-add-altn ...test/src/core/alt-table.rkt:194:0 errors [135] 85.9% override-at-pnts [139] 14.1% ------------------------------------------------------------------------------------- egraph-run [115] 100.0% [129] 1768(7.4%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [137] 100.0% ------------------------------------------------------------------------------------- build--> [120] 33.9% cons/c [116] 66.1% [130] 608(2.5%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [138] 100.0% ------------------------------------------------------------------------------------- for-loop [112] 100.0% [131] 202(0.8%) 202(0.8%) for-loop ...-pow-test/src/core/alt-table.rkt:110:2 ------------------------------------------------------------------------------------- loop [122] 100.0% [132] 202(0.8%) 0(0.0%) for-loop ...al-pow-test/src/core/regimes.rkt:279:4 for-loop [140] 100.0% ------------------------------------------------------------------------------------- for-loop [112] 100.0% [133] 202(0.8%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:108:0 make-sequence [141] 100.0% ------------------------------------------------------------------------------------- ??? [11] 2.4% for-loop [124] 3.6% ulp-difference [46] 3.6% real->precision [74] 14.4% loop [18] 15.3% loop [57] 18.1% location-do [145] 21.3% for-loop [127] 21.3% [134] 5582(23.4%) 804(3.4%) ??? ...tract/private/arrow-higher-order.rkt:375:33 location-do [145] 21.3% approximate9 [3] 21.3% ival-mult [148] 18.1% hash-ref! [143] 17.7% bf [152] 7.2% ------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [37] 14.8% for-loop [112] 25.2% atab-add-altn [128] 60.0% [135] 4062(17.0%) 0(0.0%) errors ...erbie/ival-pow-test/src/points.rkt:190:0 for-loop [146] 60.1% temp85_0 [142] 39.9% ------------------------------------------------------------------------------------- rewriter [126] 100.0% [136] 3466(14.5%) 202(0.8%) for-loop ...val-pow-test/src/core/matcher.rkt:89:4 matcher [144] 88.1% for-loop [9] 10.8% ------------------------------------------------------------------------------------- egraph-add-exprs [129] 100.0% [137] 1768(7.4%) 0(0.0%) ??? ...e/ival-pow-test/src/core/simplify.rkt:102:6 for-loop [147] 70.9% egg-run-rules [150] 29.1% ------------------------------------------------------------------------------------- coerce-contract [130] 100.0% [138] 608(2.5%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [149] 100.0% ------------------------------------------------------------------------------------- atab-add-altn [128] 100.0% [139] 400(1.7%) 0(0.0%) override-at-pnts ...t/src/core/alt-table.rkt:129:0 for-loop [151] 100.0% ------------------------------------------------------------------------------------- for-loop [132] 100.0% [140] 202(0.8%) 202(0.8%) for-loop ...al-pow-test/src/core/regimes.rkt:283:8 ------------------------------------------------------------------------------------- best-and-tied-at-points [133] 100.0% [141] 202(0.8%) 0(0.0%) make-sequence ...ects/racket/private/for.rkt:533:2 ??? [153] 100.0% ------------------------------------------------------------------------------------- errors [135] 37.0% eval-const-expr [91] 63.0% [142] 4388(18.4%) 0(0.0%) temp85_0 (unknown source) compile15 [154] 100.0% ------------------------------------------------------------------------------------- ??? [24] 0.8% for-loop [25] 1.5% loop [18] 2.5% first-nonzero-exp [39] 3.5% localize-error [98] 4.4% for-loop [31] 6.4% map [59] 7.1% for-loop [19] 19.6% ??? [4] 26.4% ??? [134] 27.1% [143] 3802(15.9%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [4] 27.1% f40 [6] 19.9% ??? [5] 19.6% parse-loop15 [157] 11.5% parse-loop74 [70] 10.0% ??? [10] 6.4% ??? [11] 2.5% ??? [12] 2.3% ------------------------------------------------------------------------------------- for-loop [17] 44.7% for-loop [136] 55.3% [144] 3466(14.5%) 0(0.0%) matcher ...val-pow-test/src/core/matcher.rkt:115:2 ??? [2] 55.3% rewriter [126] 43.9% return/no-unsupplied [156] 0.7% ------------------------------------------------------------------------------------- ??? [134] 38.9% location-do [145] 61.1% [145] 3366(14.1%) 0(0.0%) location-do ...ival-pow-test/src/programs.rkt:63:0 location-do [145] 61.1% ??? [134] 38.9% ------------------------------------------------------------------------------------- errors [135] 100.0% [146] 2440(10.2%) 206(0.9%) for-loop ...bie/ival-pow-test/src/points.rkt:192:2 .../more-scheme.rkt:261:28 [37] 91.6% ------------------------------------------------------------------------------------- ??? [137] 100.0% [147] 1254(5.3%) 1254(5.3%) for-loop ...l-pow-test/src/core/simplify.rkt:121:2 ------------------------------------------------------------------------------------- ??? [134] 100.0% [148] 1012(4.2%) 204(0.9%) ival-mult ...al-pow-test/src/biginterval.rkt:120:0 bfmul [155] 79.8% ------------------------------------------------------------------------------------- coerce-contract/f [138] 100.0% [149] 608(2.5%) 608(2.5%) coerce-simple-value ...ract/private/guts.rkt:385:0 ------------------------------------------------------------------------------------- ??? [137] 100.0% [150] 514(2.2%) 514(2.2%) egg-run-rules ...-test/src/core/simplify.rkt:108:0 ------------------------------------------------------------------------------------- override-at-pnts [139] 100.0% [151] 400(1.7%) 400(1.7%) for-loop ...pow-test/src/core/alt-table.rkt:130:22 ------------------------------------------------------------------------------------- ??? [134] 100.0% [152] 400(1.7%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [160] 100.0% ------------------------------------------------------------------------------------- make-sequence [141] 100.0% [153] 202(0.8%) 202(0.8%) ??? ...-7.5/collects/racket/private/for.rkt:1231:9 ------------------------------------------------------------------------------------- temp85_0 [142] 100.0% [154] 4388(18.4%) 0(0.0%) compile15 (unknown source) temp91_0 [158] 100.0% ------------------------------------------------------------------------------------- ival-add [110] 10.9% ??? [118] 12.5% ival-sub [95] 32.6% ival-mult [148] 44.0% [155] 1838(7.7%) 402(1.7%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:835:4 ??? [159] 66.9% new-mpfr [160] 11.2% ------------------------------------------------------------------------------------- pattern-substitute [34] 32.9% matcher [144] 33.2% ??? [93] 33.9% [156] 608(2.5%) 202(0.8%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [161] 66.8% ------------------------------------------------------------------------------------- hash-ref! [143] 100.0% [157] 436(1.8%) 0(0.0%) parse-loop15 (unknown source) map [59] 100.0% ------------------------------------------------------------------------------------- compile15 [154] 100.0% [158] 4388(18.4%) 0(0.0%) temp91_0 (unknown source) temp118_0 [162] 100.0% ------------------------------------------------------------------------------------- loop [57] 14.0% bfmul [155] 86.0% [159] 1430(6.0%) 1430(6.0%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ------------------------------------------------------------------------------------- bfmul [155] 25.3% bfexp [119] 25.6% bf [152] 49.1% [160] 814(3.4%) 814(3.4%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ------------------------------------------------------------------------------------- return/no-unsupplied [156] 100.0% [161] 406(1.7%) 406(1.7%) filter ...5/collects/racket/private/list.rkt:256:2 ------------------------------------------------------------------------------------- temp91_0 [158] 100.0% [162] 4388(18.4%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [163] 100.0% ------------------------------------------------------------------------------------- temp118_0 [162] 100.0% [163] 4388(18.4%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [164] 86.9% dispatch-transformer41 [165] 13.1% ------------------------------------------------------------------------------------- expand-capturing-lifts [163] 100.0% [164] 3812(16.0%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [166] 89.3% for-loop [168] 10.7% ------------------------------------------------------------------------------------- expand-capturing-lifts [163] 100.0% [165] 576(2.4%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [167] 100.0% ------------------------------------------------------------------------------------- lambda-clause-expander [164] 15.4% for-loop [168] 84.6% [166] 3406(14.3%) 0(0.0%) finish-bodys (unknown source) for-loop [168] 100.0% ------------------------------------------------------------------------------------- dispatch-transformer41 [165] 100.0% [167] 576(2.4%) 0(0.0%) apply-transformer52 (unknown source) apply-transformer-in-context [169] 100.0% ------------------------------------------------------------------------------------- fallback-loop [117] 0.5% for-loop [168] 9.8% lambda-clause-expander [164] 10.7% finish-bodys [166] 79.1% [168] 3812(16.0%) 1000(4.2%) for-loop (unknown source) finish-bodys [166] 67.1% add-local-binding!39 [171] 10.7% for-loop [168] 9.8% syntax-e [8] 2.0% expand-id-application-form17 [77] 1.7% loop [58] 0.8% expand-implicit [14] 0.3% expand-identifier [15] 0.2% ------------------------------------------------------------------------------------- apply-transformer52 [167] 100.0% [169] 576(2.4%) 0(0.0%) apply-transformer-in-context (unknown source) parse-lambda [170] 100.0% ------------------------------------------------------------------------------------- apply-transformer-in-context [169] 100.0% [170] 576(2.4%) 0(0.0%) parse-lambda ...llects/racket/private/kw.rkt:619:2 datum->syntax6 [172] 100.0% ------------------------------------------------------------------------------------- for-loop [168] 100.0% [171] 406(1.7%) 406(1.7%) add-local-binding!39 (unknown source) ------------------------------------------------------------------------------------- parse-lambda [170] 100.0% [172] 576(2.4%) 576(2.4%) datum->syntax6 (unknown source) -------------------------------------------------------------------------------------