Profiling results ----------------- Total cpu time observed: 4610ms (out of 4796ms) Number of samples taken: 22 (once every 210ms) =============================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =============================================================== ??? [3] 100.0% [1] 4434(96.2%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% --------------------------------------------------------------- profile-thunk16 [1] 96.2% [2] 4610(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% --------------------------------------------------------------- run [2] 51.9% [3] 4610(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 loop [4] 48.7% profile-thunk16 [1] 48.1% run-improve50 [5] 3.2% --------------------------------------------------------------- ??? [3] 100.0% [4] 4318(93.7%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:159:2 make-exacts* [9] 51.6% loop [6] 44.3% filter-exacts [8] 4.1% --------------------------------------------------------------- ??? [3] 100.0% [5] 292(6.3%) 0(0.0%) run-improve50 ...ock/herbie/src/mainloop.rkt:234:0 get-final-combination [7]100.0% --------------------------------------------------------------- loop [4] 100.0% [6] 1914(41.5%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 loop [10] 68.0% make-exacts* [9] 32.0% --------------------------------------------------------------- run-improve50 [5] 100.0% [7] 292(6.3%) 0(0.0%) get-final-combination ...ie/src/mainloop.rkt:260:0 extract-alt [11] 100.0% --------------------------------------------------------------- loop [4] 100.0% [8] 176(3.8%) 176(3.8%) filter-exacts ...tlock/herbie/src/points.rkt:134:0 --------------------------------------------------------------- loop [6] 21.5% loop [4] 78.5% [9] 2840(61.6%) 0(0.0%) make-exacts* ...atlock/herbie/src/points.rkt:106:0 map [12] 60.4% loop [14] 39.6% --------------------------------------------------------------- loop [6] 100.0% [10] 1302(28.2%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:109:4 map [12] 100.0% --------------------------------------------------------------- get-final-combination [7]100.0% [11] 292(6.3%) 0(0.0%) extract-alt ...e/ztatlock/herbie/src/glue.rkt:56:0 argmins [13] 100.0% --------------------------------------------------------------- loop [10] 43.1% make-exacts* [9] 56.9% [12] 3018(65.5%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [14] 92.5% ??? [20] 7.5% --------------------------------------------------------------- extract-alt [11] 100.0% [13] 292(6.3%) 0(0.0%) argmins /home/ztatlock/herbie/src/common.rkt:134:0 composed [15] 100.0% --------------------------------------------------------------- make-exacts* [9] 0.0% map [12] 0.3% loop [14] 99.6% [14] 3916(84.9%) 370(8.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [14] 99.6% ??? [20] 0.2% ->flonum [16] 0.1% --------------------------------------------------------------- argmins [13] 100.0% [15] 292(6.3%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 errors [17] 100.0% --------------------------------------------------------------- loop [14] 100.0% [16] 602(13.1%) 0(0.0%) ->flonum .../ztatlock/herbie/src/programs.rkt:34:0 ??? [18] 100.0% --------------------------------------------------------------- composed [15] 100.0% [17] 292(6.3%) 0(0.0%) errors /home/ztatlock/herbie/src/points.rkt:184:0 for-loop [19] 100.0% --------------------------------------------------------------- ->flonum [16] 100.0% [18] 602(13.1%) 208(4.5%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 ??? [21] 42.2% return/no-unsupplied [22] 23.3% --------------------------------------------------------------- errors [17] 100.0% [19] 292(6.3%) 0(0.0%) for-loop ...e/ztatlock/herbie/src/points.rkt:187:4 ??? [20] 100.0% --------------------------------------------------------------- map [12] 6.5% for-loop [19] 8.4% loop [14] 85.0% [20] 3462(75.1%) 152(3.3%) ??? /home/ztatlock/herbie/src/programs.rkt:152:4 ??? [23] 56.3% ??? [24] 39.3% --------------------------------------------------------------- ??? [18] 100.0% [21] 254(5.5%) 156(3.4%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [26] 38.6% --------------------------------------------------------------- ??? [18] 100.0% [22] 140(3.0%) 0(0.0%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 filter [25] 100.0% --------------------------------------------------------------- ??? [20] 100.0% [23] 1948(42.3%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [27] 100.0% --------------------------------------------------------------- ??? [20] 100.0% [24] 1362(29.5%) 646(14.0%) ??? ...acket/collects/racket/private/kw.rkt:444:14 ??? [28] 52.6% --------------------------------------------------------------- return/no-unsupplied [22]100.0% [25] 140(3.0%) 140(3.0%) filter ...t/collects/racket/private/list.rkt:256:2 --------------------------------------------------------------- ??? [21] 100.0% [26] 98(2.1%) 98(2.1%) ??? ...s/racket/contract/private/arr-i.rkt:1233:27 --------------------------------------------------------------- ??? [23] 100.0% [27] 1948(42.3%) 1756(38.1%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [30] 9.9% --------------------------------------------------------------- ??? [24] 100.0% [28] 716(15.5%) 180(3.9%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfatan2 [29] 74.9% --------------------------------------------------------------- ??? [28] 100.0% [29] 536(11.6%) 302(6.6%) bfatan2 ...ib/math/private/bigfloat/mpfr.rkt:819:4 ??? [30] 43.7% --------------------------------------------------------------- real->bigfloat [27] 45.1% bfatan2 [29] 54.9% [30] 426(9.2%) 426(9.2%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------------