Profiling results ----------------- Total cpu time observed: 2606ms (out of 2890ms) Number of samples taken: 9 (once every 290ms) ======================================================================== Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ======================================================================== [1] 2606(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [2] 100.0% ------------------------------------------------------------------------ ??? [1] 100.0% [2] 2606(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [3] 100.0% ------------------------------------------------------------------------ profile-thunk [2] 100.0% [3] 2606(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [4] 100.0% ------------------------------------------------------------------------ ??? [3] 100.0% [4] 2606(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 prepare-points [5] 89.3% run-improve [6] 10.7% ------------------------------------------------------------------------ ??? [4] 100.0% [5] 2326(89.3%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [9] 64.1% make-exacts [7] 35.9% ------------------------------------------------------------------------ ??? [4] 100.0% [6] 280(10.7%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 run-iter! [8] 100.0% ------------------------------------------------------------------------ prepare-points [5] 100.0% [7] 836(32.1%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [9] 100.0% ------------------------------------------------------------------------ run-improve [6] 100.0% [8] 280(10.7%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 choose-best-alt! [10] 100.0% ------------------------------------------------------------------------ make-exacts [7] 35.9% prepare-points [5] 64.1% [9] 2326(89.3%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [11] 100.0% ------------------------------------------------------------------------ run-iter! [8] 100.0% [10] 280(10.7%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [12] 100.0% ------------------------------------------------------------------------ ??? [13] 0.3% loop [9] 0.4% loop [11] 99.3% [11] 2326(89.3%) 0(0.0%) loop .../private/map.rkt:40:19 loop [11] 99.3% ??? [13] 0.4% ...row-higher-order.rkt:375:33 [14] 0.3% ------------------------------------------------------------------------ choose-best-alt! [10] 100.0% [12] 280(10.7%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:486:18 atab-pick-alt [15] 100.0% ------------------------------------------------------------------------ loop [11] 100.0% [13] 2326(89.3%) 599(23.0%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 loop [11] 37.5% bf* [17] 12.8% ??? [20] 12.0% ??? [19] 12.0% ------------------------------------------------------------------------ loop [11] 100.0% [14] 872(33.4%) 280(10.7%) ...row-higher-order.rkt:375:33 ...order.rkt:375:33 real->bigfloat [16] 67.9% ------------------------------------------------------------------------ ??? [12] 100.0% [15] 280(10.7%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 write-json* [18] 100.0% ------------------------------------------------------------------------ ...row-higher-order.rkt:375:33 [14]100.0% [16] 592(22.7%) 278(10.7%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 new-mpfr [21] 53.0% ------------------------------------------------------------------------ ??? [13] 100.0% [17] 298(11.5%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [20] 100.0% ------------------------------------------------------------------------ atab-pick-alt [15] 100.0% [18] 280(10.7%) 0(0.0%) write-json* .../racket/collects/json/main.rkt:94:0 loop [22] 100.0% ------------------------------------------------------------------------ ??? [13] 100.0% [19] 278(10.7%) 278(10.7%) ??? ...ects/racket/contract/private/prop.rkt:567:4 ------------------------------------------------------------------------ ??? [13] 48.3% bf* [17] 51.7% [20] 578(22.2%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfadd [23] 100.0% ------------------------------------------------------------------------ real->bigfloat [16] 100.0% [21] 314(12.0%) 314(12.0%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 ------------------------------------------------------------------------ write-json* [18] 25.0% loop [22] 75.0% [22] 280(10.7%) 280(10.7%) loop .../share/racket/collects/json/main.rkt:132:2 loop [22] 75.0% ------------------------------------------------------------------------ ??? [20] 100.0% [23] 578(22.2%) 578(22.2%) bfadd ...-lib/math/private/bigfloat/mpfr.rkt:846:4 ------------------------------------------------------------------------