Profiling results ----------------- Total cpu time observed: 21076ms (out of 21412ms) Number of samples taken: 66 (once every 319ms) ======================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================== ??? [3] 100.0% [1] 21076(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ------------------------------------------------------------------------ profile-thunk16 [1] 100.0% [2] 21076(100.0%) 0(0.0%) run ...et-7.0/share/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ------------------------------------------------------------------------ run [2] 50.0% [3] 21076(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% prepare-points-intervals [7] 44.1% errors [24] 3.1% run-improve40 [4] 1.4% oracle-error [5] 0.7% eval-errors [6] 0.7% ------------------------------------------------------------------------ ??? [3] 100.0% [4] 590(2.8%) 0(0.0%) run-improve40 ...ie/develop/src/mainloop.rkt:340:0 finalize-iter! [9] 50.5% prepare-points-intervals [7] 49.5% ------------------------------------------------------------------------ ??? [3] 100.0% [5] 300(1.4%) 0(0.0%) oracle-error ...erbie/develop/src/points.rkt:207:0 for-loop [8] 100.0% ------------------------------------------------------------------------ ??? [3] 100.0% [6] 294(1.4%) 0(0.0%) eval-errors ...herbie/develop/src/points.rkt:198:0 for-loop [10] 100.0% ------------------------------------------------------------------------ run-improve40 [4] 1.5% ??? [3] 98.5% [7] 18870(89.5%) 0(0.0%) prepare-points-intervals ...p/src/points.rkt:122:0 loop [11] 100.0% ------------------------------------------------------------------------ oracle-error [5] 100.0% [8] 300(1.4%) 300(1.4%) for-loop ...es/herbie/develop/src/points.rkt:208:2 ------------------------------------------------------------------------ run-improve40 [4] 100.0% [9] 298(1.4%) 0(0.0%) finalize-iter! ...e/develop/src/mainloop.rkt:272:0 ??? [12] 100.0% ------------------------------------------------------------------------ eval-errors [6] 100.0% [10] 294(1.4%) 294(1.4%) for-loop ...es/herbie/develop/src/points.rkt:200:2 ------------------------------------------------------------------------ prepare-points-intervals [7] 100.0% [11] 18870(89.5%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:138:4 loop [13] 95.0% loop [14] 1.8% compose [15] 1.7% curry* [16] 1.6% ------------------------------------------------------------------------ finalize-iter! [9] 100.0% [12] 298(1.4%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:388:18 for-loop [17] 100.0% ------------------------------------------------------------------------ loop [11] 100.0% [13] 17924(85.0%) 300(1.4%) loop ...htlies/herbie/develop/src/points.rkt:103:2 ??? [29] 91.3% ??? [18] 5.3% hash-update! [19] 1.7% ------------------------------------------------------------------------ loop [11] 100.0% [14] 334(1.6%) 0(0.0%) loop ...-7.0/collects/racket/private/map.rkt:40:19 ??? [18] 100.0% ------------------------------------------------------------------------ loop [11] 100.0% [15] 314(1.5%) 314(1.5%) compose ...collects/racket/private/list.rkt:385:12 ------------------------------------------------------------------------ loop [11] 100.0% [16] 298(1.4%) 298(1.4%) curry* ...et-7.0/collects/racket/function.rkt:44:2 ------------------------------------------------------------------------ ??? [12] 100.0% [17] 298(1.4%) 0(0.0%) for-loop ...ie/develop/src/core/alt-table.rkt:51:2 atab-add-altn [20] 100.0% ------------------------------------------------------------------------ loop [14] 25.9% loop [13] 74.1% [18] 1288(6.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:357:33 ->flonum [21] 74.1% sample-multi-bounded [22] 25.9% ------------------------------------------------------------------------ loop [13] 100.0% [19] 300(1.4%) 300(1.4%) hash-update! ...cket/private/more-scheme.rkt:365:4 ------------------------------------------------------------------------ for-loop [17] 100.0% [20] 298(1.4%) 0(0.0%) atab-add-altn ...elop/src/core/alt-table.rkt:200:0 override-at-pnts [23] 100.0% ------------------------------------------------------------------------ ??? [18] 100.0% [21] 954(4.5%) 630(3.0%) ->flonum ...s/herbie/develop/src/programs.rkt:38:0 return/no-unsupplied [39] 34.0% ------------------------------------------------------------------------ ??? [18] 100.0% [22] 334(1.6%) 0(0.0%) sample-multi-bounded ...evelop/src/points.rkt:15:0 loop [25] 100.0% ------------------------------------------------------------------------ atab-add-altn [20] 100.0% [23] 298(1.4%) 0(0.0%) override-at-pnts ...p/src/core/alt-table.rkt:135:0 errors [24] 100.0% ------------------------------------------------------------------------ override-at-pnts [23] 18.5% ??? [3] 81.5% [24] 1612(7.6%) 0(0.0%) errors ...lies/herbie/develop/src/points.rkt:223:0 for-loop [26] 81.5% eval-prog [28] 18.5% ------------------------------------------------------------------------ sample-multi-bounded [22] 100.0% [25] 334(1.6%) 0(0.0%) loop ...ghtlies/herbie/develop/src/points.rkt:44:6 random-exp [27] 100.0% ------------------------------------------------------------------------ errors [24] 100.0% [26] 1314(6.2%) 308(1.5%) for-loop ...es/herbie/develop/src/points.rkt:225:2 ??? [29] 76.6% ------------------------------------------------------------------------ loop [25] 100.0% [27] 334(1.6%) 334(1.6%) random-exp .../herbie/develop/src/common.rkt:173:0 ------------------------------------------------------------------------ errors [24] 100.0% [28] 298(1.4%) 0(0.0%) eval-prog ...herbie/develop/src/programs.rkt:130:0 eval [30] 100.0% ------------------------------------------------------------------------ for-loop [26] 5.8% loop [13] 94.2% [29] 17376(82.4%) 0(0.0%) ??? ...tlies/herbie/develop/src/programs.rkt:146:2 ??? [31] 92.4% ??? [34] 5.6% ??? [32] 2.0% ------------------------------------------------------------------------ eval-prog [28] 100.0% [30] 298(1.4%) 0(0.0%) eval (unknown source) namespace-syntax-introduce3 [33]100.0% ------------------------------------------------------------------------ ??? [29] 100.0% [31] 16058(76.2%) 0(0.0%) ??? ...t-7.0/collects/racket/private/kw.rkt:592:14 ??? [34] 95.9% ??? [35] 4.1% ------------------------------------------------------------------------ ??? [29] 100.0% [32] 348(1.7%) 348(1.7%) ??? ...ects/racket/contract/private/prop.rkt:519:4 ------------------------------------------------------------------------ eval [30] 100.0% [33] 298(1.4%) 298(1.4%) namespace-syntax-introduce3 (unknown source) ------------------------------------------------------------------------ ??? [29] 5.9% ??? [31] 94.1% [34] 16370(77.7%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:361:33 ival-log [36] 82.1% ival-add [37] 12.0% mk-ival [38] 5.9% ------------------------------------------------------------------------ ??? [31] 100.0% [35] 658(3.1%) 308(1.5%) ??? ...herbie/develop/src/syntax/syntax.rkt:317:17 return/no-unsupplied [39] 53.2% ------------------------------------------------------------------------ ??? [34] 100.0% [36] 13432(63.7%) 300(1.4%) ival-log ...rbie/develop/src/biginterval.rkt:169:0 ??? [40] 95.5% force [42] 2.2% ------------------------------------------------------------------------ ??? [34] 100.0% [37] 1968(9.3%) 298(1.4%) ival-add ...erbie/develop/src/biginterval.rkt:77:0 ??? [40] 84.9% ------------------------------------------------------------------------ ??? [34] 100.0% [38] 970(4.6%) 300(1.4%) mk-ival ...herbie/develop/src/biginterval.rkt:53:0 bf [41] 69.1% ------------------------------------------------------------------------ ->flonum [21] 48.1% ??? [35] 51.9% [39] 674(3.2%) 674(3.2%) return/no-unsupplied ...ct/private/arr-i.rkt:534:0 ------------------------------------------------------------------------ ival-add [37] 11.5% ival-log [36] 88.5% [40] 14502(68.8%) 12172(57.8%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [43] 11.5% bflog [44] 4.6% ------------------------------------------------------------------------ mk-ival [38] 100.0% [41] 670(3.2%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 new-mpfr [45] 100.0% ------------------------------------------------------------------------ ival-log [36] 100.0% [42] 300(1.4%) 300(1.4%) force ...collects/racket/private/promise.rkt:109:0 ------------------------------------------------------------------------ ??? [40] 100.0% [43] 1670(7.9%) 0(0.0%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:821:4 new-mpfr [45] 64.0% ??? [46] 36.0% ------------------------------------------------------------------------ ??? [40] 100.0% [44] 660(3.1%) 298(1.4%) bflog ...-lib/math/private/bigfloat/mpfr.rkt:618:4 new-mpfr [45] 54.8% ------------------------------------------------------------------------ bflog [44] 17.2% bf [41] 31.9% bfadd [43] 50.9% [45] 2100(10.0%) 2100(10.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ------------------------------------------------------------------------ bfadd [43] 100.0% [46] 602(2.9%) 602(2.9%) ??? /opt/racket-7.0/collects/ffi/unsafe.rkt:898:4 ------------------------------------------------------------------------