Profiling results
-----------------
  Total cpu time observed: 1800ms (out of 1884ms)
  Number of samples taken: 10 (once every 180ms)

========================================================
                               Caller
 Idx   Total       Self      Name+src             Local%
       ms(pct)     ms(pct)     Callee
========================================================
                               ??? [5]            100.0%
 [1] 1800(100.0%)   0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                               run [3]            100.0%
--------------------------------------------------------
                               ??? [5]            100.0%
 [2]  322(17.9%)    0(0.0%)  errors ...s/herbie/interface2/src/points.rkt:185:0
                               for-loop [4]       100.0%
--------------------------------------------------------
                               profile-thunk16 [1]100.0%
 [3] 1800(100.0%)   0(0.0%)  run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2
                               ??? [5]            100.0%
--------------------------------------------------------
                               errors [2]         100.0%
 [4]  322(17.9%)  162(9.0%)  for-loop ...herbie/interface2/src/points.rkt:187:2
                               ??? [5]             49.7%
--------------------------------------------------------
                               for-loop [4]         3.0%
                               run [3]             48.5%
 [5] 1800(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                               profile-thunk16 [1] 48.5%
                               prepare-points [6]  41.1%
                               errors [2]           7.5%
                               ??? [9]              3.0%
--------------------------------------------------------
                               ??? [5]            100.0%
 [6] 1478(82.1%)    0(0.0%)  prepare-points .../interface2/src/points.rkt:146:0
                               loop [7]           100.0%
--------------------------------------------------------
                               prepare-points [6] 100.0%
 [7] 1478(82.1%)  378(21.0%) loop ...ies/herbie/interface2/src/points.rkt:122:4
                               loop [8]            74.4%
--------------------------------------------------------
                               loop [7]           100.0%
 [8] 1100(61.1%)    0(0.0%)  loop ...lies/herbie/interface2/src/points.rkt:81:2
                               ??? [9]            100.0%
--------------------------------------------------------
                               ??? [5]             12.7%
                               loop [8]            87.3%
 [9] 1260(70.0%)  160(8.9%)  ??? ...es/herbie/interface2/src/programs.rkt:115:2
                               ??? [10]            56.5%
                               ??? [11]            30.8%
--------------------------------------------------------
                               ??? [9]            100.0%
[10]  712(39.6%)  180(10.0%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14
                               ??? [11]            50.3%
                               ??? [12]            24.4%
--------------------------------------------------------
                               ??? [10]            48.0%
                               ??? [9]             52.0%
[11]  746(41.4%)    0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:360:33
                               mk-ival [13]        52.0%
                               ival-mult [14]      48.0%
--------------------------------------------------------
                               ??? [10]           100.0%
[12]  174(9.7%)     0(0.0%)  ??? ...tract/private/arrow-higher-order.rkt:364:33
                               ival-div [15]      100.0%
--------------------------------------------------------
                               ??? [11]           100.0%
[13]  388(21.6%)    0(0.0%)  mk-ival ...bie/interface2/src/biginterval.rkt:57:0
                               bf [16]            100.0%
--------------------------------------------------------
                               ??? [11]           100.0%
[14]  358(19.9%)  176(9.8%)  ival-mult .../interface2/src/biginterval.rkt:111:0
                               bfdiv [17]          50.8%
--------------------------------------------------------
                               ??? [12]           100.0%
[15]  174(9.7%)     0(0.0%)  ival-div ...e/interface2/src/biginterval.rkt:147:0
                               bfdiv [17]         100.0%
--------------------------------------------------------
                               mk-ival [13]       100.0%
[16]  388(21.6%)    0(0.0%)  bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2
                               new-mpfr [18]      100.0%
--------------------------------------------------------
                               ival-div [15]       48.9%
                               ival-mult [14]      51.1%
[17]  356(19.8%)    0(0.0%)  bfdiv ...-lib/math/private/bigfloat/mpfr.rkt:821:4
                               ??? [19]           100.0%
--------------------------------------------------------
                               bf [16]            100.0%
[18]  388(21.6%)  388(21.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0
--------------------------------------------------------
                               bfdiv [17]         100.0%
[19]  356(19.8%)  356(19.8%) ??? /opt/racket-7.2/collects/ffi/unsafe.rkt:905:4
--------------------------------------------------------