Profiling results ----------------- Total cpu time observed: 10540ms (out of 11288ms) Number of samples taken: 29 (once every 363ms) ================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ================================================================= ??? [5] 100.0% [1] 10540(100.0%) 0(0.0%) profile-thunk16 ...e/pkgs/profile-lib/main.rkt:9:0 run [3] 100.0% ----------------------------------------------------------------- ??? [19] 13.2% ??? [5] 86.8% [2] 2820(26.8%) 0(0.0%) errors ...lies/herbie/develop/src/points.rkt:223:0 for-loop [4] 100.0% ----------------------------------------------------------------- profile-thunk16 [1] 100.0% [3] 10540(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [5] 100.0% ----------------------------------------------------------------- errors [2] 100.0% [4] 2820(26.8%) 102(1.0%) for-loop ...es/herbie/develop/src/points.rkt:225:2 ??? [5] 83.2% ??? [6] 13.2% ----------------------------------------------------------------- for-loop [4] 7.4% run [3] 46.3% [5] 10540(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 46.3% prepare-points [7] 19.6% ??? [28] 9.7% errors [2] 7.9% ulp-difference [8] 6.4% oracle-error [9] 4.4% eval-errors [10] 2.9% get-final-combination [11] 1.8% ??? [23] 0.7% ordinary-value? [24] 0.2% ??? [29] 0.2% ----------------------------------------------------------------- for-loop [4] 100.0% [6] 372(3.5%) 372(3.5%) ??? ...7.2/collects/racket/private/for.rkt:1233:14 ----------------------------------------------------------------- ??? [5] 100.0% [7] 4126(39.1%) 0(0.0%) prepare-points ...bie/develop/src/points.rkt:166:0 loop [12] 100.0% ----------------------------------------------------------------- ??? [5] 100.0% [8] 2010(19.1%) 0(0.0%) ulp-difference ...erbie/develop/src/float.rkt:46:0 infer-representation [13] 100.0% ----------------------------------------------------------------- ??? [5] 100.0% [9] 936(8.9%) 0(0.0%) oracle-error ...erbie/develop/src/points.rkt:207:0 for-loop [14] 100.0% ----------------------------------------------------------------- ??? [5] 100.0% [10] 614(5.8%) 0(0.0%) eval-errors ...herbie/develop/src/points.rkt:198:0 for-loop [15] 100.0% ----------------------------------------------------------------- ??? [5] 100.0% [11] 372(3.5%) 0(0.0%) get-final-combination ...op/src/mainloop.rkt:360:0 argmins [16] 100.0% ----------------------------------------------------------------- prepare-points [7] 100.0% [12] 4126(39.1%) 0(0.0%) loop ...htlies/herbie/develop/src/points.rkt:143:4 loop [17] 45.9% ??? [18] 31.0% ordinary-value? [24] 14.9% andmap [20] 8.2% ----------------------------------------------------------------- ulp-difference [8] 100.0% [13] 2010(19.1%) 0(0.0%) infer-representation ...develop/src/float.rkt:15:0 return/no-unsupplied [40] 100.0% ----------------------------------------------------------------- oracle-error [9] 100.0% [14] 936(8.9%) 308(2.9%) for-loop ...es/herbie/develop/src/points.rkt:208:2 loop [21] 34.2% map [22] 32.9% ----------------------------------------------------------------- eval-errors [10] 100.0% [15] 614(5.8%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:200:2 ??? [23] 100.0% ----------------------------------------------------------------- get-final-combination [11]100.0% [16] 372(3.5%) 0(0.0%) argmins ...lies/herbie/develop/src/common.rkt:92:0 ??? [19] 100.0% ----------------------------------------------------------------- loop [12] 100.0% [17] 1894(18.0%) 318(3.0%) loop ...htlies/herbie/develop/src/points.rkt:102:2 ??? [23] 83.2% ----------------------------------------------------------------- loop [12] 100.0% [18] 1278(12.1%) 574(5.4%) ??? ...ghtlies/herbie/develop/src/points.rkt:127:2 ??? [29] 55.1% ----------------------------------------------------------------- argmins [16] 100.0% [19] 372(3.5%) 0(0.0%) ??? ...lies/herbie/develop/src/mainloop.rkt:108:19 errors [2] 100.0% ----------------------------------------------------------------- loop [12] 100.0% [20] 340(3.2%) 0(0.0%) andmap ...2/collects/racket/private/map.rkt:102:13 ordinary-value? [24] 100.0% ----------------------------------------------------------------- for-loop [14] 100.0% [21] 320(3.0%) 0(0.0%) loop ...-7.2/collects/racket/private/map.rkt:40:19 ??? [23] 100.0% ----------------------------------------------------------------- for-loop [14] 100.0% [22] 308(2.9%) 0(0.0%) map ...t-7.2/collects/racket/private/map.rkt:35:13 ??? [25] 100.0% ----------------------------------------------------------------- ??? [5] 8.6% loop [21] 11.7% for-loop [15] 22.4% loop [17] 57.4% [23] 2746(26.1%) 622(5.9%) ??? ...htlies/herbie/develop/src/programs.rkt:99:2 ??? [26] 57.4% ??? [29] 20.0% ----------------------------------------------------------------- ??? [5] 5.2% andmap [20] 33.8% loop [12] 61.0% [24] 1006(9.5%) 52(0.5%) ordinary-value? ...rbie/develop/src/float.rkt:80:0 special-value? [27] 94.8% ----------------------------------------------------------------- map [22] 100.0% [25] 308(2.9%) 0(0.0%) ??? ...htlies/herbie/develop/src/points.rkt:209:26 ??? [29] 100.0% ----------------------------------------------------------------- ??? [23] 100.0% [26] 1576(15.0%) 0(0.0%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14 ??? [28] 55.1% ??? [29] 44.9% ----------------------------------------------------------------- ordinary-value? [24] 100.0% [27] 954(9.1%) 256(2.4%) special-value? ...erbie/develop/src/float.rkt:76:0 for-loop [30] 73.2% ----------------------------------------------------------------- ??? [26] 29.8% ??? [5] 70.2% [28] 2912(27.6%) 200(1.9%) ??? ...tract/private/arrow-higher-order.rkt:364:33 ??? [31] 70.2% ival-div [34] 22.9% ----------------------------------------------------------------- ??? [5] 2.1% ??? [25] 13.3% ??? [23] 23.7% ??? [18] 30.4% ??? [26] 30.6% [29] 2316(22.0%) 280(2.7%) ??? ...tract/private/arrow-higher-order.rkt:360:33 ival-mult [32] 30.6% sample-multi-bounded [33] 30.4% ->flonum [35] 26.9% ----------------------------------------------------------------- special-value? [27] 100.0% [30] 698(6.6%) 698(6.6%) for-loop ...lies/herbie/develop/src/float.rkt:17:3 ----------------------------------------------------------------- ??? [28] 100.0% [31] 2044(19.4%) 2044(19.4%) ??? ...cts/racket/contract/private/list.rkt:209:10 ----------------------------------------------------------------- ??? [29] 100.0% [32] 708(6.7%) 0(0.0%) ival-mult ...bie/develop/src/biginterval.rkt:112:0 bfmul [36] 100.0% ----------------------------------------------------------------- ??? [29] 100.0% [33] 704(6.7%) 704(6.7%) sample-multi-bounded ...evelop/src/points.rkt:15:0 ----------------------------------------------------------------- ??? [28] 100.0% [34] 668(6.3%) 292(2.8%) ival-div ...rbie/develop/src/biginterval.rkt:148:0 bfmul [36] 56.3% ----------------------------------------------------------------- ??? [29] 100.0% [35] 624(5.9%) 0(0.0%) ->flonum ...ies/herbie/develop/src/float.rkt:149:0 ??? [37] 100.0% ----------------------------------------------------------------- ival-div [34] 34.7% ival-mult [32] 65.3% [36] 1084(10.3%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 ??? [38] 100.0% ----------------------------------------------------------------- ->flonum [35] 100.0% [37] 624(5.9%) 0(0.0%) ??? ...nightlies/herbie/develop/src/float.rkt:23:2 for-loop [39] 100.0% ----------------------------------------------------------------- bfmul [36] 100.0% [38] 1084(10.3%) 1084(10.3%) ??? /opt/racket-7.2/collects/ffi/unsafe.rkt:905:4 ----------------------------------------------------------------- ??? [37] 100.0% [39] 624(5.9%) 564(5.4%) for-loop ...lies/herbie/develop/src/float.rkt:24:5 return/no-unsupplied [40] 9.6% ----------------------------------------------------------------- for-loop [39] 2.9% infer-representation [13] 97.1% [40] 2070(19.6%) 60(0.6%) return/no-unsupplied ...ct/private/arr-i.rkt:542:0 filter [41] 97.1% ----------------------------------------------------------------- return/no-unsupplied [40] 100.0% [41] 2010(19.1%) 2010(19.1%) filter ...2/collects/racket/private/list.rkt:256:2 -----------------------------------------------------------------