Profiling results ----------------- Total cpu time observed: 45158ms (out of 45356ms) Number of samples taken: 222 (once every 203ms) (Hiding functions with self<1.0% and local<2.0%: 4 of 215 hidden) ====================================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================================== [1] 45158(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [15] 100.0% -------------------------------------------------------------------------------------- ??? [164] 100.0% [2] 10074(22.3%) 0(0.0%) approximate9 ...und-truth/src/core/taylor.rkt:11:0 loop [16] 91.7% for-loop [24] 4.3% taylor-quotient [25] 2.0% taylor [36] 2.0% -------------------------------------------------------------------------------------- hash-ref! [172] 100.0% [3] 8430(18.7%) 0(0.0%) ??? ...tion-ground-truth/src/core/taylor.rkt:44:15 hash-ref! [172] 92.7% ??? [34] 4.8% f40 [31] 2.4% -------------------------------------------------------------------------------------- hash-ref! [172] 100.0% [4] 6370(14.1%) 0(0.0%) ??? ...ion-ground-truth/src/core/taylor.rkt:300:23 for-loop [17] 100.0% -------------------------------------------------------------------------------------- hash-ref! [172] 100.0% [5] 5364(11.9%) 0(0.0%) ??? ...ion-ground-truth/src/core/taylor.rkt:406:23 for-loop [18] 92.2% for-loop [30] 7.8% -------------------------------------------------------------------------------------- matcher [120] 100.0% [6] 4636(10.3%) 0(0.0%) ??? ...on-ground-truth/src/core/matcher.rkt:127:11 for-loop [19] 94.4% foldl [22] 3.1% for-loop [10] 2.6% -------------------------------------------------------------------------------------- hash-ref! [172] 100.0% [7] 1664(3.7%) 0(0.0%) ??? ...ion-ground-truth/src/core/taylor.rkt:509:23 for-loop [21] 100.0% -------------------------------------------------------------------------------------- for-loop [188] 100.0% [8] 1240(2.7%) 200(0.4%) expand-implicit (unknown source) resolve+shift28 [176] 48.7% datum->syntax6 [153] 18.9% binding-lookup52 [204] 16.3% -------------------------------------------------------------------------------------- hash-ref! [172] 100.0% [9] 1030(2.3%) 0(0.0%) ??? ...ion-ground-truth/src/core/taylor.rkt:290:26 for-loop [23] 100.0% -------------------------------------------------------------------------------------- ??? [6] 100.0% [10] 408(0.9%) 0(0.0%) for-loop ...round-truth/src/core/matcher.rkt:103:4 foldl [22] 100.0% -------------------------------------------------------------------------------------- free-variables [50] 49.8% simplify-node [199] 50.2% [11] 406(0.9%) 0(0.0%) append-map ...t-7.5/collects/racket/list.rkt:586:2 parse-loop389 [26] 50.2% free-variables [50] 49.8% -------------------------------------------------------------------------------------- map [189] 100.0% [12] 200(0.4%) 0(0.0%) taylor-invert ...d-truth/src/core/taylor.rkt:317:0 first-nonzero-exp [27] 100.0% -------------------------------------------------------------------------------------- taylor [36] 100.0% [13] 200(0.4%) 0(0.0%) taylor-log ...ound-truth/src/core/taylor.rkt:502:0 f61 [32] 100.0% -------------------------------------------------------------------------------------- loop [162] 100.0% [14] 200(0.4%) 0(0.0%) stx-pair? .../collects/racket/private/stx.rkt:40:4 syntax-e [20] 100.0% -------------------------------------------------------------------------------------- ??? [1] 100.0% [15] 45158(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [28] 100.0% -------------------------------------------------------------------------------------- approximate9 [2] 100.0% [16] 9236(20.5%) 0(0.0%) loop ...tion-ground-truth/src/core/taylor.rkt:86:4 ??? [164] 69.0% hash-ref! [172] 28.8% map [189] 2.2% -------------------------------------------------------------------------------------- ??? [4] 100.0% [17] 6370(14.1%) 0(0.0%) for-loop ...round-truth/src/core/taylor.rkt:303:27 hash-ref! [172] 95.3% f40 [31] 4.7% -------------------------------------------------------------------------------------- ??? [5] 100.0% [18] 4948(11.0%) 0(0.0%) for-loop ...round-truth/src/core/taylor.rkt:410:33 for-loop [30] 78.7% hash-ref! [172] 21.3% -------------------------------------------------------------------------------------- ??? [6] 100.0% [19] 4636(10.3%) 200(0.4%) for-loop ...ound-truth/src/core/matcher.rkt:129:15 matcher [120] 98.6% -------------------------------------------------------------------------------------- stx-pair? [14] 5.8% t-subst [160] 6.0% loop [163] 17.9% for-loop [188] 70.3% [20] 3448(7.6%) 206(0.5%) syntax-e (unknown source) syntax-e/no-taint [29] 94.0% -------------------------------------------------------------------------------------- ??? [7] 100.0% [21] 1664(3.7%) 0(0.0%) for-loop ...round-truth/src/core/taylor.rkt:513:35 parse-loop402 [33] 100.0% -------------------------------------------------------------------------------------- for-loop [10] 33.6% ??? [6] 66.4% [22] 1216(2.7%) 0(0.0%) foldl ....5/collects/racket/private/list.rkt:229:4 ??? [35] 100.0% -------------------------------------------------------------------------------------- ??? [9] 100.0% [23] 1030(2.3%) 0(0.0%) for-loop ...round-truth/src/core/taylor.rkt:290:52 ??? [34] 47.5% hash-ref! [172] 33.1% f61 [32] 19.4% -------------------------------------------------------------------------------------- approximate9 [2] 100.0% [24] 432(1.0%) 0(0.0%) for-loop ...ground-truth/src/core/taylor.rkt:29:18 taylor [36] 100.0% -------------------------------------------------------------------------------------- approximate9 [2] 100.0% [25] 206(0.5%) 0(0.0%) taylor-quotient ...truth/src/core/taylor.rkt:333:0 simplify [37] 100.0% -------------------------------------------------------------------------------------- append-map [11] 100.0% [26] 204(0.5%) 0(0.0%) parse-loop389 (unknown source) for-loop [38] 100.0% -------------------------------------------------------------------------------------- taylor-invert [12] 100.0% [27] 200(0.4%) 0(0.0%) first-nonzero-exp ...uth/src/core/taylor.rkt:265:0 hash-ref! [172] 100.0% -------------------------------------------------------------------------------------- profile-thunk16 [15] 100.0% [28] 45158(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [39] 100.0% -------------------------------------------------------------------------------------- expand-id-application-form17 [194] 33.1% syntax-e [20] 66.9% [29] 4848(10.7%) 0(0.0%) syntax-e/no-taint (unknown source) loop [163] 100.0% -------------------------------------------------------------------------------------- ??? [5] 9.7% for-loop [18] 90.3% [30] 4308(9.5%) 0(0.0%) for-loop ...round-truth/src/core/taylor.rkt:412:39 hash-ref! [172] 100.0% -------------------------------------------------------------------------------------- for-loop [17] 7.0% ??? [3] 7.2% map [189] 26.2% hash-ref! [172] 59.6% [31] 2852(6.3%) 0(0.0%) f40 (unknown source) map [189] 100.0% -------------------------------------------------------------------------------------- for-loop [23] 11.1% taylor-log [13] 11.1% hash-ref! [172] 33.3% map [189] 44.5% [32] 1802(4.0%) 0(0.0%) f61 (unknown source) eval-const-expr [55] 88.8% composed [44] 11.2% -------------------------------------------------------------------------------------- for-loop [21] 100.0% [33] 1664(3.7%) 0(0.0%) parse-loop402 (unknown source) for-loop [40] 100.0% -------------------------------------------------------------------------------------- ??? [3] 33.0% for-loop [23] 67.0% [34] 1238(2.7%) 0(0.0%) ??? ...ion-ground-truth/src/core/taylor.rkt:293:19 hash-ref! [172] 100.0% -------------------------------------------------------------------------------------- foldl [22] 100.0% [35] 1216(2.7%) 204(0.5%) ??? ...tion-ground-truth/src/core/matcher.rkt:25:7 fallback-update [42] 33.6% core457 [136] 33.2% return/no-unsupplied [210] 16.4% -------------------------------------------------------------------------------------- approximate9 [2] 6.0% hash-ref! [172] 12.0% taylor [36] 30.0% for-loop [24] 51.9% [36] 832(1.8%) 0(0.0%) taylor ...n-ground-truth/src/core/taylor.rkt:169:0 taylor-cbrt [41] 51.9% taylor [36] 30.0% map [189] 12.0% taylor-log [13] 6.0% -------------------------------------------------------------------------------------- taylor-quotient [25] 100.0% [37] 206(0.5%) 0(0.0%) simplify ...-ground-truth/src/core/reduce.rkt:16:0 f16 [43] 100.0% -------------------------------------------------------------------------------------- parse-loop389 [26] 100.0% [38] 204(0.5%) 0(0.0%) for-loop ...ground-truth/src/core/reduce.rkt:95:13 simplify-node [199] 100.0% -------------------------------------------------------------------------------------- for-loop [127] 4.9% run [28] 95.1% [39] 45158(100.0%) 1380(3.1%) .../more-scheme.rkt:261:28 (unknown source) run-improve47 [45] 51.1% prepare-points-intervals [54] 33.4% get-final-combination [47] 4.8% oracle-error [48] 3.5% ??? [207] 1.7% errors [119] 1.5% ??? [164] 1.2% ??? [167] 0.4% eval-errors [123] 0.4% baseline-error [52] 0.4% -------------------------------------------------------------------------------------- parse-loop402 [33] 100.0% [40] 1664(3.7%) 0(0.0%) for-loop ...round-truth/src/core/taylor.rkt:516:59 hash-ref! [172] 100.0% -------------------------------------------------------------------------------------- taylor [36] 100.0% [41] 432(1.0%) 0(0.0%) taylor-cbrt ...und-truth/src/core/taylor.rkt:377:0 parse-loop74 [46] 100.0% -------------------------------------------------------------------------------------- ??? [35] 100.0% [42] 408(0.9%) 0(0.0%) fallback-update ...s/racket/private/dict.rkt:115:2 ??? [164] 51.0% assoc-ref [51] 49.0% -------------------------------------------------------------------------------------- f16 [43] 50.0% simplify [37] 50.0% [43] 206(0.5%) 0(0.0%) f16 (unknown source) f16 [43] 50.0% loop [49] 50.0% -------------------------------------------------------------------------------------- f61 [32] 100.0% [44] 202(0.4%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 free-variables [50] 100.0% -------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [39] 100.0% [45] 24656(54.6%) 0(0.0%) run-improve47 ...ound-truth/src/mainloop.rkt:347:0 for-loop [53] 96.9% prepare-points-intervals [54] 2.1% simplify! [69] 1.0% -------------------------------------------------------------------------------------- taylor-cbrt [41] 6.1% map [189] 26.2% hash-ref! [172] 67.7% [46] 7054(15.6%) 0(0.0%) parse-loop74 (unknown source) eval-const-expr [55] 100.0% -------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [39] 100.0% [47] 2542(5.6%) 0(0.0%) get-final-combination ...th/src/mainloop.rkt:372:0 infer-splitpoints [56] 100.0% -------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [39] 100.0% [48] 1602(3.5%) 0(0.0%) oracle-error ...-ground-truth/src/points.rkt:203:0 for-loop [57] 100.0% -------------------------------------------------------------------------------------- f16 [43] 100.0% [49] 206(0.5%) 0(0.0%) loop ...tion-ground-truth/src/core/reduce.rkt:18:2 type-of [58] 100.0% -------------------------------------------------------------------------------------- append-map [11] 50.0% composed [44] 50.0% [50] 202(0.4%) 0(0.0%) free-variables ...ound-truth/src/programs.rkt:55:0 append-map [11] 50.0% constant? [190] 50.0% -------------------------------------------------------------------------------------- fallback-update [42] 100.0% [51] 200(0.4%) 200(0.4%) assoc-ref ...collects/racket/private/dict.rkt:56:0 -------------------------------------------------------------------------------------- .../more-scheme.rkt:261:28 [39] 100.0% [52] 176(0.4%) 0(0.0%) baseline-error ...round-truth/src/points.rkt:207:0 argmin [105] 100.0% -------------------------------------------------------------------------------------- run-improve47 [45] 100.0% [53] 23888(52.9%) 0(0.0%) for-loop ...on-ground-truth/src/mainloop.rkt:366:4 run-iter! [59] 100.0% -------------------------------------------------------------------------------------- run-improve47 [45] 3.3% .../more-scheme.rkt:261:28 [39] 96.7% [54] 15582(34.5%) 0(0.0%) prepare-points-intervals ...h/src/points.rkt:125:0 loop [60] 100.0% -------------------------------------------------------------------------------------- f61 [32] 18.5% parse-loop74 [46] 81.5% [55] 8654(19.2%) 0(0.0%) eval-const-expr ...nd-truth/src/programs.rkt:119:0 temp85_0 [126] 90.5% eval-prog [62] 7.1% loop [163] 2.4% -------------------------------------------------------------------------------------- get-final-combination [47] 100.0% [56] 2542(5.6%) 0(0.0%) infer-splitpoints ...uth/src/core/regimes.rkt:33:0 for-loop [61] 92.1% loop [163] 7.9% -------------------------------------------------------------------------------------- oracle-error [48] 100.0% [57] 1602(3.5%) 0(0.0%) for-loop ...tion-ground-truth/src/points.rkt:204:2 loop [163] 62.9% map [189] 37.1% -------------------------------------------------------------------------------------- loop [49] 100.0% [58] 206(0.5%) 206(0.5%) type-of ...on-ground-truth/src/type-check.rkt:34:0 -------------------------------------------------------------------------------------- for-loop [53] 100.0% [59] 23888(52.9%) 0(0.0%) run-iter! ...n-ground-truth/src/mainloop.rkt:328:0 gen-series! [63] 42.2% finalize-iter! [65] 30.3% gen-rewrites! [67] 19.4% simplify! [69] 5.6% localize! [71] 1.7% choose-best-alt! [73] 0.8% -------------------------------------------------------------------------------------- prepare-points-intervals [54] 100.0% [60] 15582(34.5%) 194(0.4%) loop ...etection-ground-truth/src/points.rkt:138:4 loop [64] 60.7% ??? [66] 35.5% loop [163] 1.3% andmap [72] 1.3% -------------------------------------------------------------------------------------- infer-splitpoints [56] 100.0% [61] 2342(5.2%) 0(0.0%) for-loop ...ground-truth/src/core/regimes.rkt:46:6 option-on-expr [68] 100.0% -------------------------------------------------------------------------------------- eval-const-expr [55] 100.0% [62] 612(1.4%) 200(0.4%) eval-prog ...on-ground-truth/src/programs.rkt:81:0 inductor [70] 67.3% -------------------------------------------------------------------------------------- run-iter! [59] 100.0% [63] 10074(22.3%) 0(0.0%) gen-series! ...ground-truth/src/mainloop.rkt:161:0 for-loop [74] 100.0% -------------------------------------------------------------------------------------- loop [60] 100.0% [64] 9460(20.9%) 998(2.2%) loop ...detection-ground-truth/src/points.rkt:81:2 ??? [76] 61.0% real->precision [78] 21.4% ??? [75] 7.1% -------------------------------------------------------------------------------------- run-iter! [59] 100.0% [65] 7244(16.0%) 0(0.0%) finalize-iter! ...und-truth/src/mainloop.rkt:279:0 ??? [75] 100.0% -------------------------------------------------------------------------------------- loop [60] 100.0% [66] 5526(12.2%) 398(0.9%) ??? ...detection-ground-truth/src/points.rkt:118:6 loop [163] 59.8% sample-multi-bounded [166] 29.4% ??? [76] 3.6% -------------------------------------------------------------------------------------- run-iter! [59] 100.0% [67] 4636(10.3%) 0(0.0%) gen-rewrites! ...ound-truth/src/mainloop.rkt:184:0 for-loop [77] 100.0% -------------------------------------------------------------------------------------- for-loop [61] 100.0% [68] 2342(5.2%) 0(0.0%) option-on-expr ...truth/src/core/regimes.rkt:125:0 for-loop [79] 82.8% sort-context-on-expr [82] 17.2% -------------------------------------------------------------------------------------- run-improve47 [45] 16.1% run-iter! [59] 83.9% [69] 1586(3.5%) 0(0.0%) simplify! ...n-ground-truth/src/mainloop.rkt:225:0 ??? [80] 100.0% -------------------------------------------------------------------------------------- inductor [70] 43.7% eval-prog [62] 56.3% [70] 412(0.9%) 0(0.0%) inductor ...on-ground-truth/src/programs.rkt:102:4 value? [196] 49.0% inductor [70] 43.7% table-ref [83] 7.3% -------------------------------------------------------------------------------------- run-iter! [59] 100.0% [71] 404(0.9%) 0(0.0%) localize! ...n-ground-truth/src/mainloop.rkt:128:0 localize-error [81] 100.0% -------------------------------------------------------------------------------------- loop [60] 100.0% [72] 200(0.4%) 0(0.0%) andmap ...5/collects/racket/private/map.rkt:102:13 ??? [167] 100.0% -------------------------------------------------------------------------------------- run-iter! [59] 100.0% [73] 200(0.4%) 0(0.0%) choose-best-alt! ...d-truth/src/mainloop.rkt:118:0 ...ow-val-first.rkt:486:18 [84] 100.0% -------------------------------------------------------------------------------------- gen-series! [63] 100.0% [74] 10074(22.3%) 0(0.0%) for-loop ...on-ground-truth/src/mainloop.rkt:168:7 taylor-alt [85] 100.0% -------------------------------------------------------------------------------------- loop [64] 8.5% finalize-iter! [65] 91.5% [75] 7916(17.5%) 400(0.9%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [86] 88.9% ??? [91] 3.4% atab-add-altns [94] 2.6% -------------------------------------------------------------------------------------- ??? [66] 3.4% loop [64] 96.6% [76] 5966(13.2%) 1046(2.3%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-add [88] 43.0% ival-log [89] 26.9% ival-mult [93] 6.1% ??? [95] 3.4% ival-sub [97] 3.1% -------------------------------------------------------------------------------------- gen-rewrites! [67] 100.0% [77] 4636(10.3%) 0(0.0%) for-loop ...n-ground-truth/src/mainloop.rkt:192:11 rewrite-expression-head24 [87] 100.0% -------------------------------------------------------------------------------------- loop [64] 100.0% [78] 2024(4.5%) 0(0.0%) real->precision ...nd-truth/src/programs.rkt:93:11 ??? [164] 89.8% ??? [91] 10.2% -------------------------------------------------------------------------------------- option-on-expr [68] 100.0% [79] 1940(4.3%) 184(0.4%) for-loop ...round-truth/src/core/regimes.rkt:136:4 errors [119] 90.5% -------------------------------------------------------------------------------------- simplify! [69] 100.0% [80] 1586(3.5%) 0(0.0%) ??? ...ion-ground-truth/src/core/simplify.rkt:42:0 egraph-run [90] 100.0% -------------------------------------------------------------------------------------- localize! [71] 100.0% [81] 404(0.9%) 0(0.0%) localize-error ...truth/src/core/localize.rkt:63:0 hash-ref! [172] 100.0% -------------------------------------------------------------------------------------- option-on-expr [68] 100.0% [82] 402(0.9%) 0(0.0%) sort-context-on-expr ...src/core/regimes.rkt:118:0 ??? [92] 100.0% -------------------------------------------------------------------------------------- inductor [70] 100.0% [83] 210(0.5%) 210(0.5%) table-ref ...tion-ground-truth/src/common.rkt:33:0 -------------------------------------------------------------------------------------- choose-best-alt! [73] 100.0% [84] 200(0.4%) 0(0.0%) ...ow-val-first.rkt:486:18 (unknown source) ??? [96] 100.0% -------------------------------------------------------------------------------------- for-loop [74] 100.0% [85] 10074(22.3%) 0(0.0%) taylor-alt ...-ground-truth/src/mainloop.rkt:147:0 for-loop [98] 100.0% -------------------------------------------------------------------------------------- ??? [75] 100.0% [86] 7040(15.6%) 0(0.0%) for-loop ...ound-truth/src/core/alt-table.rkt:55:2 atab-add-altn [99] 68.1% errors [119] 20.2% loop [103] 8.8% loop [112] 2.9% -------------------------------------------------------------------------------------- for-loop [77] 100.0% [87] 4636(10.3%) 0(0.0%) rewrite-expression-head24 ...core/matcher.rkt:85:0 rewriter [100] 100.0% -------------------------------------------------------------------------------------- ??? [76] 100.0% [88] 2564(5.7%) 392(0.9%) ival-add ...ground-truth/src/biginterval.rkt:115:0 bfadd [101] 84.7% -------------------------------------------------------------------------------------- ??? [76] 100.0% [89] 1604(3.6%) 1414(3.1%) ival-log ...ground-truth/src/biginterval.rkt:243:0 bflog [109] 11.8% -------------------------------------------------------------------------------------- ??? [80] 100.0% [90] 1586(3.5%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [102] 100.0% -------------------------------------------------------------------------------------- real->precision [78] 43.1% ??? [75] 56.9% [91] 478(1.1%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:770:8 bigvalue? [104] 100.0% -------------------------------------------------------------------------------------- sort-context-on-expr [82] 100.0% [92] 402(0.9%) 0(0.0%) ??? ...-7.5/collects/racket/private/sort.rkt:369:3 loop [106] 50.2% generic-sort/key [108] 49.8% -------------------------------------------------------------------------------------- ??? [76] 100.0% [93] 366(0.8%) 0(0.0%) ival-mult ...round-truth/src/biginterval.rkt:140:0 bfadd [101] 100.0% -------------------------------------------------------------------------------------- ??? [75] 100.0% [94] 204(0.5%) 0(0.0%) atab-add-altns ...ruth/src/core/alt-table.rkt:49:0 atab-add-altn [99] 100.0% -------------------------------------------------------------------------------------- ??? [76] 100.0% [95] 200(0.4%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ??? [107] 100.0% -------------------------------------------------------------------------------------- ...ow-val-first.rkt:486:18 [84] 100.0% [96] 200(0.4%) 0(0.0%) ??? ...on-ground-truth/src/core/alt-table.rkt:58:0 argmin [105] 100.0% -------------------------------------------------------------------------------------- ??? [76] 100.0% [97] 186(0.4%) 0(0.0%) ival-sub ...ground-truth/src/biginterval.rkt:125:0 bfadd [101] 100.0% -------------------------------------------------------------------------------------- taylor-alt [85] 100.0% [98] 10074(22.3%) 0(0.0%) for-loop ...on-ground-truth/src/mainloop.rkt:153:6 ??? [164] 100.0% -------------------------------------------------------------------------------------- atab-add-altns [94] 4.1% for-loop [86] 95.9% [99] 5000(11.1%) 0(0.0%) atab-add-altn ...ruth/src/core/alt-table.rkt:203:0 errors [119] 95.9% override-at-pnts [113] 4.1% -------------------------------------------------------------------------------------- rewrite-expression-head24 [87] 19.8% matcher [120] 80.2% [100] 4636(10.3%) 602(1.3%) rewriter ...ground-truth/src/core/matcher.rkt:87:2 for-loop [110] 97.9% -------------------------------------------------------------------------------------- ival-sub [97] 6.8% ival-mult [93] 13.4% ival-add [88] 79.7% [101] 2724(6.0%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [181] 50.0% ??? [202] 50.0% -------------------------------------------------------------------------------------- egraph-run [90] 100.0% [102] 1586(3.5%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [111] 100.0% -------------------------------------------------------------------------------------- for-loop [86] 100.0% [103] 616(1.4%) 224(0.5%) loop ...-ground-truth/src/core/alt-table.rkt:177:2 loop [112] 32.5% loop [117] 31.2% -------------------------------------------------------------------------------------- ??? [91] 100.0% [104] 478(1.1%) 478(1.1%) bigvalue? ...round-truth/src/syntax/types.rkt:19:0 -------------------------------------------------------------------------------------- baseline-error [52] 46.8% ??? [96] 53.2% [105] 376(0.8%) 0(0.0%) argmin ...acket-7.5/collects/racket/list.rkt:765:0 ??? [115] 53.2% ??? [118] 46.8% -------------------------------------------------------------------------------------- ??? [92] 100.0% [106] 202(0.4%) 0(0.0%) loop ...7.5/collects/racket/private/sort.rkt:96:12 ??? [164] 100.0% -------------------------------------------------------------------------------------- ??? [95] 100.0% [107] 200(0.4%) 0(0.0%) ??? ...lects/racket/contract/private/orc.rkt:83:14 ??? [114] 100.0% -------------------------------------------------------------------------------------- ??? [92] 100.0% [108] 200(0.4%) 0(0.0%) generic-sort/key .../racket/private/sort.rkt:156:2 copying-mergesort [116] 100.0% -------------------------------------------------------------------------------------- ival-log [89] 100.0% [109] 190(0.4%) 0(0.0%) bflog ...-lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [181] 100.0% -------------------------------------------------------------------------------------- rewriter [100] 100.0% [110] 4636(10.3%) 200(0.4%) for-loop ...ground-truth/src/core/matcher.rkt:89:4 matcher [120] 91.8% for-loop [121] 7.6% -------------------------------------------------------------------------------------- egraph-add-exprs [102] 100.0% [111] 1586(3.5%) 0(0.0%) ??? ...on-ground-truth/src/core/simplify.rkt:102:6 for-loop [122] 100.0% -------------------------------------------------------------------------------------- loop [103] 49.3% for-loop [86] 50.7% [112] 406(0.9%) 406(0.9%) loop ...-7.5/collects/racket/private/hash.rkt:20:4 -------------------------------------------------------------------------------------- atab-add-altn [99] 100.0% [113] 204(0.5%) 0(0.0%) override-at-pnts ...h/src/core/alt-table.rkt:138:0 for-loop [124] 100.0% -------------------------------------------------------------------------------------- ??? [107] 100.0% [114] 200(0.4%) 200(0.4%) ??? ...ects/racket/contract/private/list.rkt:163:5 -------------------------------------------------------------------------------------- argmin [105] 100.0% [115] 200(0.4%) 0(0.0%) ??? ...ection-ground-truth/src/mainloop.rkt:115:10 errors [119] 100.0% -------------------------------------------------------------------------------------- generic-sort/key [108] 25.0% copying-mergesort [116] 75.0% [116] 200(0.4%) 0(0.0%) copying-mergesort ...racket/private/sort.rkt:129:8 copying-mergesort [116] 75.0% jloop [125] 25.0% -------------------------------------------------------------------------------------- loop [103] 2.6% loop [117] 97.4% [117] 192(0.4%) 192(0.4%) loop ...racket-7.5/collects/racket/list.rkt:434:28 loop [117] 97.4% -------------------------------------------------------------------------------------- argmin [105] 100.0% [118] 176(0.4%) 0(0.0%) ??? ...etection-ground-truth/src/points.rkt:208:27 eval-errors [123] 100.0% -------------------------------------------------------------------------------------- ??? [115] 2.2% .../more-scheme.rkt:261:28 [39] 10.0% for-loop [86] 15.7% for-loop [79] 19.3% atab-add-altn [99] 52.8% [119] 9086(20.1%) 0(0.0%) errors ...ection-ground-truth/src/points.rkt:216:0 for-loop [127] 55.3% temp85_0 [126] 44.7% -------------------------------------------------------------------------------------- for-loop [19] 47.8% for-loop [110] 52.2% [120] 4636(10.3%) 400(0.9%) matcher ...ground-truth/src/core/matcher.rkt:115:2 ??? [6] 51.9% rewriter [100] 46.9% constant? [190] 0.5% -------------------------------------------------------------------------------------- for-loop [110] 100.0% [121] 1818(4.0%) 0(0.0%) for-loop ...ground-truth/src/core/matcher.rkt:96:8 fix-up-variables [128] 100.0% -------------------------------------------------------------------------------------- ??? [111] 100.0% [122] 1586(3.5%) 1586(3.5%) for-loop ...ound-truth/src/core/simplify.rkt:121:2 -------------------------------------------------------------------------------------- ??? [118] 46.8% .../more-scheme.rkt:261:28 [39] 53.2% [123] 376(0.8%) 0(0.0%) eval-errors ...n-ground-truth/src/points.rkt:194:0 for-loop [129] 100.0% -------------------------------------------------------------------------------------- override-at-pnts [113] 100.0% [124] 204(0.5%) 204(0.5%) for-loop ...nd-truth/src/core/alt-table.rkt:139:22 -------------------------------------------------------------------------------------- copying-mergesort [116] 100.0% [125] 200(0.4%) 0(0.0%) jloop ...5/collects/racket/private/sort.rkt:120:23 ??? [164] 100.0% -------------------------------------------------------------------------------------- errors [119] 34.1% eval-const-expr [55] 65.9% [126] 11894(26.3%) 0(0.0%) temp85_0 (unknown source) compile15 [130] 100.0% -------------------------------------------------------------------------------------- errors [119] 100.0% [127] 5026(11.1%) 598(1.3%) for-loop ...tion-ground-truth/src/points.rkt:218:2 .../more-scheme.rkt:261:28 [39] 88.1% -------------------------------------------------------------------------------------- for-loop [121] 100.0% [128] 1818(4.0%) 0(0.0%) fix-up-variables ...uth/src/core/matcher.rkt:108:2 for-loop [131] 66.6% pattern-match [132] 33.4% -------------------------------------------------------------------------------------- eval-errors [123] 100.0% [129] 376(0.8%) 0(0.0%) for-loop ...tion-ground-truth/src/points.rkt:196:2 ??? [207] 100.0% -------------------------------------------------------------------------------------- temp85_0 [126] 100.0% [130] 11894(26.3%) 0(0.0%) compile15 (unknown source) temp91_0 [133] 98.3% loop [163] 1.7% -------------------------------------------------------------------------------------- fix-up-variables [128] 100.0% [131] 1210(2.7%) 200(0.4%) for-loop ...ground-truth/src/core/matcher.rkt:41:9 for-loop [134] 83.5% -------------------------------------------------------------------------------------- fix-up-variables [128] 100.0% [132] 608(1.3%) 0(0.0%) pattern-match ...d-truth/src/core/matcher.rkt:29:0 for-loop [134] 100.0% -------------------------------------------------------------------------------------- compile15 [130] 100.0% [133] 11694(25.9%) 0(0.0%) temp91_0 (unknown source) temp118_0 [135] 94.8% compile-top9 [137] 3.4% loop [163] 1.7% -------------------------------------------------------------------------------------- pattern-match [132] 37.6% for-loop [131] 62.4% [134] 1618(3.6%) 402(0.9%) for-loop ...ground-truth/src/core/matcher.rkt:26:9 core457 [136] 75.2% -------------------------------------------------------------------------------------- temp91_0 [133] 100.0% [135] 11090(24.6%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [138] 100.0% -------------------------------------------------------------------------------------- ??? [35] 24.9% for-loop [134] 75.1% [136] 1620(3.6%) 408(0.9%) core457 ...acket/contract/private/arr-i.rkt:976:19 ??? [139] 37.5% un-dep/maybe-chaperone [140] 24.8% or/c [141] 12.5% -------------------------------------------------------------------------------------- temp91_0 [133] 100.0% [137] 400(0.9%) 200(0.4%) compile-top9 (unknown source) compile-forms33 [142] 50.0% -------------------------------------------------------------------------------------- loop [163] 5.2% temp118_0 [135] 94.8% [138] 11702(25.9%) 200(0.4%) expand-capturing-lifts (unknown source) lambda-clause-expander [143] 89.6% dispatch-transformer41 [144] 3.5% loop [163] 3.5% expand-id-application-form17 [194] 1.7% -------------------------------------------------------------------------------------- core457 [136] 100.0% [139] 608(1.3%) 0(0.0%) ??? ...s/racket/contract/private/arr-i.rkt:1288:27 build-nullary-very-simple--> [145] 100.0% -------------------------------------------------------------------------------------- core457 [136] 100.0% [140] 402(0.9%) 0(0.0%) un-dep/maybe-chaperone ...private/arr-i.rkt:1137:2 ??? [146] 50.2% ??? [149] 49.8% -------------------------------------------------------------------------------------- core457 [136] 100.0% [141] 202(0.4%) 202(0.4%) or/c ...lects/racket/contract/private/orc.rkt:16:2 -------------------------------------------------------------------------------------- compile-top9 [137] 100.0% [142] 200(0.4%) 0(0.0%) compile-forms33 (unknown source) for-loop [188] 100.0% -------------------------------------------------------------------------------------- expand-capturing-lifts [138] 100.0% [143] 10484(23.2%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [147] 94.2% loop [163] 5.8% -------------------------------------------------------------------------------------- loop [163] 16.1% expand-capturing-lifts [138] 16.6% for-loop [188] 67.3% [144] 2494(5.5%) 0(0.0%) dispatch-transformer41 (unknown source) apply-transformer52 [148] 100.0% -------------------------------------------------------------------------------------- ??? [139] 100.0% [145] 608(1.3%) 408(0.9%) build-nullary-very-simple--> ...l-first.rkt:1131:0 contract-struct-first-order [150] 32.9% -------------------------------------------------------------------------------------- un-dep/maybe-chaperone [140] 100.0% [146] 202(0.4%) 0(0.0%) ??? ...llects/racket/contract/private/orc.rkt:88:2 ??? [149] 100.0% -------------------------------------------------------------------------------------- lambda-clause-expander [143] 19.8% for-loop [188] 80.2% [147] 9874(21.9%) 200(0.4%) finish-bodys (unknown source) for-loop [188] 99.9% -------------------------------------------------------------------------------------- dispatch-transformer41 [144] 100.0% [148] 2494(5.5%) 200(0.4%) apply-transformer52 (unknown source) apply-transformer-in-context [151] 66.0% loop [163] 26.0% -------------------------------------------------------------------------------------- un-dep/maybe-chaperone [140] 49.8% ??? [146] 50.2% [149] 402(0.9%) 0(0.0%) ??? ...cts/racket/contract/private/guts.rkt:835:10 ??? [152] 100.0% -------------------------------------------------------------------------------------- build-nullary-very-simple--> [145] 100.0% [150] 200(0.4%) 200(0.4%) contract-struct-first-order ...vate/prop.rkt:104:0 -------------------------------------------------------------------------------------- apply-transformer52 [148] 100.0% [151] 1646(3.6%) 200(0.4%) apply-transformer-in-context (unknown source) parse-app [154] 26.1% go [155] 24.4% t-subst [160] 12.6% parse-lambda [156] 12.5% datum->syntax6 [153] 12.2% -------------------------------------------------------------------------------------- ??? [149] 100.0% [152] 402(0.9%) 0(0.0%) ??? ...ntract/private/arrow-higher-order.rkt:575:2 get-blame-party-info [157] 50.2% build-subcontract-late-negs [158] 49.8% -------------------------------------------------------------------------------------- apply-transformer-in-context [151] 46.1% expand-implicit [8] 53.9% [153] 434(1.0%) 234(0.5%) datum->syntax6 (unknown source) loop [163] 46.1% -------------------------------------------------------------------------------------- apply-transformer-in-context [151] 100.0% [154] 430(1.0%) 0(0.0%) parse-app ...collects/racket/private/kw.rkt:1142:2 syntax->list [159] 100.0% -------------------------------------------------------------------------------------- apply-transformer-in-context [151] 100.0% [155] 402(0.9%) 202(0.4%) go .../collects/racket/private/qq-and-or.rkt:50:20 loop [162] 49.8% -------------------------------------------------------------------------------------- apply-transformer-in-context [151] 100.0% [156] 206(0.5%) 0(0.0%) parse-lambda ...llects/racket/private/kw.rkt:619:2 t-subst [160] 100.0% -------------------------------------------------------------------------------------- ??? [152] 100.0% [157] 202(0.4%) 202(0.4%) get-blame-party-info ...ate/arrow-common.rkt:136:0 -------------------------------------------------------------------------------------- ??? [152] 100.0% [158] 200(0.4%) 0(0.0%) build-subcontract-late-negs ...her-order.rkt:711:0 get/build-collapsible-late-neg-projection [161]100.0% -------------------------------------------------------------------------------------- parse-app [154] 100.0% [159] 430(1.0%) 0(0.0%) syntax->list (unknown source) loop [163] 100.0% -------------------------------------------------------------------------------------- parse-lambda [156] 49.8% apply-transformer-in-context [151] 50.2% [160] 414(0.9%) 208(0.5%) t-subst ...lects/racket/private/template.rkt:651:0 syntax-e [20] 49.8% -------------------------------------------------------------------------------------- build-subcontract-late-negs [158] 100.0% [161] 200(0.4%) 200(0.4%) get/build-collapsible-late-neg-projection ...817:0 -------------------------------------------------------------------------------------- go [155] 10.0% loop [162] 90.0% [162] 200(0.4%) 0(0.0%) loop ...llects/racket/private/qq-and-or.rkt:101:61 loop [162] 90.0% stx-pair? [14] 10.0% -------------------------------------------------------------------------------------- datum->syntax6 [153] 0.0% temp91_0 [133] 0.8% compile15 [130] 1.7% infer-splitpoints [56] 1.7% loop [60] 1.7% eval-const-expr [55] 1.7% expand-capturing-lifts [138] 2.5% syntax->list [159] 2.7% apply-transformer52 [148] 3.3% lambda-clause-expander [143] 3.8% for-loop [57] 5.5% for-loop [188] 9.6% ??? [66] 15.2% loop [163] 19.7% syntax-e/no-taint [29] 30.0% [163] 12074(26.7%) 1622(3.6%) loop (unknown source) gf [165] 30.0% loop [163] 19.7% sample-multi-bounded [166] 13.1% expand-id-application-form17 [194] 7.8% expand-capturing-lifts [138] 4.2% syntax-e [20] 2.1% ??? [203] 2.1% dispatch-transformer41 [144] 2.1% core-form-sym [169] 2.1% ??? [164] 1.7% expand-identifier [168] 1.7% ??? [207] 1.7% ??? [167] 1.7% all-critical-subexpressions [170] 1.7% -------------------------------------------------------------------------------------- jloop [125] 1.4% loop [106] 1.4% fallback-update [42] 1.5% loop [163] 2.9% ??? [182] 5.4% .../more-scheme.rkt:261:28 [39] 7.7% real->precision [78] 13.0% loop [16] 15.2% location-do [171] 25.7% for-loop [98] 25.7% [164] 13984(31.0%) 2292(5.1%) ??? ...tract/private/arrow-higher-order.rkt:375:33 location-do [171] 25.7% approximate9 [2] 25.7% hash-ref! [172] 20.6% bf [175] 11.6% -------------------------------------------------------------------------------------- loop [163] 100.0% [165] 4848(10.7%) 1230(2.7%) gf (unknown source) propagation-apply [174] 41.4% propagation-merge [177] 16.9% propagation-apply-shifted [178] 16.3% -------------------------------------------------------------------------------------- ??? [66] 37.4% loop [163] 62.6% [166] 4338(9.6%) 184(0.4%) sample-multi-bounded ...-truth/src/points.rkt:14:0 random-ranges [173] 90.8% for-loop [179] 5.0% -------------------------------------------------------------------------------------- andmap [72] 24.8% loop [163] 25.1% .../more-scheme.rkt:261:28 [39] 50.1% [167] 806(1.8%) 806(1.8%) ??? ...cket-7.5/collects/racket/function.rkt:93:12 -------------------------------------------------------------------------------------- loop [163] 34.2% for-loop [188] 65.8% [168] 608(1.3%) 200(0.4%) expand-identifier (unknown source) resolve+shift28 [176] 67.1% -------------------------------------------------------------------------------------- loop [163] 100.0% [169] 248(0.5%) 0(0.0%) core-form-sym (unknown source) resolve+shift28 [176] 100.0% -------------------------------------------------------------------------------------- loop [163] 100.0% [170] 200(0.4%) 0(0.0%) all-critical-subexpressions ...re/regimes.rkt:75:0 for-loop [180] 100.0% -------------------------------------------------------------------------------------- ??? [164] 31.7% location-do [171] 68.3% [171] 10074(22.3%) 0(0.0%) location-do ...-ground-truth/src/programs.rkt:62:0 location-do [171] 68.3% ??? [164] 31.7% -------------------------------------------------------------------------------------- first-nonzero-exp [27] 0.2% localize-error [81] 0.5% for-loop [23] 1.3% ??? [34] 1.5% for-loop [18] 2.0% for-loop [40] 3.2% map [189] 3.8% loop [16] 5.2% for-loop [30] 10.8% ??? [182] 11.0% for-loop [17] 18.6% ??? [3] 20.0% ??? [164] 21.5% [172] 9440(20.9%) 200(0.4%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [3] 21.2% ??? [4] 19.7% ??? [182] 15.2% ??? [5] 12.9% parse-loop74 [46] 12.2% f40 [31] 5.5% parse-loop30 [185] 4.1% ??? [7] 3.2% ??? [9] 2.6% f61 [32] 1.1% simplify* [186] 0.5% taylor [36] 0.2% -------------------------------------------------------------------------------------- sample-multi-bounded [166] 100.0% [173] 3938(8.7%) 792(1.8%) random-ranges ...ground-truth/src/common.rkt:164:0 build--> [183] 45.3% listof [195] 34.6% -------------------------------------------------------------------------------------- gf [165] 100.0% [174] 2008(4.4%) 2008(4.4%) propagation-apply (unknown source) -------------------------------------------------------------------------------------- ??? [164] 100.0% [175] 1618(3.6%) 202(0.4%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [181] 87.5% -------------------------------------------------------------------------------------- expand-id-application-form17 [194] 14.2% core-form-sym [169] 16.9% expand-identifier [168] 27.8% expand-implicit [8] 41.1% [176] 1468(3.3%) 448(1.0%) resolve+shift28 (unknown source) fallback-loop [184] 69.5% -------------------------------------------------------------------------------------- gf [165] 100.0% [177] 818(1.8%) 818(1.8%) propagation-merge (unknown source) -------------------------------------------------------------------------------------- gf [165] 100.0% [178] 792(1.8%) 792(1.8%) propagation-apply-shifted (unknown source) -------------------------------------------------------------------------------------- sample-multi-bounded [166] 100.0% [179] 216(0.5%) 216(0.5%) for-loop ...ction-ground-truth/src/points.rkt:20:4 -------------------------------------------------------------------------------------- all-critical-subexpressions [170] 100.0% [180] 200(0.4%) 0(0.0%) for-loop ...ground-truth/src/core/regimes.rkt:82:2 loop [187] 100.0% -------------------------------------------------------------------------------------- bflog [109] 6.4% bfadd [101] 45.9% bf [175] 47.7% [181] 2968(6.6%) 2968(6.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 -------------------------------------------------------------------------------------- hash-ref! [172] 100.0% [182] 2660(5.9%) 0(0.0%) ??? ...tion-ground-truth/src/core/taylor.rkt:67:15 hash-ref! [172] 60.5% ??? [164] 36.9% get-coeffs [191] 2.6% -------------------------------------------------------------------------------------- random-ranges [173] 100.0% [183] 1782(3.9%) 782(1.7%) build--> ...act/private/arrow-val-first.rkt:1214:0 coerce-contract [201] 44.9% chaperone-contract? [192] 11.2% -------------------------------------------------------------------------------------- resolve+shift28 [176] 100.0% [184] 1020(2.3%) 208(0.5%) fallback-loop (unknown source) for-loop [188] 79.6% -------------------------------------------------------------------------------------- hash-ref! [172] 100.0% [185] 404(0.9%) 0(0.0%) parse-loop30 (unknown source) map [189] 92.9% for-loop [193] 7.1% -------------------------------------------------------------------------------------- hash-ref! [172] 100.0% [186] 202(0.4%) 0(0.0%) simplify* ...ground-truth/src/core/reduce.rkt:29:0 constant? [190] 100.0% -------------------------------------------------------------------------------------- for-loop [180] 33.3% loop [187] 66.7% [187] 200(0.4%) 200(0.4%) loop ...racket-7.5/collects/racket/list.rkt:417:34 loop [187] 66.7% -------------------------------------------------------------------------------------- compile-forms33 [142] 1.9% fallback-loop [184] 2.3% for-loop [188] 15.4% finish-bodys [147] 80.4% [188] 10282(22.8%) 2072(4.6%) for-loop (unknown source) finish-bodys [147] 67.3% for-loop [188] 15.4% dispatch-transformer41 [144] 4.2% loop [163] 2.1% expand-implicit [8] 1.6% syntax-e [20] 1.2% expand-id-application-form17 [194] 1.1% expand-identifier [168] 0.3% dispatch-variable [197] 0.2% -------------------------------------------------------------------------------------- taylor [36] 2.5% loop [16] 4.9% parse-loop30 [185] 10.0% for-loop [57] 14.7% f40 [31] 66.6% [189] 4050(9.0%) 200(0.4%) map ...t-7.5/collects/racket/private/map.rkt:35:13 parse-loop74 [46] 36.6% f40 [31] 17.6% hash-ref! [172] 10.0% loop [198] 9.9% f61 [32] 7.4% simplify-node [199] 5.0% ??? [203] 4.8% taylor-invert [12] 2.5% -------------------------------------------------------------------------------------- matcher [120] 33.1% simplify* [186] 33.4% free-variables [50] 33.4% [190] 604(1.3%) 0(0.0%) constant? ...und-truth/src/syntax/syntax.rkt:726:0 value? [196] 100.0% -------------------------------------------------------------------------------------- ??? [182] 100.0% [191] 206(0.5%) 0(0.0%) get-coeffs ...round-truth/src/core/taylor.rkt:64:2 listof [195] 100.0% -------------------------------------------------------------------------------------- build--> [183] 100.0% [192] 200(0.4%) 200(0.4%) chaperone-contract? ...ract/private/guts.rkt:135:0 -------------------------------------------------------------------------------------- parse-loop30 [185] 100.0% [193] 200(0.4%) 0(0.0%) for-loop ...ound-truth/src/core/localize.rkt:50:21 for-loop [200] 100.0% -------------------------------------------------------------------------------------- expand-capturing-lifts [138] 8.9% for-loop [188] 10.0% loop [163] 81.1% [194] 2238(5.0%) 0(0.0%) expand-id-application-form17 (unknown source) syntax-e/no-taint [29] 71.8% binding-lookup52 [204] 18.9% resolve+shift28 [176] 9.3% -------------------------------------------------------------------------------------- get-coeffs [191] 13.1% random-ranges [173] 86.9% [195] 1570(3.5%) 206(0.5%) listof .../racket/contract/private/guts.rkt:500:15 coerce-contract [201] 86.9% -------------------------------------------------------------------------------------- inductor [70] 25.1% constant? [190] 74.9% [196] 806(1.8%) 806(1.8%) value? ...n-ground-truth/src/syntax/types.rkt:18:0 -------------------------------------------------------------------------------------- for-loop [188] 100.0% [197] 418(0.9%) 0(0.0%) dispatch-variable (unknown source) substitute-variable6 [205] 100.0% -------------------------------------------------------------------------------------- map [189] 100.0% [198] 400(0.9%) 0(0.0%) loop ...-7.5/collects/racket/private/map.rkt:40:19 ??? [203] 100.0% -------------------------------------------------------------------------------------- for-loop [38] 50.0% map [189] 50.0% [199] 204(0.5%) 0(0.0%) simplify-node ...nd-truth/src/core/reduce.rkt:46:0 append-map [11] 50.0% gather-multiplicative-terms [206] 50.0% -------------------------------------------------------------------------------------- for-loop [193] 100.0% [200] 200(0.4%) 0(0.0%) for-loop ...ound-truth/src/core/localize.rkt:51:23 ??? [202] 100.0% -------------------------------------------------------------------------------------- build--> [183] 37.0% listof [195] 63.0% [201] 2164(4.8%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [208] 100.0% -------------------------------------------------------------------------------------- for-loop [200] 12.8% bfadd [101] 87.2% [202] 1562(3.5%) 1562(3.5%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 -------------------------------------------------------------------------------------- map [189] 19.7% loop [163] 39.8% loop [198] 40.6% [203] 986(2.2%) 402(0.9%) ??? ...etection-ground-truth/src/points.rkt:205:26 ??? [207] 59.2% -------------------------------------------------------------------------------------- expand-implicit [8] 32.3% expand-id-application-form17 [194] 67.7% [204] 626(1.4%) 626(1.4%) binding-lookup52 (unknown source) -------------------------------------------------------------------------------------- dispatch-variable [197] 100.0% [205] 418(0.9%) 418(0.9%) substitute-variable6 (unknown source) -------------------------------------------------------------------------------------- simplify-node [199] 100.0% [206] 204(0.5%) 204(0.5%) gather-multiplicative-terms ...re/reduce.rkt:110:0 -------------------------------------------------------------------------------------- for-loop [129] 12.8% loop [163] 13.9% ??? [203] 19.9% .../more-scheme.rkt:261:28 [39] 53.4% [207] 2942(6.5%) 1890(4.2%) ??? ...n-ground-truth/src/syntax/syntax.rkt:214:17 return/no-unsupplied [210] 35.8% -------------------------------------------------------------------------------------- coerce-contract [201] 100.0% [208] 2164(4.8%) 202(0.4%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [209] 90.7% -------------------------------------------------------------------------------------- coerce-contract/f [208] 100.0% [209] 1962(4.3%) 1962(4.3%) coerce-simple-value ...ract/private/guts.rkt:385:0 -------------------------------------------------------------------------------------- ??? [35] 16.0% ??? [207] 84.0% [210] 1252(2.8%) 860(1.9%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 filter [211] 31.3% -------------------------------------------------------------------------------------- return/no-unsupplied [210] 100.0% [211] 392(0.9%) 392(0.9%) filter ...5/collects/racket/private/list.rkt:256:2 --------------------------------------------------------------------------------------