Profiling results ----------------- Total cpu time observed: 4354ms (out of 4668ms) Number of samples taken: 18 (once every 242ms) =============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================== ??? [3] 100.0% [1] 4354(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% --------------------------------------------------------------- profile-thunk16 [1] 100.0% [2] 4354(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% --------------------------------------------------------------- run [2] 50.0% [3] 4354(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [4] 50.0% --------------------------------------------------------------- ??? [3] 100.0% [4] 4354(100.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:159:2 make-exacts* [7] 54.4% loop [5] 40.2% for-loop [6] 5.4% --------------------------------------------------------------- loop [4] 100.0% [5] 1750(40.2%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 loop [8] 67.7% make-exacts* [7] 32.3% --------------------------------------------------------------- loop [4] 100.0% [6] 236(5.4%) 0(0.0%) for-loop .../ztatlock/herbie/src/points.rkt:166:24 for-loop [9] 100.0% --------------------------------------------------------------- loop [5] 19.3% loop [4] 80.7% [7] 2934(67.4%) 0(0.0%) make-exacts* ...atlock/herbie/src/points.rkt:106:0 map [10] 50.2% loop [12] 49.8% --------------------------------------------------------------- loop [5] 100.0% [8] 1184(27.2%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:109:4 map [10] 100.0% --------------------------------------------------------------- for-loop [6] 100.0% [9] 236(5.4%) 0(0.0%) for-loop .../ztatlock/herbie/src/points.rkt:167:26 ??? [11] 100.0% --------------------------------------------------------------- loop [8] 44.5% make-exacts* [7] 55.5% [10] 2658(61.0%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [12] 100.0% --------------------------------------------------------------- for-loop [9] 100.0% [11] 236(5.4%) 0(0.0%) ??? /home/ztatlock/herbie/src/points.rkt:156:9 random-exp [13] 100.0% --------------------------------------------------------------- map [10] 0.3% make-exacts* [7] 5.6% loop [12] 94.1% [12] 4118(94.6%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [12] 94.1% ??? [14] 5.9% ->flonum [15] 0.0% --------------------------------------------------------------- ??? [11] 100.0% [13] 236(5.4%) 236(5.4%) random-exp ...ztatlock/herbie/src/common.rkt:222:0 --------------------------------------------------------------- loop [12] 100.0% [14] 3886(89.3%) 240(5.5%) ??? /home/ztatlock/herbie/src/programs.rkt:152:4 ??? [16] 49.4% ??? [17] 44.5% --------------------------------------------------------------- loop [12] 100.0% [15] 232(5.3%) 0(0.0%) ->flonum .../ztatlock/herbie/src/programs.rkt:34:0 ??? [18] 100.0% --------------------------------------------------------------- ??? [14] 100.0% [16] 1918(44.1%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [19] 100.0% --------------------------------------------------------------- ??? [14] 100.0% [17] 1728(39.7%) 0(0.0%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [20] 85.0% ??? [21] 15.0% --------------------------------------------------------------- ->flonum [15] 100.0% [18] 232(5.3%) 0(0.0%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 return/no-unsupplied [22]100.0% --------------------------------------------------------------- ??? [16] 100.0% [19] 1918(44.1%) 1156(26.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [24] 39.7% --------------------------------------------------------------- ??? [17] 100.0% [20] 1468(33.7%) 706(16.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfatan2 [23] 51.9% --------------------------------------------------------------- ??? [17] 100.0% [21] 260(6.0%) 260(6.0%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 --------------------------------------------------------------- ??? [18] 100.0% [22] 232(5.3%) 232(5.3%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 --------------------------------------------------------------- ??? [20] 100.0% [23] 762(17.5%) 530(12.2%) bfatan2 ...ib/math/private/bigfloat/mpfr.rkt:819:4 ??? [24] 30.4% --------------------------------------------------------------- bfatan2 [23] 23.3% real->bigfloat [19] 76.7% [24] 994(22.8%) 994(22.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------------