Herbie run
| Date: | Monday, February 12th, 2024 |
|---|---|
| Commit: | 4465bdb2 on zane-regimes-2 |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024043 |
| 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: 10.5min)
| 1.2min | 372409× | 256 | valid |
| 13.7s | 73192× | 256 | infinite |
| 6.0s | 10622× | 1024 | valid |
| 1.1min | 7730× | 8192 | exit |
| 2.7s | 7072× | 512 | valid |
| 997.0ms | 4752× | 256 | unsamplable |
| 3.4s | 4391× | 512 | infinite |
| 1.1s | 1834× | 2048 | valid |
| 720.0ms | 1032× | 4096 | valid |
| 62.0ms | 519× | 256 | invalid |
| 61.0ms | 61× | 1024 | infinite |
Compiled 49329 to 28930 computations (41.4% saved)
| 173499× | fma-define |
| 133129× | associate-*r* |
| 133099× | fma-neg |
| 111749× | associate-*l* |
| 104674× | log-prod |
| 13× | saturated |
| 317× | node limit |
| 11× | unsound |
Compiled 40276 to 24511 computations (39.1% saved)
Compiled 3487412 to 2327219 computations (33.3% saved)
| 219× | egg-herbie |
| 108244× | fma-define |
| 85747× | fma-neg |
| 76613× | log-prod |
| 72323× | associate-*r* |
| 68240× | *-commutative |
| 57× | saturated |
| 155× | node limit |
| 33× | fuel |
| 7× | unsound |
| 24× | done |
Compiled 10615 to 6663 computations (37.2% saved)
| 57× | egg-herbie |
| 51375× | fma-neg |
| 40847× | fma-define |
| 21621× | distribute-lft-in |
| 21336× | unsub-neg |
| 20835× | distribute-lft-neg-in |
| 21× | saturated |
| 36× | node limit |
Compiled 45539 to 24862 computations (45.4% saved)
| 162× | batch-egg-rewrite |
| 108623× | log1p-expm1-u |
| 78508× | expm1-log1p-u |
| 57452× | prod-diff |
| 46133× | log-prod |
| 44213× | unpow-prod-down |
| 156× | node limit |
| 6× | unsound |
Compiled 142183 to 99659 computations (29.9% saved)
130 calls:
| 3.1s | y.re |
| 2.7s | y.im |
| 2.6s | x.re |
| 2.0s | x.im |
| 1.4s | x |
Compiled 6051 to 4080 computations (32.6% saved)
6609 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 196.0ms | x.re | @ | 0 | (-.f64 (*.f64 (*.f64 x.re (*.f64 x.re x.im)) 3) (pow.f64 x.im 3)) |
| 187.0ms | x.im | @ | -inf | (cos.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.im)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))) |
| 164.0ms | x.re | @ | inf | (sin.f64 (pow.f64 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) y.re))) 3)) |
| 150.0ms | base | @ | inf | (exp.f64 (neg.f64 (log.f64 (log.f64 base)))) |
| 140.0ms | x.im | @ | inf | (pow.f64 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) y.re))) 3) |
| 317× | binary-search |
| 35× | left-value |
| 16× | predicate-same |
| 301× | narrow-enough |
| 5.5s | 28747× | 256 | valid |
| 1.0s | 4532× | 256 | infinite |
| 1.1s | 1396× | 512 | infinite |
| 202.0ms | 658× | 512 | valid |
| 118.0ms | 358× | 1024 | valid |
| 182.0ms | 311× | 2048 | valid |
| 53.0ms | 52× | 1024 | infinite |
| 16.0ms | 26× | 4096 | valid |
Compiled 71411 to 48703 computations (31.8% 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...