Profiling results ----------------- Total cpu time observed: 5920ms (out of 6196ms) Number of samples taken: 50 (once every 118ms) ==================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ==================================================================== ??? [5] 100.0% [1] 5876(99.3%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% -------------------------------------------------------------------- [2] 44(0.7%) 0(0.0%) [traversing imports] ...x/parse/private/sc.rkt:##f [traversing imports] [4] 100.0% -------------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 5876(99.3%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% -------------------------------------------------------------------- [traversing imports] [2] 100.0% [4] 44(0.7%) 0(0.0%) [traversing imports] ...acket/lazy-require.rkt:##f [traversing imports] [6] 100.0% -------------------------------------------------------------------- run [3] 50.0% [5] 5876(99.3%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [9] 43.8% run-improve50 [7] 6.2% -------------------------------------------------------------------- [traversing imports] [4] 100.0% [6] 44(0.7%) 0(0.0%) [traversing imports] ...acket/runtime-path.rkt:##f [traversing imports] [8] 100.0% -------------------------------------------------------------------- ??? [5] 100.0% [7] 730(12.3%) 0(0.0%) run-improve50 ...ock/herbie/src/mainloop.rkt:234:0 setup-prog [10] 60.8% loop [9] 31.2% for-loop [11] 7.9% -------------------------------------------------------------------- [traversing imports] [6] 100.0% [8] 44(0.7%) 0(0.0%) [traversing imports] ...n-source-directory.rkt:##f [traversing imports] [12] 100.0% -------------------------------------------------------------------- run-improve50 [7] 4.2% ??? [5] 95.8% [9] 5374(90.8%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:159:2 make-exacts* [17] 63.4% loop [13] 31.1% for-loop [15] 4.4% loop [18] 1.1% -------------------------------------------------------------------- run-improve50 [7] 100.0% [10] 444(7.5%) 0(0.0%) setup-prog /home/ztatlock/herbie/src/glue.rkt:45:0 simplify-alt [14] 100.0% -------------------------------------------------------------------- run-improve50 [7] 100.0% [11] 58(1.0%) 0(0.0%) for-loop ...ztatlock/herbie/src/mainloop.rkt:245:8 ??? [50] 100.0% -------------------------------------------------------------------- [traversing imports] [8] 100.0% [12] 44(0.7%) 0(0.0%) [traversing imports] ...cts/setup/collects.rkt:##f [traversing imports] [16] 100.0% -------------------------------------------------------------------- loop [9] 100.0% [13] 1672(28.2%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 loop [18] 49.3% make-exacts* [17] 40.6% eval-prog [21] 10.2% -------------------------------------------------------------------- setup-prog [10] 100.0% [14] 444(7.5%) 0(0.0%) simplify-alt .../ztatlock/herbie/src/glue.rkt:83:0 simplify [19] 100.0% -------------------------------------------------------------------- loop [9] 100.0% [15] 238(4.0%) 0(0.0%) for-loop .../ztatlock/herbie/src/points.rkt:166:24 for-loop [20] 75.6% ??? [22] 24.4% -------------------------------------------------------------------- [traversing imports] [12] 100.0% [16] 44(0.7%) 0(0.0%) [traversing imports] .../collects/pkg/path.rkt:##f [traversing imports] [23] 100.0% -------------------------------------------------------------------- loop [13] 16.6% loop [9] 83.4% [17] 4084(69.0%) 0(0.0%) make-exacts* ...atlock/herbie/src/points.rkt:106:0 loop [32] 69.7% map [24] 30.3% -------------------------------------------------------------------- loop [9] 6.6% loop [13] 93.4% [18] 882(14.9%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:109:4 map [24] 100.0% -------------------------------------------------------------------- simplify-alt [14] 100.0% [19] 444(7.5%) 0(0.0%) simplify ...lock/herbie/src/core/simplify.rkt:39:0 iterate-egraph!5 [25] 83.8% extract-smallest [26] 16.2% -------------------------------------------------------------------- for-loop [15] 100.0% [20] 180(3.0%) 116(2.0%) for-loop .../ztatlock/herbie/src/points.rkt:167:26 ??? [28] 35.6% -------------------------------------------------------------------- loop [13] 100.0% [21] 170(2.9%) 0(0.0%) eval-prog ...tatlock/herbie/src/programs.rkt:146:0 f134 [27] 38.8% ??? [34] 34.1% [running expand-time body] [30] 27.1% -------------------------------------------------------------------- for-loop [15] 100.0% [22] 58(1.0%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:346:33 ??? [29] 100.0% -------------------------------------------------------------------- [traversing imports] [16] 100.0% [23] 44(0.7%) 0(0.0%) [traversing imports] ...ollects/setup/dirs.rkt:##f [traversing imports] [31] 100.0% -------------------------------------------------------------------- loop [18] 41.6% make-exacts* [17] 58.4% [24] 2120(35.8%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [32] 100.0% -------------------------------------------------------------------- simplify [19] 100.0% [25] 372(6.3%) 0(0.0%) iterate-egraph!5 ...bie/src/core/simplify.rkt:95:0 one-iter [33] 100.0% -------------------------------------------------------------------- simplify [19] 100.0% [26] 72(1.2%) 72(1.2%) extract-smallest ...ie/src/core/simplify.rkt:179:0 -------------------------------------------------------------------- eval-prog [21] 100.0% [27] 66(1.1%) 0(0.0%) f134 .../collects/racket/match/compiler.rkt:507:40 ??? [34] 100.0% -------------------------------------------------------------------- for-loop [20] 100.0% [28] 64(1.1%) 64(1.1%) ??? /home/ztatlock/herbie/src/points.rkt:156:9 -------------------------------------------------------------------- ??? [22] 100.0% [29] 58(1.0%) 58(1.0%) ??? ...cts/racket/contract/private/list.rkt:187:10 -------------------------------------------------------------------- eval-prog [21] 100.0% [30] 46(0.8%) 46(0.8%) [running expand-time body] ....rkt typed-defs):##f -------------------------------------------------------------------- [traversing imports] [23] 100.0% [31] 44(0.7%) 0(0.0%) [traversing imports] ...cts/racket/promise.rkt:##f [traversing imports] [35] 100.0% -------------------------------------------------------------------- make-exacts* [17] 0.3% map [24] 0.7% loop [32] 99.1% [32] 4966(83.9%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [32] 99.1% ??? [36] 0.9% ->flonum [39] 0.0% -------------------------------------------------------------------- iterate-egraph!5 [25] 100.0% [33] 372(6.3%) 0(0.0%) one-iter ...ock/herbie/src/core/simplify.rkt:106:0 for-loop [37] 58.6% loop [38] 41.4% -------------------------------------------------------------------- eval-prog [21] 46.8% f134 [27] 53.2% [34] 124(2.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [40] 53.2% ->bf [41] 46.8% -------------------------------------------------------------------- [traversing imports] [31] 100.0% [35] 44(0.7%) 0(0.0%) [traversing imports] ...llects/racket/base.rkt:##f [traversing imports] [42] 100.0% -------------------------------------------------------------------- loop [32] 100.0% [36] 4824(81.5%) 1276(21.6%) ??? /home/ztatlock/herbie/src/programs.rkt:152:4 ??? [43] 73.5% -------------------------------------------------------------------- for-loop [37] 50.0% one-iter [33] 50.0% [37] 218(3.7%) 0(0.0%) for-loop ...ck/herbie/src/core/simplify.rkt:116:12 for-loop [37] 50.0% match-e [44] 50.0% -------------------------------------------------------------------- one-iter [33] 100.0% [38] 154(2.6%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:52:19 apply-match [45] 100.0% -------------------------------------------------------------------- loop [32] 100.0% [39] 142(2.4%) 72(1.2%) ->flonum .../ztatlock/herbie/src/programs.rkt:34:0 ??? [46] 49.3% -------------------------------------------------------------------- ??? [34] 100.0% [40] 66(1.1%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:644:8 ??? [50] 100.0% -------------------------------------------------------------------- ??? [34] 100.0% [41] 58(1.0%) 58(1.0%) ->bf /home/ztatlock/herbie/src/programs.rkt:49:0 -------------------------------------------------------------------- [traversing imports] [35] 100.0% [42] 44(0.7%) 0(0.0%) [traversing imports] ...acket/private/base.rkt:##f [traversing imports] [47] 100.0% -------------------------------------------------------------------- ??? [36] 100.0% [43] 3548(59.9%) 152(2.6%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [48] 95.7% -------------------------------------------------------------------- for-loop [49] 50.0% for-loop [37] 50.0% [44] 218(3.7%) 164(2.8%) match-e ...tatlock/herbie/src/core/ematch.rkt:46:0 for-loop [49] 50.0% ??? [50] 12.4% -------------------------------------------------------------------- loop [38] 100.0% [45] 154(2.6%) 0(0.0%) apply-match .../herbie/src/core/simplify.rkt:122:2 mk-enode! [51] 100.0% -------------------------------------------------------------------- ->flonum [39] 100.0% [46] 70(1.2%) 70(1.2%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 -------------------------------------------------------------------- [traversing imports] [42] 100.0% [47] 44(0.7%) 44(0.7%) [traversing imports] ...t/private/pre-base.rkt:##f -------------------------------------------------------------------- ??? [43] 100.0% [48] 3396(57.4%) 2924(49.4%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [52] 13.9% -------------------------------------------------------------------- match-e [44] 100.0% [49] 218(3.7%) 0(0.0%) for-loop ...tlock/herbie/src/core/ematch.rkt:65:37 match-e [44] 100.0% -------------------------------------------------------------------- match-e [44] 30.3% for-loop [11] 32.6% ??? [40] 37.1% [50] 178(3.0%) 54(0.9%) ??? ...contract/private/arrow-val-first.rkt:357:18 hash-has-key? [54] 37.1% atab-completed? [55] 32.6% -------------------------------------------------------------------- apply-match [45] 100.0% [51] 154(2.6%) 0(0.0%) mk-enode! ...lock/herbie/src/core/egraph.rkt:101:0 new-enode [53] 100.0% -------------------------------------------------------------------- real->bigfloat [48] 100.0% [52] 472(8.0%) 472(8.0%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 -------------------------------------------------------------------- mk-enode! [51] 100.0% [53] 154(2.6%) 0(0.0%) new-enode ...atlock/herbie/src/core/enode.rkt:68:0 set [56] 100.0% -------------------------------------------------------------------- ??? [50] 100.0% [54] 66(1.1%) 0(0.0%) hash-has-key? ...et/private/more-scheme.rkt:368:13 ??? [57] 100.0% -------------------------------------------------------------------- ??? [50] 100.0% [55] 58(1.0%) 58(1.0%) atab-completed? ...bie/src/core/alt-table.rkt:69:0 -------------------------------------------------------------------- new-enode [53] 100.0% [56] 154(2.6%) 154(2.6%) set ...collects/racket/private/set-types.rkt:981:0 -------------------------------------------------------------------- hash-has-key? [54] 100.0% [57] 66(1.1%) 66(1.1%) ??? ...ects/racket/contract/private/list.rkt:737:4 --------------------------------------------------------------------