Profiling results
-----------------
  Total cpu time observed: 576ms (out of 996ms)
  Number of samples taken: 2 (once every 288ms)

========================================================
                              Caller
 Idx  Total       Self      Name+src              Local%
      ms(pct)     ms(pct)     Callee
========================================================
                              ??? [3]             100.0%
 [1] 576(100.0%)   0(0.0%)  profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0
                              run [2]             100.0%
--------------------------------------------------------
                              profile-thunk16 [1] 100.0%
 [2] 576(100.0%)   0(0.0%)  run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2
                              ??? [3]             100.0%
--------------------------------------------------------
                              for-loop [15]        16.7%
                              run [2]              41.7%
 [3] 576(100.0%)   0(0.0%)  ??? ...lects/racket/private/more-scheme.rkt:261:28
                              profile-thunk16 [1]  41.7%
                              run-improve43 [4]    41.7%
                              ulp-difference [5]   16.7%
--------------------------------------------------------
                              ??? [3]             100.0%
 [4] 576(100.0%)   0(0.0%)  run-improve43 ...no-costs-2/src/mainloop.rkt:338:0
                              simplify! [6]        50.0%
                              setup-prog!34 [7]    50.0%
--------------------------------------------------------
                              ??? [3]             100.0%
 [5] 288(50.0%)  288(50.0%) ulp-difference ...ie/no-costs-2/src/float.rkt:46:0
--------------------------------------------------------
                              run-improve43 [4]   100.0%
 [6] 288(50.0%)    0(0.0%)  simplify! ...bie/no-costs-2/src/mainloop.rkt:216:0
                              ??? [8]             100.0%
--------------------------------------------------------
                              run-improve43 [4]   100.0%
 [7] 288(50.0%)    0(0.0%)  setup-prog!34 .../no-costs-2/src/mainloop.rkt:67:0
                              ??? [9]             100.0%
--------------------------------------------------------
                              simplify! [6]       100.0%
 [8] 288(50.0%)    0(0.0%)  ??? ...erbie/no-costs-2/src/core/simplify.rkt:26:0
                              for-loop [10]       100.0%
--------------------------------------------------------
                              setup-prog!34 [7]   100.0%
 [9] 288(50.0%)    0(0.0%)  ??? ...contract/private/arrow-val-first.rkt:388:18
                              make-alt-table [11] 100.0%
--------------------------------------------------------
                              ??? [8]             100.0%
[10] 288(50.0%)    0(0.0%)  for-loop .../no-costs-2/src/core/simplify.rkt:33:2
                              one-iter [12]       100.0%
--------------------------------------------------------
                              ??? [9]             100.0%
[11] 288(50.0%)    0(0.0%)  make-alt-table ...ts-2/src/core/alt-table.rkt:33:0
                              errors [13]         100.0%
--------------------------------------------------------
                              for-loop [10]       100.0%
[12] 288(50.0%)    0(0.0%)  one-iter .../no-costs-2/src/core/simplify.rkt:65:0
                              for-loop [14]       100.0%
--------------------------------------------------------
                              make-alt-table [11] 100.0%
[13] 288(50.0%)    0(0.0%)  errors ...s/herbie/no-costs-2/src/points.rkt:223:0
                              for-loop [15]       100.0%
--------------------------------------------------------
                              one-iter [12]       100.0%
[14] 288(50.0%)    0(0.0%)  for-loop .../no-costs-2/src/core/simplify.rkt:67:2
                              for-loop [16]       100.0%
--------------------------------------------------------
                              errors [13]         100.0%
[15] 288(50.0%)    0(0.0%)  for-loop ...herbie/no-costs-2/src/points.rkt:225:2
                              ??? [3]             100.0%
--------------------------------------------------------
                              for-loop [14]       100.0%
[16] 288(50.0%)    0(0.0%)  for-loop .../no-costs-2/src/core/simplify.rkt:70:4
                              dedup-children! [17]100.0%
--------------------------------------------------------
                              for-loop [16]       100.0%
[17] 288(50.0%)    0(0.0%)  dedup-children! ...osts-2/src/core/enode.rkt:195:0
                              loop [18]           100.0%
--------------------------------------------------------
                              loop [18]            50.0%
                              dedup-children! [17] 50.0%
[18] 288(50.0%)    0(0.0%)  loop ...racket-7.0/collects/racket/list.rkt:417:34
                              loop [18]            50.0%
                              member [19]          50.0%
--------------------------------------------------------
                              loop [18]           100.0%
[19] 288(50.0%)  288(50.0%) member (unknown source)
--------------------------------------------------------