Profiling results ----------------- Total cpu time observed: 5286ms (out of 6088ms) Number of samples taken: 14 (once every 378ms) ============================================================ Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ============================================================ ??? [3] 100.0% [1] 5286(100.0%) 0(0.0%) profile-thunk16 ...t/pkgs/profile-lib/main.rkt:9:0 run [2] 100.0% ------------------------------------------------------------ profile-thunk16 [1] 100.0% [2] 5286(100.0%) 0(0.0%) run ...share/racket/pkgs/profile-lib/main.rkt:39:2 ??? [3] 100.0% ------------------------------------------------------------ run [2] 50.0% [3] 5286(100.0%) 0(0.0%) ??? ...lects/racket/private/more-scheme.rkt:261:28 profile-thunk16 [1] 50.0% loop [4] 50.0% ------------------------------------------------------------ ??? [3] 100.0% [4] 5286(100.0%) 0(0.0%) loop ...s/herbie/simplify-bug/src/points.rkt:193:2 loop [5] 51.8% make-exacts* [6] 48.2% ------------------------------------------------------------ loop [4] 100.0% [5] 2740(51.8%) 0(0.0%) loop ...s/herbie/simplify-bug/src/points.rkt:151:2 loop [7] 45.6% make-exacts* [6] 42.7% eval-prog [8] 11.7% ------------------------------------------------------------ loop [5] 31.5% loop [4] 68.5% [6] 3716(70.3%) 0(0.0%) make-exacts* .../simplify-bug/src/points.rkt:138:0 map [9] 59.0% loop [11] 41.0% ------------------------------------------------------------ loop [5] 100.0% [7] 1250(23.6%) 0(0.0%) loop ...s/herbie/simplify-bug/src/points.rkt:141:4 map [9] 100.0% ------------------------------------------------------------ loop [5] 100.0% [8] 320(6.1%) 0(0.0%) eval-prog ...e/simplify-bug/src/programs.rkt:149:0 f134 [10] 100.0% ------------------------------------------------------------ loop [7] 36.3% make-exacts* [6] 63.7% [9] 3444(65.2%) 0(0.0%) map ...acket/collects/racket/private/map.rkt:20:13 loop [11] 100.0% ------------------------------------------------------------ f134 [10] 50.0% eval-prog [8] 50.0% [10] 320(6.1%) 0(0.0%) f134 .../collects/racket/match/compiler.rkt:507:40 f134 [10] 50.0% ??? [12] 50.0% ------------------------------------------------------------ make-exacts* [6] 0.0% map [9] 0.7% loop [11] 99.3% [11] 4966(93.9%) 0(0.0%) loop ...cket/collects/racket/private/map.rkt:25:19 loop [11] 99.3% ??? [13] 0.7% ->flonum [14] 0.0% ------------------------------------------------------------ f134 [10] 100.0% [12] 320(6.1%) 0(0.0%) ??? ...tract/private/arrow-higher-order.rkt:342:33 ??? [16] 100.0% ------------------------------------------------------------ loop [11] 100.0% [13] 4092(77.4%) 0(0.0%) ??? .../herbie/simplify-bug/src/programs.rkt:155:4 ??? [15] 70.0% ??? [16] 30.0% ------------------------------------------------------------ loop [11] 100.0% [14] 874(16.5%) 420(7.9%) ->flonum ...bie/simplify-bug/src/programs.rkt:37:0 ??? [17] 51.9% ------------------------------------------------------------ ??? [13] 100.0% [15] 2866(54.2%) 360(6.8%) ??? ...acket/collects/racket/private/kw.rkt:444:14 bf* [18] 75.2% ??? [22] 12.3% ------------------------------------------------------------ ??? [12] 20.7% ??? [13] 79.3% [16] 1546(29.2%) 0(0.0%) ??? ...contract/private/../../private/kw.rkt:761:9 real->bigfloat [19] 79.3% integer->bigfloat [21] 20.7% ------------------------------------------------------------ ->flonum [14] 100.0% [17] 454(8.6%) 0(0.0%) ??? ...racket/collects/racket/private/kw.rkt:761:9 ??? [20] 100.0% ------------------------------------------------------------ ??? [15] 100.0% [18] 2154(40.7%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [22] 100.0% ------------------------------------------------------------ ??? [16] 100.0% [19] 1226(23.2%) 1226(23.2%) real->bigfloat .../private/bigfloat/mpfr.rkt:451:0 ------------------------------------------------------------ ??? [17] 100.0% [20] 454(8.6%) 454(8.6%) ??? ...s/racket/contract/private/arr-i.rkt:1233:27 ------------------------------------------------------------ ??? [16] 100.0% [21] 320(6.1%) 320(6.1%) integer->bigfloat ...ivate/bigfloat/mpfr.rkt:399:0 ------------------------------------------------------------ ??? [15] 14.0% bf* [18] 86.0% [22] 2506(47.4%) 740(14.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [23] 70.5% ------------------------------------------------------------ ??? [22] 100.0% [23] 1766(33.4%) 718(13.6%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:819:4 ??? [24] 59.3% ------------------------------------------------------------ bfmul [23] 100.0% [24] 1048(19.8%) 1048(19.8%) ??? .../share/racket/collects/ffi/unsafe.rkt:861:4 ------------------------------------------------------------