Profiling results ----------------- Total cpu time observed: 19044ms (out of 19160ms) Number of samples taken: 85 (once every 224ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== [1] 19044(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [3] 100.0% ---------------------------------------------------------------------- hash-ref! [27] 100.0% [2] 1524(8.0%) 0(0.0%) ??? ...ies/herbie/better-rr/src/programs.rkt:202:5 loop [22] 100.0% ---------------------------------------------------------------------- ??? [1] 100.0% [3] 19044(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [4] 100.0% ---------------------------------------------------------------------- profile-thunk16 [3] 100.0% [4] 19044(100.0%) 0(0.0%) run ...et-7.5/share/pkgs/profile-lib/main.rkt:39:2 .../more-scheme.rkt:261:28 [5] 100.0% ---------------------------------------------------------------------- for-loop [10] 0.6% run [4] 99.4% [5] 19044(100.0%) 0(0.0%) .../more-scheme.rkt:261:28 (unknown source) loop [9] 89.7% run-improve47 [6] 8.0% ??? [29] 1.2% errors [8] 0.6% ulp-difference [7] 0.6% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [5] 100.0% [6] 1524(8.0%) 0(0.0%) run-improve47 .../better-rr/src/mainloop.rkt:364:0 loop [9] 73.1% simplify! [11] 13.6% for-loop [12] 13.3% ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [5] 100.0% [7] 216(1.1%) 216(1.1%) ulp-difference ...bie/better-rr/src/float.rkt:19:0 ---------------------------------------------------------------------- .../more-scheme.rkt:261:28 [5] 100.0% [8] 216(1.1%) 0(0.0%) errors ...es/herbie/better-rr/src/points.rkt:192:0 for-loop [10] 100.0% ---------------------------------------------------------------------- run-improve47 [6] 6.1% .../more-scheme.rkt:261:28 [5] 93.9% [9] 18192(95.5%) 0(0.0%) loop ...lies/herbie/better-rr/src/points.rkt:268:2 loop [13] 37.0% make-exacts-walkup [17] 31.6% loop [18] 30.2% for-loop [15] 1.1% ---------------------------------------------------------------------- errors [8] 100.0% [10] 216(1.1%) 0(0.0%) for-loop .../herbie/better-rr/src/points.rkt:194:2 .../more-scheme.rkt:261:28 [5] 100.0% ---------------------------------------------------------------------- run-improve47 [6] 100.0% [11] 208(1.1%) 0(0.0%) simplify! ...rbie/better-rr/src/mainloop.rkt:223:0 ??? [14] 100.0% ---------------------------------------------------------------------- run-improve47 [6] 100.0% [12] 202(1.1%) 0(0.0%) for-loop ...erbie/better-rr/src/mainloop.rkt:383:4 run-iter! [16] 100.0% ---------------------------------------------------------------------- loop [9] 100.0% [13] 6732(35.3%) 0(0.0%) loop ...lies/herbie/better-rr/src/points.rkt:232:2 make-exacts-walkup [17] 65.0% loop [18] 35.0% ---------------------------------------------------------------------- simplify! [11] 100.0% [14] 208(1.1%) 0(0.0%) ??? ...herbie/better-rr/src/core/simplify.rkt:42:0 egraph-run [19] 100.0% ---------------------------------------------------------------------- loop [9] 100.0% [15] 208(1.1%) 0(0.0%) for-loop ...herbie/better-rr/src/points.rkt:283:19 ??? [20] 100.0% ---------------------------------------------------------------------- for-loop [12] 100.0% [16] 202(1.1%) 0(0.0%) run-iter! ...rbie/better-rr/src/mainloop.rkt:345:0 localize! [21] 100.0% ---------------------------------------------------------------------- loop [13] 43.2% loop [9] 56.8% [17] 10134(53.2%) 0(0.0%) make-exacts-walkup ...tter-rr/src/points.rkt:211:0 loop [22] 80.7% eval-prog [23] 19.3% ---------------------------------------------------------------------- loop [13] 30.0% loop [9] 70.0% [18] 7850(41.2%) 0(0.0%) loop ...lies/herbie/better-rr/src/points.rkt:215:4 loop [22] 100.0% ---------------------------------------------------------------------- ??? [14] 100.0% [19] 208(1.1%) 0(0.0%) egraph-run .../pkgs/egg-herbie-linux/main.rkt:49:0 egraph-add-exprs [24] 100.0% ---------------------------------------------------------------------- for-loop [15] 100.0% [20] 208(1.1%) 0(0.0%) ??? ...tlies/herbie/better-rr/src/points.rkt:115:6 ??? [29] 100.0% ---------------------------------------------------------------------- run-iter! [16] 100.0% [21] 202(1.1%) 0(0.0%) localize! ...rbie/better-rr/src/mainloop.rkt:126:0 localize-error [25] 100.0% ---------------------------------------------------------------------- make-exacts-walkup [17] 0.2% loop [18] 0.3% ??? [2] 8.7% loop [22] 90.9% [22] 17552(92.2%) 0(0.0%) loop (unknown source) loop [22] 90.9% hash-ref! [27] 8.7% composed [26] 0.5% ---------------------------------------------------------------------- make-exacts-walkup [17] 100.0% [23] 1956(10.3%) 0(0.0%) eval-prog ...rbie/better-rr/src/programs.rkt:106:0 hash-ref! [27] 100.0% ---------------------------------------------------------------------- egraph-run [19] 100.0% [24] 208(1.1%) 0(0.0%) egraph-add-exprs ...gg-herbie-linux/main.rkt:111:0 ??? [28] 100.0% ---------------------------------------------------------------------- localize! [21] 100.0% [25] 202(1.1%) 0(0.0%) localize-error ...er-rr/src/core/localize.rkt:57:0 hash-ref! [27] 100.0% ---------------------------------------------------------------------- loop [22] 100.0% [26] 16028(84.2%) 0(0.0%) composed ...ollects/racket/private/list.rkt:321:16 ??? [29] 98.5% ??? [31] 1.5% ---------------------------------------------------------------------- localize-error [25] 1.3% map [38] 8.0% eval-prog [23] 30.9% loop [22] 59.7% [27] 2158(11.3%) 208(1.1%) hash-ref! .../racket/private/more-scheme.rkt:376:2 ??? [2] 59.7% bigfloat-hash [30] 29.3% parse-loop15 [33] 9.4% ---------------------------------------------------------------------- egraph-add-exprs [24] 100.0% [28] 208(1.1%) 0(0.0%) ??? ...erbie/better-rr/src/core/simplify.rkt:102:6 for-loop [32] 100.0% ---------------------------------------------------------------------- ??? [20] 1.3% .../more-scheme.rkt:261:28 [5] 1.4% composed [26] 97.3% [29] 16222(85.2%) 634(3.3%) ??? ...tract/private/arrow-higher-order.rkt:379:33 bf-complex-mult [34] 85.0% bf-complex-add [35] 11.1% ---------------------------------------------------------------------- hash-ref! [27] 100.0% [30] 1748(9.2%) 0(0.0%) bigfloat-hash ...h/private/bigfloat/mpfr.rkt:168:0 sig+exp->bigfloat [36] 50.5% bfcanonicalize [37] 49.5% ---------------------------------------------------------------------- composed [26] 100.0% [31] 240(1.3%) 240(1.3%) ??? ...tract/private/arrow-higher-order.rkt:375:33 ---------------------------------------------------------------------- ??? [28] 100.0% [32] 208(1.1%) 208(1.1%) for-loop .../better-rr/src/core/simplify.rkt:121:2 ---------------------------------------------------------------------- hash-ref! [27] 100.0% [33] 202(1.1%) 0(0.0%) parse-loop15 (unknown source) map [38] 100.0% ---------------------------------------------------------------------- ??? [29] 100.0% [34] 13786(72.4%) 902(4.7%) bf-complex-mult ...tter-rr/src/bigcomplex.rkt:30:0 bf* [39] 56.9% ??? [44] 31.4% ...higher-order.rkt:379:33 [40] 5.1% ---------------------------------------------------------------------- ??? [29] 100.0% [35] 1802(9.5%) 220(1.2%) bf-complex-add ...etter-rr/src/bigcomplex.rkt:23:0 ??? [44] 87.8% ---------------------------------------------------------------------- bigfloat-hash [30] 100.0% [36] 882(4.6%) 0(0.0%) sig+exp->bigfloat ...ivate/bigfloat/mpfr.rkt:401:0 new-mpfr [50] 75.3% integer->mpz [42] 24.7% ---------------------------------------------------------------------- bigfloat-hash [30] 100.0% [37] 866(4.5%) 642(3.4%) bfcanonicalize .../private/bigfloat/mpfr.rkt:158:0 bigfloat->sig+exp [41] 25.9% ---------------------------------------------------------------------- parse-loop15 [33] 100.0% [38] 202(1.1%) 0(0.0%) map ...t-7.5/collects/racket/private/map.rkt:35:13 hash-ref! [27] 85.7% loop [43] 14.3% ---------------------------------------------------------------------- bf-complex-mult [34] 100.0% [39] 7848(41.2%) 200(1.1%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [44] 97.5% ---------------------------------------------------------------------- bf-complex-mult [34] 100.0% [40] 704(3.7%) 230(1.2%) ...higher-order.rkt:379:33 (unknown source) ??? [45] 67.3% ---------------------------------------------------------------------- bfcanonicalize [37] 100.0% [41] 224(1.2%) 224(1.2%) bigfloat->sig+exp ...ivate/bigfloat/mpfr.rkt:386:0 ---------------------------------------------------------------------- sig+exp->bigfloat [36] 100.0% [42] 218(1.1%) 218(1.1%) integer->mpz ...math/private/bigfloat/gmp.rkt:87:0 ---------------------------------------------------------------------- map [38] 2.0% loop [43] 98.0% [43] 202(1.1%) 0(0.0%) loop ...-7.5/collects/racket/private/map.rkt:54:19 loop [43] 98.0% ??? [46] 2.0% ---------------------------------------------------------------------- bf-complex-add [35] 11.7% bf-complex-mult [34] 31.9% bf* [39] 56.4% [44] 13562(71.2%) 1102(5.8%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [47] 85.1% bfneg [48] 6.7% ---------------------------------------------------------------------- ...higher-order.rkt:379:33 [40]100.0% [45] 474(2.5%) 474(2.5%) ??? ...cts/racket/contract/private/list.rkt:209:10 ---------------------------------------------------------------------- loop [43] 100.0% [46] 202(1.1%) 0(0.0%) ??? ...erbie/better-rr/src/core/localize.rkt:49:36 ??? [49] 100.0% ---------------------------------------------------------------------- ??? [44] 100.0% [47] 11546(60.6%) 1158(6.1%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:835:4 new-mpfr [50] 47.4% ??? [51] 42.6% ---------------------------------------------------------------------- ??? [44] 100.0% [48] 914(4.8%) 242(1.3%) bfneg ...-lib/math/private/bigfloat/mpfr.rkt:632:4 new-mpfr [50] 48.1% ??? [51] 25.4% ---------------------------------------------------------------------- ??? [46] 100.0% [49] 202(1.1%) 202(1.1%) ??? ...ies/herbie/better-rr/src/interface.rkt:82:2 ---------------------------------------------------------------------- bfneg [48] 6.7% sig+exp->bigfloat [36] 10.1% bfadd [47] 83.2% [50] 6578(34.5%) 6578(34.5%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:348:0 ---------------------------------------------------------------------- bfneg [48] 4.5% bfadd [47] 95.5% [51] 5146(27.0%) 5146(27.0%) ??? /opt/racket-7.5/collects/ffi/unsafe.rkt:938:4 ----------------------------------------------------------------------