Herbie run
| Date: | Tuesday, July 4th, 2023 |
|---|---|
| Commit: | 1e3c827b on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023185 |
| 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: 31.8min)
| 4.0min | 1798817× | body | 256 | valid |
| 51.7s | 334800× | body | 256 | infinite |
| 26.6s | 144301× | body | 256 | invalid |
| 23.5s | 45289× | body | 1024 | valid |
| 11.0s | 31973× | body | 512 | valid |
| 7.7s | 9885× | body | 2048 | valid |
| 2.3s | 1496× | body | 8192 | exit |
| 1.8s | 4780× | body | 1024 | infinite |
| 727.0ms | 3245× | body | 512 | infinite |
| 709.0ms | 331× | body | 4096 | valid |
| 347.0ms | 1244× | body | 1024 | invalid |
| 152.0ms | 978× | body | 512 | invalid |
| 1.0ms | 3× | body | 2048 | invalid |
| 1232398× | fma-def |
| 712788× | associate-*r* |
| 670692× | log-prod |
| 590156× | fma-neg |
| 577618× | associate-*l* |
| 136× | saturated |
| 3× | unsound |
| 1501× | node limit |
Compiled 111342 to 61874 computations (44.4% saved)
492 calls:
| 48.3s | y |
| 45.4s | z |
| 41.4s | x |
| 34.4s | t |
| 22.5s | a |
Compiled 401636 to 218584 computations (45.6% saved)
| 1382× | egg-herbie |
| 915944× | fma-def |
| 512668× | log-prod |
| 504322× | associate-*r* |
| 466274× | fma-neg |
| 444214× | associate-*l* |
| 73× | done |
| 6× | unsound |
| 436× | saturated |
| 197× | fuel |
| 940× | node limit |
Compiled 68144 to 41137 computations (39.6% saved)
Compiled 114804 to 47587 computations (58.5% saved)
Compiled 8020357 to 3854611 computations (51.9% saved)
Compiled 685506 to 469531 computations (31.5% saved)
| 842× | batch-egg-rewrite |
| 536770× | pow1 |
| 505336× | add-exp-log |
| 505012× | log1p-expm1-u |
| 504980× | expm1-log1p-u |
| 479268× | add-log-exp |
| 1× | unsound |
| 841× | node limit |
| 3705× | binary-search |
| 285× | left-value |
| 3654× | narrow-enough |
| 4× | predicate-failed |
| 47× | predicate-same |
| 55.5s | 344813× | body | 256 | valid |
| 20.9s | 92793× | body | 256 | infinite |
| 3.8s | 6631× | body | 1024 | valid |
| 2.0s | 6696× | body | 512 | valid |
| 1.2s | 9656× | body | 256 | invalid |
| 570.0ms | 1527× | body | 1024 | infinite |
| 239.0ms | 1016× | body | 512 | infinite |
| 140.0ms | 310× | body | 2048 | valid |
| 1.0ms | 3× | body | 512 | invalid |
Compiled 813582 to 608831 computations (25.2% saved)
Compiled 142650 to 67524 computations (52.7% saved)
41112 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 385.0ms | x | @ | inf | (/.f64 (*.f64 (*.f64 z y) (-.f64 (*.f64 t t) (*.f64 x x))) (+.f64 t x)) |
| 357.0ms | x | @ | -inf | (/.f64 x (/.f64 1 z)) |
| 245.0ms | y | @ | -inf | (pow.f64 (sqrt.f64 (*.f64 x (*.f64 27 y))) 2) |
| 245.0ms | j | @ | inf | (fma.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y1 y4) (*.f64 y0 y5)) (-.f64 (fma.f64 (-.f64 (*.f64 t j) (*.f64 y k)) (-.f64 (*.f64 b y4) (*.f64 i y5)) (fma.f64 (-.f64 (*.f64 x y2) (*.f64 z y3)) (-.f64 (*.f64 c y0) (*.f64 a y1)) (-.f64 (*.f64 (-.f64 (*.f64 x y) (*.f64 z t)) (-.f64 (*.f64 a b) (*.f64 c i))) (*.f64 (fma.f64 x j (*.f64 z (neg.f64 k))) (-.f64 (*.f64 b y0) (*.f64 i y1)))))) (*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 c y4) (*.f64 a y5))))) |
| 219.0ms | y | @ | -inf | (/.f64 (/.f64 (-.f64 (*.f64 1/2 x) (*.f64 1/2 y)) y) x) |
| 540× | egg-herbie |
| 268784× | fma-def |
| 112036× | fma-neg |
| 103534× | sub-neg |
| 90584× | div-sub |
| 79236× | distribute-lft-in |
| 59× | unsound |
| 353× | saturated |
| 128× | node limit |
Compiled 4571 to 3320 computations (27.4% saved)
| 270× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 46.7% | 46.6% | 53.2% | 0.1% | 0% | 0% | 0% | 1 |
| 50.1% | 49.9% | 49.7% | 0.1% | 0% | 0.2% | 0% | 2 |
| 58% | 57.5% | 41.6% | 0.1% | 0% | 0.7% | 0% | 3 |
| 64.2% | 63.3% | 35.4% | 0.1% | 0% | 1.2% | 0% | 4 |
| 69.9% | 68.8% | 29.6% | 0.1% | 0% | 1.4% | 0% | 5 |
| 74.5% | 72.8% | 25% | 0.1% | 0% | 2% | 0% | 6 |
| 78.6% | 76.1% | 20.7% | 0.1% | 0% | 3% | 0% | 7 |
| 80.4% | 77.4% | 18.9% | 0.1% | 0% | 3.5% | 0% | 8 |
| 83.2% | 79.7% | 16.1% | 0.1% | 0% | 4% | 0% | 9 |
| 84.9% | 80.8% | 14.4% | 0.1% | 0% | 4.6% | 0% | 10 |
| 87.7% | 83.1% | 11.6% | 0.1% | 0% | 5.1% | 0% | 11 |
| 88.9% | 83.9% | 10.5% | 0.1% | 0% | 5.5% | 0% | 12 |
Compiled 4021 to 2770 computations (31.1% saved)
Loading profile data...