Profiling results ----------------- Total cpu time observed: 39496ms (out of 39680ms) Number of samples taken: 194 (once every 204ms) (Hiding functions with self<1.0% and local<2.0%: 2 of 84 hidden) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== [1] 39496(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [2] 100.0% ---------------------------------------------------------------------- ??? [1] 100.0% [2] 39496(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ---------------------------------------------------------------------- profile-thunk16 [2] 100.0% [3] 39496(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [4]100.0% ---------------------------------------------------------------------- for-loop [55] 0.7% run [3] 99.3% [4] 39496(100.0%) 200(0.5%) .../more-scheme.rkt:261:28 (unknown source) prepare-points-intervals [8] 93.5% run-improve47 [5] 4.2% errors [46] 1.0% eval-errors [7] 0.5% ??? [6] 0.5% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4]100.0% [5] 1766(4.5%) 0(0.0%) run-improve47 ...bie/master/src/mainloop.rkt:365:0 prepare-points-intervals [8] 49.0% for-loop [9] 38.7% simplify! [16] 12.2% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4]100.0% [6] 390(1.0%) 196(0.5%) ??? .../herbie/master/src/syntax/syntax.rkt:214:17 return/no-unsupplied [11] 49.7% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [4]100.0% [7] 206(0.5%) 0(0.0%) eval-errors .../herbie/master/src/points.rkt:181:0 for-loop [10] 100.0% ---------------------------------------------------------------------- run-improve47 [5] 2.3% .../more-scheme.rkt:261:28 [4] 97.7% [8] 37794(95.7%) 0(0.0%) prepare-points-intervals ...r/src/points.rkt:133:0 loop [12] 100.0% ---------------------------------------------------------------------- run-improve47 [5] 100.0% [9] 684(1.7%) 0(0.0%) for-loop ...s/herbie/master/src/mainloop.rkt:384:4 run-iter! [13] 100.0% ---------------------------------------------------------------------- eval-errors [7] 100.0% [10] 206(0.5%) 206(0.5%) for-loop ...ies/herbie/master/src/points.rkt:183:2 ---------------------------------------------------------------------- ??? [6] 100.0% [11] 194(0.5%) 194(0.5%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 ---------------------------------------------------------------------- prepare-points-intervals [8] 100.0% [12] 37794(95.7%) 218(0.6%) loop ...ghtlies/herbie/master/src/points.rkt:145:4 loop [14] 93.6% ??? [15] 4.8% do-curry [17] 1.1% ---------------------------------------------------------------------- for-loop [9] 100.0% [13] 684(1.7%) 0(0.0%) run-iter! .../herbie/master/src/mainloop.rkt:346:0 localize! [18] 37.1% simplify! [16] 34.5% finalize-iter! [19] 28.4% ---------------------------------------------------------------------- loop [12] 100.0% [14] 35372(89.6%) 3456(8.8%) loop ...ightlies/herbie/master/src/points.rkt:81:2 ??? [26] 61.4% ??? [20] 21.4% real->precision [21] 4.0% ??? [23] 2.3% ??? [73] 0.6% ---------------------------------------------------------------------- loop [12] 100.0% [15] 1796(4.5%) 422(1.1%) ??? ...ightlies/herbie/master/src/points.rkt:126:6 sample-multi-bounded [22] 65.4% ??? [20] 11.1% ---------------------------------------------------------------------- run-improve47 [5] 47.8% run-iter! [13] 52.2% [16] 452(1.1%) 0(0.0%) simplify! .../herbie/master/src/mainloop.rkt:224:0 ??? [24] 100.0% ---------------------------------------------------------------------- loop [12] 100.0% [17] 408(1.0%) 408(1.0%) do-curry ...-7.5/collects/racket/function.rkt:71:2 ---------------------------------------------------------------------- run-iter! [13] 100.0% [18] 254(0.6%) 0(0.0%) localize! .../herbie/master/src/mainloop.rkt:127:0 localize-error [25] 100.0% ---------------------------------------------------------------------- run-iter! [13] 100.0% [19] 194(0.5%) 0(0.0%) finalize-iter! ...ie/master/src/mainloop.rkt:278:0 ??? [23] 100.0% ---------------------------------------------------------------------- ??? [15] 2.6% loop [14] 97.4% [20] 7760(19.6%) 200(0.5%) ??? ...tract/private/arrow-higher-order.rkt:379:33 ival-fmod [27] 36.8% ??? [51] 33.9% ival-fmod-pos [34] 26.6% ---------------------------------------------------------------------- loop [14] 100.0% [21] 1404(3.6%) 200(0.5%) real->precision .../master/src/programs.rkt:118:11 ??? [26] 71.5% ??? [32] 14.2% ---------------------------------------------------------------------- ??? [15] 100.0% [22] 1174(3.0%) 200(0.5%) sample-multi-bounded ...master/src/points.rkt:14:0 random-ranges [28] 65.9% for-loop [31] 17.0% ---------------------------------------------------------------------- finalize-iter! [19] 19.0% loop [14] 81.0% [23] 1020(2.6%) 826(2.1%) ??? ...contract/private/arrow-val-first.rkt:486:18 for-loop [33] 19.0% ---------------------------------------------------------------------- simplify! [16] 100.0% [24] 452(1.1%) 0(0.0%) ??? ...es/herbie/master/src/core/simplify.rkt:42:0 egraph-run [29] 100.0% ---------------------------------------------------------------------- localize! [18] 100.0% [25] 254(0.6%) 0(0.0%) localize-error ...aster/src/core/localize.rkt:57:0 hash-ref! [30] 100.0% ---------------------------------------------------------------------- real->precision [21] 4.4% loop [14] 95.6% [26] 22726(57.5%) 2398(6.1%) ??? ...tract/private/arrow-higher-order.rkt:375:33 ??? [51] 34.3% mk-pow [42] 29.9% ival-pow-neg [35] 8.2% composed [53] 7.1% ival-mult [52] 6.3% ??? [45] 2.7% bf [38] 1.0% ---------------------------------------------------------------------- ??? [20] 100.0% [27] 2858(7.2%) 0(0.0%) ival-fmod ...rbie/master/src/biginterval.rkt:542:0 ival-fmod-pos [34] 56.2% ival-fabs [44] 22.6% epfn [62] 21.2% ---------------------------------------------------------------------- sample-multi-bounded [22] 100.0% [28] 774(2.0%) 590(1.5%) random-ranges ...erbie/master/src/common.rkt:164:0 build--> [41] 23.8% ---------------------------------------------------------------------- ??? [24] 100.0% [29] 452(1.1%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [36] 100.0% ---------------------------------------------------------------------- localize-error [25] 100.0% [30] 254(0.6%) 0(0.0%) hash-ref! .../racket/private/more-scheme.rkt:376:2 parse-loop15 [37] 100.0% ---------------------------------------------------------------------- sample-multi-bounded [22] 100.0% [31] 200(0.5%) 200(0.5%) for-loop ...lies/herbie/master/src/points.rkt:20:4 ---------------------------------------------------------------------- real->precision [21] 100.0% [32] 200(0.5%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:770:8 bigvalue? [39] 100.0% ---------------------------------------------------------------------- ??? [23] 100.0% [33] 194(0.5%) 0(0.0%) for-loop ...ie/master/src/core/alt-table.rkt:201:2 atab-add-altn [40] 100.0% ---------------------------------------------------------------------- ival-fmod [27] 43.7% ??? [20] 56.3% [34] 3674(9.3%) 800(2.0%) ival-fmod-pos .../master/src/biginterval.rkt:524:0 bfmin2 [68] 44.1% bftruncate [43] 34.1% ---------------------------------------------------------------------- ??? [26] 100.0% [35] 1856(4.7%) 218(0.6%) ival-pow-neg ...e/master/src/biginterval.rkt:386:0 bftruncate [43] 22.8% bfodd? [48] 22.0% ival-fabs [44] 20.8% mk-pow [42] 12.0% ??? [45] 10.7% ---------------------------------------------------------------------- egraph-run [29] 100.0% [36] 452(1.1%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [47] 100.0% ---------------------------------------------------------------------- hash-ref! [30] 100.0% [37] 254(0.6%) 0(0.0%) parse-loop15 (unknown source) map [49] 100.0% ---------------------------------------------------------------------- ??? [26] 100.0% [38] 218(0.6%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:615:2 new-mpfr [72] 100.0% ---------------------------------------------------------------------- ??? [32] 100.0% [39] 200(0.5%) 200(0.5%) bigvalue? ...rbie/master/src/syntax/types.rkt:19:0 ---------------------------------------------------------------------- for-loop [33] 100.0% [40] 194(0.5%) 0(0.0%) atab-add-altn ...ster/src/core/alt-table.rkt:204:0 errors [46] 100.0% ---------------------------------------------------------------------- random-ranges [28] 100.0% [41] 184(0.5%) 0(0.0%) build--> ...act/private/arrow-val-first.rkt:1214:0 coerce-contract [50] 100.0% ---------------------------------------------------------------------- ival-pow-neg [35] 3.2% ??? [26] 96.8% [42] 7028(17.8%) 3166(8.0%) mk-pow .../herbie/master/src/biginterval.rkt:362:2 ??? [51] 29.0% ival-mult [52] 11.6% eppow [54] 11.5% composed [53] 2.8% ---------------------------------------------------------------------- ival-pow-neg [35] 25.3% ival-fmod-pos [34] 74.7% [43] 1678(4.2%) 200(0.5%) bftruncate ...math/private/bigfloat/mpfr.rkt:730:4 new-mpfr [72] 64.1% ??? [73] 24.0% ---------------------------------------------------------------------- ival-pow-neg [35] 37.4% ival-fmod [27] 62.6% [44] 1032(2.6%) 186(0.5%) ival-fabs ...rbie/master/src/biginterval.rkt:305:0 epfn [62] 60.7% bfasin [69] 21.3% ---------------------------------------------------------------------- ival-pow-neg [35] 24.7% ??? [26] 75.3% [45] 802(2.0%) 0(0.0%) ??? ...ies/herbie/master/src/biginterval.rkt:292:0 ??? [51] 100.0% ---------------------------------------------------------------------- atab-add-altn [40] 24.6% .../more-scheme.rkt:261:28 [4] 75.4% [46] 790(2.0%) 0(0.0%) errors ...tlies/herbie/master/src/points.rkt:203:0 for-loop [55] 74.7% temp85_0 [60] 25.3% ---------------------------------------------------------------------- egraph-add-exprs [36] 100.0% [47] 452(1.1%) 0(0.0%) ??? ...s/herbie/master/src/core/simplify.rkt:103:6 for-loop [58] 52.2% egg-run-rules [59] 47.8% ---------------------------------------------------------------------- ival-pow-neg [35] 100.0% [48] 408(1.0%) 0(0.0%) bfodd? ...lib/math/private/bigfloat/mpfr.rkt:817:0 size+limbs->integer [56] 100.0% ---------------------------------------------------------------------- parse-loop15 [37] 100.0% [49] 254(0.6%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 loop [57] 100.0% ---------------------------------------------------------------------- build--> [41] 100.0% [50] 184(0.5%) 0(0.0%) coerce-contract ...contract/private/guts.rkt:307:0 coerce-contract/f [61] 100.0% ---------------------------------------------------------------------- ??? [45] 6.0% mk-pow [42] 15.3% ??? [20] 19.8% ??? [26] 58.8% [51] 13274(33.6%) 966(2.4%) ??? ...ies/herbie/master/src/biginterval.rkt:277:0 epfn [62] 92.7% ---------------------------------------------------------------------- mk-pow [42] 36.4% ??? [26] 63.6% [52] 2240(5.7%) 1218(3.1%) ival-mult ...rbie/master/src/biginterval.rkt:212:0 epmul [64] 45.6% ---------------------------------------------------------------------- mk-pow [42] 11.0% ??? [26] 89.0% [53] 1818(4.6%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 ??? [63] 100.0% ---------------------------------------------------------------------- mk-pow [42] 100.0% [54] 810(2.1%) 0(0.0%) eppow ...s/herbie/master/src/biginterval.rkt:343:0 bfmin2 [68] 100.0% ---------------------------------------------------------------------- errors [46] 100.0% [55] 590(1.5%) 0(0.0%) for-loop ...ies/herbie/master/src/points.rkt:205:2 .../more-scheme.rkt:261:28 [4]100.0% ---------------------------------------------------------------------- bfodd? [48] 100.0% [56] 408(1.0%) 408(1.0%) size+limbs->integer ...vate/bigfloat/gmp.rkt:103:0 ---------------------------------------------------------------------- map [49] 1.6% loop [57] 98.4% [57] 254(0.6%) 0(0.0%) loop ...-7.5/collects/racket/private/map.rkt:54:19 loop [57] 98.4% ---------------------------------------------------------------------- ??? [47] 100.0% [58] 236(0.6%) 236(0.6%) for-loop ...bie/master/src/core/simplify.rkt:121:2 ---------------------------------------------------------------------- ??? [47] 100.0% [59] 216(0.5%) 0(0.0%) egg-run-rules ...aster/src/core/simplify.rkt:109:0 make-ffi-rules [65] 100.0% ---------------------------------------------------------------------- errors [46] 100.0% [60] 200(0.5%) 0(0.0%) temp85_0 (unknown source) compile15 [66] 100.0% ---------------------------------------------------------------------- coerce-contract [50] 100.0% [61] 184(0.5%) 0(0.0%) coerce-contract/f ...ntract/private/guts.rkt:372:0 coerce-simple-value [67] 100.0% ---------------------------------------------------------------------- ival-fmod [27] 4.5% ival-fabs [44] 4.6% ??? [51] 90.9% [62] 13540(34.3%) 11724(29.7%) epfn ...es/herbie/master/src/biginterval.rkt:153:0 bfasin [69] 13.4% ---------------------------------------------------------------------- composed [53] 100.0% [63] 1818(4.6%) 406(1.0%) ??? ...ies/herbie/master/src/biginterval.rkt:285:0 bfmin2 [68] 77.7% ---------------------------------------------------------------------- ival-mult [52] 100.0% [64] 1022(2.6%) 200(0.5%) epmul ...s/herbie/master/src/biginterval.rkt:201:0 bfmin2 [68] 80.4% ---------------------------------------------------------------------- egg-run-rules [59] 100.0% [65] 216(0.5%) 0(0.0%) make-ffi-rules ...s/egg-herbie-linux/main.rkt:28:0 for-loop [70] 100.0% ---------------------------------------------------------------------- temp85_0 [60] 100.0% [66] 200(0.5%) 0(0.0%) compile15 (unknown source) temp91_0 [71] 100.0% ---------------------------------------------------------------------- coerce-contract/f [61] 100.0% [67] 184(0.5%) 184(0.5%) coerce-simple-value ...ract/private/guts.rkt:385:0 ---------------------------------------------------------------------- eppow [54] 17.4% epmul [64] 17.6% ??? [63] 30.3% ival-fmod-pos [34] 34.7% [68] 4664(11.8%) 414(1.0%) bfmin2 ...lib/math/private/bigfloat/mpfr.rkt:835:4 ??? [73] 47.9% new-mpfr [72] 43.3% ---------------------------------------------------------------------- ival-fabs [44] 10.8% epfn [62] 89.2% [69] 2036(5.2%) 0(0.0%) bfasin ...lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [72] 69.4% ??? [73] 30.6% ---------------------------------------------------------------------- make-ffi-rules [65] 100.0% [70] 216(0.5%) 0(0.0%) for-loop ....5/pkgs/egg-herbie-linux/main.rkt:29:2 to-egg-pattern [74] 100.0% ---------------------------------------------------------------------- compile15 [66] 100.0% [71] 200(0.5%) 0(0.0%) temp91_0 (unknown source) temp118_0 [75] 100.0% ---------------------------------------------------------------------- bf [38] 4.6% bftruncate [43] 22.8% bfasin [69] 29.9% bfmin2 [68] 42.7% [72] 4724(12.0%) 4724(12.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ---------------------------------------------------------------------- loop [14] 5.9% bftruncate [43] 11.6% bfasin [69] 18.0% bfmin2 [68] 64.5% [73] 3462(8.8%) 3462(8.8%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ---------------------------------------------------------------------- for-loop [70] 33.3% to-egg-pattern [74] 66.7% [74] 216(0.5%) 0(0.0%) to-egg-pattern ...ie-linux/to-egg-pattern.rkt:17:0 to-egg-pattern [74] 66.7% list-member? [76] 33.3% ---------------------------------------------------------------------- temp91_0 [71] 100.0% [75] 200(0.5%) 0(0.0%) temp118_0 (unknown source) expand-capturing-lifts [77] 100.0% ---------------------------------------------------------------------- to-egg-pattern [74] 100.0% [76] 216(0.5%) 216(0.5%) list-member? ...llects/racket/private/set.rkt:24:0 ---------------------------------------------------------------------- temp118_0 [75] 100.0% [77] 200(0.5%) 0(0.0%) expand-capturing-lifts (unknown source) lambda-clause-expander [78] 100.0% ---------------------------------------------------------------------- expand-capturing-lifts [77] 100.0% [78] 200(0.5%) 0(0.0%) lambda-clause-expander (unknown source) finish-bodys [79] 100.0% ---------------------------------------------------------------------- lambda-clause-expander [78] 16.7% for-loop [80] 83.3% [79] 200(0.5%) 0(0.0%) finish-bodys (unknown source) for-loop [80] 100.0% ---------------------------------------------------------------------- for-loop [80] 25.0% finish-bodys [79] 75.0% [80] 200(0.5%) 0(0.0%) for-loop (unknown source) finish-bodys [79] 62.5% for-loop [80] 25.0% expand-implicit [81] 12.5% ---------------------------------------------------------------------- for-loop [80] 100.0% [81] 200(0.5%) 0(0.0%) expand-implicit (unknown source) resolve+shift28 [82] 100.0% ---------------------------------------------------------------------- expand-implicit [81] 100.0% [82] 200(0.5%) 200(0.5%) resolve+shift28 (unknown source) ----------------------------------------------------------------------