Profiling results ----------------- Total cpu time observed: 1133584ms (out of 1135836ms) Number of samples taken: 3473 (once every 326ms) (Hiding functions with self<1.0% and local<2.0%: 24 of 285 hidden) ============================================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================================================= ??? [39] 100.0% [1] 1133584(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [19] 100.0% --------------------------------------------------------------------------------------------- ??? [39] 100.0% [2] 1086790(95.9%) 0(0.0%) run-improve39 ...e/no-costs/src/mainloop.rkt:284:0 for-loop [20] 99.7% setup-prog!32 [33] 0.1% ??? [69] 0.0% --------------------------------------------------------------------------------------------- for-loop [101] 100.0% [3] 768808(67.8%) 21032(1.9%) type-of ...herbie/no-costs/src/type-check.rkt:34:0 ??? [21] 47.4% for-loop [22] 23.5% table-ref [23] 16.7% ...costs/src/common.rkt:48:2 [24] 7.6% get/build-late-neg-projection [81] 1.7% ??? [118] 0.3% coerce-contract [37] 0.1% --------------------------------------------------------------------------------------------- for-loop [174] 2.6% pattern-match [31] 2.6% pattern-substitute [28] 3.8% matcher [113] 10.8% match-e [179] 12.2% for-loop [101] 68.0% [4] 23996(2.1%) 978(0.1%) variable? .../no-costs/src/syntax/syntax.rkt:711:0 ??? [69] 95.9% --------------------------------------------------------------------------------------------- matcher [113] 100.0% [5] 10594(0.9%) 0(0.0%) for-loop ...ie/no-costs/src/core/matcher.rkt:160:6 pattern-substitute [28] 57.1% pattern-match [31] 33.1% foldl [36] 9.8% --------------------------------------------------------------------------------------------- ??? [136] 100.0% [6] 9316(0.8%) 0(0.0%) approximate9 .../no-costs/src/core/taylor.rkt:12:0 loop [27] 76.3% for-loop [35] 13.2% taylor [211] 10.5% --------------------------------------------------------------------------------------------- loop [45] 16.2% for-loop [249] 83.8% [7] 7786(0.7%) 300(0.0%) syntax-e (unknown source) syntax-e/no-taint [25] 96.1% --------------------------------------------------------------------------------------------- hash-ref! [180] 100.0% [8] 5556(0.5%) 0(0.0%) ??? .../herbie/no-costs/src/core/taylor.rkt:295:23 for-loop [29] 100.0% --------------------------------------------------------------------------------------------- hash-ref! [180] 100.0% [9] 5424(0.5%) 0(0.0%) ??? ...lies/herbie/no-costs/src/programs.rkt:150:5 loop [173] 100.0% --------------------------------------------------------------------------------------------- hash-ref! [180] 100.0% [10] 4332(0.4%) 0(0.0%) ??? .../herbie/no-costs/src/core/taylor.rkt:285:26 for-loop [30] 100.0% --------------------------------------------------------------------------------------------- loop [173] 100.0% [11] 1930(0.2%) 0(0.0%) set-precompute! ...sts/src/core/simplify.rkt:140:0 for-loop [32] 100.0% --------------------------------------------------------------------------------------------- hash-ref! [180] 100.0% [12] 1690(0.1%) 0(0.0%) ??? .../herbie/no-costs/src/core/taylor.rkt:322:33 simplify [26] 78.7% ??? [38] 21.3% --------------------------------------------------------------------------------------------- for-loop [249] 100.0% [13] 1612(0.1%) 0(0.0%) expand-implicit (unknown source) resolve+shift28 [75] 81.5% binding-lookup50 [259] 18.5% --------------------------------------------------------------------------------------------- taylor [211] 100.0% [14] 1546(0.1%) 0(0.0%) taylor-invert ...o-costs/src/core/taylor.rkt:312:0 simplify [26] 100.0% --------------------------------------------------------------------------------------------- hash-ref! [180] 100.0% [15] 1504(0.1%) 0(0.0%) ??? .../herbie/no-costs/src/core/taylor.rkt:392:23 for-loop [34] 100.0% --------------------------------------------------------------------------------------------- copying-mergesort [141] 100.0% [16] 342(0.0%) 0(0.0%) jloop ...t/collects/racket/private/sort.rkt:120:23 ??? [42] 100.0% --------------------------------------------------------------------------------------------- for-loop [249] 100.0% [17] 326(0.0%) 0(0.0%) expand-identifier (unknown source) resolve+shift28 [75] 100.0% --------------------------------------------------------------------------------------------- map [199] 100.0% [18] 306(0.0%) 0(0.0%) simplify* ...bie/no-costs/src/core/reduce.rkt:31:0 hash-ref! [180] 100.0% --------------------------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [19] 1133584(100.0%) 0(0.0%) run ...racket/share/pkgs/profile-lib/main.rkt:39:2 ??? [39] 100.0% --------------------------------------------------------------------------------------------- run-improve39 [2] 100.0% [20] 1083936(95.6%) 0(0.0%) for-loop ...herbie/no-costs/src/mainloop.rkt:301:8 run-iter! [40] 100.0% --------------------------------------------------------------------------------------------- type-of-enode-expr [248] 3.9% type-of [3] 96.1% [21] 379162(33.4%) 3162(0.3%) ??? ...ects/racket/contract/private/hash.rkt:227:4 contract-pos/neg-doubling/proc [41] 99.2% --------------------------------------------------------------------------------------------- type-of-enode-expr [248] 2.9% for-loop [104] 4.8% type-of [3] 92.3% [22] 195846(17.3%) 8102(0.7%) for-loop ...racket/contract/private/hash.rkt:277:6 ??? [102] 94.2% ??? [128] 1.7% --------------------------------------------------------------------------------------------- f67 [182] 0.8% type-of-enode-expr [248] 3.8% type-of [3] 95.5% [23] 134704(11.9%) 34878(3.1%) table-ref ...s/herbie/no-costs/src/common.rkt:47:0 ??? [92] 66.5% ??? [102] 2.1% ??? [150] 1.7% return/no-unsupplied [189] 1.7% --------------------------------------------------------------------------------------------- type-of-enode-expr [248] 1.5% f67 [182] 1.6% type-of [3] 96.8% [24] 60198(5.3%) 17366(1.5%) ...costs/src/common.rkt:48:2 ...e/arr-i.rkt:918:19 ??? [43] 48.2% ??? [44] 23.0% --------------------------------------------------------------------------------------------- gf [221] 3.5% expand-id-application-form17 [256] 17.2% syntax-e [7] 79.4% [25] 9434(0.8%) 0(0.0%) syntax-e/no-taint (unknown source) loop [45] 100.0% --------------------------------------------------------------------------------------------- ??? [12] 15.5% taylor-invert [14] 18.0% hash-ref! [180] 66.5% [26] 8596(0.8%) 0(0.0%) simplify ...rbie/no-costs/src/core/reduce.rkt:16:0 parse-loop14 [46] 51.5% f67 [182] 44.3% debug-print [50] 4.2% --------------------------------------------------------------------------------------------- approximate9 [6] 100.0% [27] 7112(0.6%) 0(0.0%) loop ...s/herbie/no-costs/src/core/taylor.rkt:86:4 ??? [136] 100.0% --------------------------------------------------------------------------------------------- for-loop [47] 41.5% for-loop [5] 58.5% [28] 6048(0.5%) 1580(0.1%) pattern-substitute ...ts/src/core/matcher.rkt:73:0 for-loop [47] 55.0% ??? [69] 18.6% variable? [4] 5.5% --------------------------------------------------------------------------------------------- ??? [8] 100.0% [29] 5556(0.5%) 0(0.0%) for-loop ...ie/no-costs/src/core/taylor.rkt:298:27 hash-ref! [180] 100.0% --------------------------------------------------------------------------------------------- ??? [10] 100.0% [30] 4332(0.4%) 0(0.0%) for-loop ...ie/no-costs/src/core/taylor.rkt:285:52 hash-ref! [180] 100.0% --------------------------------------------------------------------------------------------- for-loop [48] 32.2% for-loop [5] 67.8% [31] 3506(0.3%) 1248(0.1%) pattern-match ...o-costs/src/core/matcher.rkt:48:0 for-loop [48] 32.2% ??? [69] 23.2% variable? [4] 9.0% --------------------------------------------------------------------------------------------- set-precompute! [11] 100.0% [32] 1930(0.2%) 0(0.0%) for-loop ...e/no-costs/src/core/simplify.rkt:142:2 setfindf [49] 65.7% ??? [42] 17.4% eval-const-expr [51] 16.9% --------------------------------------------------------------------------------------------- run-improve39 [2] 100.0% [33] 1610(0.1%) 0(0.0%) setup-prog!32 ...ie/no-costs/src/mainloop.rkt:63:0 prepare-points [55] 81.0% ??? [69] 19.0% --------------------------------------------------------------------------------------------- ??? [15] 100.0% [34] 1504(0.1%) 0(0.0%) for-loop ...ie/no-costs/src/core/taylor.rkt:396:33 hash-ref! [180] 100.0% --------------------------------------------------------------------------------------------- approximate9 [6] 100.0% [35] 1226(0.1%) 0(0.0%) for-loop ...bie/no-costs/src/core/taylor.rkt:29:18 taylor [211] 75.7% taylor-quotient [52] 24.3% --------------------------------------------------------------------------------------------- for-loop [5] 100.0% [36] 1040(0.1%) 1040(0.1%) foldl ...et/collects/racket/private/list.rkt:229:4 --------------------------------------------------------------------------------------------- type-of [3] 100.0% [37] 630(0.1%) 300(0.0%) coerce-contract ...contract/private/guts.rkt:285:0 coerce-contract/f [166] 52.4% --------------------------------------------------------------------------------------------- ??? [12] 100.0% [38] 360(0.0%) 360(0.0%) ??? .../herbie/no-costs/src/core/taylor.rkt:288:19 --------------------------------------------------------------------------------------------- run [19] 50.0% [39] 1133584(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% run-improve39 [2] 47.9% prepare-points [55] 1.5% get-final-combination [59] 0.5% --------------------------------------------------------------------------------------------- for-loop [20] 100.0% [40] 1083936(95.6%) 0(0.0%) run-iter! ...erbie/no-costs/src/mainloop.rkt:265:0 gen-rewrites! [53] 89.4% simplify! [54] 7.5% finalize-iter! [58] 2.1% gen-series! [60] 0.9% localize-error [63] 0.2% --------------------------------------------------------------------------------------------- ??? [21] 100.0% [41] 376000(33.2%) 340658(30.1%) contract-pos/neg-doubling/proc ...e/guts.rkt:956:0 ??? [57] 8.6% ??? [61] 0.6% --------------------------------------------------------------------------------------------- loop [154] 0.8% for-loop [32] 0.8% jloop [16] 0.8% for-loop [129] 22.2% loop [173] 75.4% [42] 42106(3.7%) 656(0.1%) ??? ...lies/herbie/no-costs/src/programs.rkt:129:2 ??? [56] 93.2% bf [62] 5.2% --------------------------------------------------------------------------------------------- for-loop [119] 7.8% ??? [102] 19.7% ...costs/src/common.rkt:48:2 [24] 72.5% [43] 29010(2.6%) 4444(0.4%) ??? ...ects/racket/contract/private/list.rkt:367:4 ??? [102] 55.9% ??? [146] 20.9% ??? [118] 14.5% --------------------------------------------------------------------------------------------- ...costs/src/common.rkt:48:2 [24] 100.0% [44] 13822(1.2%) 5116(0.5%) ??? ...s/racket/contract/private/arr-i.rkt:1286:39 ??? [150] 21.1% assoc-ref [120] 20.8% return/no-unsupplied [189] 12.0% ??? [146] 9.2% --------------------------------------------------------------------------------------------- gf [221] 0.5% expand-capturing-lifts [175] 1.5% f67 [182] 1.5% loop [45] 2.0% datum->syntax6 [155] 2.7% eval-prog [127] 3.1% syntax->list [252] 3.5% lambda-clause-expander [181] 3.5% apply-transformer52 [197] 6.8% for-loop [249] 12.4% syntax-e/no-taint [25] 62.6% [45] 12182(1.1%) 1330(0.1%) loop (unknown source) gf [221] 61.7% expand-id-application-form17 [256] 12.4% core-form-sym [64] 5.6% syntax-e [7] 4.7% expand-capturing-lifts [175] 4.6% dispatch-transformer41 [183] 3.5% loop [45] 2.0% --------------------------------------------------------------------------------------------- loop [173] 1.4% parse-loop14 [46] 7.8% map [199] 14.9% hash-ref! [180] 23.8% simplify [26] 52.1% [46] 7386(0.7%) 300(0.0%) parse-loop14 ...s/racket/match/compiler.rkt:418:15 temp68_2 [138] 54.1% loop [173] 25.2% parse-loop14 [46] 7.8% map [199] 7.5% eval [143] 4.1% --------------------------------------------------------------------------------------------- pattern-substitute [28] 100.0% [47] 5094(0.4%) 978(0.1%) for-loop ...ie/no-costs/src/core/matcher.rkt:81:10 pattern-substitute [28] 84.0% --------------------------------------------------------------------------------------------- pattern-match [31] 100.0% [48] 2258(0.2%) 0(0.0%) for-loop ...bie/no-costs/src/core/matcher.rkt:66:9 pattern-match [31] 100.0% --------------------------------------------------------------------------------------------- for-loop [32] 100.0% [49] 1268(0.1%) 932(0.1%) setfindf ...s/herbie/no-costs/src/common.rkt:176:0 for-loop [65] 26.5% --------------------------------------------------------------------------------------------- simplify [26] 100.0% [50] 360(0.0%) 360(0.0%) debug-print ...herbie/no-costs/src/debug.rkt:107:0 --------------------------------------------------------------------------------------------- for-loop [32] 100.0% [51] 326(0.0%) 0(0.0%) eval-const-expr ...no-costs/src/programs.rkt:132:0 eval-prog [127] 100.0% --------------------------------------------------------------------------------------------- for-loop [35] 100.0% [52] 298(0.0%) 0(0.0%) taylor-quotient ...costs/src/core/taylor.rkt:328:0 first-nonzero-exp [66] 100.0% --------------------------------------------------------------------------------------------- run-iter! [40] 100.0% [53] 968762(85.5%) 0(0.0%) gen-rewrites! ...e/no-costs/src/mainloop.rkt:162:0 for-loop [67] 100.0% --------------------------------------------------------------------------------------------- run-iter! [40] 100.0% [54] 81286(7.2%) 0(0.0%) simplify! ...erbie/no-costs/src/mainloop.rkt:179:0 for-loop [68] 100.0% --------------------------------------------------------------------------------------------- setup-prog!32 [33] 3.3% pred [236] 11.7% ??? [39] 85.0% [55] 39528(3.5%) 0(0.0%) prepare-points ...ie/no-costs/src/points.rkt:156:0 make-exacts* [82] 42.0% loop [85] 29.4% loop [72] 27.8% for-loop [78] 0.8% --------------------------------------------------------------------------------------------- ??? [42] 100.0% [56] 39262(3.5%) 13330(1.2%) ??? ...acket/collects/racket/private/kw.rkt:592:14 bf* [71] 34.8% ??? [84] 18.2% ??? [184] 5.8% ??? [185] 2.8% ...higher-order.rkt:361:33 [77] 2.8% ??? [128] 1.7% --------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [41] 100.0% [57] 32326(2.9%) 932(0.1%) ??? ...ects/racket/contract/private/list.rkt:191:2 ??? [70] 97.1% --------------------------------------------------------------------------------------------- run-iter! [40] 100.0% [58] 22454(2.0%) 0(0.0%) finalize-iter! .../no-costs/src/mainloop.rkt:219:0 ??? [69] 100.0% --------------------------------------------------------------------------------------------- ??? [39] 100.0% [59] 10418(0.9%) 0(0.0%) get-final-combination ...ts/src/mainloop.rkt:307:0 f67 [182] 53.3% infer-splitpoints [74] 43.8% ??? [148] 2.9% --------------------------------------------------------------------------------------------- run-iter! [40] 100.0% [60] 9316(0.8%) 0(0.0%) gen-series! ...bie/no-costs/src/mainloop.rkt:149:0 for-loop [73] 100.0% --------------------------------------------------------------------------------------------- contract-pos/neg-doubling/proc [41] 100.0% [61] 2328(0.2%) 1004(0.1%) ??? ...cts/racket/contract/private/guts.rkt:954:34 blame-add-context7 [76] 56.9% --------------------------------------------------------------------------------------------- ??? [42] 100.0% [62] 2188(0.2%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [219] 100.0% --------------------------------------------------------------------------------------------- run-iter! [40] 100.0% [63] 1758(0.2%) 0(0.0%) localize-error ...costs/src/core/localize.rkt:47:0 hash-ref! [180] 100.0% --------------------------------------------------------------------------------------------- loop [45] 100.0% [64] 678(0.1%) 0(0.0%) core-form-sym (unknown source) resolve+shift28 [75] 100.0% --------------------------------------------------------------------------------------------- setfindf [49] 100.0% [65] 336(0.0%) 0(0.0%) for-loop ...s/herbie/no-costs/src/common.rkt:177:2 ??? [69] 100.0% --------------------------------------------------------------------------------------------- taylor-quotient [52] 100.0% [66] 298(0.0%) 0(0.0%) first-nonzero-exp ...sts/src/core/taylor.rkt:260:0 hash-ref! [180] 100.0% --------------------------------------------------------------------------------------------- gen-rewrites! [53] 100.0% [67] 968762(85.5%) 0(0.0%) for-loop ...erbie/no-costs/src/mainloop.rkt:167:11 ??? [79] 100.0% --------------------------------------------------------------------------------------------- simplify! [54] 100.0% [68] 81286(7.2%) 0(0.0%) for-loop ...herbie/no-costs/src/mainloop.rkt:183:6 for-loop [80] 100.0% --------------------------------------------------------------------------------------------- setup-prog!32 [33] 0.6% run-improve39 [2] 0.6% for-loop [65] 0.6% substitute-e [191] 1.1% pattern-match [31] 3.0% match-e [179] 4.7% pattern-substitute [28] 4.7% finalize-iter! [58] 41.5% variable? [4] 42.5% [69] 54144(4.8%) 18516(1.6%) ??? ...contract/private/arrow-val-first.rkt:388:18 for-loop [83] 42.1% hash-has-key? [86] 21.9% ??? [146] 0.6% --------------------------------------------------------------------------------------------- ??? [57] 100.0% [70] 31394(2.8%) 7902(0.7%) ??? ...ects/racket/contract/private/list.rkt:739:5 get/build-late-neg-projection [81] 73.8% --------------------------------------------------------------------------------------------- ??? [56] 100.0% [71] 13656(1.2%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [84] 100.0% --------------------------------------------------------------------------------------------- prepare-points [55] 100.0% [72] 10998(1.0%) 0(0.0%) loop ...tlies/herbie/no-costs/src/points.rkt:124:2 make-exacts* [82] 66.1% loop [85] 33.9% --------------------------------------------------------------------------------------------- gen-series! [60] 100.0% [73] 9316(0.8%) 0(0.0%) for-loop ...herbie/no-costs/src/mainloop.rkt:155:7 taylor-alt [87] 100.0% --------------------------------------------------------------------------------------------- get-final-combination [59] 100.0% [74] 4558(0.4%) 0(0.0%) infer-splitpoints ...sts/src/core/regimes.rkt:21:0 for-loop [88] 100.0% --------------------------------------------------------------------------------------------- expand-identifier [17] 10.8% core-form-sym [64] 22.5% expand-id-application-form17 [256] 23.1% expand-implicit [13] 43.6% [75] 3016(0.3%) 300(0.0%) resolve+shift28 (unknown source) fallback-loop [89] 90.1% --------------------------------------------------------------------------------------------- ??? [61] 100.0% [76] 1324(0.1%) 1324(0.1%) blame-add-context7 ...ract/private/blame.rkt:165:0 --------------------------------------------------------------------------------------------- ??? [56] 100.0% [77] 1086(0.1%) 446(0.0%) ...higher-order.rkt:361:33 (unknown source) ??? [102] 58.9% --------------------------------------------------------------------------------------------- prepare-points [55] 100.0% [78] 324(0.0%) 0(0.0%) for-loop .../herbie/no-costs/src/points.rkt:195:19 ??? [90] 100.0% --------------------------------------------------------------------------------------------- for-loop [67] 100.0% [79] 968762(85.5%) 0(0.0%) ??? ...es/herbie/no-costs/src/alternative.rkt:57:0 rewriter [91] 100.0% --------------------------------------------------------------------------------------------- for-loop [68] 100.0% [80] 81286(7.2%) 0(0.0%) for-loop ...herbie/no-costs/src/mainloop.rkt:207:8 ??? [136] 100.0% --------------------------------------------------------------------------------------------- type-of-enode-expr [248] 0.9% ??? [96] 13.9% type-of [3] 20.1% ??? [70] 63.9% [81] 36254(3.2%) 9848(0.9%) get/build-late-neg-projection ...te/guts.rkt:793:0 ??? [93] 60.6% ??? [96] 18.2% --------------------------------------------------------------------------------------------- loop [72] 30.5% prepare-points [55] 69.5% [82] 23856(2.1%) 0(0.0%) make-exacts* ...rbie/no-costs/src/points.rkt:104:0 loop [173] 72.9% eval-prog [127] 27.1% --------------------------------------------------------------------------------------------- ??? [69] 100.0% [83] 22788(2.0%) 0(0.0%) for-loop ...e/no-costs/src/core/alt-table.rkt:51:2 atab-add-altn [94] 100.0% --------------------------------------------------------------------------------------------- ??? [56] 34.3% bf* [71] 65.7% [84] 20800(1.8%) 1168(0.1%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [95] 94.4% --------------------------------------------------------------------------------------------- loop [72] 24.3% prepare-points [55] 75.7% [85] 15348(1.4%) 0(0.0%) loop ...tlies/herbie/no-costs/src/points.rkt:107:4 loop [173] 100.0% --------------------------------------------------------------------------------------------- mk-enode! [218] 5.2% ??? [69] 94.8% [86] 12504(1.1%) 2586(0.2%) hash-has-key? ...ket/private/more-scheme.rkt:371:2 ??? [92] 76.9% ??? [100] 2.4% --------------------------------------------------------------------------------------------- for-loop [73] 100.0% [87] 9316(0.8%) 0(0.0%) taylor-alt ...rbie/no-costs/src/mainloop.rkt:134:0 for-loop [97] 100.0% --------------------------------------------------------------------------------------------- infer-splitpoints [74] 100.0% [88] 4558(0.4%) 0(0.0%) for-loop ...bie/no-costs/src/core/regimes.rkt:33:6 option-on-expr [98] 100.0% --------------------------------------------------------------------------------------------- resolve+shift28 [75] 100.0% [89] 2716(0.2%) 1416(0.1%) fallback-loop (unknown source) for-loop [249] 47.9% --------------------------------------------------------------------------------------------- for-loop [78] 100.0% [90] 324(0.0%) 0(0.0%) ??? ...htlies/herbie/no-costs/src/points.rkt:172:7 for-loop [99] 100.0% --------------------------------------------------------------------------------------------- ??? [79] 12.4% matcher [113] 87.6% [91] 968762(85.5%) 28100(2.5%) rewriter ...ie/no-costs/src/core/matcher.rkt:131:2 for-loop [101] 98.5% *rules* [103] 1.1% --------------------------------------------------------------------------------------------- hash-has-key? [86] 9.7% table-ref [23] 90.3% [92] 99260(8.8%) 34228(3.0%) ??? ...ects/racket/contract/private/list.rkt:798:4 for-loop [104] 44.8% ??? [188] 14.1% arrow-higher-order:lnp [121] 2.9% ??? [102] 1.7% successfully-got-the-right-kind-of-function [110] 1.6% ??? [146] 0.3% --------------------------------------------------------------------------------------------- get/build-late-neg-projection [81] 100.0% [93] 24514(2.2%) 7044(0.6%) ??? ...cts/racket/contract/private/prop.rkt:344:12 build-compound-type-name [106] 71.3% --------------------------------------------------------------------------------------------- for-loop [83] 100.0% [94] 22788(2.0%) 0(0.0%) atab-add-altn ...osts/src/core/alt-table.rkt:208:0 best-and-tied-at-points [105] 94.2% override-at-pnts [111] 5.8% --------------------------------------------------------------------------------------------- ??? [84] 100.0% [95] 19632(1.7%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [219] 56.4% ??? [107] 43.6% --------------------------------------------------------------------------------------------- get/build-late-neg-projection [81] 100.0% [96] 12052(1.1%) 1548(0.1%) ??? ...ects/racket/contract/private/hash.rkt:221:2 get/build-late-neg-projection [81] 87.2% --------------------------------------------------------------------------------------------- taylor-alt [87] 100.0% [97] 9316(0.8%) 0(0.0%) for-loop ...herbie/no-costs/src/mainloop.rkt:140:6 ??? [136] 100.0% --------------------------------------------------------------------------------------------- for-loop [88] 100.0% [98] 4558(0.4%) 334(0.0%) option-on-expr ...-costs/src/core/regimes.rkt:99:0 err-lsts->split-indices [108] 42.6% for-loop [109] 35.4% sort-context-on-expr [112] 14.7% --------------------------------------------------------------------------------------------- ??? [90] 100.0% [99] 324(0.0%) 0(0.0%) for-loop ...s/herbie/no-costs/src/points.rkt:173:9 ??? [136] 100.0% --------------------------------------------------------------------------------------------- hash-has-key? [86] 100.0% [100] 302(0.0%) 302(0.0%) ??? ...ects/racket/contract/private/hash.rkt:283:7 --------------------------------------------------------------------------------------------- rewriter [91] 100.0% [101] 968762(85.5%) 31024(2.7%) for-loop ...e/no-costs/src/core/matcher.rkt:134:10 matcher [113] 89.4% type-of [3] 9.9% variable? [4] 0.2% return/no-unsupplied [189] 0.1% ??? [150] 0.1% assoc-ref [120] 0.0% ??? [146] 0.0% --------------------------------------------------------------------------------------------- ...higher-order.rkt:361:33 [77] 0.3% ??? [92] 0.8% table-ref [23] 1.3% ??? [43] 11.3% for-loop [22] 86.3% [102] 213842(18.9%) 9902(0.9%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [114] 85.8% ??? [43] 5.4% for-loop [119] 3.6% ??? [128] 0.5% ??? [146] 0.2% --------------------------------------------------------------------------------------------- rewriter [91] 100.0% [103] 86870(7.7%) 9798(0.9%) *rules* ...bie/no-costs/src/syntax/rules.rkt:643:0 for-loop [115] 88.7% --------------------------------------------------------------------------------------------- ??? [92] 100.0% [104] 44508(3.9%) 17334(1.5%) for-loop ...acket/contract/private/list.rkt:804:12 ??? [188] 33.4% for-loop [22] 21.2% ??? [118] 3.6% arrow-higher-order:lnp [121] 2.8% --------------------------------------------------------------------------------------------- atab-add-altn [94] 100.0% [105] 21460(1.9%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 errors [116] 100.0% --------------------------------------------------------------------------------------------- contract-struct-name [117] 25.3% ??? [93] 74.7% [106] 17470(1.5%) 12430(1.1%) build-compound-type-name ...private/guts.rkt:515:0 contract-struct-name [117] 45.4% --------------------------------------------------------------------------------------------- bfmul [95] 100.0% [107] 8556(0.8%) 8556(0.8%) ??? /home/p92/racket/collects/ffi/unsafe.rkt:898:4 --------------------------------------------------------------------------------------------- option-on-expr [98] 100.0% [108] 1942(0.2%) 0(0.0%) err-lsts->split-indices .../core/regimes.rkt:242:0 loop [122] 100.0% --------------------------------------------------------------------------------------------- option-on-expr [98] 100.0% [109] 1612(0.1%) 0(0.0%) for-loop ...ie/no-costs/src/core/regimes.rkt:107:4 errors [116] 100.0% --------------------------------------------------------------------------------------------- ??? [92] 100.0% [110] 1590(0.1%) 900(0.1%) successfully-got-the-right-kind-of-function ...5:4 arity-checking-wrapper [123] 43.4% --------------------------------------------------------------------------------------------- atab-add-altn [94] 100.0% [111] 1328(0.1%) 0(0.0%) override-at-pnts ...s/src/core/alt-table.rkt:145:0 errors [116] 100.0% --------------------------------------------------------------------------------------------- option-on-expr [98] 100.0% [112] 670(0.1%) 0(0.0%) sort-context-on-expr ...-costs/src/points.rkt:90:0 ??? [124] 100.0% --------------------------------------------------------------------------------------------- for-loop [101] 49.9% for-loop [125] 50.1% [113] 968762(85.5%) 7182(0.6%) matcher ...bie/no-costs/src/core/matcher.rkt:168:2 for-loop [125] 50.1% rewriter [91] 49.8% for-loop [5] 0.1% variable? [4] 0.0% foldr [135] 0.0% --------------------------------------------------------------------------------------------- ??? [102] 100.0% [114] 183496(16.2%) 3148(0.3%) ??? ...ects/racket/contract/private/list.rkt:747:7 ??? [146] 95.0% ??? [128] 3.3% --------------------------------------------------------------------------------------------- *rules* [103] 100.0% [115] 77072(6.8%) 18370(1.6%) for-loop ...es/herbie/no-costs/src/common.rkt:92:9 ormap [126] 63.4% flag-set? [137] 12.0% curried [207] 0.4% list-member? [159] 0.4% --------------------------------------------------------------------------------------------- ??? [163] 1.4% pred [236] 3.6% override-at-pnts [111] 5.1% for-loop [109] 6.2% best-and-tied-at-points [105] 82.5% [116] 26012(2.3%) 0(0.0%) errors ...ies/herbie/no-costs/src/points.rkt:203:0 eval-prog [127] 60.6% for-loop [129] 39.4% --------------------------------------------------------------------------------------------- build-compound-type-name [106] 100.0% [117] 10808(1.0%) 5040(0.4%) contract-struct-name ...ract/private/prop.rkt:87:0 build-compound-type-name [106] 67.5% --------------------------------------------------------------------------------------------- for-loop [104] 20.0% type-of [3] 27.5% ??? [43] 52.5% [118] 8026(0.7%) 1590(0.1%) ??? ...ects/racket/contract/private/hash.rkt:236:9 check-hash/c [130] 80.2% --------------------------------------------------------------------------------------------- ??? [102] 100.0% [119] 7630(0.7%) 3120(0.3%) for-loop ...acket/contract/private/list.rkt:212:15 ??? [43] 59.1% --------------------------------------------------------------------------------------------- ??? [44] 48.5% for-loop [101] 51.5% [120] 5912(0.5%) 5912(0.5%) assoc-ref ...collects/racket/private/dict.rkt:56:0 --------------------------------------------------------------------------------------------- for-loop [104] 30.4% ??? [92] 69.6% [121] 4114(0.4%) 1866(0.2%) arrow-higher-order:lnp ...w-higher-order.rkt:633:7 ??? [131] 54.6% --------------------------------------------------------------------------------------------- err-lsts->split-indices [108] 100.0% [122] 1942(0.2%) 0(0.0%) loop ...herbie/no-costs/src/core/regimes.rkt:293:4 for-loop [132] 100.0% --------------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [110]100.0% [123] 690(0.1%) 0(0.0%) arity-checking-wrapper ...w-higher-order.rkt:425:0 matches-arity-exactly? [133] 100.0% --------------------------------------------------------------------------------------------- sort-context-on-expr [112] 100.0% [124] 670(0.1%) 0(0.0%) ??? ...cket/collects/racket/private/sort.rkt:369:3 generic-sort/key [134] 100.0% --------------------------------------------------------------------------------------------- matcher [113] 100.0% [125] 968762(85.5%) 654(0.1%) for-loop ...e/no-costs/src/core/matcher.rkt:184:21 matcher [113] 100.0% --------------------------------------------------------------------------------------------- for-loop [115] 100.0% [126] 48840(4.3%) 9798(0.9%) ormap ...et/collects/racket/private/map.rkt:141:13 flag-set? [137] 69.4% curried [207] 7.9% list-member? [159] 2.6% --------------------------------------------------------------------------------------------- eval-const-expr [51] 1.4% make-exacts* [82] 28.7% errors [116] 69.9% [127] 22554(2.0%) 358(0.0%) eval-prog ...erbie/no-costs/src/programs.rkt:109:0 temp68_2 [138] 58.3% hash-ref! [180] 24.0% f67 [182] 11.5% loop [45] 3.1% eval [143] 1.4% --------------------------------------------------------------------------------------------- ??? [56] 6.0% ??? [102] 9.3% for-loop [22] 29.6% ??? [114] 55.0% [128] 11086(1.0%) 5580(0.5%) ??? ...ects/racket/contract/private/prop.rkt:519:4 ??? [139] 49.7% --------------------------------------------------------------------------------------------- errors [116] 100.0% [129] 10252(0.9%) 308(0.0%) for-loop ...s/herbie/no-costs/src/points.rkt:206:4 ??? [42] 91.1% ??? [136] 5.9% --------------------------------------------------------------------------------------------- ??? [118] 100.0% [130] 6436(0.6%) 2234(0.2%) check-hash/c ...ket/contract/private/hash.rkt:83:0 flat-contract? [140] 65.3% --------------------------------------------------------------------------------------------- arrow-higher-order:lnp [121] 100.0% [131] 2248(0.2%) 1282(0.1%) ??? ...et/contract/private/arity-checking.rkt:19:2 for-loop [142] 28.9% procedure-arity [227] 14.1% --------------------------------------------------------------------------------------------- loop [122] 100.0% [132] 1942(0.2%) 1624(0.1%) for-loop ...ie/no-costs/src/core/regimes.rkt:258:4 for-loop [145] 16.4% --------------------------------------------------------------------------------------------- arity-checking-wrapper [123] 100.0% [133] 690(0.1%) 690(0.1%) matches-arity-exactly? ...te/arrow-common.rkt:70:0 --------------------------------------------------------------------------------------------- ??? [124] 100.0% [134] 670(0.1%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [141] 100.0% --------------------------------------------------------------------------------------------- matcher [113] 100.0% [135] 328(0.0%) 0(0.0%) foldr ...et/collects/racket/private/list.rkt:242:4 cp-2 [144] 100.0% --------------------------------------------------------------------------------------------- for-loop [99] 0.3% map [199] 0.4% for-loop [129] 0.6% loop [173] 0.7% loop [27] 2.6% for-loop [97] 3.7% for-loop [80] 43.8% location-do [147] 47.5% [136] 92882(8.2%) 324(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 location-do [147] 47.5% ??? [148] 43.8% approximate9 [6] 3.7% hash-ref! [180] 2.6% argmin [152] 0.4% --------------------------------------------------------------------------------------------- for-loop [115] 21.4% ormap [126] 78.6% [137] 43128(3.8%) 24270(2.1%) flag-set? ...s/herbie/no-costs/src/config.rkt:31:0 return/no-unsupplied [189] 23.2% ??? [150] 18.3% ??? [146] 2.2% --------------------------------------------------------------------------------------------- f67 [182] 9.8% parse-loop14 [46] 23.8% eval-prog [127] 66.4% [138] 19812(1.7%) 0(0.0%) temp68_2 (unknown source) compile16 [149] 100.0% --------------------------------------------------------------------------------------------- ??? [128] 100.0% [139] 5506(0.5%) 640(0.1%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ??? [151] 88.4% --------------------------------------------------------------------------------------------- check-hash/c [130] 100.0% [140] 4202(0.4%) 4202(0.4%) flat-contract? .../contract/private/guts.rkt:122:0 --------------------------------------------------------------------------------------------- copying-mergesort [141] 38.3% generic-sort/key [134] 61.7% [141] 670(0.1%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 loop [154] 49.0% copying-mergesort [141] 38.3% jloop [16] 12.8% --------------------------------------------------------------------------------------------- ??? [131] 100.0% [142] 650(0.1%) 650(0.1%) for-loop ...ntract/private/arity-checking.rkt:37:5 --------------------------------------------------------------------------------------------- parse-loop14 [46] 47.9% eval-prog [127] 52.1% [143] 626(0.1%) 300(0.0%) eval (unknown source) datum->syntax6 [155] 52.1% --------------------------------------------------------------------------------------------- foldr [135] 100.0% [144] 328(0.0%) 0(0.0%) cp-2 .../p92/racket/collects/racket/list.rkt:826:2 for-loop [153] 100.0% --------------------------------------------------------------------------------------------- for-loop [132] 100.0% [145] 318(0.0%) 318(0.0%) for-loop ...ie/no-costs/src/core/regimes.rkt:262:8 --------------------------------------------------------------------------------------------- ??? [69] 0.2% ??? [102] 0.2% ??? [92] 0.2% flag-set? [137] 0.5% ??? [44] 0.7% for-loop [101] 1.3% ??? [43] 6.3% ??? [114] 90.7% [146] 192050(16.9%) 179714(15.9%) ??? ...ects/racket/contract/private/guts.rkt:746:8 contract? [158] 5.3% --------------------------------------------------------------------------------------------- ??? [136] 41.8% location-do [147] 58.2% [147] 90602(8.0%) 0(0.0%) location-do ...rbie/no-costs/src/programs.rkt:90:0 location-do [147] 58.2% ??? [136] 41.8% --------------------------------------------------------------------------------------------- get-final-combination [59] 0.4% ??? [136] 98.5% [148] 82498(7.3%) 0(0.0%) ??? .../herbie/no-costs/src/core/simplify.rkt:31:0 iterate-egraph!7 [156] 97.3% loop [160] 1.5% mk-egraph [162] 1.1% --------------------------------------------------------------------------------------------- temp68_2 [138] 100.0% [149] 19812(1.7%) 0(0.0%) compile16 (unknown source) temp74_0 [157] 100.0% --------------------------------------------------------------------------------------------- table-ref [23] 13.3% ??? [44] 16.9% for-loop [101] 24.0% flag-set? [137] 45.8% [150] 17236(1.5%) 15972(1.4%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ??? [161] 7.3% --------------------------------------------------------------------------------------------- ??? [139] 100.0% [151] 4866(0.4%) 4178(0.4%) ??? ...ects/racket/contract/private/list.rkt:163:5 list-member? [159] 14.1% --------------------------------------------------------------------------------------------- ??? [136] 100.0% [152] 360(0.0%) 0(0.0%) argmin ...92/racket/collects/racket/list.rkt:765:0 ??? [163] 100.0% --------------------------------------------------------------------------------------------- cp-2 [144] 100.0% [153] 328(0.0%) 328(0.0%) for-loop .../racket/collects/racket/list.rkt:827:4 --------------------------------------------------------------------------------------------- copying-mergesort [141] 100.0% [154] 328(0.0%) 0(0.0%) loop ...ket/collects/racket/private/sort.rkt:96:12 ??? [42] 100.0% --------------------------------------------------------------------------------------------- eval [143] 100.0% [155] 326(0.0%) 0(0.0%) datum->syntax6 (unknown source) loop [45] 100.0% --------------------------------------------------------------------------------------------- ??? [148] 100.0% [156] 80276(7.1%) 0(0.0%) iterate-egraph!7 ...sts/src/core/simplify.rkt:55:0 one-iter [164] 97.6% map-enodes [168] 2.4% --------------------------------------------------------------------------------------------- compile16 [149] 100.0% [157] 19812(1.7%) 0(0.0%) temp74_0 (unknown source) expand-single [165] 85.9% compile-top9 [167] 10.9% expand [171] 3.2% --------------------------------------------------------------------------------------------- ??? [146] 100.0% [158] 10198(0.9%) 8310(0.7%) contract? ...acket/contract/private/guts.rkt:118:0 coerce-contract/f [166] 18.5% --------------------------------------------------------------------------------------------- for-loop [115] 13.5% ??? [151] 30.4% ormap [126] 56.1% [159] 2266(0.2%) 2266(0.2%) list-member? ...llects/racket/private/set.rkt:24:0 --------------------------------------------------------------------------------------------- ??? [148] 100.0% [160] 1274(0.1%) 0(0.0%) loop ...erbie/no-costs/src/core/simplify.rkt:193:2 for-loop [169] 100.0% --------------------------------------------------------------------------------------------- ??? [150] 100.0% [161] 1264(0.1%) 1264(0.1%) ??? ...ects/racket/contract/private/prop.rkt:274:4 --------------------------------------------------------------------------------------------- ??? [148] 100.0% [162] 948(0.1%) 0(0.0%) mk-egraph ...ie/no-costs/src/core/egraph.rkt:131:0 mk-enode-rec! [170] 100.0% --------------------------------------------------------------------------------------------- argmin [152] 100.0% [163] 360(0.0%) 0(0.0%) ??? ...ies/herbie/no-costs/src/mainloop.rkt:109:10 errors [116] 100.0% --------------------------------------------------------------------------------------------- iterate-egraph!7 [156] 100.0% [164] 78346(6.9%) 1692(0.1%) one-iter ...ie/no-costs/src/core/simplify.rkt:66:0 for-loop [172] 72.8% for-loop [174] 24.2% --------------------------------------------------------------------------------------------- temp74_0 [157] 100.0% [165] 17026(1.5%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [175] 100.0% --------------------------------------------------------------------------------------------- coerce-contract [37] 14.9% contract? [158] 85.1% [166] 2218(0.2%) 2218(0.2%) coerce-contract/f ...ntract/private/guts.rkt:350:0 --------------------------------------------------------------------------------------------- temp74_0 [157] 100.0% [167] 2160(0.2%) 306(0.0%) compile-top9 (unknown source) compile-forms31 [176] 85.8% --------------------------------------------------------------------------------------------- iterate-egraph!7 [156] 100.0% [168] 1930(0.2%) 0(0.0%) map-enodes ...e/no-costs/src/core/egraph.rkt:140:0 loop [173] 100.0% --------------------------------------------------------------------------------------------- loop [160] 100.0% [169] 1274(0.1%) 0(0.0%) for-loop .../no-costs/src/core/simplify.rkt:186:29 for-loop [177] 100.0% --------------------------------------------------------------------------------------------- mk-egraph [162] 26.0% mk-enode-rec! [170] 74.0% [170] 948(0.1%) 0(0.0%) mk-enode-rec! ...o-costs/src/core/egraph.rkt:122:0 mk-enode-rec! [170] 74.0% mk-enode! [218] 26.0% --------------------------------------------------------------------------------------------- temp74_0 [157] 100.0% [171] 626(0.1%) 626(0.1%) expand (unknown source) --------------------------------------------------------------------------------------------- one-iter [164] 100.0% [172] 57054(5.0%) 0(0.0%) for-loop ...e/no-costs/src/core/simplify.rkt:113:2 for-loop [178] 89.8% match-e [179] 7.4% set [241] 1.2% update-leader! [202] 1.1% reduce-to-single! [187] 0.5% --------------------------------------------------------------------------------------------- make-exacts* [82] 0.2% map [199] 0.7% map-enodes [168] 0.9% parse-loop14 [46] 1.2% loop [85] 1.6% loop! [222] 2.0% ??? [9] 12.0% loop [173] 81.5% [173] 45256(4.0%) 1358(0.1%) loop ...cket/collects/racket/private/map.rkt:40:19 loop [173] 81.5% hash-ref! [180] 12.4% loop! [222] 1.9% ??? [42] 1.8% set-precompute! [11] 0.9% f67 [182] 0.7% parse-loop14 [46] 0.7% ??? [184] 0.0% map [199] 0.0% ??? [136] 0.0% ??? [185] 0.0% --------------------------------------------------------------------------------------------- for-loop [174] 47.6% one-iter [164] 52.4% [174] 18988(1.7%) 3430(0.3%) for-loop ...e/no-costs/src/core/simplify.rkt:76:12 for-loop [174] 47.6% match-e [179] 39.3% variable? [4] 1.7% --------------------------------------------------------------------------------------------- loop [45] 5.8% expand-single [165] 94.2% [175] 18080(1.6%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [181] 71.0% for-loop [249] 12.5% dispatch-transformer41 [183] 12.5% expand-id-application-form17 [256] 2.0% loop [45] 2.0% --------------------------------------------------------------------------------------------- compile-top9 [167] 100.0% [176] 1854(0.2%) 298(0.0%) compile-forms31 (unknown source) for-loop [249] 83.9% --------------------------------------------------------------------------------------------- for-loop [169] 100.0% [177] 1274(0.1%) 940(0.1%) for-loop .../no-costs/src/core/simplify.rkt:172:13 for-loop [186] 26.2% --------------------------------------------------------------------------------------------- for-loop [172] 100.0% [178] 51252(4.5%) 0(0.0%) for-loop ...ie/no-costs/src/core/simplify.rkt:98:4 merge-egraph-nodes! [190] 32.8% mk-enode! [218] 32.0% substitute-e [191] 29.6% loop! [222] 5.6% --------------------------------------------------------------------------------------------- for-loop [172] 12.9% for-loop [204] 22.6% for-loop [174] 64.5% [179] 19136(1.7%) 4252(0.4%) match-e ...erbie/no-costs/src/core/ematch.rkt:46:0 for-loop [192] 62.6% ??? [69] 7.2% variable? [4] 6.5% --------------------------------------------------------------------------------------------- first-nonzero-exp [66] 0.3% simplify* [18] 0.7% for-loop [34] 2.2% localize-error [63] 2.5% for-loop [30] 4.8% ??? [195] 6.9% eval-prog [127] 8.0% ??? [194] 9.3% ??? [136] 9.3% for-loop [29] 17.3% loop [173] 38.6% [180] 14592(1.3%) 1268(0.1%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [9] 29.1% ??? [8] 17.3% parse-loop14 [46] 12.0% ??? [194] 9.3% simplify [26] 8.1% ??? [195] 6.9% bigfloat-hash [198] 6.4% ??? [10] 4.8% ??? [15] 2.2% ??? [12] 1.5% --------------------------------------------------------------------------------------------- expand-capturing-lifts [175] 100.0% [181] 12834(1.1%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [193] 94.9% loop [45] 5.1% --------------------------------------------------------------------------------------------- loop [173] 0.9% map [199] 2.8% eval-prog [127] 3.7% f67 [182] 19.5% simplify [26] 27.0% get-final-combination [59] 45.5% [182] 11682(1.0%) 0(0.0%) f67 ...t/collects/racket/match/compiler.rkt:507:40 sindices->spoints [196] 45.5% f67 [182] 19.5% temp68_2 [138] 16.6% map [199] 10.3% loop [45] 3.1% ...costs/src/common.rkt:48:2 [24] 1.7% table-ref [23] 1.2% ??? [188] 0.4% --------------------------------------------------------------------------------------------- loop [45] 13.3% for-loop [249] 40.7% expand-capturing-lifts [175] 45.9% [183] 4904(0.4%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [197] 100.0% --------------------------------------------------------------------------------------------- loop [173] 12.6% ??? [56] 87.4% [184] 2604(0.2%) 2276(0.2%) ??? ...erbie/no-costs/src/syntax/syntax.rkt:193:17 return/no-unsupplied [189] 12.6% --------------------------------------------------------------------------------------------- loop [173] 24.4% ??? [56] 75.6% [185] 1466(0.1%) 1466(0.1%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 --------------------------------------------------------------------------------------------- for-loop [177] 100.0% [186] 334(0.0%) 334(0.0%) for-loop .../no-costs/src/core/simplify.rkt:175:37 --------------------------------------------------------------------------------------------- for-loop [172] 100.0% [187] 302(0.0%) 0(0.0%) reduce-to-single! ...sts/src/core/egraph.rkt:325:0 for-loop [200] 100.0% --------------------------------------------------------------------------------------------- f67 [182] 1.1% ??? [92] 48.0% for-loop [104] 50.9% [188] 29226(2.6%) 15110(1.3%) ??? ...private/unconstrained-domain-arrow.rkt:74:4 make-keyword-procedure [203] 42.9% loop [213] 4.3% --------------------------------------------------------------------------------------------- ??? [184] 1.7% ??? [44] 8.7% table-ref [23] 11.8% for-loop [101] 24.9% flag-set? [137] 52.8% [189] 18950(1.7%) 12790(1.1%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 filter [205] 32.5% --------------------------------------------------------------------------------------------- for-loop [208] 7.6% for-loop [178] 92.4% [190] 16810(1.5%) 692(0.1%) merge-egraph-nodes! ...s/src/core/egraph.rkt:153:0 update-leader! [202] 70.7% for-loop [208] 15.7% enode-merge! [212] 7.6% --------------------------------------------------------------------------------------------- for-loop [201] 4.8% for-loop [178] 95.2% [191] 15186(1.3%) 922(0.1%) substitute-e .../no-costs/src/core/ematch.rkt:71:0 for-loop [201] 94.6% ??? [69] 1.7% --------------------------------------------------------------------------------------------- match-e [179] 100.0% [192] 14272(1.3%) 5968(0.5%) for-loop ...bie/no-costs/src/core/ematch.rkt:59:11 for-loop [204] 50.9% list-cartesian-product [215] 5.4% curry* [216] 3.3% curried [207] 2.3% filter [205] 1.1% --------------------------------------------------------------------------------------------- lambda-clause-expander [181] 6.4% for-loop [249] 93.6% [193] 12180(1.1%) 0(0.0%) finish-bodys (unknown source) for-loop [249] 100.0% --------------------------------------------------------------------------------------------- hash-ref! [180] 100.0% [194] 7112(0.6%) 0(0.0%) ??? ...s/herbie/no-costs/src/core/taylor.rkt:44:15 hash-ref! [180] 100.0% --------------------------------------------------------------------------------------------- hash-ref! [180] 100.0% [195] 6136(0.5%) 0(0.0%) ??? .../herbie/no-costs/src/core/taylor.rkt:338:33 hash-ref! [180] 100.0% --------------------------------------------------------------------------------------------- f67 [182] 100.0% [196] 5558(0.5%) 0(0.0%) sindices->spoints ...ts/src/core/regimes.rkt:162:0 for-loop [206] 100.0% --------------------------------------------------------------------------------------------- dispatch-transformer41 [183] 100.0% [197] 4904(0.4%) 994(0.1%) apply-transformer52 (unknown source) apply-transformer-in-context [210] 53.0% loop [45] 20.1% apply-post-expansion [217] 6.6% --------------------------------------------------------------------------------------------- hash-ref! [180] 100.0% [198] 4462(0.4%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:167:0 bfcanonicalize [209] 73.7% sig+exp->bigfloat [214] 26.3% --------------------------------------------------------------------------------------------- loop [173] 12.5% parse-loop14 [46] 13.1% f67 [182] 28.8% taylor [211] 45.6% [199] 2868(0.3%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:35:13 taylor [211] 45.6% parse-loop14 [46] 26.1% ??? [136] 12.5% f67 [182] 10.5% loop [173] 2.7% simplify* [18] 2.7% --------------------------------------------------------------------------------------------- reduce-to-single! [187] 100.0% [200] 302(0.0%) 302(0.0%) for-loop ...bie/no-costs/src/core/egraph.rkt:326:8 --------------------------------------------------------------------------------------------- substitute-e [191] 100.0% [201] 14886(1.3%) 312(0.0%) for-loop ...bie/no-costs/src/core/ematch.rkt:80:24 mk-enode! [218] 89.6% substitute-e [191] 8.3% --------------------------------------------------------------------------------------------- for-loop [172] 4.6% merge-egraph-nodes! [190] 95.4% [202] 13646(1.2%) 310(0.0%) update-leader! ...-costs/src/core/egraph.rkt:218:0 for-loop [220] 77.2% for-loop [224] 18.4% custom-set-union! [232] 2.2% --------------------------------------------------------------------------------------------- ??? [188] 100.0% [203] 12532(1.1%) 12532(1.1%) make-keyword-procedure ...ket/private/kw.rkt:407:4 --------------------------------------------------------------------------------------------- for-loop [192] 100.0% [204] 8430(0.7%) 334(0.0%) for-loop ...bie/no-costs/src/core/ematch.rkt:65:37 match-e [179] 92.5% ??? [233] 3.5% --------------------------------------------------------------------------------------------- for-loop [192] 5.0% return/no-unsupplied [189] 95.0% [205] 6484(0.6%) 6484(0.6%) filter ...t/collects/racket/private/list.rkt:256:2 --------------------------------------------------------------------------------------------- sindices->spoints [196] 100.0% [206] 5558(0.5%) 0(0.0%) for-loop ...ie/no-costs/src/core/regimes.rkt:194:9 binary-search-floats [223] 76.6% pred [236] 23.4% --------------------------------------------------------------------------------------------- for-loop [192] 7.1% for-loop [115] 7.3% ormap [126] 85.5% [207] 4520(0.4%) 4520(0.4%) curried ...cket/collects/racket/function.rkt:71:18 --------------------------------------------------------------------------------------------- merge-egraph-nodes! [190] 100.0% [208] 3772(0.3%) 0(0.0%) for-loop ...ie/no-costs/src/core/egraph.rkt:201:10 merge-egraph-nodes! [190] 63.8% loop! [222] 36.2% --------------------------------------------------------------------------------------------- bigfloat-hash [198] 100.0% [209] 3290(0.3%) 2958(0.3%) bfcanonicalize .../private/bigfloat/mpfr.rkt:157:0 bigfloat->sig+exp [229] 10.1% --------------------------------------------------------------------------------------------- apply-transformer52 [197] 100.0% [210] 2598(0.2%) 964(0.1%) apply-transformer-in-context (unknown source) parse-app [225] 37.7% ??? [228] 12.9% go [230] 12.2% --------------------------------------------------------------------------------------------- approximate9 [6] 8.8% for-loop [35] 11.5% map [199] 20.6% taylor [211] 59.2% [211] 1906(0.2%) 360(0.0%) taylor ...erbie/no-costs/src/core/taylor.rkt:163:0 taylor [211] 59.2% map [199] 20.6% taylor-invert [14] 17.1% --------------------------------------------------------------------------------------------- merge-egraph-nodes! [190] 100.0% [212] 1284(0.1%) 0(0.0%) enode-merge! .../no-costs/src/core/enode.rkt:127:0 custom-set-intersect! [226] 75.9% adopt-enode! [231] 24.1% --------------------------------------------------------------------------------------------- loop [213] 47.6% ??? [188] 52.4% [213] 1262(0.1%) 1262(0.1%) loop ...ts/racket/contract/private/blame.rkt:320:2 loop [213] 47.6% --------------------------------------------------------------------------------------------- bigfloat-hash [198] 100.0% [214] 1172(0.1%) 324(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:387:0 new-mpfr [219] 72.4% --------------------------------------------------------------------------------------------- list-cartesian-product [215] 17.1% for-loop [192] 82.9% [215] 918(0.1%) 918(0.1%) list-cartesian-product ...src/core/ematch.rkt:20:0 list-cartesian-product [215] 17.1% --------------------------------------------------------------------------------------------- for-loop [192] 100.0% [216] 646(0.1%) 336(0.0%) curry* ...racket/collects/racket/function.rkt:44:2 procedure-arity [227] 48.0% --------------------------------------------------------------------------------------------- apply-transformer52 [197] 100.0% [217] 326(0.0%) 0(0.0%) apply-post-expansion (unknown source) gf [221] 100.0% --------------------------------------------------------------------------------------------- mk-enode-rec! [170] 3.1% for-loop [201] 43.4% for-loop [178] 53.5% [218] 30688(2.7%) 1570(0.1%) mk-enode! ...ie/no-costs/src/core/egraph.rkt:102:0 new-enode [234] 90.8% hash-has-key? [86] 2.1% for-loop [242] 2.0% --------------------------------------------------------------------------------------------- sig+exp->bigfloat [214] 6.0% bf [62] 15.5% bfmul [95] 78.5% [219] 14112(1.2%) 14112(1.2%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 --------------------------------------------------------------------------------------------- update-leader! [202] 100.0% [220] 10530(0.9%) 316(0.0%) for-loop ...bie/no-costs/src/core/egraph.rkt:223:6 for-loop [235] 97.0% --------------------------------------------------------------------------------------------- apply-post-expansion [217] 0.6% loop [45] 99.4% [221] 9114(0.8%) 1320(0.1%) gf (unknown source) propagation-apply [237] 35.1% propagation-apply-shifted [238] 29.1% propagation-merge [240] 14.4% cache-or-reuse-hash [246] 3.4% loop [45] 3.0% syntax-e/no-taint [25] 0.6% --------------------------------------------------------------------------------------------- for-loop [208] 27.8% loop [173] 28.6% for-loop [178] 43.6% [222] 4366(0.4%) 298(0.0%) loop! .../herbie/no-costs/src/core/enode.rkt:190:2 custom-set-union [239] 43.5% loop [173] 35.5% update-en-expr [260] 10.7% set [241] 6.8% --------------------------------------------------------------------------------------------- for-loop [206] 100.0% [223] 4256(0.4%) 0(0.0%) binary-search-floats ...src/core/regimes.rkt:143:0 pred [236] 100.0% --------------------------------------------------------------------------------------------- update-leader! [202] 100.0% [224] 2506(0.2%) 2506(0.2%) for-loop ...bie/no-costs/src/core/egraph.rkt:233:6 --------------------------------------------------------------------------------------------- apply-transformer-in-context [210] 100.0% [225] 980(0.1%) 360(0.0%) parse-app ...collects/racket/private/kw.rkt:1105:2 syntax->list [252] 63.3% --------------------------------------------------------------------------------------------- enode-merge! [212] 100.0% [226] 974(0.1%) 974(0.1%) custom-set-intersect! ...ivate/set-types.rkt:269:0 --------------------------------------------------------------------------------------------- curry* [216] 49.5% ??? [131] 50.5% [227] 626(0.1%) 626(0.1%) procedure-arity ...ket/private/norm-arity.rkt:7:27 --------------------------------------------------------------------------------------------- apply-transformer-in-context [210] 100.0% [228] 336(0.0%) 0(0.0%) ??? ...collects/racket/private/qq-and-or.rkt:155:9 ??? [243] 100.0% --------------------------------------------------------------------------------------------- bfcanonicalize [209] 100.0% [229] 332(0.0%) 0(0.0%) bigfloat->sig+exp ...ivate/bigfloat/mpfr.rkt:372:0 size+limbs->integer [244] 100.0% --------------------------------------------------------------------------------------------- apply-transformer-in-context [210] 100.0% [230] 318(0.0%) 0(0.0%) go .../collects/racket/private/qq-and-or.rkt:50:20 loop [245] 100.0% --------------------------------------------------------------------------------------------- enode-merge! [212] 100.0% [231] 310(0.0%) 0(0.0%) adopt-enode! .../no-costs/src/core/enode.rkt:103:0 custom-set-union [239] 100.0% --------------------------------------------------------------------------------------------- update-leader! [202] 100.0% [232] 300(0.0%) 0(0.0%) custom-set-union! ...t/private/set-types.rkt:245:0 for-loop [247] 100.0% --------------------------------------------------------------------------------------------- for-loop [204] 100.0% [233] 298(0.0%) 298(0.0%) ??? ...es/herbie/no-costs/src/core/ematch.rkt:50:5 --------------------------------------------------------------------------------------------- mk-enode! [218] 100.0% [234] 27856(2.5%) 328(0.0%) new-enode ...rbie/no-costs/src/core/enode.rkt:95:0 type-of-enode-expr [248] 98.8% --------------------------------------------------------------------------------------------- for-loop [220] 100.0% [235] 10214(0.9%) 0(0.0%) for-loop ...bie/no-costs/src/core/egraph.rkt:224:8 hash-update! [250] 100.0% --------------------------------------------------------------------------------------------- for-loop [206] 23.4% binary-search-floats [223] 76.6% [236] 5558(0.5%) 0(0.0%) pred ...herbie/no-costs/src/core/regimes.rkt:170:4 prepare-points [55] 83.0% errors [116] 17.0% --------------------------------------------------------------------------------------------- gf [221] 100.0% [237] 3196(0.3%) 3196(0.3%) propagation-apply (unknown source) --------------------------------------------------------------------------------------------- gf [221] 100.0% [238] 2656(0.2%) 2656(0.2%) propagation-apply-shifted (unknown source) --------------------------------------------------------------------------------------------- adopt-enode! [231] 12.2% loop! [222] 87.8% [239] 2544(0.2%) 1588(0.1%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [251] 37.6% --------------------------------------------------------------------------------------------- gf [221] 100.0% [240] 1308(0.1%) 1308(0.1%) propagation-merge (unknown source) --------------------------------------------------------------------------------------------- loop! [222] 47.3% for-loop [172] 52.7% [241] 1260(0.1%) 596(0.1%) set ...collects/racket/private/set-types.rkt:981:0 for-loop [253] 52.7% --------------------------------------------------------------------------------------------- mk-enode! [218] 100.0% [242] 618(0.1%) 618(0.1%) for-loop ...ie/no-costs/src/core/egraph.rkt:114:10 --------------------------------------------------------------------------------------------- ??? [228] 100.0% [243] 336(0.0%) 0(0.0%) ??? ...ollects/racket/private/qq-and-or.rkt:164:21 syntax->list [252] 100.0% --------------------------------------------------------------------------------------------- bigfloat->sig+exp [229] 100.0% [244] 332(0.0%) 332(0.0%) size+limbs->integer ...vate/bigfloat/gmp.rkt:103:0 --------------------------------------------------------------------------------------------- go [230] 25.0% loop [245] 75.0% [245] 318(0.0%) 0(0.0%) loop ...llects/racket/private/qq-and-or.rkt:101:61 loop [245] 75.0% stx-cdr [254] 25.0% --------------------------------------------------------------------------------------------- gf [221] 100.0% [246] 308(0.0%) 0(0.0%) cache-or-reuse-hash (unknown source) for-loop [249] 100.0% --------------------------------------------------------------------------------------------- custom-set-union! [232] 100.0% [247] 300(0.0%) 300(0.0%) for-loop ...cts/racket/private/set-types.rkt:253:4 --------------------------------------------------------------------------------------------- new-enode [234] 100.0% [248] 27528(2.4%) 908(0.1%) type-of-enode-expr ...osts/src/core/enode.rkt:68:0 ??? [21] 53.0% for-loop [22] 20.5% table-ref [23] 18.6% ...costs/src/common.rkt:48:2 [24] 3.4% get/build-late-neg-projection [81] 1.2% --------------------------------------------------------------------------------------------- cache-or-reuse-hash [246] 1.9% fallback-loop [89] 2.2% for-loop [249] 7.7% expand-capturing-lifts [175] 8.8% compile-forms31 [176] 9.4% finish-bodys [193] 70.0% [249] 16636(1.5%) 3540(0.3%) for-loop (unknown source) finish-bodys [193] 66.8% for-loop [249] 7.7% syntax-e [7] 3.7% expand-implicit [13] 3.5% dispatch-transformer41 [183] 3.4% loop [45] 0.5% expand-id-application-form17 [256] 0.1% expand-identifier [17] 0.1% --------------------------------------------------------------------------------------------- for-loop [235] 100.0% [250] 10214(0.9%) 0(0.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 ??? [255] 100.0% --------------------------------------------------------------------------------------------- custom-set-union [239] 100.0% [251] 956(0.1%) 324(0.0%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [257] 66.1% --------------------------------------------------------------------------------------------- ??? [243] 35.1% parse-app [225] 64.9% [252] 956(0.1%) 0(0.0%) syntax->list (unknown source) loop [45] 100.0% --------------------------------------------------------------------------------------------- set [241] 100.0% [253] 664(0.1%) 664(0.1%) for-loop ...cts/racket/private/set-types.rkt:937:4 --------------------------------------------------------------------------------------------- loop [245] 100.0% [254] 318(0.0%) 318(0.0%) stx-cdr ...et/collects/racket/private/stx.rkt:74:4 --------------------------------------------------------------------------------------------- hash-update! [250] 100.0% [255] 10214(0.9%) 298(0.0%) ??? .../herbie/no-costs/src/core/egraph.rkt:226:24 for-loop [258] 97.1% --------------------------------------------------------------------------------------------- for-loop [249] 11.2% expand-capturing-lifts [175] 12.2% loop [45] 76.6% [256] 3028(0.3%) 338(0.0%) expand-id-application-form17 (unknown source) syntax-e/no-taint [25] 53.6% resolve+shift28 [75] 23.1% binding-lookup50 [259] 12.2% --------------------------------------------------------------------------------------------- for-loop [251] 100.0% [257] 632(0.1%) 632(0.1%) for-loop ...cts/racket/private/set-types.rkt:178:5 --------------------------------------------------------------------------------------------- ??? [255] 100.0% [258] 9916(0.9%) 8342(0.7%) for-loop ...ie/no-costs/src/core/egraph.rkt:227:26 update-en-expr [260] 15.9% --------------------------------------------------------------------------------------------- expand-implicit [13] 44.6% expand-id-application-form17 [256] 55.4% [259] 668(0.1%) 668(0.1%) binding-lookup50 (unknown source) --------------------------------------------------------------------------------------------- loop! [222] 37.3% for-loop [258] 62.7% [260] 2510(0.2%) 958(0.1%) update-en-expr ...-costs/src/core/egraph.rkt:212:0 for-loop [261] 61.8% --------------------------------------------------------------------------------------------- update-en-expr [260] 100.0% [261] 1552(0.1%) 1552(0.1%) for-loop ...bie/no-costs/src/core/egraph.rkt:214:6 ---------------------------------------------------------------------------------------------