Profiling results
-----------------
  Total cpu time observed: 125400ms (out of 126580ms)
  Number of samples taken: 367 (once every 342ms)
  (Hiding functions with self<1.0% and local<2.0%: 3 of 157 hidden)

=========================================================================
                                    Caller
  Idx     Total         Self      Name+src                         Local%
          ms(pct)       ms(pct)     Callee
=========================================================================
                                    ??? [50]                       100.0%
  [1] 125400(100.0%)     0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                                    run [7]                        100.0%
-------------------------------------------------------------------------
                                    ??? [50]                       100.0%
  [2]  75570(60.3%)      0(0.0%)  run-improve40 ...ie/develop/src/mainloop.rkt:336:0
                                    for-loop [8]                    98.7%
                                    loop [58]                        0.9%
                                    simplify! [12]                   0.5%
-------------------------------------------------------------------------
                                    loop [90]                      100.0%
  [3]   5162(4.1%)       0(0.0%)  composed ...ollects/racket/private/list.rkt:321:16
                                    ??? [116]                      100.0%
-------------------------------------------------------------------------
                                    ??? [50]                       100.0%
  [4]   3660(2.9%)       0(0.0%)  get-final-combination ...op/src/mainloop.rkt:357:0
                                    infer-splitpoints [9]          100.0%
-------------------------------------------------------------------------
                                    substitute-e [71]               23.8%
                                    match-e [55]                    76.2%
  [5]   1286(1.0%)       0(0.0%)  variable? .../develop/src/syntax/syntax.rkt:1159:0
                                    ??? [18]                       100.0%
-------------------------------------------------------------------------
                                    copying-mergesort [40]         100.0%
  [6]    324(0.3%)       0(0.0%)  jloop ...0/collects/racket/private/sort.rkt:120:23
                                    ??? [116]                      100.0%
-------------------------------------------------------------------------
                                    profile-thunk16 [1]            100.0%
  [7] 125400(100.0%)     0(0.0%)  run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2
                                    ??? [50]                       100.0%
-------------------------------------------------------------------------
                                    run-improve40 [2]              100.0%
  [8]  74562(59.5%)      0(0.0%)  for-loop .../herbie/develop/src/mainloop.rkt:351:4
                                    run-iter! [10]                 100.0%
-------------------------------------------------------------------------
                                    get-final-combination [4]      100.0%
  [9]   3660(2.9%)       0(0.0%)  infer-splitpoints ...lop/src/core/regimes.rkt:34:0
                                    for-loop [11]                  100.0%
-------------------------------------------------------------------------
                                    for-loop [8]                   100.0%
 [10]  74562(59.5%)      0(0.0%)  run-iter! ...herbie/develop/src/mainloop.rkt:317:0
                                    simplify! [12]                  71.8%
                                    finalize-iter! [13]             21.2%
                                    localize! [14]                   5.6%
                                    choose-best-alt! [16]            1.4%
-------------------------------------------------------------------------
                                    infer-splitpoints [9]          100.0%
 [11]   3660(2.9%)       0(0.0%)  for-loop ...rbie/develop/src/core/regimes.rkt:46:6
                                    option-on-expr [15]            100.0%
-------------------------------------------------------------------------
                                    run-improve40 [2]                0.7%
                                    run-iter! [10]                  99.3%
 [12]  53898(43.0%)      0(0.0%)  simplify! ...herbie/develop/src/mainloop.rkt:213:0
                                    ??? [17]                       100.0%
-------------------------------------------------------------------------
                                    run-iter! [10]                 100.0%
 [13]  15790(12.6%)      0(0.0%)  finalize-iter! ...e/develop/src/mainloop.rkt:268:0
                                    ??? [18]                       100.0%
-------------------------------------------------------------------------
                                    run-iter! [10]                 100.0%
 [14]   4200(3.3%)       0(0.0%)  localize! ...herbie/develop/src/mainloop.rkt:116:0
                                    localize-error [19]            100.0%
-------------------------------------------------------------------------
                                    for-loop [11]                  100.0%
 [15]   3660(2.9%)       0(0.0%)  option-on-expr ...velop/src/core/regimes.rkt:150:0
                                    for-loop [20]                   45.2%
                                    sort-context-on-expr [21]       26.6%
                                    loop [90]                       19.2%
                                    err-lsts->split-indices [22]     9.0%
-------------------------------------------------------------------------
                                    run-iter! [10]                 100.0%
 [16]   1030(0.8%)       0(0.0%)  choose-best-alt! ...develop/src/mainloop.rkt:107:0
                                    ??? [18]                       100.0%
-------------------------------------------------------------------------
                                    simplify! [12]                 100.0%
 [17]  53898(43.0%)      0(0.0%)  ??? ...s/herbie/develop/src/core/simplify.rkt:26:0
                                    for-loop [23]                   88.6%
                                    loop [25]                        9.1%
                                    one-iter [29]                    2.3%
-------------------------------------------------------------------------
                                    inductor [53]                    0.9%
                                    choose-best-alt! [16]            5.3%
                                    variable? [5]                    6.6%
                                    match-e [55]                     6.9%
                                    finalize-iter! [13]             80.3%
 [18]  19448(15.5%)   2982(2.4%)  ??? ...contract/private/arrow-val-first.rkt:388:18
                                    for-loop [24]                   80.3%
                                    ??? [26]                         5.3%
-------------------------------------------------------------------------
                                    localize! [14]                 100.0%
 [19]   4200(3.3%)       0(0.0%)  localize-error ...velop/src/core/localize.rkt:52:0
                                    hash-ref! [59]                 100.0%
-------------------------------------------------------------------------
                                    option-on-expr [15]            100.0%
 [20]   1656(1.3%)       0(0.0%)  for-loop ...bie/develop/src/core/regimes.rkt:158:4
                                    errors [37]                    100.0%
-------------------------------------------------------------------------
                                    option-on-expr [15]            100.0%
 [21]    974(0.8%)       0(0.0%)  sort-context-on-expr ...src/core/regimes.rkt:145:0
                                    ??? [27]                       100.0%
-------------------------------------------------------------------------
                                    option-on-expr [15]            100.0%
 [22]    328(0.3%)       0(0.0%)  err-lsts->split-indices .../core/regimes.rkt:281:0
                                    loop [28]                      100.0%
-------------------------------------------------------------------------
                                    ??? [17]                       100.0%
 [23]  47736(38.1%)      0(0.0%)  for-loop ...bie/develop/src/core/simplify.rkt:33:2
                                    one-iter [29]                  100.0%
-------------------------------------------------------------------------
                                    ??? [18]                       100.0%
 [24]  15790(12.6%)      0(0.0%)  for-loop ...ie/develop/src/core/alt-table.rkt:56:2
                                    atab-add-altn [30]              88.5%
                                    loop [32]                       11.5%
-------------------------------------------------------------------------
                                    ??? [17]                       100.0%
 [25]   4916(3.9%)     328(0.3%)  loop ...herbie/develop/src/core/simplify.rkt:143:2
                                    for-loop [31]                   87.2%
                                    debug5 [35]                      6.1%
-------------------------------------------------------------------------
                                    ??? [18]                       100.0%
 [26]   1030(0.8%)       0(0.0%)  ??? .../herbie/develop/src/core/alt-table.rkt:59:0
                                    ??? [123]                      100.0%
-------------------------------------------------------------------------
                                    sort-context-on-expr [21]      100.0%
 [27]    974(0.8%)       0(0.0%)  ??? ...-7.0/collects/racket/private/sort.rkt:369:3
                                    generic-sort/key [33]          100.0%
-------------------------------------------------------------------------
                                    err-lsts->split-indices [22]   100.0%
 [28]    328(0.3%)       0(0.0%)  loop .../herbie/develop/src/core/regimes.rkt:332:4
                                    for-loop [34]                  100.0%
-------------------------------------------------------------------------
                                    ??? [17]                         2.5%
                                    for-loop [23]                   97.5%
 [29]  48982(39.1%)      0(0.0%)  one-iter ...bie/develop/src/core/simplify.rkt:86:0
                                    for-loop [36]                   67.7%
                                    find-matches [38]               32.3%
-------------------------------------------------------------------------
                                    for-loop [24]                  100.0%
 [30]  13982(11.1%)      0(0.0%)  atab-add-altn ...elop/src/core/alt-table.rkt:202:0
                                    errors [37]                     95.8%
                                    override-at-pnts [41]            4.2%
-------------------------------------------------------------------------
                                    loop [25]                      100.0%
 [31]   4288(3.4%)       0(0.0%)  for-loop ...ie/develop/src/core/simplify.rkt:149:4
                                    loop [39]                       53.5%
                                    argmin [68]                     22.7%
                                    expression-cost [46]            15.5%
                                    make-sequence [70]               8.3%
-------------------------------------------------------------------------
                                    for-loop [24]                  100.0%
 [32]   1808(1.4%)    1808(1.4%)  loop ...erbie/develop/src/core/alt-table.rkt:176:2
-------------------------------------------------------------------------
                                    ??? [27]                       100.0%
 [33]    974(0.8%)       0(0.0%)  generic-sort/key .../racket/private/sort.rkt:156:2
                                    copying-mergesort [40]         100.0%
-------------------------------------------------------------------------
                                    loop [28]                      100.0%
 [34]    328(0.3%)       0(0.0%)  for-loop ...bie/develop/src/core/regimes.rkt:297:4
                                    for-loop [42]                  100.0%
-------------------------------------------------------------------------
                                    loop [25]                      100.0%
 [35]    300(0.2%)     300(0.2%)  debug5 ...tlies/herbie/develop/src/debug.rkt:102:0
-------------------------------------------------------------------------
                                    one-iter [29]                  100.0%
 [36]  33160(26.4%)      0(0.0%)  for-loop ...bie/develop/src/core/simplify.rkt:95:2
                                    loop [43]                       99.0%
                                    update-leader! [80]              1.0%
-------------------------------------------------------------------------
                                    ??? [147]                        4.4%
                                    for-loop [20]                    7.0%
                                    ??? [50]                        31.9%
                                    atab-add-altn [30]              56.7%
 [37]  23626(18.8%)      0(0.0%)  errors ...lies/herbie/develop/src/points.rkt:228:0
                                    for-loop [44]                   98.5%
                                    eval-prog [48]                   1.5%
-------------------------------------------------------------------------
                                    one-iter [29]                  100.0%
 [38]  15822(12.6%)      0(0.0%)  find-matches ...develop/src/core/simplify.rkt:56:0
                                    for-loop [45]                  100.0%
-------------------------------------------------------------------------
                                    for-loop [31]                  100.0%
 [39]   2294(1.8%)       0(0.0%)  loop .../racket-7.0/collects/racket/list.rkt:751:4
                                    for-loop [81]                   55.8%
                                    expression-cost [46]            44.2%
-------------------------------------------------------------------------
                                    generic-sort/key [33]           41.7%
                                    copying-mergesort [40]          58.3%
 [40]    974(0.8%)     326(0.3%)  copying-mergesort ...racket/private/sort.rkt:129:8
                                    copying-mergesort [40]          58.3%
                                    loop [49]                       16.6%
                                    jloop [6]                        8.3%
-------------------------------------------------------------------------
                                    atab-add-altn [30]             100.0%
 [41]    584(0.5%)       0(0.0%)  override-at-pnts ...p/src/core/alt-table.rkt:138:0
                                    for-loop [47]                  100.0%
-------------------------------------------------------------------------
                                    for-loop [34]                  100.0%
 [42]    328(0.3%)       0(0.0%)  for-loop ...bie/develop/src/core/regimes.rkt:301:8
                                    curried [112]                  100.0%
-------------------------------------------------------------------------
                                    for-loop [36]                  100.0%
 [43]  32812(26.2%)      0(0.0%)  loop ...herbie/develop/src/core/simplify.rkt:100:4
                                    apply-match [51]               100.0%
-------------------------------------------------------------------------
                                    errors [37]                    100.0%
 [44]  23272(18.6%)    918(0.7%)  for-loop ...es/herbie/develop/src/points.rkt:230:2
                                    ??? [50]                        96.1%
-------------------------------------------------------------------------
                                    for-loop [45]                   50.0%
                                    find-matches [38]               50.0%
 [45]  15822(12.6%)   1598(1.3%)  for-loop ...bie/develop/src/core/simplify.rkt:58:8
                                    for-loop [45]                   50.0%
                                    match-e [55]                    45.0%
-------------------------------------------------------------------------
                                    argmin [68]                     27.9%
                                    for-loop [31]                   28.5%
                                    loop [39]                       43.6%
 [46]   2328(1.9%)     352(0.3%)  expression-cost .../develop/src/programs.rkt:204:0
                                    compile [52]                    84.9%
-------------------------------------------------------------------------
                                    override-at-pnts [41]          100.0%
 [47]    584(0.5%)     584(0.5%)  for-loop .../develop/src/core/alt-table.rkt:139:22
-------------------------------------------------------------------------
                                    errors [37]                    100.0%
 [48]    354(0.3%)       0(0.0%)  eval-prog ...herbie/develop/src/programs.rkt:130:0
                                    inductor [53]                  100.0%
-------------------------------------------------------------------------
                                    copying-mergesort [40]         100.0%
 [49]    324(0.3%)       0(0.0%)  loop ...7.0/collects/racket/private/sort.rkt:96:12
                                    </total [54]                   100.0%
-------------------------------------------------------------------------
                                    for-loop [44]                    5.9%
                                    run [7]                         47.0%
 [50] 125400(100.0%)     0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                    profile-thunk16 [1]             47.0%
                                    run-improve40 [2]               28.3%
                                    oracle-error [56]                7.3%
                                    loop [58]                        5.7%
                                    ??? [116]                        5.6%
                                    eval-errors [92]                 2.2%
                                    errors [37]                      2.0%
                                    get-final-combination [4]        1.3%
                                    ??? [123]                        0.3%
                                    baseline-error [60]              0.1%
                                    ??? [125]                        0.1%
-------------------------------------------------------------------------
                                    loop [43]                      100.0%
 [51]  32812(26.2%)      0(0.0%)  apply-match .../develop/src/core/simplify.rkt:65:0
                                    for-loop [57]                   46.2%
                                    match-e [55]                    34.0%
                                    set [91]                        17.0%
                                    custom-set-intersect [61]        1.0%
-------------------------------------------------------------------------
                                    expression-cost [46]           100.0%
 [52]   1976(1.6%)     334(0.3%)  compile ...s/herbie/develop/src/programs.rkt:181:0
                                    hash-ref! [59]                  83.1%
-------------------------------------------------------------------------
                                    eval-prog [48]                  20.0%
                                    inductor [53]                   80.0%
 [53]    354(0.3%)       0(0.0%)  inductor .../herbie/develop/src/programs.rkt:135:4
                                    inductor [53]                   80.0%
                                    ??? [18]                        20.0%
-------------------------------------------------------------------------
                                    loop [49]                      100.0%
 [54]    324(0.3%)     324(0.3%)  </total ...lies/herbie/develop/src/float.rkt:107:0
-------------------------------------------------------------------------
                                    apply-match [51]                27.6%
                                    for-loop [74]                   27.8%
                                    for-loop [45]                   44.6%
 [55]  25378(20.2%)   2500(2.0%)  match-e ...herbie/develop/src/core/ematch.rkt:39:0
                                    for-loop [62]                   89.0%
                                    ??? [18]                         1.8%
                                    variable? [5]                    1.3%
                                    make-sequence [70]               0.7%
-------------------------------------------------------------------------
                                    ??? [50]                       100.0%
 [56]  18386(14.7%)      0(0.0%)  oracle-error ...erbie/develop/src/points.rkt:212:0
                                    for-loop [63]                  100.0%
-------------------------------------------------------------------------
                                    apply-match [51]               100.0%
 [57]  15148(12.1%)      0(0.0%)  for-loop ...bie/develop/src/core/simplify.rkt:78:2
                                    merge-egraph-nodes! [64]        66.0%
                                    dedup-children! [93]            23.7%
                                    mk-enode! [98]                   6.4%
                                    substitute-e [71]                4.0%
-------------------------------------------------------------------------
                                    run-improve40 [2]                4.3%
                                    ??? [50]                        95.7%
 [58]  15056(12.0%)      0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:304:2
                                    loop [75]                       59.4%
                                    loop [65]                       36.3%
                                    for-loop [72]                    2.2%
                                    make-exacts-walkup [79]          2.1%
-------------------------------------------------------------------------
                                    ??? [69]                        11.0%
                                    map [76]                        15.5%
                                    compile [52]                    17.1%
                                    loop [90]                       20.3%
                                    localize-error [19]             36.1%
 [59]   5842(4.7%)    1642(1.3%)  hash-ref! .../racket/private/more-scheme.rkt:376:2
                                    parse-loop15 [66]               51.6%
                                    f9 [67]                         20.3%
                                    ??? [69]                        11.0%
-------------------------------------------------------------------------
                                    ??? [50]                       100.0%
 [60]    324(0.3%)       0(0.0%)  baseline-error ...bie/develop/src/points.rkt:216:0
                                    argmin [68]                    100.0%
-------------------------------------------------------------------------
                                    apply-match [51]               100.0%
 [61]    322(0.3%)       0(0.0%)  custom-set-intersect ...rivate/set-types.rkt:195:0
                                    for-loop [73]                  100.0%
-------------------------------------------------------------------------
                                    match-e [55]                   100.0%
 [62]  24082(19.2%)   8816(7.0%)  for-loop ...rbie/develop/src/core/ematch.rkt:52:11
                                    for-loop [74]                   38.1%
                                    loop [90]                       22.7%
                                    cp-2 [96]                        5.3%
                                    foldr [82]                       3.9%
                                    cartesian-product [83]           3.2%
                                    foldl [108]                      2.0%
                                    curry* [89]                      0.7%
-------------------------------------------------------------------------
                                    oracle-error [56]              100.0%
 [63]  18386(14.7%)      0(0.0%)  for-loop ...es/herbie/develop/src/points.rkt:213:2
                                    loop [90]                       71.2%
                                    map [76]                        28.8%
-------------------------------------------------------------------------
                                    merge-egraph-nodes! [64]         7.6%
                                    for-loop [78]                   12.4%
                                    for-loop [57]                   80.0%
 [64]   9994(8.0%)       0(0.0%)  merge-egraph-nodes! ...p/src/core/egraph.rkt:145:0
                                    loop! [77]                      44.2%
                                    update-leader! [80]             20.2%
                                    for-loop [78]                   20.0%
                                    merge-egraph-nodes! [64]         7.6%
                                    enode-merge! [84]                5.0%
                                    dedup-children! [93]             3.0%
-------------------------------------------------------------------------
                                    loop [58]                      100.0%
 [65]   5470(4.4%)       0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:265:2
                                    loop [75]                       56.0%
                                    make-exacts-walkup [79]         44.0%
-------------------------------------------------------------------------
                                    hash-ref! [59]                 100.0%
 [66]   3876(3.1%)       0(0.0%)  parse-loop15 ...s/racket/match/compiler.rkt:418:15
                                    loop [90]                       60.7%
                                    loop [95]                       26.8%
                                    map [76]                        12.5%
-------------------------------------------------------------------------
                                    ulp-difference [120]            11.5%
                                    hash-ref! [59]                  88.5%
 [67]   2576(2.1%)     296(0.2%)  f9 ....0/collects/racket/match/compiler.rkt:507:40
                                    map [76]                        88.5%
-------------------------------------------------------------------------
                                    baseline-error [60]             25.0%
                                    for-loop [31]                   75.0%
 [68]   1298(1.0%)       0(0.0%)  argmin ...acket-7.0/collects/racket/list.rkt:765:0
                                    expression-cost [46]            50.1%
                                    ??? [87]                        25.0%
                                    for-loop [81]                   25.0%
-------------------------------------------------------------------------
                                    hash-ref! [59]                 100.0%
 [69]    976(0.8%)       0(0.0%)  ??? ...tlies/herbie/develop/src/programs.rkt:189:5
                                    hash-ref! [59]                 100.0%
-------------------------------------------------------------------------
                                    match-e [55]                    48.1%
                                    for-loop [31]                   51.9%
 [70]    686(0.5%)     686(0.5%)  make-sequence ...ects/racket/private/for.rkt:528:2
-------------------------------------------------------------------------
                                    for-loop [85]                   33.9%
                                    for-loop [57]                   66.1%
 [71]    602(0.5%)       0(0.0%)  substitute-e ...e/develop/src/core/ematch.rkt:64:0
                                    for-loop [85]                   83.1%
                                    variable? [5]                   16.9%
-------------------------------------------------------------------------
                                    loop [58]                      100.0%
 [72]    328(0.3%)       0(0.0%)  for-loop ...s/herbie/develop/src/points.rkt:323:31
                                    for-loop [86]                  100.0%
-------------------------------------------------------------------------
                                    custom-set-intersect [61]      100.0%
 [73]    322(0.3%)       0(0.0%)  for-loop ...cts/racket/private/set-types.rkt:207:3
                                    for-loop [88]                  100.0%
-------------------------------------------------------------------------
                                    for-loop [62]                  100.0%
 [74]  13870(11.1%)    632(0.5%)  for-loop ...rbie/develop/src/core/ematch.rkt:58:37
                                    match-e [55]                    95.4%
-------------------------------------------------------------------------
                                    loop [65]                       25.5%
                                    loop [58]                       74.5%
 [75]  12006(9.6%)       0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:248:4
                                    loop [90]                       94.5%
                                    loop [99]                        5.5%
-------------------------------------------------------------------------
                                    parse-loop15 [66]                4.3%
                                    f9 [67]                         14.6%
                                    loop [90]                       16.5%
                                    for-loop [63]                   64.6%
 [76]   8184(6.5%)       0(0.0%)  map ...t-7.0/collects/racket/private/map.rkt:35:13
                                    ??? [104]                       61.0%
                                    ??? [123]                       16.5%
                                    hash-ref! [59]                  13.9%
                                    loop [90]                        7.6%
                                    loop [95]                        1.0%
-------------------------------------------------------------------------
                                    loop [90]                       14.7%
                                    merge-egraph-nodes! [64]        85.3%
 [77]   5446(4.3%)    1584(1.3%)  loop! ...s/herbie/develop/src/core/enode.rkt:191:2
                                    custom-set-union [109]          46.5%
                                    loop [90]                       26.7%
                                    update-en-expr [100]             3.2%
                                    set [91]                         3.0%
-------------------------------------------------------------------------
                                    merge-egraph-nodes! [64]       100.0%
 [78]   3174(2.5%)       0(0.0%)  for-loop ...rbie/develop/src/core/egraph.rkt:199:4
                                    merge-egraph-nodes! [64]        76.0%
                                    dedup-children! [93]            24.0%
-------------------------------------------------------------------------
                                    loop [58]                       11.6%
                                    loop [65]                       88.4%
 [79]   2722(2.2%)       0(0.0%)  make-exacts-walkup ...develop/src/points.rkt:245:0
                                    loop [90]                      100.0%
-------------------------------------------------------------------------
                                    for-loop [36]                   12.9%
                                    merge-egraph-nodes! [64]        87.1%
 [80]   2706(2.2%)     310(0.2%)  update-leader! ...evelop/src/core/egraph.rkt:213:0
                                    for-loop [94]                   88.5%
-------------------------------------------------------------------------
                                    argmin [68]                     20.2%
                                    loop [39]                       79.8%
 [81]   1604(1.3%)       0(0.0%)  for-loop .../herbie/develop/src/programs.rkt:205:2
                                    table-ref [97]                 100.0%
-------------------------------------------------------------------------
                                    for-loop [62]                  100.0%
 [82]   1572(1.3%)     918(0.7%)  foldr ....0/collects/racket/private/list.rkt:242:4
                                    cp-2 [96]                       41.6%
-------------------------------------------------------------------------
                                    for-loop [62]                  100.0%
 [83]   1520(1.2%)    1520(1.2%)  cartesian-product ...ollects/racket/list.rkt:822:0
-------------------------------------------------------------------------
                                    merge-egraph-nodes! [64]       100.0%
 [84]    660(0.5%)     330(0.3%)  enode-merge! ...e/develop/src/core/enode.rkt:128:0
                                    adopt-enode! [101]              50.0%
-------------------------------------------------------------------------
                                    substitute-e [71]              100.0%
 [85]    602(0.5%)       0(0.0%)  for-loop ...rbie/develop/src/core/ematch.rkt:73:24
                                    substitute-e [71]               50.8%
                                    mk-enode! [98]                  49.2%
-------------------------------------------------------------------------
                                    for-loop [72]                  100.0%
 [86]    328(0.3%)       0(0.0%)  for-loop ...s/herbie/develop/src/points.rkt:324:32
                                    random-posit16 [102]           100.0%
-------------------------------------------------------------------------
                                    argmin [68]                    100.0%
 [87]    324(0.3%)       0(0.0%)  ??? ...htlies/herbie/develop/src/points.rkt:217:27
                                    eval-errors [92]               100.0%
-------------------------------------------------------------------------
                                    for-loop [73]                  100.0%
 [88]    322(0.3%)     322(0.3%)  for-loop ...cts/racket/private/set-types.rkt:201:4
-------------------------------------------------------------------------
                                    for-loop [62]                  100.0%
 [89]    320(0.3%)       0(0.0%)  curry* ...et-7.0/collects/racket/function.rkt:44:2
                                    procedure-arity [103]          100.0%
-------------------------------------------------------------------------
                                    loop [75]                        0.2%
                                    option-on-expr [15]              0.2%
                                    make-exacts-walkup [79]          0.2%
                                    map [76]                         0.8%
                                    for-loop [62]                    0.8%
                                    loop! [77]                       1.8%
                                    parse-loop15 [66]                2.7%
                                    for-loop [63]                   26.5%
                                    loop [90]                       66.9%
 [90]  39092(31.2%)   3398(2.7%)  loop ...-7.0/collects/racket/private/map.rkt:40:19
                                    loop [90]                       66.9%
                                    ??? [116]                       19.4%
                                    ??? [104]                        6.0%
                                    hash-ref! [59]                   2.6%
                                    loop! [77]                       1.7%
                                    point-error [114]                1.6%
                                    foldl [108]                      0.8%
                                    ??? [123]                        0.6%
                                    map [76]                         0.2%
                                    composed [3]                     0.1%
                                    curried [112]                    0.0%
-------------------------------------------------------------------------
                                    loop! [77]                       5.6%
                                    apply-match [51]                94.4%
 [91]   5898(4.7%)    1040(0.8%)  set ...collects/racket/private/set-types.rkt:981:0
                                    for-loop [107]                  82.4%
-------------------------------------------------------------------------
                                    ??? [87]                         5.5%
                                    ??? [50]                        94.5%
 [92]   5838(4.7%)       0(0.0%)  eval-errors ...herbie/develop/src/points.rkt:203:0
                                    for-loop [105]                 100.0%
-------------------------------------------------------------------------
                                    merge-egraph-nodes! [64]        11.9%
                                    for-loop [78]                   18.0%
                                    for-loop [57]                   70.1%
 [93]   5116(4.1%)       0(0.0%)  dedup-children! ...evelop/src/core/enode.rkt:199:0
                                    loop [106]                     100.0%
-------------------------------------------------------------------------
                                    update-leader! [80]            100.0%
 [94]   2396(1.9%)       0(0.0%)  for-loop ...rbie/develop/src/core/egraph.rkt:218:6
                                    for-loop [111]                  57.0%
                                    hash-update! [117]              43.0%
-------------------------------------------------------------------------
                                    map [76]                         1.1%
                                    parse-loop15 [66]               18.9%
                                    loop [95]                       80.1%
 [95]   1964(1.6%)       0(0.0%)  loop ...-7.0/collects/racket/private/map.rkt:54:19
                                    loop [95]                       80.1%
                                    ??? [123]                       18.9%
-------------------------------------------------------------------------
                                    foldr [82]                      33.9%
                                    for-loop [62]                   66.1%
 [96]   1928(1.5%)     348(0.3%)  cp-2 .../racket-7.0/collects/racket/list.rkt:826:2
                                    for-loop [110]                  82.0%
-------------------------------------------------------------------------
                                    for-loop [81]                  100.0%
 [97]   1604(1.3%)    1604(1.3%)  table-ref ...es/herbie/develop/src/common.rkt:42:0
-------------------------------------------------------------------------
                                    for-loop [85]                   23.5%
                                    for-loop [57]                   76.5%
 [98]   1262(1.0%)     956(0.8%)  mk-enode! ...rbie/develop/src/core/egraph.rkt:99:0
                                    new-enode [115]                 24.2%
-------------------------------------------------------------------------
                                    loop [75]                      100.0%
 [99]    660(0.5%)       0(0.0%)  loop ...-7.0/collects/racket/private/map.rkt:277:4
                                    =-or-nan? [113]                100.0%
-------------------------------------------------------------------------
                                    loop! [77]                     100.0%
[100]    344(0.3%)     344(0.3%)  update-en-expr ...evelop/src/core/egraph.rkt:207:0
-------------------------------------------------------------------------
                                    enode-merge! [84]              100.0%
[101]    330(0.3%)       0(0.0%)  adopt-enode! ...e/develop/src/core/enode.rkt:104:0
                                    custom-set-union [109]         100.0%
-------------------------------------------------------------------------
                                    for-loop [86]                  100.0%
[102]    328(0.3%)     328(0.3%)  random-posit16 ...softposit-rkt/softposit.rkt:64:0
-------------------------------------------------------------------------
                                    curry* [89]                    100.0%
[103]    320(0.3%)     320(0.3%)  procedure-arity ...ket/private/norm-arity.rkt:7:27
-------------------------------------------------------------------------
                                    loop [90]                       33.2%
                                    map [76]                        66.8%
[104]   7472(6.0%)       0(0.0%)  ??? ...htlies/herbie/develop/src/points.rkt:214:26
                                    ??? [116]                       91.9%
                                    ??? [123]                        4.1%
                                    ??? [125]                        4.0%
-------------------------------------------------------------------------
                                    eval-errors [92]               100.0%
[105]   5838(4.7%)       0(0.0%)  for-loop ...es/herbie/develop/src/points.rkt:205:2
                                    ??? [116]                       89.3%
                                    ulp-difference [120]             5.5%
                                    ??? [123]                        5.1%
-------------------------------------------------------------------------
                                    dedup-children! [93]             4.1%
                                    loop [106]                      95.9%
[106]   5116(4.1%)    5116(4.1%)  loop ...racket-7.0/collects/racket/list.rkt:434:17
                                    loop [106]                      95.9%
-------------------------------------------------------------------------
                                    set [91]                       100.0%
[107]   4858(3.9%)    4858(3.9%)  for-loop ...cts/racket/private/set-types.rkt:937:4
-------------------------------------------------------------------------
                                    for-loop [62]                   20.7%
                                    loop [90]                       79.3%
[108]   3048(2.4%)    1026(0.8%)  foldl ....0/collects/racket/private/list.rkt:229:4
                                    merge2 [118]                    66.3%
-------------------------------------------------------------------------
                                    adopt-enode! [101]              11.5%
                                    loop! [77]                      88.5%
[109]   2864(2.3%)    1280(1.0%)  custom-set-union ...et/private/set-types.rkt:168:0
                                    for-loop [119]                  55.3%
-------------------------------------------------------------------------
                                    cp-2 [96]                      100.0%
[110]   1580(1.3%)    1580(1.3%)  for-loop ...ket-7.0/collects/racket/list.rkt:827:4
-------------------------------------------------------------------------
                                    for-loop [94]                  100.0%
[111]   1366(1.1%)       0(0.0%)  for-loop ...rbie/develop/src/core/egraph.rkt:219:8
                                    hash-update! [117]             100.0%
-------------------------------------------------------------------------
                                    for-loop [42]                   33.5%
                                    loop [90]                       66.5%
[112]    980(0.8%)     980(0.8%)  curried ...-7.0/collects/racket/function.rkt:71:18
-------------------------------------------------------------------------
                                    loop [99]                      100.0%
[113]    660(0.5%)     346(0.3%)  =-or-nan? ...ies/herbie/develop/src/float.rkt:76:0
                                    ??? [137]                       47.6%
-------------------------------------------------------------------------
                                    loop [90]                      100.0%
[114]    620(0.5%)       0(0.0%)  point-error ...herbie/develop/src/points.rkt:195:0
                                    ulp-difference [120]           100.0%
-------------------------------------------------------------------------
                                    mk-enode! [98]                 100.0%
[115]    306(0.2%)       0(0.0%)  new-enode ...erbie/develop/src/core/enode.rkt:96:0
                                    type-of-enode-expr [121]       100.0%
-------------------------------------------------------------------------
                                    jloop [6]                        0.6%
                                    composed [3]                     9.9%
                                    for-loop [105]                  10.1%
                                    ??? [104]                       13.2%
                                    loop [90]                       25.6%
                                    ??? [50]                        40.6%
[116]  51880(41.4%)    350(0.3%)  ??? ...tlies/herbie/develop/src/programs.rkt:146:2
                                    ??? [122]                       61.2%
                                    ??? [123]                       16.7%
                                    ->bf [124]                      12.2%
                                    ??? [125]                        9.1%
-------------------------------------------------------------------------
                                    for-loop [94]                   43.0%
                                    for-loop [111]                  57.0%
[117]   2396(1.9%)       0(0.0%)  hash-update! ...cket/private/more-scheme.rkt:365:4
                                    ??? [126]                      100.0%
-------------------------------------------------------------------------
                                    foldl [108]                    100.0%
[118]   2022(1.6%)    2022(1.6%)  merge2 .../herbie/develop/src/core/ematch.rkt:24:0
-------------------------------------------------------------------------
                                    custom-set-union [109]         100.0%
[119]   1584(1.3%)    1260(1.0%)  for-loop ...cts/racket/private/set-types.rkt:174:3
                                    for-loop [127]                  20.5%
-------------------------------------------------------------------------
                                    for-loop [105]                  34.3%
                                    point-error [114]               65.7%
[120]    944(0.8%)     648(0.5%)  ulp-difference ...erbie/develop/src/float.rkt:14:0
                                    f9 [67]                         31.4%
-------------------------------------------------------------------------
                                    new-enode [115]                100.0%
[121]    306(0.2%)     306(0.2%)  type-of-enode-expr ...elop/src/core/enode.rkt:69:0
-------------------------------------------------------------------------
                                    ??? [116]                      100.0%
[122]  31772(25.3%)   2518(2.0%)  ??? ...t-7.0/collects/racket/private/kw.rkt:592:14
                                    double->posit16 [136]           55.4%
                                    create-quire1633 [129]          30.3%
                                    big-posit16-add [134]            2.2%
                                    big-posit16-mul [135]            2.2%
                                    ??? [137]                        2.0%
-------------------------------------------------------------------------
                                    for-loop [105]                   1.4%
                                    ??? [104]                        1.4%
                                    ??? [26]                         4.0%
                                    ??? [50]                         4.6%
                                    loop [95]                        7.6%
                                    map [76]                        10.4%
                                    loop [90]                       29.3%
                                    ??? [116]                       39.7%
[123]  21462(17.1%)    994(0.8%)  ??? ...tract/private/arrow-higher-order.rkt:357:33
                                    ->flonum [128]                  58.1%
                                    double->posit16 [136]           28.6%
                                    best-alt [133]                   4.0%
                                    create-quire1633 [129]           3.1%
-------------------------------------------------------------------------
                                    ??? [116]                      100.0%
[124]   6354(5.1%)    1862(1.5%)  ->bf ...tlies/herbie/develop/src/programs.rkt:62:0
                                    bf [131]                        65.4%
                                    ??? [137]                        5.3%
-------------------------------------------------------------------------
                                    ??? [104]                        5.6%
                                    ??? [50]                         6.1%
                                    ??? [116]                       88.3%
[125]   5344(4.3%)     712(0.6%)  ??? ...ects/racket/contract/private/prop.rkt:519:4
                                    ??? [130]                       86.7%
-------------------------------------------------------------------------
                                    hash-update! [117]             100.0%
[126]   2396(1.9%)     336(0.3%)  ??? ...s/herbie/develop/src/core/egraph.rkt:221:24
                                    for-loop [132]                  86.0%
-------------------------------------------------------------------------
                                    for-loop [119]                 100.0%
[127]    324(0.3%)     324(0.3%)  for-loop ...cts/racket/private/set-types.rkt:178:5
-------------------------------------------------------------------------
                                    ??? [123]                      100.0%
[128]  12630(10.1%)   8480(6.8%)  ->flonum ...s/herbie/develop/src/programs.rkt:38:0
                                    ??? [138]                        9.8%
                                    ??? [137]                        7.8%
                                    return/no-unsupplied [139]       7.5%
                                    keyword-apply [142]              5.4%
                                    list-member? [144]               2.4%
-------------------------------------------------------------------------
                                    ??? [123]                        6.4%
                                    ??? [122]                       93.6%
[129]  10296(8.2%)    1278(1.0%)  create-quire1633 ...tposit-rkt/softposit.rkt:175:0
                                    double->posit16 [136]           87.6%
-------------------------------------------------------------------------
                                    ??? [125]                      100.0%
[130]   4632(3.7%)    1600(1.3%)  ??? ...lects/racket/contract/private/orc.rkt:83:14
                                    ??? [137]                       65.5%
-------------------------------------------------------------------------
                                    ->bf [124]                     100.0%
[131]   4154(3.3%)       0(0.0%)  bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2
                                    new-mpfr [152]                  84.8%
                                    ??? [153]                       15.2%
-------------------------------------------------------------------------
                                    ??? [126]                      100.0%
[132]   2060(1.6%)    2060(1.6%)  for-loop ...bie/develop/src/core/egraph.rkt:222:26
-------------------------------------------------------------------------
                                    ??? [123]                      100.0%
[133]   1030(0.8%)       0(0.0%)  best-alt .../herbie/develop/src/mainloop.rkt:102:0
                                    argmins [140]                   68.5%
                                    loop [143]                      31.5%
-------------------------------------------------------------------------
                                    ??? [122]                      100.0%
[134]    712(0.6%)       0(0.0%)  big-posit16-add .../src/syntax/softposit.rkt:108:0
                                    ??? [146]                      100.0%
-------------------------------------------------------------------------
                                    ??? [122]                      100.0%
[135]    698(0.6%)       0(0.0%)  big-posit16-mul .../src/syntax/softposit.rkt:110:0
                                    bf* [141]                      100.0%
-------------------------------------------------------------------------
                                    ??? [123]                       18.7%
                                    create-quire1633 [129]          27.5%
                                    ??? [122]                       53.7%
[136]  32742(26.1%)    296(0.2%)  double->posit16 ...ftposit-rkt/softposit.rkt:248:0
                                    get-ffi-obj* [145]              99.1%
-------------------------------------------------------------------------
                                    =-or-nan? [113]                  5.9%
                                    ->bf [124]                       6.4%
                                    ??? [122]                       11.8%
                                    ->flonum [128]                  18.6%
                                    ??? [130]                       57.3%
[137]   5292(4.2%)    5292(4.2%)  ??? ...-7.0/collects/racket/lazy-require.rkt:106:6
-------------------------------------------------------------------------
                                    ->flonum [128]                 100.0%
[138]   1242(1.0%)    1242(1.0%)  ??? ...s/racket/contract/private/arr-i.rkt:1252:29
-------------------------------------------------------------------------
                                    ->flonum [128]                 100.0%
[139]    944(0.8%)     298(0.2%)  return/no-unsupplied ...ct/private/arr-i.rkt:534:0
                                    filter [148]                    68.4%
-------------------------------------------------------------------------
                                    best-alt [133]                 100.0%
[140]    706(0.6%)       0(0.0%)  argmins ...lies/herbie/develop/src/common.rkt:93:0
                                    ??? [147]                      100.0%
-------------------------------------------------------------------------
                                    big-posit16-mul [135]          100.0%
[141]    698(0.6%)       0(0.0%)  bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0
                                    ??? [146]                      100.0%
-------------------------------------------------------------------------
                                    ->flonum [128]                 100.0%
[142]    682(0.5%)     682(0.5%)  keyword-apply ...lects/racket/private/kw.rkt:421:2
-------------------------------------------------------------------------
                                    best-alt [133]                 100.0%
[143]    324(0.3%)       0(0.0%)  loop ...ghtlies/herbie/develop/src/common.rkt:94:2
                                    ??? [147]                      100.0%
-------------------------------------------------------------------------
                                    ->flonum [128]                 100.0%
[144]    298(0.2%)     298(0.2%)  list-member? ...llects/racket/private/set.rkt:24:0
-------------------------------------------------------------------------
                                    double->posit16 [136]           99.0%
[145]  32778(26.1%)   7176(5.7%)  get-ffi-obj* ...-7.0/collects/ffi/unsafe.rkt:209:2
                                    get-ffi-lib9 [149]              78.1%
-------------------------------------------------------------------------
                                    bf* [141]                       49.5%
                                    big-posit16-add [134]           50.5%
[146]   1410(1.1%)     698(0.6%)  ??? ...-racket/utils/simple-result-arrow.rkt:39:12
                                    bfadd [150]                     50.5%
-------------------------------------------------------------------------
                                    loop [143]                      31.5%
                                    argmins [140]                   68.5%
[147]   1030(0.8%)       0(0.0%)  ??? ...lies/herbie/develop/src/mainloop.rkt:104:19
                                    errors [37]                    100.0%
-------------------------------------------------------------------------
                                    return/no-unsupplied [139]     100.0%
[148]    646(0.5%)     646(0.5%)  filter ...0/collects/racket/private/list.rkt:256:2
-------------------------------------------------------------------------
                                    get-ffi-obj* [145]             100.0%
[149]  25602(20.4%)  13560(10.8%) get-ffi-lib9 ...-7.0/collects/ffi/unsafe.rkt:121:0
                                    get-cross-lib-search-dirs [151] 47.0%
-------------------------------------------------------------------------
                                    ??? [146]                      100.0%
[150]    712(0.6%)       0(0.0%)  bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4
                                    new-mpfr [152]                  52.2%
                                    ??? [153]                       47.8%
-------------------------------------------------------------------------
                                    get-ffi-lib9 [149]             100.0%
[151]  12042(9.6%)   10424(8.3%)  get-cross-lib-search-dirs ...rivate/dirs.rkt:168:7
                                    ??? [154]                       13.4%
-------------------------------------------------------------------------
                                    bfadd [150]                      9.6%
                                    bf [131]                        90.4%
[152]   3894(3.1%)    3894(3.1%)  new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0
-------------------------------------------------------------------------
                                    bfadd [150]                     35.0%
                                    bf [131]                        65.0%
[153]    972(0.8%)     972(0.8%)  ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4
-------------------------------------------------------------------------
                                    get-cross-lib-search-dirs [151]100.0%
[154]   1618(1.3%)    1618(1.3%)  ??? ...racket-7.0/collects/racket/promise.rkt:42:2
-------------------------------------------------------------------------