Profiling results ----------------- Total cpu time observed: 5694ms (out of 6036ms) Number of samples taken: 36 (once every 158ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 25 hidden) =============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================== ??? [3] 100.0% [1] 5466(96.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% --------------------------------------------------------------- profile-thunk16 [1] 96.0% [2] 5694(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% --------------------------------------------------------------- run [2] 52.0% [3] 5694(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 loop [4] 51.0% profile-thunk16 [1] 48.0% --------------------------------------------------------------- ??? [3] 98.0% [4] 5694(100.0%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:159:2 make-exacts* [7] 56.0% loop [5] 39.8% for-loop [6] 2.2% loop [8] 2.0% --------------------------------------------------------------- loop [4] 100.0% [5] 2266(39.8%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 loop [8] 66.3% make-exacts* [7] 33.7% --------------------------------------------------------------- loop [4] 100.0% [6] 126(2.2%) 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] 3954(69.4%) 228(4.0%) make-exacts* ...atlock/herbie/src/points.rkt:106:0 map [10] 53.2% loop [12] 41.0% --------------------------------------------------------------- loop [4] 6.9% loop [5] 93.1% [8] 1614(28.3%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:109:4 map [10] 100.0% --------------------------------------------------------------- for-loop [6] 100.0% [9] 126(2.2%) 0(0.0%) for-loop .../ztatlock/herbie/src/points.rkt:167:26 ??? [11] 100.0% --------------------------------------------------------------- loop [8] 43.4% make-exacts* [7] 56.6% [10] 3718(65.3%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [12] 100.0% --------------------------------------------------------------- for-loop [9] 100.0% [11] 126(2.2%) 0(0.0%) ??? /home/ztatlock/herbie/src/points.rkt:156:9 random-exp [13] 100.0% --------------------------------------------------------------- make-exacts* [7] 0.1% map [10] 0.4% loop [12] 99.5% [12] 5340(93.8%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [12] 99.5% ??? [14] 0.4% ->flonum [15] 0.1% --------------------------------------------------------------- ??? [11] 100.0% [13] 126(2.2%) 126(2.2%) random-exp ...ztatlock/herbie/src/common.rkt:222:0 --------------------------------------------------------------- loop [12] 100.0% [14] 4746(83.4%) 670(11.8%) ??? /home/ztatlock/herbie/src/programs.rkt:152:4 ??? [16] 52.0% ??? [17] 30.6% ??? [19] 3.3% --------------------------------------------------------------- loop [12] 100.0% [15] 594(10.4%) 118(2.1%) ->flonum .../ztatlock/herbie/src/programs.rkt:34:0 ??? [18] 80.1% --------------------------------------------------------------- ??? [14] 100.0% [16] 2470(43.4%) 278(4.9%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [20] 88.7% --------------------------------------------------------------- ??? [14] 100.0% [17] 1450(25.5%) 154(2.7%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [21] 89.4% --------------------------------------------------------------- ->flonum [15] 100.0% [18] 476(8.4%) 230(4.0%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 return/no-unsupplied [22] 51.7% --------------------------------------------------------------- ??? [14] 100.0% [19] 156(2.7%) 156(2.7%) ??? ...tract/private/arrow-higher-order.rkt:145:21 --------------------------------------------------------------- ??? [16] 100.0% [20] 2192(38.5%) 1114(19.6%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [23] 49.2% --------------------------------------------------------------- ??? [17] 100.0% [21] 1296(22.8%) 824(14.5%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfatan2 [24] 36.4% --------------------------------------------------------------- ??? [18] 100.0% [22] 246(4.3%) 246(4.3%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 --------------------------------------------------------------- real->bigfloat [20] 100.0% [23] 1078(18.9%) 1078(18.9%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 --------------------------------------------------------------- ??? [21] 100.0% [24] 472(8.3%) 472(8.3%) bfatan2 ...ib/math/private/bigfloat/mpfr.rkt:819:4 ---------------------------------------------------------------