Herbie run
| Date: | Wednesday, November 29th, 2023 |
|---|---|
| Commit: | 1dabe179 on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023333 |
| 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: 4.7min)
| 33.5s | 37239× | body | 2048 | valid |
| 23.5s | 59599× | body | 1024 | valid |
| 13.6s | 72905× | body | 256 | precondition |
| 13.2s | 94208× | body | 256 | valid |
| 7.7s | 33448× | body | 512 | valid |
| 1.3s | 2149× | body | 4096 | valid |
| 913.0ms | 1185× | body | 1024 | invalid |
| 844.0ms | 4194× | body | 256 | infinite |
| 653.0ms | 5062× | body | 256 | invalid |
| 439.0ms | 4005× | body | 256 | unsamplable |
| 221.0ms | 587× | body | 512 | invalid |
| 119.0ms | 135× | body | 1024 | infinite |
| 89.0ms | 190× | body | 512 | infinite |
| 3.0ms | 5× | body | 2048 | infinite |
| 3.0ms | 3× | body | 2048 | invalid |
| 1.0ms | 1× | body | 8192 | valid |
| 116342× | fma-def |
| 61616× | fma-neg |
| 60038× | associate-*r* |
| 56140× | times-frac |
| 49342× | log-prod |
| 2× | saturated |
| 183× | node limit |
Compiled 16482 to 9771 computations (40.7% saved)
Compiled 12196 to 6723 computations (44.9% saved)
Compiled 1300342 to 800918 computations (38.4% saved)
| 125× | egg-herbie |
| 73514× | fma-def |
| 43364× | fma-neg |
| 43162× | associate-*r* |
| 41214× | times-frac |
| 39694× | log-prod |
| 4× | done |
| 28× | saturated |
| 24× | fuel |
| 97× | node limit |
Compiled 4305 to 2921 computations (32.1% saved)
43 calls:
| 3.3s | x |
| 3.0s | eps |
| 1.6s | (/.f64 1 n) |
| 1.0s | a |
| 956.0ms | c |
Compiled 49955 to 28836 computations (42.3% saved)
| 97× | batch-egg-rewrite |
| 58472× | log1p-expm1-u |
| 44057× | expm1-log1p-u |
| 42308× | prod-diff |
| 35106× | expm1-udef |
| 31986× | log1p-udef |
| 97× | node limit |
Compiled 108853 to 77103 computations (29.2% saved)
| 28× | egg-herbie |
| 34252× | fma-def |
| 11926× | fma-neg |
| 11896× | div-sub |
| 9418× | sub-neg |
| 8164× | distribute-lft-neg-in |
| 13× | saturated |
| 15× | node limit |
Compiled 11468 to 6718 computations (41.4% saved)
3318 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 311.0ms | x | @ | inf | (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) |
| 97.0ms | eps | @ | -inf | (*.f64 (/.f64 (sin.f64 eps) -1) (tan.f64 (/.f64 eps 2))) |
| 78.0ms | x | @ | 0 | (fma.f64 (log1p.f64 x) (/.f64 1 n) (neg.f64 (/.f64 (log.f64 x) n))) |
| 74.0ms | N | @ | -inf | (*.f64 (sqrt.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1))) (cbrt.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1)))) |
| 69.0ms | eps | @ | inf | (-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (-.f64 (exp.f64 (log1p.f64 (tan.f64 x))) 1)) |
| 102× | binary-search |
| 77× | left-value |
| 99× | narrow-enough |
| 3× | predicate-same |
| 1.1s | 2404× | body | 1024 | valid |
| 1.1s | 8292× | body | 256 | valid |
| 614.0ms | 694× | body | 2048 | valid |
| 412.0ms | 1054× | body | 512 | valid |
| 119.0ms | 1165× | body | 256 | invalid |
| 75.0ms | 361× | body | 256 | infinite |
| 28.0ms | 60× | body | 512 | infinite |
| 26.0ms | 156× | body | 256 | unsamplable |
| 21.0ms | 26× | body | 1024 | infinite |
| 7.0ms | 5× | body | 4096 | valid |
Compiled 23951 to 17127 computations (28.5% saved)
| 28× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 82.9% | 17.1% | 0% | 0% | 0% | 0 |
| 24.4% | 20.2% | 62.6% | 17.1% | 0% | 0% | 0% | 1 |
| 36.2% | 28.7% | 50.6% | 17.1% | 0% | 3.6% | 0% | 2 |
| 48.8% | 38% | 39.9% | 17.6% | 0% | 4.5% | 0% | 3 |
| 56% | 43.3% | 33.9% | 17.9% | 0% | 4.9% | 0% | 4 |
| 63% | 47.8% | 28.1% | 18.5% | 0% | 5.6% | 0% | 5 |
| 65.2% | 49% | 26.2% | 18.9% | 0% | 5.9% | 0% | 6 |
| 68% | 50.3% | 23.7% | 19.1% | 0% | 6.7% | 0.1% | 7 |
| 70.3% | 51.8% | 21.8% | 19.4% | 0% | 6.9% | 0.1% | 8 |
| 72% | 52.5% | 20.4% | 19.5% | 0% | 7.3% | 0.3% | 9 |
| 73.4% | 52.9% | 19.2% | 19.7% | 0% | 7.9% | 0.3% | 10 |
| 75.2% | 53.9% | 17.8% | 19.8% | 0% | 8.1% | 0.4% | 11 |
| 76% | 54.2% | 17.1% | 19.8% | 0% | 8.5% | 0.4% | 12 |
Compiled 409 to 297 computations (27.4% saved)
Loading profile data...