Profiling results
-----------------
  Total cpu time observed: 19976ms (out of 20504ms)
  Number of samples taken: 54 (once every 370ms)

=====================================================================
                                 Caller
 Idx    Total        Self      Name+src                        Local%
        ms(pct)      ms(pct)     Callee
=====================================================================
                                 run [14]                       50.0%
 [1] 19976(100.0%)    0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                                 profile-thunk16 [6]            50.0%
                                 loop [22]                      30.5%
                                 run-improve43 [7]               7.2%
                                 oracle-error [8]                4.5%
                                 eval-errors [9]                 3.0%
                                 get-final-combination [10]      2.5%
                                 errors [64]                     2.3%
---------------------------------------------------------------------
                                 loop [59]                     100.0%
 [2]  6688(33.5%)     0(0.0%)  composed ...ollects/racket/private/list.rkt:321:16
                                 ??? [69]                      100.0%
---------------------------------------------------------------------
                                 copying-mergesort [60]        100.0%
 [3]   656(3.3%)      0(0.0%)  jloop ...0/collects/racket/private/sort.rkt:120:23
                                 ??? [69]                       50.3%
                                 </total [12]                   49.7%
---------------------------------------------------------------------
                                 matcher [66]                  100.0%
 [4]   328(1.6%)      0(0.0%)  ??? .../herbie/develop/src/core/matcher.rkt:178:11
                                 for-loop [11]                 100.0%
---------------------------------------------------------------------
                                 ??? [72]                      100.0%
 [5]   298(1.5%)      0(0.0%)  best-alt .../herbie/develop/src/mainloop.rkt:124:0
                                 argmins [13]                  100.0%
---------------------------------------------------------------------
                                 ??? [1]                       100.0%
 [6] 19976(100.0%)    0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                                 run [14]                      100.0%
---------------------------------------------------------------------
                                 ??? [1]                       100.0%
 [7]  2880(14.4%)     0(0.0%)  run-improve43 ...ie/develop/src/mainloop.rkt:362:0
                                 for-loop [15]                  75.3%
                                 simplify! [19]                 12.4%
                                 setup-prog!34 [20]             12.4%
---------------------------------------------------------------------
                                 ??? [1]                       100.0%
 [8]  1798(9.0%)      0(0.0%)  oracle-error ...erbie/develop/src/points.rkt:216:0
                                 for-loop [16]                 100.0%
---------------------------------------------------------------------
                                 ??? [1]                       100.0%
 [9]  1202(6.0%)      0(0.0%)  eval-errors ...herbie/develop/src/points.rkt:207:0
                                 for-loop [17]                 100.0%
---------------------------------------------------------------------
                                 ??? [1]                       100.0%
[10]   994(5.0%)      0(0.0%)  get-final-combination ...op/src/mainloop.rkt:383:0
                                 infer-splitpoints [18]        100.0%
---------------------------------------------------------------------
                                 ??? [4]                       100.0%
[11]   328(1.6%)      0(0.0%)  for-loop ...ie/develop/src/core/matcher.rkt:182:21
                                 matcher [66]                  100.0%
---------------------------------------------------------------------
                                 jloop [3]                     100.0%
[12]   326(1.6%)    326(1.6%)  </total ...lies/herbie/develop/src/float.rkt:107:0
---------------------------------------------------------------------
                                 best-alt [5]                  100.0%
[13]   298(1.5%)      0(0.0%)  argmins ...lies/herbie/develop/src/common.rkt:93:0
                                 ??? [21]                      100.0%
---------------------------------------------------------------------
                                 profile-thunk16 [6]           100.0%
[14] 19976(100.0%)    0(0.0%)  run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2
                                 ??? [1]                       100.0%
---------------------------------------------------------------------
                                 run-improve43 [7]             100.0%
[15]  2168(10.9%)     0(0.0%)  for-loop .../herbie/develop/src/mainloop.rkt:377:4
                                 run-iter! [23]                100.0%
---------------------------------------------------------------------
                                 oracle-error [8]              100.0%
[16]  1798(9.0%)      0(0.0%)  for-loop ...es/herbie/develop/src/points.rkt:217:2
                                 map [63]                       83.3%
                                 loop [59]                      16.7%
---------------------------------------------------------------------
                                 eval-errors [9]               100.0%
[17]  1202(6.0%)    298(1.5%)  for-loop ...es/herbie/develop/src/points.rkt:209:2
                                 ??? [69]                       50.2%
                                 ??? [72]                       25.0%
---------------------------------------------------------------------
                                 get-final-combination [10]    100.0%
[18]   994(5.0%)      0(0.0%)  infer-splitpoints ...lop/src/core/regimes.rkt:33:0
                                 for-loop [24]                 100.0%
---------------------------------------------------------------------
                                 run-improve43 [7]             100.0%
[19]   356(1.8%)      0(0.0%)  simplify! ...herbie/develop/src/mainloop.rkt:239:0
                                 ??? [25]                      100.0%
---------------------------------------------------------------------
                                 run-improve43 [7]             100.0%
[20]   356(1.8%)      0(0.0%)  setup-prog!34 ...bie/develop/src/mainloop.rkt:76:0
                                 loop [22]                     100.0%
---------------------------------------------------------------------
                                 argmins [13]                  100.0%
[21]   298(1.5%)      0(0.0%)  ??? ...lies/herbie/develop/src/mainloop.rkt:126:19
                                 errors [64]                   100.0%
---------------------------------------------------------------------
                                 setup-prog!34 [20]              2.8%
                                 ??? [1]                        97.2%
[22] 12530(62.7%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:320:2
                                 loop [35]                      70.4%
                                 loop [26]                      24.5%
                                 for-loop [32]                   2.6%
                                 filter-p&e [33]                 2.5%
---------------------------------------------------------------------
                                 for-loop [15]                 100.0%
[23]  2168(10.9%)     0(0.0%)  run-iter! ...herbie/develop/src/mainloop.rkt:343:0
                                 localize! [28]                 43.8%
                                 finalize-iter! [29]            27.3%
                                 gen-rewrites! [31]             15.1%
                                 choose-best-alt! [34]          13.7%
---------------------------------------------------------------------
                                 infer-splitpoints [18]        100.0%
[24]   994(5.0%)      0(0.0%)  for-loop ...rbie/develop/src/core/regimes.rkt:45:6
                                 option-on-expr [27]           100.0%
---------------------------------------------------------------------
                                 simplify! [19]                100.0%
[25]   356(1.8%)      0(0.0%)  ??? ...s/herbie/develop/src/core/simplify.rkt:29:0
                                 loop [30]                     100.0%
---------------------------------------------------------------------
                                 loop [22]                     100.0%
[26]  3072(15.4%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:275:2
                                 loop [35]                      57.2%
                                 make-exacts-walkup [36]        42.8%
---------------------------------------------------------------------
                                 for-loop [24]                 100.0%
[27]   994(5.0%)      0(0.0%)  option-on-expr ...velop/src/core/regimes.rkt:145:0
                                 sort-context-on-expr [37]     100.0%
---------------------------------------------------------------------
                                 run-iter! [23]                100.0%
[28]   950(4.8%)      0(0.0%)  localize! ...herbie/develop/src/mainloop.rkt:138:0
                                 localize-error [38]           100.0%
---------------------------------------------------------------------
                                 run-iter! [23]                100.0%
[29]   592(3.0%)      0(0.0%)  finalize-iter! ...e/develop/src/mainloop.rkt:294:0
                                 ??? [39]                      100.0%
---------------------------------------------------------------------
                                 ??? [25]                      100.0%
[30]   356(1.8%)      0(0.0%)  loop ...herbie/develop/src/core/simplify.rkt:127:2
                                 for-loop [40]                 100.0%
---------------------------------------------------------------------
                                 run-iter! [23]                100.0%
[31]   328(1.6%)      0(0.0%)  gen-rewrites! ...ie/develop/src/mainloop.rkt:195:0
                                 for-loop [41]                 100.0%
---------------------------------------------------------------------
                                 loop [22]                     100.0%
[32]   322(1.6%)      0(0.0%)  for-loop ...s/herbie/develop/src/points.rkt:339:31
                                 for-loop [42]                 100.0%
---------------------------------------------------------------------
                                 loop [22]                     100.0%
[33]   316(1.6%)      0(0.0%)  filter-p&e .../herbie/develop/src/points.rkt:288:0
                                 for-loop [43]                 100.0%
---------------------------------------------------------------------
                                 run-iter! [23]                100.0%
[34]   298(1.5%)      0(0.0%)  choose-best-alt! ...develop/src/mainloop.rkt:129:0
                                 ??? [39]                      100.0%
---------------------------------------------------------------------
                                 loop [26]                      16.6%
                                 loop [22]                      83.4%
[35] 10576(52.9%)     0(0.0%)  loop ...htlies/herbie/develop/src/points.rkt:258:4
                                 loop [59]                      97.0%
                                 loop [50]                       3.0%
---------------------------------------------------------------------
                                 loop [26]                     100.0%
[36]  1316(6.6%)      0(0.0%)  make-exacts-walkup ...develop/src/points.rkt:255:0
                                 loop [59]                     100.0%
---------------------------------------------------------------------
                                 option-on-expr [27]           100.0%
[37]   994(5.0%)      0(0.0%)  sort-context-on-expr ...src/core/regimes.rkt:140:0
                                 ??? [44]                      100.0%
---------------------------------------------------------------------
                                 localize! [28]                100.0%
[38]   950(4.8%)      0(0.0%)  localize-error ...velop/src/core/localize.rkt:52:0
                                 hash-ref! [45]                100.0%
---------------------------------------------------------------------
                                 choose-best-alt! [34]          33.5%
                                 finalize-iter! [29]            66.5%
[39]   890(4.5%)      0(0.0%)  ??? ...contract/private/arrow-val-first.rkt:388:18
                                 for-loop [46]                  66.5%
                                 ??? [52]                       33.5%
---------------------------------------------------------------------
                                 loop [30]                     100.0%
[40]   356(1.8%)      0(0.0%)  for-loop ...ie/develop/src/core/simplify.rkt:133:4
                                 expression-cost [47]          100.0%
---------------------------------------------------------------------
                                 gen-rewrites! [31]            100.0%
[41]   328(1.6%)      0(0.0%)  for-loop ...herbie/develop/src/mainloop.rkt:204:11
                                 rewrite-expression-head20 [48]100.0%
---------------------------------------------------------------------
                                 for-loop [32]                 100.0%
[42]   322(1.6%)      0(0.0%)  for-loop ...s/herbie/develop/src/points.rkt:340:32
                                 random-posit16 [49]           100.0%
---------------------------------------------------------------------
                                 filter-p&e [33]               100.0%
[43]   316(1.6%)      0(0.0%)  for-loop ...es/herbie/develop/src/points.rkt:290:2
                                 loop [51]                     100.0%
---------------------------------------------------------------------
                                 sort-context-on-expr [37]     100.0%
[44]   994(5.0%)      0(0.0%)  ??? ...-7.0/collects/racket/private/sort.rkt:369:3
                                 generic-sort/key [53]         100.0%
---------------------------------------------------------------------
                                 loop [59]                      34.3%
                                 localize-error [38]            65.7%
[45]   950(4.8%)      0(0.0%)  hash-ref! .../racket/private/more-scheme.rkt:376:2
                                 parse-loop15 [54]             100.0%
---------------------------------------------------------------------
                                 ??? [39]                      100.0%
[46]   592(3.0%)      0(0.0%)  for-loop ...ie/develop/src/core/alt-table.rkt:51:2
                                 atab-add-altn [55]            100.0%
---------------------------------------------------------------------
                                 for-loop [40]                 100.0%
[47]   356(1.8%)    356(1.8%)  expression-cost .../develop/src/programs.rkt:205:0
---------------------------------------------------------------------
                                 for-loop [41]                 100.0%
[48]   328(1.6%)      0(0.0%)  rewrite-expression-head20 ...ore/matcher.rkt:128:0
                                 rewriter [56]                 100.0%
---------------------------------------------------------------------
                                 for-loop [42]                 100.0%
[49]   322(1.6%)    322(1.6%)  random-posit16 ...softposit-rkt/softposit.rkt:64:0
---------------------------------------------------------------------
                                 loop [35]                     100.0%
[50]   322(1.6%)      0(0.0%)  loop ...-7.0/collects/racket/private/map.rkt:277:4
                                 =-or-nan? [57]                100.0%
---------------------------------------------------------------------
                                 for-loop [43]                 100.0%
[51]   316(1.6%)      0(0.0%)  loop ...7.0/collects/racket/private/map.rkt:110:23
                                 ordinary-value? [58]          100.0%
---------------------------------------------------------------------
                                 ??? [39]                      100.0%
[52]   298(1.5%)      0(0.0%)  ??? .../herbie/develop/src/core/alt-table.rkt:54:0
                                 ??? [72]                      100.0%
---------------------------------------------------------------------
                                 ??? [44]                      100.0%
[53]   994(5.0%)      0(0.0%)  generic-sort/key .../racket/private/sort.rkt:156:2
                                 copying-mergesort [60]        100.0%
---------------------------------------------------------------------
                                 hash-ref! [45]                100.0%
[54]   950(4.8%)      0(0.0%)  parse-loop15 ...s/racket/match/compiler.rkt:418:15
                                 loop [59]                     100.0%
---------------------------------------------------------------------
                                 for-loop [46]                 100.0%
[55]   592(3.0%)      0(0.0%)  atab-add-altn ...elop/src/core/alt-table.rkt:200:0
                                 best-and-tied-at-points [61]  100.0%
---------------------------------------------------------------------
                                 matcher [66]                   50.0%
                                 rewrite-expression-head20 [48] 50.0%
[56]   328(1.6%)      0(0.0%)  rewriter ...bie/develop/src/core/matcher.rkt:131:2
                                 for-loop [62]                 100.0%
---------------------------------------------------------------------
                                 loop [50]                     100.0%
[57]   322(1.6%)      0(0.0%)  =-or-nan? ...ies/herbie/develop/src/float.rkt:76:0
                                 ??? [84]                      100.0%
---------------------------------------------------------------------
                                 loop [51]                     100.0%
[58]   316(1.6%)    316(1.6%)  ordinary-value? ...rbie/develop/src/float.rkt:54:0
---------------------------------------------------------------------
                                 make-exacts-walkup [36]         0.1%
                                 parse-loop15 [54]               0.2%
                                 loop [35]                       0.6%
                                 for-loop [16]                   2.3%
                                 loop [59]                      96.8%
[59] 12820(64.2%)     0(0.0%)  loop ...-7.0/collects/racket/private/map.rkt:40:19
                                 loop [59]                      96.8%
                                 ??? [68]                        2.3%
                                 composed [2]                    0.3%
                                 ??? [69]                        0.3%
                                 hash-ref! [45]                  0.1%
                                 big-posit16-mul [79]            0.1%
                                 map [63]                        0.1%
                                 ??? [72]                        0.0%
---------------------------------------------------------------------
                                 copying-mergesort [60]         49.5%
                                 generic-sort/key [53]          50.5%
[60]   994(5.0%)      0(0.0%)  copying-mergesort ...racket/private/sort.rkt:129:8
                                 copying-mergesort [60]         49.5%
                                 loop [65]                      34.0%
                                 jloop [3]                      16.5%
---------------------------------------------------------------------
                                 atab-add-altn [55]            100.0%
[61]   592(3.0%)      0(0.0%)  best-and-tied-at-points ...ore/alt-table.rkt:112:0
                                 errors [64]                   100.0%
---------------------------------------------------------------------
                                 rewriter [56]                 100.0%
[62]   328(1.6%)    328(1.6%)  for-loop ...ie/develop/src/core/matcher.rkt:134:10
                                 matcher [66]                   50.0%
---------------------------------------------------------------------
                                 loop [59]                      30.4%
                                 for-loop [16]                  69.6%
[63]  2152(10.8%)     0(0.0%)  map ...t-7.0/collects/racket/private/map.rkt:35:13
                                 ??? [68]                       69.6%
                                 ??? [72]                       30.4%
---------------------------------------------------------------------
                                 ??? [21]                       16.4%
                                 best-and-tied-at-points [61]   32.6%
                                 ??? [1]                        51.0%
[64]  1818(9.1%)      0(0.0%)  errors ...lies/herbie/develop/src/points.rkt:232:0
                                 for-loop [67]                 100.0%
---------------------------------------------------------------------
                                 copying-mergesort [60]        100.0%
[65]   338(1.7%)      0(0.0%)  loop ...7.0/collects/racket/private/sort.rkt:96:12
                                 ??? [69]                      100.0%
---------------------------------------------------------------------
                                 for-loop [11]                  50.0%
                                 for-loop [62]                  50.0%
[66]   328(1.6%)      0(0.0%)  matcher ...rbie/develop/src/core/matcher.rkt:166:2
                                 ??? [4]                        50.0%
                                 rewriter [56]                  50.0%
---------------------------------------------------------------------
                                 errors [64]                   100.0%
[67]  1818(9.1%)    326(1.6%)  for-loop ...es/herbie/develop/src/points.rkt:235:4
                                 ??? [69]                       49.5%
                                 ??? [72]                       16.4%
                                 ulp-difference [71]            16.2%
---------------------------------------------------------------------
                                 loop [59]                      16.7%
                                 map [63]                       83.3%
[68]  1798(9.0%)    300(1.5%)  ??? ...htlies/herbie/develop/src/points.rkt:218:26
                                 ??? [69]                       66.5%
                                 *bit-width* [70]               16.8%
---------------------------------------------------------------------
                                 jloop [3]                       2.8%
                                 loop [65]                       2.8%
                                 for-loop [17]                   5.1%
                                 for-loop [67]                   7.6%
                                 ??? [68]                       10.0%
                                 loop [59]                      15.6%
                                 composed [2]                   56.2%
[69] 11908(59.6%)   338(1.7%)  ??? ...tlies/herbie/develop/src/programs.rkt:147:2
                                 ->bf [73]                      53.9%
                                 ??? [72]                       20.4%
                                 ??? [74]                       20.3%
                                 ??? [75]                        2.5%
---------------------------------------------------------------------
                                 ??? [68]                      100.0%
[70]   302(1.5%)    302(1.5%)  *bit-width* ...s/herbie/develop/src/float.rkt:43:0
---------------------------------------------------------------------
                                 for-loop [67]                 100.0%
[71]   294(1.5%)      0(0.0%)  ulp-difference ...erbie/develop/src/float.rkt:14:0
                                 ??? [84]                      100.0%
---------------------------------------------------------------------
                                 for-loop [67]                   2.2%
                                 ??? [52]                        2.2%
                                 for-loop [17]                   4.5%
                                 map [63]                        9.7%
                                 ??? [69]                       36.2%
                                 loop [59]                      45.1%
[72]  6712(33.6%)   652(3.3%)  ??? ...tract/private/arrow-higher-order.rkt:357:33
                                 ->flonum [77]                  61.3%
                                 double->posit16 [78]           26.8%
                                 best-alt [5]                    2.2%
---------------------------------------------------------------------
                                 ??? [69]                      100.0%
[73]  6418(32.1%)  1402(7.0%)  ->bf ...tlies/herbie/develop/src/programs.rkt:63:0
                                 bf [76]                        78.2%
---------------------------------------------------------------------
                                 ??? [69]                      100.0%
[74]  2422(12.1%)   300(1.5%)  ??? ...t-7.0/collects/racket/private/kw.rkt:592:14
                                 big-posit16-mul [79]           59.2%
                                 big-posit16-add [80]           28.4%
---------------------------------------------------------------------
                                 ??? [69]                      100.0%
[75]   300(1.5%)    300(1.5%)  ??? ...ects/racket/contract/private/prop.rkt:519:4
---------------------------------------------------------------------
                                 ->bf [73]                     100.0%
[76]  5016(25.1%)     0(0.0%)  bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2
                                 new-mpfr [81]                  79.5%
                                 ??? [92]                       20.5%
---------------------------------------------------------------------
                                 ??? [72]                      100.0%
[77]  4264(21.3%)  2136(10.7%) ->flonum ...s/herbie/develop/src/programs.rkt:37:0
                                 ??? [84]                       14.2%
                                 keyword-apply [85]             14.0%
                                 ??? [86]                       14.0%
                                 return/no-unsupplied [87]       7.7%
---------------------------------------------------------------------
                                 ??? [72]                      100.0%
[78]  1796(9.0%)      0(0.0%)  double->posit16 ...ftposit-rkt/softposit.rkt:248:0
                                 get-ffi-obj* [82]             100.0%
---------------------------------------------------------------------
                                 loop [59]                      17.1%
                                 ??? [74]                       82.9%
[79]  1730(8.7%)    322(1.6%)  big-posit16-mul .../src/syntax/softposit.rkt:110:0
                                 bf* [83]                       81.4%
---------------------------------------------------------------------
                                 ??? [74]                      100.0%
[80]   688(3.4%)      0(0.0%)  big-posit16-add .../src/syntax/softposit.rkt:108:0
                                 ??? [88]                      100.0%
---------------------------------------------------------------------
                                 bf [76]                       100.0%
[81]  3988(20.0%)  3988(20.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0
---------------------------------------------------------------------
                                 double->posit16 [78]          100.0%
[82]  1796(9.0%)      0(0.0%)  get-ffi-obj* ...-7.0/collects/ffi/unsafe.rkt:209:2
                                 get-ffi-lib9 [89]             100.0%
---------------------------------------------------------------------
                                 big-posit16-mul [79]          100.0%
[83]  1408(7.0%)      0(0.0%)  bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0
                                 ??? [88]                      100.0%
---------------------------------------------------------------------
                                 ulp-difference [71]            24.1%
                                 =-or-nan? [57]                 26.4%
                                 ->flonum [77]                  49.5%
[84]  1220(6.1%)   1220(6.1%)  ??? ...-7.0/collects/racket/lazy-require.rkt:106:6
---------------------------------------------------------------------
                                 ->flonum [77]                 100.0%
[85]   598(3.0%)    598(3.0%)  keyword-apply ...lects/racket/private/kw.rkt:421:2
---------------------------------------------------------------------
                                 ->flonum [77]                 100.0%
[86]   596(3.0%)    596(3.0%)  ??? ...s/racket/contract/private/arr-i.rkt:1252:29
---------------------------------------------------------------------
                                 ->flonum [77]                 100.0%
[87]   330(1.7%)    330(1.7%)  return/no-unsupplied ...ct/private/arr-i.rkt:534:0
---------------------------------------------------------------------
                                 big-posit16-add [80]           32.8%
                                 bf* [83]                       67.2%
[88]  2096(10.5%)   714(3.6%)  ??? ...-racket/utils/simple-result-arrow.rkt:39:12
                                 bfadd [90]                     65.9%
---------------------------------------------------------------------
                                 get-ffi-obj* [82]             100.0%
[89]  1796(9.0%)   1110(5.6%)  get-ffi-lib9 ...-7.0/collects/ffi/unsafe.rkt:121:0
                                 get-cross-lib-search-dirs [91] 38.2%
---------------------------------------------------------------------
                                 ??? [88]                      100.0%
[90]  1382(6.9%)      0(0.0%)  bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4
                                 ??? [92]                      100.0%
---------------------------------------------------------------------
                                 get-ffi-lib9 [89]             100.0%
[91]   686(3.4%)    686(3.4%)  get-cross-lib-search-dirs ...rivate/dirs.rkt:168:7
---------------------------------------------------------------------
                                 bf [76]                        42.7%
                                 bfadd [90]                     57.3%
[92]  2410(12.1%)  2410(12.1%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4
---------------------------------------------------------------------