Profiling results ----------------- Total cpu time observed: 2372ms (out of 2440ms) Number of samples taken: 28 (once every 85ms) =================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee =================================================================== ??? [5] 100.0% [1] 2252(94.9%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ------------------------------------------------------------------- [2] 72(3.0%) 0(0.0%) [traversing imports] ...n-source-directory.rkt:##f [traversing imports] [4] 100.0% ------------------------------------------------------------------- profile-thunk16 [1] 97.9% [3] 2300(97.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% ------------------------------------------------------------------- [traversing imports] [2] 100.0% [4] 72(3.0%) 0(0.0%) [traversing imports] ...cts/setup/collects.rkt:##f [traversing imports] [6] 100.0% ------------------------------------------------------------------- run [3] 51.0% [5] 2300(97.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.0% loop [9] 43.0% run-improve50 [7] 8.0% ------------------------------------------------------------------- [traversing imports] [4] 100.0% [6] 72(3.0%) 0(0.0%) [traversing imports] .../collects/pkg/path.rkt:##f [traversing imports] [8] 100.0% ------------------------------------------------------------------- ??? [5] 100.0% [7] 320(13.5%) 0(0.0%) run-improve50 ...ock/herbie/src/mainloop.rkt:234:0 loop [9] 67.5% setup-prog [10] 32.5% ------------------------------------------------------------------- [traversing imports] [6] 100.0% [8] 72(3.0%) 0(0.0%) [traversing imports] ...ollects/setup/dirs.rkt:##f [traversing imports] [11] 100.0% ------------------------------------------------------------------- run-improve50 [7] 9.8% ??? [5] 90.2% [9] 2196(92.6%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:159:2 make-exacts* [17] 47.4% loop [12] 36.0% for-loop [13] 14.0% loop [18] 2.6% ------------------------------------------------------------------- run-improve50 [7] 100.0% [10] 104(4.4%) 0(0.0%) setup-prog /home/ztatlock/herbie/src/glue.rkt:45:0 ??? [15] 53.8% simplify-alt [16] 46.2% ------------------------------------------------------------------- [traversing imports] [8] 100.0% [11] 72(3.0%) 0(0.0%) [traversing imports] ...cts/racket/promise.rkt:##f [traversing imports] [14] 100.0% ------------------------------------------------------------------- loop [9] 100.0% [12] 790(33.3%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 loop [18] 52.4% make-exacts* [17] 28.6% eval-prog [25] 13.9% loop [23] 5.1% ------------------------------------------------------------------- loop [9] 100.0% [13] 308(13.0%) 150(6.3%) for-loop .../ztatlock/herbie/src/points.rkt:166:24 for-loop [19] 51.3% ------------------------------------------------------------------- [traversing imports] [11] 100.0% [14] 72(3.0%) 0(0.0%) [traversing imports] ...llects/racket/base.rkt:##f [traversing imports] [20] 100.0% ------------------------------------------------------------------- setup-prog [10] 100.0% [15] 56(2.4%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:357:18 make-alt-table [21] 100.0% ------------------------------------------------------------------- setup-prog [10] 100.0% [16] 48(2.0%) 0(0.0%) simplify-alt .../ztatlock/herbie/src/glue.rkt:83:0 simplify [22] 100.0% ------------------------------------------------------------------- loop [12] 17.9% loop [9] 82.1% [17] 1266(53.4%) 0(0.0%) make-exacts* ...atlock/herbie/src/points.rkt:106:0 loop [30] 54.3% map [24] 40.9% eval-prog [25] 4.7% ------------------------------------------------------------------- loop [9] 12.3% loop [12] 87.7% [18] 472(19.9%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:109:4 map [24] 100.0% ------------------------------------------------------------------- for-loop [13] 100.0% [19] 158(6.7%) 0(0.0%) for-loop .../ztatlock/herbie/src/points.rkt:167:26 ??? [26] 100.0% ------------------------------------------------------------------- [traversing imports] [14] 100.0% [20] 72(3.0%) 0(0.0%) [traversing imports] ...acket/private/base.rkt:##f [traversing imports] [27] 100.0% ------------------------------------------------------------------- ??? [15] 100.0% [21] 56(2.4%) 0(0.0%) make-alt-table ...rbie/src/core/alt-table.rkt:32:0 ??? [28] 100.0% ------------------------------------------------------------------- simplify-alt [16] 100.0% [22] 48(2.0%) 0(0.0%) simplify ...lock/herbie/src/core/simplify.rkt:39:0 iterate-egraph!5 [29] 100.0% ------------------------------------------------------------------- loop [12] 0.1% loop [23] 99.9% [23] 40(1.7%) 40(1.7%) loop /home/ztatlock/herbie/src/points.rkt:98:2 loop [23] 99.9% ------------------------------------------------------------------- loop [18] 47.7% make-exacts* [17] 52.3% [24] 990(41.7%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [30] 100.0% ------------------------------------------------------------------- make-exacts* [17] 35.3% loop [12] 64.7% [25] 170(7.2%) 108(4.6%) eval-prog ...tatlock/herbie/src/programs.rkt:146:0 [running expand-time body] [32] 36.5% ------------------------------------------------------------------- for-loop [19] 100.0% [26] 158(6.7%) 158(6.7%) ??? /home/ztatlock/herbie/src/points.rkt:156:9 ------------------------------------------------------------------- [traversing imports] [20] 100.0% [27] 72(3.0%) 0(0.0%) [traversing imports] ...t/private/pre-base.rkt:##f [traversing imports] [31] 100.0% ------------------------------------------------------------------- make-alt-table [21] 100.0% [28] 56(2.4%) 56(2.4%) ??? ...cket/collects/racket/private/for.rkt:1146:9 ------------------------------------------------------------------- simplify [22] 100.0% [29] 48(2.0%) 0(0.0%) iterate-egraph!5 ...bie/src/core/simplify.rkt:95:0 one-iter [33] 100.0% ------------------------------------------------------------------- make-exacts* [17] 0.4% map [24] 0.4% loop [30] 99.2% [30] 1678(70.7%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [30] 99.2% ??? [34] 0.5% ->flonum [35] 0.3% ------------------------------------------------------------------- [traversing imports] [27] 100.0% [31] 72(3.0%) 0(0.0%) [traversing imports] ...et/private/reqprov.rkt:##f [traversing imports] [36] 100.0% ------------------------------------------------------------------- eval-prog [25] 100.0% [32] 62(2.6%) 62(2.6%) [running expand-time body] ...tax/id-table.rkt:##f ------------------------------------------------------------------- iterate-egraph!5 [29] 100.0% [33] 48(2.0%) 0(0.0%) one-iter ...ock/herbie/src/core/simplify.rkt:106:0 apply-match [37] 100.0% ------------------------------------------------------------------- loop [30] 100.0% [34] 1142(48.1%) 56(2.4%) ??? /home/ztatlock/herbie/src/programs.rkt:152:4 ??? [38] 95.1% ------------------------------------------------------------------- loop [30] 100.0% [35] 536(22.6%) 0(0.0%) ->flonum .../ztatlock/herbie/src/programs.rkt:34:0 ??? [39] 100.0% ------------------------------------------------------------------- [traversing imports] [31] 100.0% [36] 72(3.0%) 0(0.0%) [traversing imports] .../require-transform.rkt:##f [traversing imports] [40] 100.0% ------------------------------------------------------------------- one-iter [33] 100.0% [37] 48(2.0%) 0(0.0%) apply-match .../herbie/src/core/simplify.rkt:122:2 merge-egraph-nodes! [41] 100.0% ------------------------------------------------------------------- ??? [34] 100.0% [38] 1086(45.8%) 150(6.3%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [42] 86.2% ------------------------------------------------------------------- ->flonum [35] 100.0% [39] 536(22.6%) 300(12.6%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 ??? [43] 35.1% return/no-unsupplied [45] 9.0% ------------------------------------------------------------------- [traversing imports] [36] 100.0% [40] 72(3.0%) 0(0.0%) [traversing imports] ...vate/define-struct.rkt:##f [traversing imports] [44] 100.0% ------------------------------------------------------------------- apply-match [37] 100.0% [41] 48(2.0%) 48(2.0%) merge-egraph-nodes! ...e/src/core/egraph.rkt:152:0 ------------------------------------------------------------------- ??? [38] 100.0% [42] 936(39.5%) 878(37.0%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [47] 6.2% ------------------------------------------------------------------- ??? [39] 100.0% [43] 188(7.9%) 0(0.0%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [46] 100.0% ------------------------------------------------------------------- [traversing imports] [40] 100.0% [44] 72(3.0%) 72(3.0%) [traversing imports] ...te/procedure-alias.rkt:##f ------------------------------------------------------------------- ??? [39] 100.0% [45] 48(2.0%) 48(2.0%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 ------------------------------------------------------------------- ??? [43] 100.0% [46] 188(7.9%) 188(7.9%) ??? ...s/racket/contract/private/arr-i.rkt:1233:27 ------------------------------------------------------------------- real->bigfloat [42] 100.0% [47] 58(2.4%) 58(2.4%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 -------------------------------------------------------------------