| Date: | Tuesday, August 16th, 2022 |
|---|---|
| Commit: | f262be85 on no-retirement |
| Hostname: | warfa with Racket 8.5 |
| Seed: | 2022228 |
| 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: 7.1min)
| 1.1min | 388425× | body | 256 | valid |
| 59.3s | 7950× | body | 8192 | exit |
| 11.5s | 19258× | body | 1024 | valid |
| 8.5s | 14531× | body | 1024 | invalid |
| 6.5s | 37559× | body | 256 | invalid |
| 3.2s | 10198× | body | 512 | valid |
| 2.7s | 6495× | body | 512 | invalid |
| 1.3s | 2112× | body | 2048 | valid |
| 622.0ms | 1063× | body | 4096 | valid |
| 299.0ms | 222× | body | 2048 | invalid |
Compiled 2943074 to 1811782 computations (38.4% saved)
| 633× | egg-herbie |
| 216595× | fma-def_binary64 |
| 134663× | fma-neg_binary64 |
| 134412× | associate-*l*_binary64 |
| 133567× | unswap-sqr_binary64 |
| 107254× | distribute-rgt-in_binary64 |
| 1× | unsound |
| 166× | saturated |
| 466× | node limit |
| 513× | batch-egg-rewrite |
| 10× | egg-rewrite-iter-limit |
| 10× | egg-rewrite |
| 216496× | pow1_binary64 |
| 203786× | add-log-exp_binary64 |
| 203579× | expm1-log1p-u_binary64 |
| 203571× | log1p-expm1-u_binary64 |
| 182546× | add-exp-log_binary64 |
| 11× | unsound |
| 10× | iter limit |
| 512× | node limit |
61 calls:
| 3.9s | x.re |
| 3.6s | x.im |
| 3.1s | y.re |
| 2.6s | y.im |
| 1.7s | re |
Compiled 76904 to 48659 computations (36.7% saved)
Compiled 55416 to 34333 computations (38% saved)
Compiled 175647 to 132074 computations (24.8% saved)
| 358× | binary-search |
| 9× | left-value |
Compiled 21094 to 12879 computations (38.9% saved)
6453 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 140.0ms | x.im | @ | inf | (log.f64 (+.f64 1 (expm1.f64 (exp.f64 (atan2.f64 x.im x.re))))) |
| 106.0ms | im | @ | -inf | (log.f64 (/.f64 (log.f64 im) (log.f64 10))) |
| 103.0ms | im | @ | 0 | (log.f64 (pow.f64 im (/.f64 1 (log.f64 base)))) |
| 102.0ms | re | @ | inf | (pow.f64 (*.f64 (cos.f64 re) (-.f64 (*.f64 (pow.f64 im 3) -1/6) im)) 3) |
| 93.0ms | beta | @ | inf | (pow.f64 (*.f64 (sqrt.f64 (*.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 3)) (+.f64 1 alpha))) (/.f64 1 (+.f64 beta (+.f64 alpha 2)))) 2) |
| 51× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 87.4% | 12.6% | 0 |
| 2% | 85.4% | 12.6% | 1 |
| 7.7% | 77.5% | 14.8% | 2 |
| 16.9% | 67.5% | 15.6% | 3 |
| 20% | 62.5% | 17.5% | 4 |
| 30% | 51.8% | 18.2% | 5 |
| 33.7% | 46.6% | 19.7% | 6 |
| 39% | 38.3% | 22.7% | 7 |
| 41.8% | 34.8% | 23.4% | 8 |
| 45.3% | 30.2% | 24.5% | 9 |
| 47.7% | 26.7% | 25.7% | 10 |
| 49.8% | 23.8% | 26.4% | 11 |
| 51.5% | 21.6% | 26.9% | 12 |
Compiled 1515 to 960 computations (36.6% saved)
| 16× | done |
| 35× | fuel |
Compiled 19190 to 10829 computations (43.6% saved)
| 102× | egg-herbie |
| 14102× | fma-def_binary64 |
| 10931× | fma-neg_binary64 |
| 7982× | distribute-rgt-in_binary64 |
| 7223× | associate-*l*_binary64 |
| 6726× | distribute-lft-in_binary64 |
| 57× | saturated |
| 14× | unsound |
| 31× | node limit |
Compiled 1517 to 982 computations (35.3% saved)
Loading profile data...