Herbie run
| Date: | Thursday, February 1st, 2024 |
|---|---|
| Commit: | 93f5a71d on minor-egg-herbie-cleanup |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024032 |
| 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.3min)
| 1.2min | 372422× | 256 | valid |
| 14.7s | 72862× | 256 | infinite |
| 6.5s | 10724× | 1024 | valid |
| 1.2min | 7915× | 8192 | exit |
| 2.5s | 6980× | 512 | valid |
| 3.8s | 4579× | 512 | infinite |
| 740.0ms | 4418× | 256 | unsamplable |
| 1.1s | 1902× | 2048 | valid |
| 643.0ms | 1048× | 4096 | valid |
| 62.0ms | 522× | 256 | invalid |
| 146.0ms | 88× | 1024 | infinite |
Compiled 47949 to 27508 computations (42.6% saved)
| 215918× | fma-def |
| 132377× | associate-*r* |
| 120700× | log-prod |
| 103570× | associate-*l* |
| 99083× | *-commutative |
| 16× | saturated |
| 348× | node limit |
| 13× | unsound |
Compiled 34957 to 21708 computations (37.9% saved)
Compiled 3266349 to 2040850 computations (37.5% saved)
| 223× | egg-herbie |
| 117838× | fma-def |
| 88682× | log-prod |
| 73038× | associate-*r* |
| 67121× | *-commutative |
| 62781× | fma-neg |
| 57× | saturated |
| 159× | node limit |
| 32× | fuel |
| 7× | unsound |
| 25× | done |
Compiled 11247 to 7173 computations (36.2% saved)
| 166× | batch-egg-rewrite |
| 103847× | log1p-expm1-u |
| 84461× | expm1-log1p-u |
| 56172× | log-prod |
| 54398× | expm1-udef |
| 51886× | log1p-udef |
| 160× | node limit |
| 6× | unsound |
| 57× | egg-herbie |
| 62146× | fma-def |
| 21928× | distribute-lft-in |
| 21764× | fma-neg |
| 21538× | distribute-rgt-in |
| 20904× | sub-neg |
| 21× | saturated |
| 36× | node limit |
Compiled 48599 to 26538 computations (45.4% saved)
132 calls:
| 3.9s | y.re |
| 3.4s | y.im |
| 2.2s | x.im |
| 2.0s | x.re |
| 2.0s | x |
Compiled 6322 to 4320 computations (31.7% saved)
Compiled 130240 to 91595 computations (29.7% saved)
| 362× | binary-search |
| 35× | left-value |
| 18× | predicate-same |
| 344× | narrow-enough |
| 7.9s | 32784× | 256 | valid |
| 1.5s | 6954× | 256 | infinite |
| 1.8s | 1856× | 512 | infinite |
| 119.0ms | 281× | 512 | valid |
| 63.0ms | 231× | 1024 | valid |
| 96.0ms | 201× | 2048 | valid |
| 89.0ms | 176× | 4096 | valid |
| 214.0ms | 61× | 1024 | infinite |
Compiled 81484 to 56373 computations (30.8% saved)
6069 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 257.0ms | u1 | @ | -inf | (pow.f64 (cbrt.f64 (*.f64 (log.f64 u1) -1/18)) 3/2) |
| 235.0ms | i | @ | inf | (/.f64 (/.f64 (pow.f64 (fma.f64 i 2 (+.f64 alpha beta)) 2) i) (*.f64 (+.f64 i (+.f64 alpha beta)) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))) |
| 196.0ms | x.re | @ | inf | (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im) |
| 138.0ms | re | @ | -inf | (/.f64 (sqrt.f64 1/2) (sqrt.f64 re)) |
| 137.0ms | x.im | @ | -inf | (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))) |
| 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...