Profiling results ----------------- Total cpu time observed: 7778ms (out of 8272ms) Number of samples taken: 24 (once every 324ms) ====================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ====================================================================== ??? [3] 100.0% [1] 7778(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] 7778(100.0%) 0(0.0%) run ...et-7.2/share/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ---------------------------------------------------------------------- for-loop [14] 1.4% run [2] 49.3% [3] 7778(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 49.3% prepare-points [4] 30.8% oracle-error [5] 5.6% eval-errors [7] 3.6% errors [6] 3.3% errors-score [8] 2.1% loop [18] 2.0% run-improve43 [9] 1.9% ??? [27] 1.4% ---------------------------------------------------------------------- ??? [3] 100.0% [4] 4796(61.7%) 336(4.3%) prepare-points ...bie/develop/src/points.rkt:166:0 loop [10] 93.0% ---------------------------------------------------------------------- ??? [3] 100.0% [5] 870(11.2%) 0(0.0%) oracle-error ...erbie/develop/src/points.rkt:207:0 for-loop [11] 100.0% ---------------------------------------------------------------------- ??? [3] 100.0% [6] 624(8.0%) 296(3.8%) errors ...lies/herbie/develop/src/points.rkt:223:0 for-loop [14] 52.6% ---------------------------------------------------------------------- ??? [3] 100.0% [7] 554(7.1%) 0(0.0%) eval-errors ...herbie/develop/src/points.rkt:198:0 for-loop [12] 100.0% ---------------------------------------------------------------------- ??? [3] 100.0% [8] 332(4.3%) 0(0.0%) errors-score ...erbie/develop/src/points.rkt:215:0 loop [13] 100.0% ---------------------------------------------------------------------- ??? [3] 100.0% [9] 296(3.8%) 0(0.0%) run-improve43 ...ie/develop/src/mainloop.rkt:339:0 for-loop [15] 100.0% ---------------------------------------------------------------------- prepare-points [4] 100.0% [10] 4460(57.3%) 262(3.4%) loop ...htlies/herbie/develop/src/points.rkt:143:4 loop [16] 68.8% ??? [17] 25.3% ---------------------------------------------------------------------- oracle-error [5] 100.0% [11] 870(11.2%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:208:2 map [19] 64.4% loop [18] 35.6% ---------------------------------------------------------------------- eval-errors [7] 100.0% [12] 554(7.1%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:200:2 ??? [27] 50.2% ??? [36] 49.8% ---------------------------------------------------------------------- errors-score [8] 100.0% [13] 332(4.3%) 0(0.0%) loop .../racket-7.2/collects/racket/list.rkt:559:2 ordinary-value? [20] 100.0% ---------------------------------------------------------------------- errors [6] 100.0% [14] 328(4.2%) 0(0.0%) for-loop ...es/herbie/develop/src/points.rkt:225:2 ??? [3] 100.0% ---------------------------------------------------------------------- run-improve43 [9] 100.0% [15] 296(3.8%) 0(0.0%) for-loop .../herbie/develop/src/mainloop.rkt:354:4 run-iter! [21] 100.0% ---------------------------------------------------------------------- loop [10] 100.0% [16] 3068(39.4%) 366(4.7%) loop ...htlies/herbie/develop/src/points.rkt:102:2 ??? [27] 88.1% ---------------------------------------------------------------------- loop [10] 100.0% [17] 1130(14.5%) 0(0.0%) ??? ...ghtlies/herbie/develop/src/points.rkt:127:2 ??? [36] 71.2% ??? [24] 28.8% ---------------------------------------------------------------------- ??? [3] 49.7% for-loop [11] 50.3% [18] 616(7.9%) 0(0.0%) loop ...-7.2/collects/racket/private/map.rkt:40:19 ??? [27] 50.3% eval-prog [25] 49.7% ---------------------------------------------------------------------- for-loop [11] 100.0% [19] 560(7.2%) 0(0.0%) map ...t-7.2/collects/racket/private/map.rkt:35:13 ??? [22] 100.0% ---------------------------------------------------------------------- loop [13] 100.0% [20] 332(4.3%) 0(0.0%) ordinary-value? ...rbie/develop/src/float.rkt:80:0 special-value? [23] 100.0% ---------------------------------------------------------------------- for-loop [15] 100.0% [21] 296(3.8%) 0(0.0%) run-iter! ...herbie/develop/src/mainloop.rkt:320:0 simplify! [26] 100.0% ---------------------------------------------------------------------- map [19] 100.0% [22] 560(7.2%) 0(0.0%) ??? ...htlies/herbie/develop/src/points.rkt:209:26 ulp-difference [31] 50.7% ??? [27] 49.3% ---------------------------------------------------------------------- ordinary-value? [20] 100.0% [23] 332(4.3%) 0(0.0%) special-value? ...erbie/develop/src/float.rkt:76:0 for-loop [28] 100.0% ---------------------------------------------------------------------- ??? [17] 100.0% [24] 326(4.2%) 326(4.2%) ??? ...cket-7.2/collects/racket/function.rkt:93:12 ---------------------------------------------------------------------- loop [18] 100.0% [25] 306(3.9%) 0(0.0%) eval-prog .../herbie/develop/src/programs.rkt:83:0 eval [29] 100.0% ---------------------------------------------------------------------- run-iter! [21] 100.0% [26] 296(3.8%) 0(0.0%) simplify! ...herbie/develop/src/mainloop.rkt:217:0 *simplify-rules* [30] 100.0% ---------------------------------------------------------------------- ??? [22] 7.1% for-loop [12] 7.1% loop [18] 8.0% ??? [3] 8.4% loop [16] 69.4% [27] 3894(50.1%) 0(0.0%) ??? ...htlies/herbie/develop/src/programs.rkt:99:2 ??? [36] 57.4% ??? [32] 42.6% ---------------------------------------------------------------------- special-value? [23] 100.0% [28] 332(4.3%) 332(4.3%) for-loop ...lies/herbie/develop/src/float.rkt:17:3 ---------------------------------------------------------------------- eval-prog [25] 100.0% [29] 306(3.9%) 0(0.0%) eval (unknown source) namespace-syntax-introduce3 [33]100.0% ---------------------------------------------------------------------- simplify! [26] 100.0% [30] 296(3.8%) 0(0.0%) *simplify-rules* ...lop/src/syntax/rules.rkt:671:0 for-loop [34] 100.0% ---------------------------------------------------------------------- ??? [22] 100.0% [31] 284(3.7%) 0(0.0%) ulp-difference ...erbie/develop/src/float.rkt:46:0 infer-representation [35] 100.0% ---------------------------------------------------------------------- ??? [27] 100.0% [32] 1658(21.3%) 0(0.0%) ??? ...t-7.2/collects/racket/private/kw.rkt:594:14 ??? [36] 59.8% ??? [37] 40.2% ---------------------------------------------------------------------- eval [29] 100.0% [33] 306(3.9%) 0(0.0%) namespace-syntax-introduce3 (unknown source) free-identifier=? [38] 100.0% ---------------------------------------------------------------------- *simplify-rules* [30] 100.0% [34] 296(3.8%) 0(0.0%) for-loop ...ies/herbie/develop/src/common.rkt:70:9 flag-set? [39] 100.0% ---------------------------------------------------------------------- ulp-difference [31] 100.0% [35] 284(3.7%) 284(3.7%) infer-representation ...develop/src/float.rkt:15:0 ---------------------------------------------------------------------- for-loop [12] 6.4% ??? [17] 18.7% ??? [32] 23.0% ??? [27] 51.9% [36] 4308(55.4%) 648(8.3%) ??? ...tract/private/arrow-higher-order.rkt:360:33 ->flonum [40] 26.5% ival-mult [41] 23.0% sample-multi-bounded [42] 18.7% mk-ival [43] 16.8% ---------------------------------------------------------------------- ??? [32] 100.0% [37] 666(8.6%) 300(3.9%) ??? ...tract/private/arrow-higher-order.rkt:364:33 ival-sub [44] 55.0% ---------------------------------------------------------------------- namespace-syntax-introduce3 [33]100.0% [38] 306(3.9%) 0(0.0%) free-identifier=? (unknown source) resolve+shift28 [45] 100.0% ---------------------------------------------------------------------- for-loop [34] 100.0% [39] 296(3.8%) 296(3.8%) flag-set? ...es/herbie/develop/src/config.rkt:28:0 ---------------------------------------------------------------------- ??? [36] 100.0% [40] 1140(14.7%) 310(4.0%) ->flonum ...ies/herbie/develop/src/float.rkt:149:0 ??? [46] 72.8% ---------------------------------------------------------------------- ??? [36] 100.0% [41] 992(12.8%) 360(4.6%) ival-mult ...bie/develop/src/biginterval.rkt:112:0 bfmul [48] 63.7% ---------------------------------------------------------------------- ??? [36] 100.0% [42] 804(10.3%) 498(6.4%) sample-multi-bounded ...evelop/src/points.rkt:15:0 loop [49] 38.1% ---------------------------------------------------------------------- ??? [36] 100.0% [43] 724(9.3%) 0(0.0%) mk-ival ...herbie/develop/src/biginterval.rkt:57:0 bf [47] 100.0% ---------------------------------------------------------------------- ??? [37] 100.0% [44] 366(4.7%) 366(4.7%) ival-sub ...rbie/develop/src/biginterval.rkt:100:0 ---------------------------------------------------------------------- free-identifier=? [38] 100.0% [45] 306(3.9%) 306(3.9%) resolve+shift28 (unknown source) ---------------------------------------------------------------------- ->flonum [40] 100.0% [46] 830(10.7%) 276(3.5%) ??? ...nightlies/herbie/develop/src/float.rkt:23:2 for-loop [51] 66.7% ---------------------------------------------------------------------- mk-ival [43] 100.0% [47] 724(9.3%) 0(0.0%) bf ...ath-lib/math/private/bigfloat/mpfr.rkt:601:2 ??? [50] 100.0% ---------------------------------------------------------------------- ival-mult [41] 100.0% [48] 632(8.1%) 0(0.0%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:821:4 ??? [50] 50.3% new-mpfr [52] 49.7% ---------------------------------------------------------------------- sample-multi-bounded [42] 100.0% [49] 306(3.9%) 0(0.0%) loop ...ghtlies/herbie/develop/src/points.rkt:42:6 random-exp [53] 100.0% ---------------------------------------------------------------------- bfmul [48] 30.5% bf [47] 69.5% [50] 1042(13.4%) 1042(13.4%) ??? /opt/racket-7.2/collects/ffi/unsafe.rkt:905:4 ---------------------------------------------------------------------- ??? [46] 100.0% [51] 554(7.1%) 278(3.6%) for-loop ...lies/herbie/develop/src/float.rkt:24:5 list-member? [54] 49.8% ---------------------------------------------------------------------- bfmul [48] 100.0% [52] 314(4.0%) 314(4.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:335:0 ---------------------------------------------------------------------- loop [49] 100.0% [53] 306(3.9%) 306(3.9%) random-exp .../herbie/develop/src/common.rkt:172:0 ---------------------------------------------------------------------- for-loop [51] 100.0% [54] 276(3.5%) 276(3.5%) list-member? ...llects/racket/private/set.rkt:24:0 ----------------------------------------------------------------------