Profiling results ----------------- Total cpu time observed: 2872ms (out of 3013ms) Number of samples taken: 10 (once every 287ms) ========================================================================= Caller Idx Total Self Name+src Local% ms(pct) ms(pct) Callee ========================================================================= [1] 2872(100.0%) 0(0.0%) ??? ...are/racket/collects/racket/engine.rkt:42:24 profile-thunk [2] 100.0% ------------------------------------------------------------------------- ??? [1] 100.0% [2] 2872(100.0%) 0(0.0%) profile-thunk ...ket/pkgs/profile-lib/main.rkt:9:0 ??? [3] 100.0% ------------------------------------------------------------------------- profile-thunk [2] 100.0% [3] 2872(100.0%) 0(0.0%) ??? ...hare/racket/pkgs/profile-lib/main.rkt:40:10 ??? [4] 100.0% ------------------------------------------------------------------------- ??? [3] 100.0% [4] 2872(100.0%) 0(0.0%) ??? ...ies/herbie/alt-testing/src/sandbox.rkt:49:6 prepare-points [5] 90.7% run-improve [6] 9.3% ------------------------------------------------------------------------- ??? [4] 100.0% [5] 2606(90.7%) 0(0.0%) prepare-points ...alt-testing/src/points.rkt:214:0 loop [9] 68.2% make-exacts [7] 31.8% ------------------------------------------------------------------------- ??? [4] 100.0% [6] 266(9.3%) 0(0.0%) run-improve .../alt-testing/src/mainloop.rkt:225:0 run-iter! [8] 100.0% ------------------------------------------------------------------------- prepare-points [5] 100.0% [7] 830(28.9%) 0(0.0%) make-exacts ...ie/alt-testing/src/points.rkt:156:0 loop [9] 100.0% ------------------------------------------------------------------------- run-improve [6] 100.0% [8] 266(9.3%) 0(0.0%) run-iter! ...ie/alt-testing/src/mainloop.rkt:206:0 choose-best-alt! [10] 100.0% ------------------------------------------------------------------------- make-exacts [7] 31.8% prepare-points [5] 68.2% [9] 2606(90.7%) 0(0.0%) loop ...es/herbie/alt-testing/src/points.rkt:141:4 loop [11] 100.0% ------------------------------------------------------------------------- run-iter! [8] 100.0% [10] 266(9.3%) 0(0.0%) choose-best-alt! ...testing/src/mainloop.rkt:106:0 ??? [12] 100.0% ------------------------------------------------------------------------- ??? [19] 0.1% loop [9] 0.2% loop [11] 99.7% [11] 2606(90.7%) 0(0.0%) loop .../private/map.rkt:40:19 loop [11] 99.7% ??? [19] 0.2% ...row-higher-order.rkt:375:33 [13] 0.1% ->bf [14] 0.0% ------------------------------------------------------------------------- choose-best-alt! [10] 100.0% [12] 266(9.3%) 0(0.0%) ??? ...contract/private/arrow-val-first.rkt:486:18 atab-pick-alt [15] 100.0% ------------------------------------------------------------------------- loop [11] 100.0% [13] 1174(40.9%) 0(0.0%) ...row-higher-order.rkt:375:33 ...order.rkt:375:33 ->flonum [16] 52.4% real->bigfloat [17] 47.6% ------------------------------------------------------------------------- loop [11] 100.0% [14] 296(10.3%) 296(10.3%) ->bf ...s/herbie/alt-testing/src/programs.rkt:53:0 ------------------------------------------------------------------------- ??? [12] 100.0% [15] 266(9.3%) 0(0.0%) atab-pick-alt ...sting/src/core/alt-table.rkt:64:0 errors [18] 100.0% ------------------------------------------------------------------------- ...row-higher-order.rkt:375:33 [13]100.0% [16] 616(21.4%) 0(0.0%) ->flonum ...rbie/alt-testing/src/programs.rkt:37:0 set-member? [20] 50.9% return/no-unsupplied [21] 49.1% ------------------------------------------------------------------------- ...row-higher-order.rkt:375:33 [13]100.0% [17] 558(19.4%) 280(9.7%) real->bigfloat .../private/bigfloat/mpfr.rkt:470:0 new-mpfr [22] 49.9% ------------------------------------------------------------------------- atab-pick-alt [15] 100.0% [18] 266(9.3%) 0(0.0%) errors .../herbie/alt-testing/src/points.rkt:271:0 ??? [19] 100.0% ------------------------------------------------------------------------- errors [18] 11.8% loop [11] 88.2% [19] 2256(78.6%) 1130(39.4%) ??? ...s/herbie/alt-testing/src/programs.rkt:156:4 loop [11] 37.8% bf* [24] 12.1% ------------------------------------------------------------------------- ->flonum [16] 100.0% [20] 314(10.9%) 314(10.9%) set-member? ...ts/racket/private/generic.rkt:472:9 ------------------------------------------------------------------------- ->flonum [16] 100.0% [21] 302(10.5%) 0(0.0%) return/no-unsupplied ...ct/private/arr-i.rkt:566:0 reverse [23] 100.0% ------------------------------------------------------------------------- real->bigfloat [17] 100.0% [22] 278(9.7%) 278(9.7%) new-mpfr ...b/math/private/bigfloat/mpfr.rkt:344:0 ------------------------------------------------------------------------- return/no-unsupplied [21] 100.0% [23] 302(10.5%) 302(10.5%) reverse ...collects/racket/private/reverse.rkt:6:4 ------------------------------------------------------------------------- ??? [19] 100.0% [24] 272(9.5%) 0(0.0%) bf* ...ath/private/bigfloat/bigfloat-mpfr.rkt:95:0 ??? [25] 100.0% ------------------------------------------------------------------------- bf* [24] 100.0% [25] 272(9.5%) 0(0.0%) ??? ...-racket/utils/simple-result-arrow.rkt:39:12 bfmul [26] 100.0% ------------------------------------------------------------------------- ??? [25] 100.0% [26] 272(9.5%) 272(9.5%) bfmul ...-lib/math/private/bigfloat/mpfr.rkt:846:4 -------------------------------------------------------------------------