Herbie run
| Date: | Friday, February 2nd, 2024 |
|---|---|
| Commit: | e387a80b on zane-regimes-2 |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024033 |
| 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: 6.1s)
| 1.4s | 6817× | body | 1024 | valid |
| 1.4s | 4469× | body | 2048 | valid |
| 599.0ms | 8511× | body | 256 | valid |
| 379.0ms | 2901× | body | 512 | valid |
| 229.0ms | 2061× | body | 256 | infinite |
| 2.0ms | 9× | body | 4096 | valid |
| 7584× | fma-neg |
| 2926× | fma-def |
| 2784× | associate-+r+ |
| 2680× | associate-+l+ |
| 2556× | unsub-neg |
| 1× | saturated |
| 3× | node limit |
Compiled 153 to 91 computations (40.5% saved)
| 3× | egg-herbie |
| 7490× | fma-neg |
| 2784× | associate-+r+ |
| 2680× | associate-+l+ |
| 2674× | fma-def |
| 2556× | unsub-neg |
| 1× | saturated |
| 2× | node limit |
Compiled 321 to 244 computations (24% saved)
| 1× | batch-egg-rewrite |
| 524× | unpow-prod-down |
| 396× | log1p-expm1-u |
| 396× | expm1-log1p-u |
| 373× | add-exp-log |
| 370× | log-prod |
| 1× | node limit |
| 4× | egg-herbie |
| 1102× | associate-*r* |
| 1002× | associate-*l* |
| 940× | fma-def |
| 922× | fma-neg |
| 810× | log-prod |
| 3× | saturated |
| 1× | node limit |
| 2× | fuel |
| 1× | done |
Compiled 23 to 17 computations (26.1% saved)
Compiled 30 to 19 computations (36.7% saved)
8 calls:
| 14.0ms | x |
| 5.0ms | (+.f64 x 1) |
| 5.0ms | (-.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1) |
| 5.0ms | (*.f64 (+.f64 x 1) (+.f64 x 1)) |
| 2.0ms | z |
Compiled 152 to 105 computations (30.9% saved)
Compiled 851 to 613 computations (28% saved)
Compiled 163 to 125 computations (23.3% saved)
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | x | @ | -inf | (*.f64 x (+.f64 x 2)) |
| 0.0ms | x | @ | inf | (*.f64 x (+.f64 x 2)) |
| 0.0ms | x | @ | 0 | (*.f64 x (+.f64 x 2)) |
| 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)
Loading profile data...