Profiling results ----------------- Total cpu time observed: 16046ms (out of 16580ms) Number of samples taken: 111 (once every 145ms) ======================================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================================= ??? [19] 100.0% [1] 15724(98.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% --------------------------------------------------------------------------------------- ??? [19] 100.0% [2] 2458(15.3%) 0(0.0%) run-improve50 ...ock/herbie/src/mainloop.rkt:234:0 for-loop [5] 87.1% loop [22] 12.9% --------------------------------------------------------------------------------------- ??? [19] 100.0% [3] 1388(8.7%) 0(0.0%) simplify ...lock/herbie/src/core/simplify.rkt:39:0 simplify-expr [6] 54.3% for-loop [7] 45.7% --------------------------------------------------------------------------------------- profile-thunk16 [1] 98.7% [4] 15934(99.3%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [19] 100.0% --------------------------------------------------------------------------------------- run-improve50 [2] 100.0% [5] 2142(13.3%) 0(0.0%) for-loop ...ztatlock/herbie/src/mainloop.rkt:245:8 run-iter! [8] 100.0% --------------------------------------------------------------------------------------- simplify [3] 100.0% [6] 754(4.7%) 0(0.0%) simplify-expr ...herbie/src/core/simplify.rkt:68:0 iterate-egraph!5 [9] 100.0% --------------------------------------------------------------------------------------- simplify [3] 100.0% [7] 634(4.0%) 0(0.0%) for-loop ...ock/herbie/src/core/simplify.rkt:61:12 iterate-egraph!5 [9] 100.0% --------------------------------------------------------------------------------------- for-loop [5] 100.0% [8] 2142(13.3%) 0(0.0%) run-iter! ...tatlock/herbie/src/mainloop.rkt:215:0 simplify! [10] 64.8% finalize-iter! [12] 21.9% gen-series! [13] 8.8% localize-error [14] 4.5% --------------------------------------------------------------------------------------- for-loop [7] 45.7% simplify-expr [6] 54.3% [9] 1388(8.7%) 0(0.0%) iterate-egraph!5 ...bie/src/core/simplify.rkt:95:0 one-iter [11] 100.0% --------------------------------------------------------------------------------------- run-iter! [8] 100.0% [10] 1388(8.7%) 0(0.0%) simplify! ...tatlock/herbie/src/mainloop.rkt:155:0 for-loop [15] 100.0% --------------------------------------------------------------------------------------- iterate-egraph!5 [9] 100.0% [11] 1388(8.7%) 0(0.0%) one-iter ...ock/herbie/src/core/simplify.rkt:106:0 for-loop [16] 61.2% loop [17] 22.3% filter [75] 8.6% apply-match [20] 7.8% --------------------------------------------------------------------------------------- run-iter! [8] 100.0% [12] 470(2.9%) 0(0.0%) finalize-iter! ...ck/herbie/src/mainloop.rkt:169:0 ??? [34] 100.0% --------------------------------------------------------------------------------------- run-iter! [8] 100.0% [13] 188(1.2%) 0(0.0%) gen-series! ...tlock/herbie/src/mainloop.rkt:129:0 for-loop [18] 100.0% --------------------------------------------------------------------------------------- run-iter! [8] 100.0% [14] 96(0.6%) 0(0.0%) localize-error ...erbie/src/core/localize.rkt:47:0 hash-ref! [52] 100.0% --------------------------------------------------------------------------------------- simplify! [10] 100.0% [15] 1388(8.7%) 0(0.0%) for-loop ...ztatlock/herbie/src/mainloop.rkt:159:6 ??? [19] 100.0% --------------------------------------------------------------------------------------- for-loop [16] 50.0% one-iter [11] 50.0% [16] 850(5.3%) 94(0.6%) for-loop ...ck/herbie/src/core/simplify.rkt:116:12 for-loop [16] 50.0% match-e [23] 44.5% --------------------------------------------------------------------------------------- one-iter [11] 100.0% [17] 310(1.9%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:52:19 apply-match [20] 100.0% --------------------------------------------------------------------------------------- gen-series! [13] 100.0% [18] 188(1.2%) 0(0.0%) for-loop ...ztatlock/herbie/src/mainloop.rkt:135:7 taylor-alt [21] 100.0% --------------------------------------------------------------------------------------- for-loop [15] 3.0% run [4] 49.0% [19] 16046(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 47.7% loop [22] 43.0% run-improve50 [2] 6.3% simplify [3] 3.0% --------------------------------------------------------------------------------------- one-iter [11] 25.8% loop [17] 74.2% [20] 418(2.6%) 0(0.0%) apply-match .../herbie/src/core/simplify.rkt:122:2 match-e [23] 49.3% mk-enode! [25] 25.8% for-loop [26] 24.9% --------------------------------------------------------------------------------------- for-loop [18] 100.0% [21] 188(1.2%) 0(0.0%) taylor-alt ...e/ztatlock/herbie/src/glue.rkt:141:0 for-loop [24] 100.0% --------------------------------------------------------------------------------------- run-improve50 [2] 2.3% ??? [19] 97.7% [22] 13904(86.7%) 104(0.6%) loop /home/ztatlock/herbie/src/points.rkt:159:2 loop [27] 51.6% make-exacts* [32] 44.0% for-loop [29] 2.1% loop [33] 1.5% --------------------------------------------------------------------------------------- apply-match [20] 10.7% for-loop [35] 22.3% for-loop [16] 66.9% [23] 962(6.0%) 410(2.6%) match-e ...tatlock/herbie/src/core/ematch.rkt:46:0 for-loop [28] 28.4% for-loop [35] 16.7% ??? [34] 12.1% variable? [30] 5.8% --------------------------------------------------------------------------------------- taylor-alt [21] 100.0% [24] 188(1.2%) 0(0.0%) for-loop /home/ztatlock/herbie/src/glue.rkt:143:2 ??? [44] 100.0% --------------------------------------------------------------------------------------- apply-match [20] 100.0% [25] 108(0.7%) 108(0.7%) mk-enode! ...lock/herbie/src/core/egraph.rkt:101:0 --------------------------------------------------------------------------------------- apply-match [20] 100.0% [26] 104(0.6%) 0(0.0%) for-loop ...ck/herbie/src/core/simplify.rkt:136:10 loop! [31] 100.0% --------------------------------------------------------------------------------------- loop [22] 100.0% [27] 7172(44.7%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:119:2 loop [33] 59.5% make-exacts* [32] 39.0% eval-prog [60] 1.5% --------------------------------------------------------------------------------------- match-e [23] 100.0% [28] 432(2.7%) 98(0.6%) for-loop ...tlock/herbie/src/core/ematch.rkt:59:11 for-loop [35] 77.3% --------------------------------------------------------------------------------------- loop [22] 100.0% [29] 298(1.9%) 0(0.0%) for-loop .../ztatlock/herbie/src/points.rkt:166:24 for-loop [36] 100.0% --------------------------------------------------------------------------------------- match-e [23] 100.0% [30] 112(0.7%) 0(0.0%) variable? ...ck/herbie/src/syntax/syntax.rkt:529:0 ??? [34] 100.0% --------------------------------------------------------------------------------------- for-loop [26] 100.0% [31] 104(0.6%) 0(0.0%) loop! .../ztatlock/herbie/src/core/enode.rkt:163:2 custom-set-union [37] 100.0% --------------------------------------------------------------------------------------- loop [27] 31.3% loop [22] 68.7% [32] 8920(55.6%) 0(0.0%) make-exacts* ...atlock/herbie/src/points.rkt:106:0 loop [58] 53.3% map [38] 45.7% eval-prog [60] 1.0% --------------------------------------------------------------------------------------- loop [22] 4.6% loop [27] 95.4% [33] 4472(27.9%) 0(0.0%) loop /home/ztatlock/herbie/src/points.rkt:109:4 map [38] 100.0% --------------------------------------------------------------------------------------- f159 [63] 13.6% variable? [30] 13.9% match-e [23] 14.4% finalize-iter! [12] 58.2% [34] 808(5.0%) 112(0.7%) ??? ...contract/private/arrow-val-first.rkt:357:18 for-loop [39] 58.2% hash-has-key? [40] 28.0% --------------------------------------------------------------------------------------- match-e [23] 38.6% for-loop [28] 61.4% [35] 544(3.4%) 226(1.4%) for-loop ...tlock/herbie/src/core/ematch.rkt:65:37 match-e [23] 68.8% --------------------------------------------------------------------------------------- for-loop [29] 100.0% [36] 298(1.9%) 210(1.3%) for-loop .../ztatlock/herbie/src/points.rkt:167:26 ??? [42] 29.5% --------------------------------------------------------------------------------------- loop! [31] 100.0% [37] 104(0.6%) 0(0.0%) custom-set-union ...et/private/set-types.rkt:168:0 for-loop [41] 100.0% --------------------------------------------------------------------------------------- f159 [63] 1.2% make-exacts* [32] 47.1% loop [33] 51.7% [38] 8650(53.9%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [58] 80.2% ??? [61] 18.6% ??? [46] 1.2% --------------------------------------------------------------------------------------- ??? [34] 100.0% [39] 470(2.9%) 0(0.0%) for-loop ...ock/herbie/src/core/alt-table.rkt:51:2 atab-add-altn [43] 100.0% --------------------------------------------------------------------------------------- ??? [34] 100.0% [40] 226(1.4%) 0(0.0%) hash-has-key? ...et/private/more-scheme.rkt:368:13 ??? [45] 100.0% --------------------------------------------------------------------------------------- custom-set-union [37] 100.0% [41] 104(0.6%) 0(0.0%) for-loop ...cts/racket/private/set-types.rkt:174:3 for-loop [47] 100.0% --------------------------------------------------------------------------------------- for-loop [36] 100.0% [42] 88(0.5%) 0(0.0%) ??? /home/ztatlock/herbie/src/points.rkt:156:9 ??? [44] 100.0% --------------------------------------------------------------------------------------- for-loop [39] 100.0% [43] 470(2.9%) 0(0.0%) atab-add-altn ...rbie/src/core/alt-table.rkt:208:0 best-and-tied-at-points [48] 100.0% --------------------------------------------------------------------------------------- ??? [42] 22.8% location-do [49] 24.4% for-loop [24] 24.4% f159 [63] 28.5% [44] 386(2.4%) 88(0.5%) ??? ...tract/private/arrow-higher-order.rkt:342:33 location-do [49] 52.8% approximate9 [51] 24.4% --------------------------------------------------------------------------------------- hash-has-key? [40] 100.0% [45] 226(1.4%) 0(0.0%) ??? ...ects/racket/contract/private/list.rkt:737:4 successfully-got-the-right-kind-of-function [50]100.0% --------------------------------------------------------------------------------------- loop [58] 48.5% map [38] 51.5% [46] 198(1.2%) 0(0.0%) ??? ...ket/collects/racket/private/list.rkt:323:18 f159 [63] 51.5% hash-ref! [52] 48.5% --------------------------------------------------------------------------------------- for-loop [41] 100.0% [47] 104(0.6%) 104(0.6%) for-loop ...cts/racket/private/set-types.rkt:178:5 --------------------------------------------------------------------------------------- atab-add-altn [43] 100.0% [48] 470(2.9%) 0(0.0%) best-and-tied-at-points ...ore/alt-table.rkt:122:0 errors [53] 100.0% --------------------------------------------------------------------------------------- ??? [44] 100.0% [49] 298(1.9%) 110(0.7%) location-do ...acket/private/norm-define.rkt:53:83 ??? [44] 63.1% --------------------------------------------------------------------------------------- ??? [45] 100.0% [50] 226(1.4%) 110(0.7%) successfully-got-the-right-kind-of-function ...9:4 arity-checking-wrapper [54] 51.3% --------------------------------------------------------------------------------------- ??? [44] 100.0% [51] 188(1.2%) 0(0.0%) approximate9 ...ck/herbie/src/core/taylor.rkt:12:0 for-loop [55] 54.3% debug-print [57] 45.7% --------------------------------------------------------------------------------------- ??? [46] 50.0% localize-error [14] 50.0% [52] 96(0.6%) 0(0.0%) hash-ref! ...racket/private/more-scheme.rkt:373:13 parse-loop12 [56] 100.0% --------------------------------------------------------------------------------------- best-and-tied-at-points [48] 100.0% [53] 470(2.9%) 0(0.0%) errors /home/ztatlock/herbie/src/points.rkt:184:0 for-loop [59] 76.6% eval-prog [60] 23.4% --------------------------------------------------------------------------------------- successfully-got-the-right-kind-of-function [50]100.0% [54] 116(0.7%) 116(0.7%) arity-checking-wrapper ...w-higher-order.rkt:402:0 --------------------------------------------------------------------------------------- approximate9 [51] 100.0% [55] 102(0.6%) 0(0.0%) for-loop ...tlock/herbie/src/core/taylor.rkt:29:18 f159 [63] 100.0% --------------------------------------------------------------------------------------- hash-ref! [52] 100.0% [56] 96(0.6%) 0(0.0%) parse-loop12 ...s/racket/match/compiler.rkt:418:15 loop [58] 100.0% --------------------------------------------------------------------------------------- approximate9 [51] 100.0% [57] 86(0.5%) 86(0.5%) debug-print ...ztatlock/herbie/src/debug.rkt:107:0 --------------------------------------------------------------------------------------- parse-loop12 [56] 0.1% ??? [61] 0.2% map [38] 0.7% make-exacts* [32] 2.2% loop [58] 96.8% [58] 11792(73.5%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [58] 96.8% ??? [61] 2.7% ??? [64] 0.2% ->flonum [62] 0.1% ??? [46] 0.0% bf* [69] 0.0% --------------------------------------------------------------------------------------- errors [53] 100.0% [59] 360(2.2%) 0(0.0%) for-loop ...e/ztatlock/herbie/src/points.rkt:187:4 ??? [61] 66.7% ->flonum [62] 33.3% --------------------------------------------------------------------------------------- make-exacts* [32] 28.1% loop [27] 35.9% errors [53] 35.9% [60] 306(1.9%) 86(0.5%) eval-prog ...tatlock/herbie/src/programs.rkt:146:0 f159 [63] 71.9% --------------------------------------------------------------------------------------- for-loop [59] 1.9% map [38] 12.8% loop [58] 85.3% [61] 12548(78.2%) 706(4.4%) ??? /home/ztatlock/herbie/src/programs.rkt:152:4 ??? [64] 51.6% ??? [65] 34.9% loop [58] 8.0% --------------------------------------------------------------------------------------- for-loop [59] 10.7% loop [58] 89.3% [62] 1118(7.0%) 194(1.2%) ->flonum .../ztatlock/herbie/src/programs.rkt:34:0 ??? [66] 82.6% --------------------------------------------------------------------------------------- ??? [46] 15.8% for-loop [55] 15.8% eval-prog [60] 68.3% [63] 322(2.0%) 0(0.0%) f159 .../collects/racket/match/compiler.rkt:507:40 ??? [44] 34.2% ??? [34] 34.2% map [38] 15.8% taylor-invert [67] 15.8% --------------------------------------------------------------------------------------- loop [58] 13.4% ??? [61] 86.6% [64] 7468(46.5%) 1392(8.7%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [68] 81.4% --------------------------------------------------------------------------------------- ??? [61] 100.0% [65] 4374(27.3%) 1786(11.1%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [69] 41.7% ??? [74] 14.2% ??? [71] 3.2% --------------------------------------------------------------------------------------- ->flonum [62] 100.0% [66] 924(5.8%) 636(4.0%) ??? /home/ztatlock/herbie/src/config.rkt:48:0 return/no-unsupplied [70] 20.3% ??? [73] 10.8% --------------------------------------------------------------------------------------- f159 [63] 100.0% [67] 102(0.6%) 0(0.0%) taylor-invert .../herbie/src/core/taylor.rkt:308:0 first-nonzero-exp [72] 100.0% --------------------------------------------------------------------------------------- ??? [64] 100.0% [68] 6076(37.9%) 4310(26.9%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ??? [80] 29.1% --------------------------------------------------------------------------------------- loop [58] 5.0% ??? [65] 95.0% [69] 1922(12.0%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [74] 100.0% --------------------------------------------------------------------------------------- ??? [66] 100.0% [70] 188(1.2%) 0(0.0%) return/no-unsupplied ...ct/private/arr-i.rkt:533:0 filter [75] 100.0% --------------------------------------------------------------------------------------- ??? [65] 100.0% [71] 140(0.9%) 140(0.9%) ??? ...rivate/unconstrained-domain-arrow.rkt:40:13 --------------------------------------------------------------------------------------- taylor-invert [67] 100.0% [72] 102(0.6%) 0(0.0%) first-nonzero-exp ...bie/src/core/taylor.rkt:256:0 simplify [76] 100.0% --------------------------------------------------------------------------------------- ??? [66] 100.0% [73] 100(0.6%) 0(0.0%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [77] 100.0% --------------------------------------------------------------------------------------- ??? [65] 24.4% bf* [69] 75.6% [74] 2544(15.9%) 212(1.3%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfsub [78] 91.7% --------------------------------------------------------------------------------------- one-iter [11] 39.0% return/no-unsupplied [70] 61.0% [75] 308(1.9%) 308(1.9%) filter ...t/collects/racket/private/list.rkt:256:2 --------------------------------------------------------------------------------------- first-nonzero-exp [72] 100.0% [76] 102(0.6%) 0(0.0%) simplify ...atlock/herbie/src/core/reduce.rkt:15:0 debug7 [79] 100.0% --------------------------------------------------------------------------------------- ??? [73] 100.0% [77] 100(0.6%) 100(0.6%) ??? ...s/racket/contract/private/arr-i.rkt:1233:27 --------------------------------------------------------------------------------------- ??? [74] 100.0% [78] 2332(14.5%) 1594(9.9%) bfsub ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [80] 31.6% --------------------------------------------------------------------------------------- simplify [76] 100.0% [79] 102(0.6%) 102(0.6%) debug7 /home/ztatlock/herbie/src/debug.rkt:102:0 --------------------------------------------------------------------------------------- bfsub [78] 29.5% real->bigfloat [68] 70.5% [80] 2504(15.6%) 2504(15.6%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ---------------------------------------------------------------------------------------