Herbie run
| Date: | Friday, June 28th, 2024 |
|---|---|
| Commit: | db6536e9 on artem-popl-eval |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024180 |
| Parameters: | 256 points for 0 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs -o setup:simplify |
Time bar (total: 16.4s)
| 2.3s | 49 508× | 0 | valid-baseline |
| 2.2s | 49 508× | 0 | valid-rival |
| 2.1s | 49 508× | 0 | valid-sollya |
| 1.1s | 4 181× | 2 | valid-baseline |
| 630.0ms | 4 181× | 2 | valid-rival |
| 174.0ms | 4 095× | 0 | valid-rival+baseline-inf |
| 90.0ms | 4 181× | 2 | valid-sollya |
| 1.0ms | 7× | 1 | valid-baseline |
| 1.0ms | 7× | 1 | valid-rival |
| 0.0ms | 7× | 1 | valid-sollya |
| 0.0ms | 1× | 0 | valid-rival+baseline-real |
| 7× | egg-herbie |
| 2 186× | fmm-def |
| 1 778× | fma-define |
| 949× | exp-sum |
| 711× | times-frac |
| 621× | associate-+l- |
| 5× | saturated |
| 2× | node limit |
Compiled 480 to 332 computations (30.8% saved)
| 7× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 28.6% | 28.6% | 71.4% | 0.1% | 0% | 0% | 0% | 1 |
| 38.5% | 35.7% | 57.1% | 0.1% | 0% | 7.1% | 0% | 2 |
| 66.7% | 57.1% | 28.5% | 0.1% | 0% | 14.3% | 0% | 3 |
| 73.9% | 60.7% | 21.4% | 0.1% | 0% | 17.8% | 0% | 4 |
| 82.2% | 66% | 14.3% | 0.1% | 0% | 19.6% | 0% | 5 |
| 88.8% | 70.5% | 8.9% | 0.1% | 0% | 20.5% | 0% | 6 |
| 92.1% | 72.7% | 6.2% | 0.1% | 0% | 21% | 0% | 7 |
| 92.6% | 72.9% | 5.8% | 0.1% | 0% | 21.2% | 0% | 8 |
| 96.3% | 75.7% | 2.9% | 0.1% | 0% | 21.3% | 0% | 9 |
| 96.5% | 75.8% | 2.8% | 0.1% | 0% | 21.4% | 0% | 10 |
| 97.1% | 76.2% | 2.3% | 0.1% | 0% | 21.4% | 0% | 11 |
| 98.3% | 77.2% | 1.4% | 0.1% | 0% | 21.4% | 0% | 12 |
Compiled 314 to 203 computations (35.4% saved)
| 7× | egg-herbie |
| 113× | unsub-neg |
| 86× | neg-mul-1 |
| 44× | sub-neg |
| 43× | distribute-lft-neg-in |
| 42× | neg-sub0 |
| 7× | saturated |
Compiled 140 to 96 computations (31.4% saved)
| 7× | fuel |
Compiled 68 to 47 computations (30.9% saved)
Compiled 11 to 11 computations (0% saved)
Loading profile data...