Herbie run
| Date: | Wednesday, January 24th, 2024 |
|---|---|
| Commit: | 34547557 on faster-timeline-start |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2024024 |
| 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: 5.7s)
| 653.0ms | 8547× | 256 | valid |
| 1.3s | 6819× | 1024 | valid |
| 1.1s | 4443× | 2048 | valid |
| 592.0ms | 2937× | 512 | valid |
| 158.0ms | 2014× | 256 | infinite |
| 2.0ms | 8× | 4096 | valid |
| 3× | egg-herbie |
| 7490× | fma-neg |
| 2784× | associate-+r+ |
| 2680× | associate-+l+ |
| 2674× | fma-def |
| 2556× | unsub-neg |
| 1× | saturated |
| 2× | node limit |
Compiled 372 to 268 computations (28% saved)
| 7490× | fma-neg |
| 2784× | associate-+r+ |
| 2680× | associate-+l+ |
| 2674× | fma-def |
| 2556× | unsub-neg |
| 1× | saturated |
| 2× | node limit |
Compiled 134 to 80 computations (40.3% saved)
8 calls:
| 8.0ms | x |
| 2.0ms | y |
| 2.0ms | z |
| 2.0ms | (+.f64 x 1) |
| 2.0ms | (-.f64 (+.f64 1 x) x) |
Compiled 95 to 65 computations (31.6% saved)
Compiled 12 to 8 computations (33.3% saved)
Compiled 109 to 91 computations (16.5% saved)
| 3× | egg-herbie |
| 3× | 1-exp |
| 2× | *-commutative |
| 2× | +-commutative |
| 1× | done |
| 3× | saturated |
| 2× | fuel |
Compiled 12 to 10 computations (16.7% saved)
| 3× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 33 to 23 computations (30.3% saved)
Compiled 60 to 46 computations (23.3% saved)
Loading profile data...