Profiling results ----------------- Total cpu time observed: 4966ms (out of 5168ms) Number of samples taken: 16 (once every 310ms) ===================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ===================================================================== ??? [5] 100.0% [1] 4966(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% --------------------------------------------------------------------- ??? [5] 100.0% [2] 612(12.3%) 0(0.0%) errors ...es/herbie/js-tweaks/src/points.rkt:205:0 for-loop [4] 100.0% --------------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 4966(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% --------------------------------------------------------------------- errors [2] 100.0% [4] 612(12.3%) 0(0.0%) for-loop .../herbie/js-tweaks/src/points.rkt:207:2 ??? [5] 100.0% --------------------------------------------------------------------- for-loop [4] 4.1% run [3] 47.9% [5] 4966(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 47.9% prepare-points [9] 31.5% oracle-error [6] 5.9% errors [2] 4.1% run-improve47 [7] 3.5% eval-errors [8] 3.0% infer-double-representation [21] 2.1% ??? [20] 2.0% --------------------------------------------------------------------- ??? [5] 100.0% [6] 582(11.7%) 0(0.0%) oracle-error ...bie/js-tweaks/src/points.rkt:188:0 for-loop [10] 100.0% --------------------------------------------------------------------- ??? [5] 100.0% [7] 344(6.9%) 0(0.0%) run-improve47 .../js-tweaks/src/mainloop.rkt:342:0 prepare-points [9] 100.0% --------------------------------------------------------------------- ??? [5] 100.0% [8] 296(6.0%) 0(0.0%) eval-errors ...rbie/js-tweaks/src/points.rkt:179:0 for-loop [11] 100.0% --------------------------------------------------------------------- run-improve47 [7] 9.9% ??? [5] 90.1% [9] 3476(70.0%) 0(0.0%) prepare-points ...e/js-tweaks/src/points.rkt:146:0 loop [12] 90.1% eval-prog [13] 9.9% --------------------------------------------------------------------- oracle-error [6] 100.0% [10] 582(11.7%) 0(0.0%) for-loop .../herbie/js-tweaks/src/points.rkt:189:2 map [14] 50.2% loop [15] 49.8% --------------------------------------------------------------------- eval-errors [8] 100.0% [11] 296(6.0%) 0(0.0%) for-loop .../herbie/js-tweaks/src/points.rkt:181:2 infer-double-representation [21]100.0% --------------------------------------------------------------------- prepare-points [9] 100.0% [12] 3132(63.1%) 0(0.0%) loop ...lies/herbie/js-tweaks/src/points.rkt:122:4 loop [16] 90.4% ??? [18] 9.6% --------------------------------------------------------------------- prepare-points [9] 100.0% [13] 344(6.9%) 0(0.0%) eval-prog ...erbie/js-tweaks/src/programs.rkt:83:0 loop [17] 100.0% --------------------------------------------------------------------- for-loop [10] 100.0% [14] 292(5.9%) 0(0.0%) map ...t-7.0/collects/racket/private/map.rkt:35:13 ??? [19] 100.0% --------------------------------------------------------------------- for-loop [10] 100.0% [15] 290(5.8%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 infer-double-representation [21]100.0% --------------------------------------------------------------------- loop [12] 100.0% [16] 2832(57.0%) 606(12.2%) loop ...tlies/herbie/js-tweaks/src/points.rkt:81:2 ??? [20] 43.6% ??? [22] 12.4% ??? [25] 11.9% hash-update! [26] 10.6% --------------------------------------------------------------------- loop [17] 33.3% expand-capturing-lifts [23] 33.3% eval-prog [13] 33.3% [17] 344(6.9%) 0(0.0%) loop (unknown source) expand-capturing-lifts [23] 33.3% loop [17] 33.3% for-loop [24] 33.3% --------------------------------------------------------------------- loop [12] 100.0% [18] 300(6.0%) 0(0.0%) ??? ...tlies/herbie/js-tweaks/src/points.rkt:106:2 ??? [33] 100.0% --------------------------------------------------------------------- map [14] 100.0% [19] 292(5.9%) 0(0.0%) ??? ...lies/herbie/js-tweaks/src/points.rkt:190:26 infer-double-representation [21]100.0% --------------------------------------------------------------------- ??? [5] 19.5% loop [16] 80.5% [20] 1536(30.9%) 0(0.0%) ??? ...ies/herbie/js-tweaks/src/programs.rkt:108:2 ??? [27] 80.5% real->precision [32] 19.5% --------------------------------------------------------------------- loop [15] 24.4% ??? [19] 24.5% for-loop [11] 24.9% ??? [5] 26.2% [21] 1190(24.0%) 296(6.0%) infer-double-representation .../src/float.rkt:22:0 for-loop [28] 75.1% --------------------------------------------------------------------- loop [16] 100.0% [22] 352(7.1%) 352(7.1%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 --------------------------------------------------------------------- loop [17] 100.0% [23] 344(6.9%) 0(0.0%) expand-capturing-lifts (unknown source) loop [17] 100.0% --------------------------------------------------------------------- run-module-instance!125 [30] 50.0% loop [17] 50.0% [24] 344(6.9%) 0(0.0%) for-loop (unknown source) run-module-instance!125 [30] 50.0% [running body] [29] 50.0% --------------------------------------------------------------------- loop [16] 100.0% [25] 338(6.8%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 ??? [31] 100.0% --------------------------------------------------------------------- loop [16] 100.0% [26] 300(6.0%) 300(6.0%) hash-update! ...cket/private/more-scheme.rkt:365:4 --------------------------------------------------------------------- ??? [20] 100.0% [27] 1236(24.9%) 292(5.9%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [33] 76.4% --------------------------------------------------------------------- infer-double-representation [21]100.0% [28] 894(18.0%) 290(5.8%) for-loop ...es/herbie/js-tweaks/src/float.rkt:17:3 return/no-unsupplied [34] 67.6% --------------------------------------------------------------------- for-loop [24] 100.0% [29] 344(6.9%) 344(6.9%) [running body] .../bigfloat/bigfloat-mpfr.rkt":##f --------------------------------------------------------------------- for-loop [24] 100.0% [30] 344(6.9%) 0(0.0%) run-module-instance!125 (unknown source) for-loop [24] 100.0% --------------------------------------------------------------------- ??? [25] 100.0% [31] 338(6.8%) 0(0.0%) ??? ...ects/racket/contract/private/guts.rkt:746:8 bigvalue? [35] 100.0% --------------------------------------------------------------------- ??? [20] 100.0% [32] 300(6.0%) 0(0.0%) real->precision ...s-tweaks/src/programs.rkt:87:33 infer-representation [36] 100.0% --------------------------------------------------------------------- ??? [18] 24.1% ??? [27] 75.9% [33] 1244(25.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 loop [37] 75.9% sample-multi-bounded [38] 24.1% --------------------------------------------------------------------- for-loop [28] 100.0% [34] 604(12.2%) 312(6.3%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 filter [39] 48.3% --------------------------------------------------------------------- ??? [31] 100.0% [35] 338(6.8%) 338(6.8%) bigvalue? ...e/js-tweaks/src/syntax/types.rkt:19:0 --------------------------------------------------------------------- real->precision [32] 100.0% [36] 300(6.0%) 300(6.0%) infer-representation ...-tweaks/src/float.rkt:15:0 --------------------------------------------------------------------- ??? [33] 100.0% [37] 944(19.0%) 944(19.0%) loop ...herbie/js-tweaks/src/biginterval.rkt:447:9 --------------------------------------------------------------------- ??? [33] 100.0% [38] 300(6.0%) 300(6.0%) sample-multi-bounded ...tweaks/src/points.rkt:15:0 --------------------------------------------------------------------- return/no-unsupplied [34] 100.0% [39] 292(5.9%) 292(5.9%) filter ...0/collects/racket/private/list.rkt:256:2 ---------------------------------------------------------------------