Profiling results ----------------- Total cpu time observed: 83122ms (out of 85888ms) Number of samples taken: 198 (once every 420ms) (Hiding functions with self<1.0% and local<2.0%: 1 of 98 hidden) ========================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================================= ??? [42] 100.0% [1] 83122(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [6] 100.0% ------------------------------------------------------------------------- ??? [42] 100.0% [2] 3574(4.3%) 0(0.0%) run-improve43 ...ie/develop/src/mainloop.rkt:362:0 setup-prog!34 [7] 54.3% for-loop [8] 29.4% simplify! [17] 16.3% ------------------------------------------------------------------------- hash-ref! [60] 100.0% [3] 476(0.6%) 0(0.0%) f9 ....0/collects/racket/match/compiler.rkt:507:40 map [57] 100.0% ------------------------------------------------------------------------- matcher [40] 100.0% [4] 292(0.4%) 0(0.0%) ??? .../herbie/develop/src/core/matcher.rkt:178:11 for-loop [9] 100.0% ------------------------------------------------------------------------- for-loop [62] 100.0% [5] 288(0.3%) 0(0.0%) loop (unknown source) expand-id-application-form17 [10]100.0% ------------------------------------------------------------------------- profile-thunk16 [1] 100.0% [6] 83122(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [42] 100.0% ------------------------------------------------------------------------- run-improve43 [2] 100.0% [7] 1940(2.3%) 0(0.0%) setup-prog!34 ...bie/develop/src/mainloop.rkt:76:0 loop [11] 100.0% ------------------------------------------------------------------------- run-improve43 [2] 100.0% [8] 1052(1.3%) 0(0.0%) for-loop .../herbie/develop/src/mainloop.rkt:377:4 run-iter! [12] 100.0% ------------------------------------------------------------------------- ??? [4] 100.0% [9] 292(0.4%) 0(0.0%) for-loop ...ie/develop/src/core/matcher.rkt:182:21 matcher [40] 100.0% ------------------------------------------------------------------------- loop [5] 100.0% [10] 288(0.3%) 0(0.0%) expand-id-application-form17 (unknown source) resolve+shift28 [13] 100.0% ------------------------------------------------------------------------- setup-prog!34 [7] 2.4% ??? [42] 97.6% [11] 79550(95.7%) 238(0.3%) loop ...htlies/herbie/develop/src/points.rkt:315:2 loop [21] 54.5% loop [14] 26.1% make-exacts-walkup [22] 16.0% make-exacts-halfpoints35 [15] 1.9% for-loop [16] 1.2% ------------------------------------------------------------------------- for-loop [8] 100.0% [12] 1052(1.3%) 0(0.0%) run-iter! ...herbie/develop/src/mainloop.rkt:343:0 localize! [18] 45.2% gen-rewrites! [19] 27.8% simplify! [17] 27.0% ------------------------------------------------------------------------- expand-id-application-form17 [10]100.0% [13] 288(0.3%) 0(0.0%) resolve+shift28 (unknown source) fallback-loop [20] 100.0% ------------------------------------------------------------------------- loop [11] 100.0% [14] 20738(24.9%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:270:2 loop [21] 68.4% make-exacts-walkup [22] 31.6% ------------------------------------------------------------------------- loop [11] 100.0% [15] 1538(1.9%) 0(0.0%) make-exacts-halfpoints35 ...p/src/points.rkt:268:0 make-exacts-walkup [22] 100.0% ------------------------------------------------------------------------- loop [11] 100.0% [16] 940(1.1%) 0(0.0%) for-loop ...s/herbie/develop/src/points.rkt:331:47 map [57] 100.0% ------------------------------------------------------------------------- run-iter! [12] 32.8% run-improve43 [2] 67.2% [17] 866(1.0%) 0(0.0%) simplify! ...herbie/develop/src/mainloop.rkt:239:0 ??? [23] 100.0% ------------------------------------------------------------------------- run-iter! [12] 100.0% [18] 476(0.6%) 0(0.0%) localize! ...herbie/develop/src/mainloop.rkt:138:0 localize-error [24] 100.0% ------------------------------------------------------------------------- run-iter! [12] 100.0% [19] 292(0.4%) 0(0.0%) gen-rewrites! ...ie/develop/src/mainloop.rkt:195:0 for-loop [25] 100.0% ------------------------------------------------------------------------- resolve+shift28 [13] 100.0% [20] 288(0.3%) 0(0.0%) fallback-loop (unknown source) for-loop [62] 100.0% ------------------------------------------------------------------------- loop [14] 24.6% loop [11] 75.4% [21] 57548(69.2%) 384(0.5%) loop ...htlies/herbie/develop/src/points.rkt:253:4 loop [69] 98.0% ------------------------------------------------------------------------- make-exacts-halfpoints35 [15] 7.4% loop [14] 31.5% loop [11] 61.1% [22] 20824(25.1%) 0(0.0%) make-exacts-walkup ...develop/src/points.rkt:250:0 loop [69] 91.2% eval-prog [26] 8.8% ------------------------------------------------------------------------- simplify! [17] 100.0% [23] 866(1.0%) 0(0.0%) ??? ...s/herbie/develop/src/core/simplify.rkt:29:0 loop [27] 100.0% ------------------------------------------------------------------------- localize! [18] 100.0% [24] 476(0.6%) 0(0.0%) localize-error ...velop/src/core/localize.rkt:52:0 hash-ref! [60] 100.0% ------------------------------------------------------------------------- gen-rewrites! [19] 100.0% [25] 292(0.4%) 0(0.0%) for-loop ...herbie/develop/src/mainloop.rkt:204:11 rewrite-expression-head20 [28] 100.0% ------------------------------------------------------------------------- errors [61] 13.6% make-exacts-walkup [22] 86.4% [26] 2128(2.6%) 0(0.0%) eval-prog ...herbie/develop/src/programs.rkt:129:0 hash-ref! [60] 32.4% inductor [30] 32.3% temp68_2 [31] 27.2% eval-one-top12 [33] 8.1% ------------------------------------------------------------------------- ??? [23] 100.0% [27] 866(1.0%) 0(0.0%) loop .../herbie/develop/src/core/simplify.rkt:43:2 one-iter [29] 100.0% ------------------------------------------------------------------------- for-loop [25] 100.0% [28] 292(0.4%) 0(0.0%) rewrite-expression-head20 ...ore/matcher.rkt:128:0 rewriter [32] 100.0% ------------------------------------------------------------------------- loop [27] 100.0% [29] 866(1.0%) 0(0.0%) one-iter ...bie/develop/src/core/simplify.rkt:98:0 find-matches [34] 67.9% set-precompute! [37] 32.1% ------------------------------------------------------------------------- eval-prog [26] 33.3% inductor [30] 66.7% [30] 688(0.8%) 0(0.0%) inductor .../herbie/develop/src/programs.rkt:134:4 inductor [30] 66.7% bf [77] 33.3% ------------------------------------------------------------------------- eval-prog [26] 100.0% [31] 578(0.7%) 0(0.0%) temp68_2 (unknown source) compile16 [35] 100.0% ------------------------------------------------------------------------- matcher [40] 50.0% rewrite-expression-head20 [28] 50.0% [32] 292(0.4%) 292(0.4%) rewriter ...bie/develop/src/core/matcher.rkt:131:2 for-loop [36] 50.0% ------------------------------------------------------------------------- eval-prog [26] 100.0% [33] 172(0.2%) 0(0.0%) eval-one-top12 (unknown source) for-loop [62] 100.0% ------------------------------------------------------------------------- one-iter [29] 100.0% [34] 588(0.7%) 0(0.0%) find-matches ...develop/src/core/simplify.rkt:62:0 for-loop [38] 100.0% ------------------------------------------------------------------------- temp68_2 [31] 100.0% [35] 578(0.7%) 0(0.0%) compile16 (unknown source) temp74_0 [39] 100.0% ------------------------------------------------------------------------- rewriter [32] 100.0% [36] 292(0.4%) 0(0.0%) for-loop ...ie/develop/src/core/matcher.rkt:134:10 matcher [40] 100.0% ------------------------------------------------------------------------- one-iter [29] 100.0% [37] 278(0.3%) 0(0.0%) set-precompute! ...lop/src/core/simplify.rkt:103:0 for-loop [41] 100.0% ------------------------------------------------------------------------- for-loop [38] 50.0% find-matches [34] 50.0% [38] 588(0.7%) 0(0.0%) for-loop ...bie/develop/src/core/simplify.rkt:64:8 for-loop [38] 50.0% match-e [43] 50.0% ------------------------------------------------------------------------- compile16 [35] 100.0% [39] 578(0.7%) 0(0.0%) temp74_0 (unknown source) expand-single [44] 100.0% ------------------------------------------------------------------------- for-loop [9] 50.0% for-loop [36] 50.0% [40] 292(0.4%) 0(0.0%) matcher ...rbie/develop/src/core/matcher.rkt:166:2 ??? [4] 50.0% rewriter [32] 50.0% ------------------------------------------------------------------------- set-precompute! [37] 100.0% [41] 278(0.3%) 0(0.0%) for-loop ...ie/develop/src/core/simplify.rkt:105:2 ??? [42] 100.0% ------------------------------------------------------------------------- for-loop [41] 0.1% run [6] 49.9% [42] 83122(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.9% loop [11] 46.7% run-improve43 [2] 2.1% errors [61] 0.4% eval-errors [45] 0.4% oracle-error [48] 0.2% get-final-combination [49] 0.2% ??? [74] 0.1% ------------------------------------------------------------------------- for-loop [54] 25.9% for-loop [38] 74.1% [43] 588(0.7%) 0(0.0%) match-e ...herbie/develop/src/core/ematch.rkt:39:0 for-loop [47] 51.7% make-sequence [50] 48.3% ------------------------------------------------------------------------- temp74_0 [39] 100.0% [44] 578(0.7%) 0(0.0%) expand-single (unknown source) expand-capturing-lifts [46] 100.0% ------------------------------------------------------------------------- ??? [42] 100.0% [45] 662(0.8%) 0(0.0%) eval-errors ...herbie/develop/src/points.rkt:209:0 for-loop [51] 100.0% ------------------------------------------------------------------------- expand-single [44] 100.0% [46] 578(0.7%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [52] 100.0% ------------------------------------------------------------------------- match-e [43] 100.0% [47] 304(0.4%) 0(0.0%) for-loop ...rbie/develop/src/core/ematch.rkt:52:11 for-loop [54] 50.0% foldl [53] 50.0% ------------------------------------------------------------------------- ??? [42] 100.0% [48] 304(0.4%) 0(0.0%) oracle-error ...erbie/develop/src/points.rkt:218:0 for-loop [55] 100.0% ------------------------------------------------------------------------- ??? [42] 100.0% [49] 290(0.3%) 0(0.0%) get-final-combination ...op/src/mainloop.rkt:383:0 argmins [56] 100.0% ------------------------------------------------------------------------- match-e [43] 100.0% [50] 284(0.3%) 284(0.3%) make-sequence ...ects/racket/private/for.rkt:528:2 ------------------------------------------------------------------------- eval-errors [45] 100.0% [51] 662(0.8%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:211:2 ??? [73] 50.5% ulp-difference [66] 49.5% ------------------------------------------------------------------------- expand-capturing-lifts [46] 100.0% [52] 578(0.7%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [58] 100.0% ------------------------------------------------------------------------- for-loop [47] 100.0% [53] 304(0.4%) 304(0.4%) foldl ....0/collects/racket/private/list.rkt:229:4 ------------------------------------------------------------------------- for-loop [47] 100.0% [54] 304(0.4%) 0(0.0%) for-loop ...rbie/develop/src/core/ematch.rkt:58:37 match-e [43] 100.0% ------------------------------------------------------------------------- oracle-error [48] 100.0% [55] 304(0.4%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:219:2 map [57] 100.0% ------------------------------------------------------------------------- get-final-combination [49] 100.0% [56] 290(0.3%) 0(0.0%) argmins ...lies/herbie/develop/src/common.rkt:93:0 ??? [59] 100.0% ------------------------------------------------------------------------- loop [69] 4.2% for-loop [55] 17.7% f9 [3] 23.4% for-loop [16] 54.7% [57] 1720(2.1%) 0(0.0%) map ...t-7.0/collects/racket/private/map.rkt:35:13 ??? [80] 54.7% hash-ref! [60] 19.2% point-error [63] 17.7% loop [69] 4.2% ??? [73] 4.2% ------------------------------------------------------------------------- lambda-clause-expander [52] 9.1% for-loop [62] 90.9% [58] 578(0.7%) 0(0.0%) finish-bodys (unknown source) for-loop [62] 100.0% ------------------------------------------------------------------------- argmins [56] 100.0% [59] 290(0.3%) 0(0.0%) ??? ...lies/herbie/develop/src/mainloop.rkt:126:19 errors [61] 100.0% ------------------------------------------------------------------------- map [57] 12.0% localize-error [24] 12.0% loop [69] 16.7% eval-prog [26] 59.2% [60] 1166(1.4%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 bigfloat-hash [64] 59.2% parse-loop15 [67] 24.1% f9 [3] 16.7% ------------------------------------------------------------------------- ??? [59] 29.8% ??? [42] 70.2% [61] 972(1.2%) 0(0.0%) errors ...lies/herbie/develop/src/points.rkt:234:0 for-loop [65] 70.2% eval-prog [26] 29.8% ------------------------------------------------------------------------- fallback-loop [20] 3.2% for-loop [62] 5.9% eval-one-top12 [33] 22.9% finish-bodys [58] 67.9% [62] 750(0.9%) 460(0.6%) for-loop (unknown source) finish-bodys [58] 61.7% for-loop [62] 5.9% loop [5] 3.2% add-local-binding!37 [68] 3.0% ------------------------------------------------------------------------- map [57] 100.0% [63] 304(0.4%) 0(0.0%) point-error ...herbie/develop/src/points.rkt:201:0 ulp-difference [66] 100.0% ------------------------------------------------------------------------- hash-ref! [60] 100.0% [64] 690(0.8%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:167:0 sig+exp->bigfloat [70] 56.5% bfcanonicalize [71] 43.5% ------------------------------------------------------------------------- errors [61] 100.0% [65] 682(0.8%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:236:2 ??? [80] 56.6% ??? [74] 43.4% ------------------------------------------------------------------------- point-error [63] 48.1% for-loop [51] 51.9% [66] 632(0.8%) 632(0.8%) ulp-difference ...erbie/develop/src/float.rkt:14:0 ------------------------------------------------------------------------- hash-ref! [60] 100.0% [67] 476(0.6%) 0(0.0%) parse-loop15 ...s/racket/match/compiler.rkt:418:15 loop [69] 100.0% ------------------------------------------------------------------------- for-loop [62] 100.0% [68] 290(0.3%) 290(0.3%) add-local-binding!37 (unknown source) ------------------------------------------------------------------------- map [57] 0.0% parse-loop15 [67] 0.0% make-exacts-walkup [22] 0.9% loop [21] 2.0% loop [69] 97.0% [69] 75858(91.3%) 776(0.9%) loop ...-7.0/collects/racket/private/map.rkt:40:19 loop [69] 97.0% composed [72] 2.9% ??? [80] 0.0% hash-ref! [60] 0.0% ??? [74] 0.0% map [57] 0.0% ??? [79] 0.0% ??? [73] 0.0% ------------------------------------------------------------------------- bigfloat-hash [64] 100.0% [70] 390(0.5%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:387:0 new-mpfr [96] 100.0% ------------------------------------------------------------------------- bigfloat-hash [64] 100.0% [71] 300(0.4%) 300(0.4%) bfcanonicalize .../private/bigfloat/mpfr.rkt:157:0 ------------------------------------------------------------------------- loop [69] 100.0% [72] 70770(85.1%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 ??? [74] 100.0% ------------------------------------------------------------------------- map [57] 24.0% for-loop [51] 36.7% loop [69] 39.3% [73] 910(1.1%) 0(0.0%) ??? ...ects/racket/contract/private/prop.rkt:519:4 ??? [75] 100.0% ------------------------------------------------------------------------- ??? [42] 0.4% for-loop [65] 0.4% loop [69] 2.1% composed [72] 97.1% [74] 72862(87.7%) 2336(2.8%) ??? ...tlies/herbie/develop/src/programs.rkt:145:2 ??? [76] 90.6% bf [77] 6.2% ------------------------------------------------------------------------- ??? [73] 100.0% [75] 910(1.1%) 358(0.4%) ??? ...lects/racket/contract/private/orc.rkt:83:14 either-flonum? [78] 60.7% ------------------------------------------------------------------------- ??? [74] 100.0% [76] 66000(79.4%) 908(1.1%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [79] 98.1% ??? [80] 0.5% ------------------------------------------------------------------------- inductor [30] 13.2% ??? [74] 86.8% [77] 5214(6.3%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [96] 71.9% ??? [97] 28.1% ------------------------------------------------------------------------- ??? [75] 100.0% [78] 552(0.7%) 0(0.0%) either-flonum? ...evelop/src/syntax/types.rkt:11:0 ??? [81] 60.5% return/no-unsupplied [82] 39.5% ------------------------------------------------------------------------- loop [69] 0.4% ??? [76] 99.6% [79] 64990(78.2%) 3026(3.6%) ??? ...tract/private/arrow-higher-order.rkt:361:33 bf-complex-exp [83] 56.4% bf-complex-div [84] 30.5% bf-complex-add [85] 6.1% bf-complex-neg [87] 2.3% ------------------------------------------------------------------------- ??? [76] 9.9% for-loop [65] 10.6% map [57] 25.8% loop [69] 53.8% [80] 3646(4.4%) 1020(1.2%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [86] 53.8% sample-multi-bounded [88] 18.3% ------------------------------------------------------------------------- either-flonum? [78] 100.0% [81] 334(0.4%) 334(0.4%) ??? ...s/racket/contract/private/arr-i.rkt:1252:29 ------------------------------------------------------------------------- either-flonum? [78] 100.0% [82] 218(0.3%) 218(0.3%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 ------------------------------------------------------------------------- ??? [79] 100.0% [83] 36670(44.1%) 350(0.4%) bf-complex-exp .../develop/src/bigcomplex.rkt:37:0 ??? [91] 80.6% bf* [89] 17.3% ...higher-order.rkt:361:33 [90] 1.2% ------------------------------------------------------------------------- ??? [79] 100.0% [84] 19842(23.9%) 298(0.4%) bf-complex-div .../develop/src/bigcomplex.rkt:54:0 ??? [91] 61.2% bf* [89] 34.4% ...higher-order.rkt:361:33 [90] 2.8% ------------------------------------------------------------------------- ??? [79] 100.0% [85] 3958(4.8%) 258(0.3%) bf-complex-add .../develop/src/bigcomplex.rkt:23:0 ??? [91] 75.8% ...higher-order.rkt:361:33 [90] 17.6% ------------------------------------------------------------------------- ??? [80] 100.0% [86] 1960(2.4%) 1960(2.4%) ->flonum ...s/herbie/develop/src/programs.rkt:37:0 ------------------------------------------------------------------------- ??? [79] 100.0% [87] 1494(1.8%) 0(0.0%) bf-complex-neg .../develop/src/bigcomplex.rkt:20:0 ??? [91] 100.0% ------------------------------------------------------------------------- ??? [80] 100.0% [88] 666(0.8%) 666(0.8%) sample-multi-bounded ...evelop/src/points.rkt:16:0 ------------------------------------------------------------------------- bf-complex-exp [83] 48.1% bf-complex-div [84] 51.9% [89] 13162(15.8%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [91] 100.0% ------------------------------------------------------------------------- bf-complex-exp [83] 25.7% bf-complex-div [84] 33.2% bf-complex-add [85] 41.1% [90] 1698(2.0%) 916(1.1%) ...higher-order.rkt:361:33 (unknown source) ??? [92] 46.1% ------------------------------------------------------------------------- bf-complex-neg [87] 2.5% bf-complex-add [85] 5.1% bf-complex-div [84] 20.5% bf* [89] 22.2% bf-complex-exp [83] 49.8% [91] 59360(71.4%) 23462(28.2%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [93] 32.8% bfneg [94] 27.7% ------------------------------------------------------------------------- ...higher-order.rkt:361:33 [90] 100.0% [92] 782(0.9%) 436(0.5%) ??? ...cts/racket/contract/private/list.rkt:209:10 ??? [95] 44.2% ------------------------------------------------------------------------- ??? [91] 100.0% [93] 19442(23.4%) 348(0.4%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [96] 79.1% ??? [97] 19.1% ------------------------------------------------------------------------- ??? [91] 100.0% [94] 16456(19.8%) 1022(1.2%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [96] 81.2% ??? [97] 12.6% ------------------------------------------------------------------------- ??? [92] 100.0% [95] 346(0.4%) 346(0.4%) ??? ...ects/racket/contract/private/guts.rkt:746:8 ------------------------------------------------------------------------- sig+exp->bigfloat [70] 1.2% bf [77] 11.4% bfneg [94] 40.6% bfadd [93] 46.8% [96] 32884(39.6%) 32884(39.6%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ------------------------------------------------------------------------- bf [77] 20.2% bfneg [94] 28.6% bfadd [93] 51.2% [97] 7248(8.7%) 7248(8.7%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 -------------------------------------------------------------------------