Herbie run
| Date: | Thursday, February 15th, 2024 |
|---|---|
| Commit: | aa763581 on add-id-expand-rule |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024046 |
| 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:simplifygenerate:proofs default |
Time bar (total: 11.3min)
| 1.2min | 373288× | 256 | valid |
| 12.7s | 72111× | 256 | infinite |
| 6.4s | 10567× | 1024 | valid |
| 1.1min | 7793× | 8192 | exit |
| 2.5s | 7143× | 512 | valid |
| 701.0ms | 4684× | 256 | unsamplable |
| 3.4s | 4420× | 512 | infinite |
| 1.2s | 1875× | 2048 | valid |
| 727.0ms | 1111× | 4096 | valid |
| 105.0ms | 528× | 256 | invalid |
| 93.0ms | 90× | 1024 | infinite |
Compiled 49444 to 28217 computations (42.9% saved)
| 222205× | fma-define |
| 212241× | add0 |
| 165868× | fma-neg |
| 113427× | distribute-rgt-in |
| 108772× | associate-*r* |
| 13× | saturated |
| 355× | node limit |
| 14× | unsound |
Compiled 37191 to 22221 computations (40.3% saved)
Compiled 3260059 to 2070164 computations (36.5% saved)
| 226× | egg-herbie |
| 151491× | add0 |
| 105405× | fma-define |
| 79995× | +-commutative |
| 74508× | fma-neg |
| 73727× | distribute-rgt-in |
| 57× | saturated |
| 161× | node limit |
| 35× | fuel |
| 8× | unsound |
| 22× | done |
Compiled 10170 to 6668 computations (34.4% saved)
| 169× | batch-egg-rewrite |
| 105022× | log1p-expm1-u |
| 78325× | expm1-log1p-u |
| 60566× | prod-diff |
| 59091× | fma-define |
| 52109× | log-prod |
| 163× | node limit |
| 6× | unsound |
| 57× | egg-herbie |
| 63307× | fma-neg |
| 47550× | fma-define |
| 21899× | add0 |
| 20029× | distribute-rgt-in |
| 19676× | distribute-lft-neg-in |
| 21× | saturated |
| 36× | node limit |
Compiled 47967 to 26454 computations (44.8% saved)
Compiled 122965 to 84220 computations (31.5% saved)
132 calls:
| 3.3s | y.re |
| 2.7s | y.im |
| 2.4s | x.im |
| 2.0s | x.re |
| 1.8s | im |
Compiled 6477 to 4350 computations (32.8% saved)
6360 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 418.0ms | i | @ | 0 | (*.f64 1/2 (/.f64 (-.f64 beta alpha) i)) |
| 276.0ms | x.im | @ | -inf | (log.f64 (*.f64 (*.f64 (atan2.f64 x.im x.re) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) |
| 213.0ms | base | @ | -inf | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 207.0ms | alpha | @ | -inf | (/.f64 (+.f64 (*.f64 (+.f64 2 (+.f64 beta (*.f64 2 i))) (+.f64 beta (*.f64 2 i))) (pow.f64 (+.f64 2 (+.f64 beta (*.f64 2 i))) 2)) (pow.f64 alpha 2)) |
| 174.0ms | y.im | @ | 0 | (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.re (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.im))) |
| 289× | binary-search |
| 55× | left-value |
| 10× | predicate-same |
| 279× | narrow-enough |
| 5.0s | 25413× | 256 | valid |
| 1.2s | 6027× | 256 | infinite |
| 707.0ms | 719× | 512 | infinite |
| 148.0ms | 514× | 1024 | valid |
| 119.0ms | 287× | 2048 | valid |
| 90.0ms | 286× | 512 | valid |
| 69.0ms | 140× | 4096 | valid |
| 40.0ms | 38× | 1024 | infinite |
Compiled 61790 to 42916 computations (30.5% saved)
| 58× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 86.3% | 13.7% | 0% | 0% | 0% | 0 |
| 55.6% | 48% | 38.3% | 13.7% | 0% | 0% | 0% | 1 |
| 64.1% | 54.2% | 30.4% | 13.7% | 0% | 1.7% | 0% | 2 |
| 72% | 59% | 23% | 13.7% | 0% | 4.3% | 0% | 3 |
| 77.8% | 62.3% | 17.8% | 13.7% | 0% | 6.2% | 0% | 4 |
| 83.7% | 67% | 13% | 13.7% | 0% | 6.3% | 0% | 5 |
| 85.9% | 68.4% | 11.2% | 13.7% | 0% | 6.6% | 0% | 6 |
| 88.3% | 70.3% | 9.3% | 13.7% | 0% | 6.6% | 0% | 7 |
| 90% | 71.6% | 8% | 13.7% | 0% | 6.8% | 0% | 8 |
| 91.2% | 72.5% | 7% | 13.7% | 0% | 6.8% | 0% | 9 |
| 92.6% | 73.6% | 5.9% | 13.7% | 0% | 6.8% | 0% | 10 |
| 94% | 74.7% | 4.8% | 13.7% | 0% | 6.8% | 0% | 11 |
| 94.5% | 75.1% | 4.4% | 13.7% | 0% | 6.9% | 0% | 12 |
Compiled 1558 to 1007 computations (35.4% saved)
Loading profile data...