| Date: | Saturday, November 12th, 2022 |
|---|---|
| Commit: | 474beffe on svg-pareto-plots |
| Hostname: | warfa with Racket 8.6 |
| Seed: | 2022316 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify default |
Time bar (total: 6.8min)
| 1.0min | 297008× | body | 256 | valid |
| 26.2s | 14899× | body | 2048 | valid |
| 16.7s | 21770× | body | 1024 | valid |
| 8.7s | 21928× | body | 256 | invalid |
| 5.5s | 12218× | body | 512 | valid |
| 1.9s | 202× | body | 8192 | exit |
| 1.2s | 857× | body | 4096 | valid |
| 285.0ms | 205× | body | 1024 | invalid |
| 110.0ms | 238× | body | 512 | invalid |
| 21.0ms | 17× | body | 2048 | invalid |
Compiled 1627895 to 946449 computations (41.9% saved)
| 463× | egg-herbie |
| 153486× | fma-def_binary64 |
| 102489× | unswap-sqr_binary64 |
| 102470× | associate-*l*_binary64 |
| 90186× | sqr-pow_binary64 |
| 83559× | associate-*r*_binary64 |
| 12× | done |
| 118× | saturated |
| 30× | fuel |
| 345× | node limit |
Compiled 8075 to 4974 computations (38.4% saved)
92 calls:
| 7.1s | a |
| 6.5s | c |
| 6.2s | b |
| 2.5s | d |
| 2.2s | x |
Compiled 87503 to 50914 computations (41.8% saved)
| 379× | batch-egg-rewrite |
| 150349× | pow1_binary64 |
| 141381× | add-log-exp_binary64 |
| 141333× | expm1-log1p-u_binary64 |
| 141330× | log1p-expm1-u_binary64 |
| 126310× | add-exp-log_binary64 |
| 379× | node limit |
| 269× | binary-search |
| 13× | left-value |
Compiled 23030 to 16079 computations (30.2% saved)
Compiled 67894 to 46189 computations (32% saved)
Compiled 28112 to 16238 computations (42.2% saved)
| 43× | search |
| 2× | random |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 54.5% | 45.5% | 0 |
| 3.5% | 51% | 45.5% | 1 |
| 3.5% | 51% | 45.5% | 2 |
| 10.9% | 42.4% | 46.7% | 3 |
| 14.3% | 38.7% | 47% | 4 |
| 18.2% | 34% | 47.8% | 5 |
| 19.4% | 31.4% | 49.2% | 6 |
| 22% | 27.2% | 50.8% | 7 |
| 23.4% | 25.2% | 51.5% | 8 |
| 25% | 22.5% | 52.5% | 9 |
| 26.9% | 20% | 53.1% | 10 |
| 28.3% | 18% | 53.7% | 11 |
| 29.7% | 16.2% | 54.1% | 12 |
Compiled 1441 to 1017 computations (29.4% saved)
4947 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 660.0ms | eps | @ | 0 | (log.f64 (-.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5))) |
| 208.0ms | a | @ | inf | (pow.f64 (*.f64 c (*.f64 -4 a)) 1/4) |
| 158.0ms | t | @ | -inf | (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4)) 2) |
| 149.0ms | i | @ | inf | (*.f64 i (*.f64 1/3 (/.f64 i n))) |
| 149.0ms | t | @ | 0 | (pow.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3) |
| 38× | egg-herbie |
| 14404× | fma-def_binary64 |
| 13398× | fma-neg_binary64 |
| 6724× | associate-/l*_binary64 |
| 6724× | associate-/r*_binary64 |
| 6699× | times-frac_binary64 |
| 10× | saturated |
| 28× | node limit |
Compiled 19767 to 14533 computations (26.5% saved)
Compiled 7805 to 4209 computations (46.1% saved)
| 84× | egg-herbie |
| 15213× | fma-def_binary64 |
| 8199× | fma-neg_binary64 |
| 7730× | distribute-rgt-in_binary64 |
| 5512× | unsub-neg_binary64 |
| 5438× | div-sub_binary64 |
| 6× | unsound |
| 53× | saturated |
| 25× | node limit |
Compiled 913 to 679 computations (25.6% saved)
Loading profile data...