Herbie run
| Date: | Tuesday, October 24th, 2023 |
|---|---|
| Commit: | 21d611eb on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023297 |
| 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.3min)
| 29.9s | 33032× | body | 2048 | valid |
| 25.5s | 62595× | body | 1024 | valid |
| 11.0s | 86995× | body | 256 | valid |
| 7.7s | 33023× | body | 512 | valid |
| 1.5s | 13091× | body | 256 | infinite |
| 1.3s | 2070× | body | 4096 | valid |
| 1.1s | 1126× | body | 1024 | invalid |
| 711.0ms | 7430× | body | 256 | unsamplable |
| 572.0ms | 5263× | body | 256 | invalid |
| 201.0ms | 536× | body | 512 | invalid |
| 200.0ms | 457× | body | 1024 | unsamplable |
| 158.0ms | 172× | body | 1024 | infinite |
| 150.0ms | 286× | body | 2048 | unsamplable |
| 84.0ms | 186× | body | 512 | infinite |
| 66.0ms | 250× | body | 512 | unsamplable |
| 50.0ms | 4× | body | 2048 | invalid |
| 2.0ms | 1× | body | 8192 | valid |
| 2.0ms | 3× | body | 2048 | infinite |
Compiled 13121 to 6795 computations (48.2% saved)
| 148470× | fma-def |
| 102270× | fma-neg |
| 93242× | log-prod |
| 80138× | associate-*r* |
| 62340× | associate-*l* |
| 2× | saturated |
| 213× | node limit |
Compiled 22533 to 14015 computations (37.8% saved)
Compiled 1246177 to 730620 computations (41.4% saved)
| 120× | egg-herbie |
| 70682× | fma-def |
| 52088× | fma-neg |
| 49382× | associate-*r* |
| 45310× | associate-*l* |
| 45032× | times-frac |
| 7× | done |
| 28× | saturated |
| 21× | fuel |
| 92× | node limit |
Compiled 4864 to 3246 computations (33.3% saved)
43 calls:
| 3.4s | eps |
| 3.2s | x |
| 1.5s | (/.f64 1 n) |
| 1.1s | c |
| 805.0ms | a |
Compiled 54662 to 31763 computations (41.9% saved)
Compiled 112832 to 78776 computations (30.2% saved)
| 92× | batch-egg-rewrite |
| 56898× | pow1 |
| 54080× | add-exp-log |
| 54074× | log1p-expm1-u |
| 54042× | expm1-log1p-u |
| 48998× | add-log-exp |
| 92× | node limit |
| 28× | egg-herbie |
| 42740× | fma-def |
| 13078× | fma-neg |
| 9294× | associate-/r* |
| 9220× | div-sub |
| 9054× | distribute-rgt-in |
| 13× | saturated |
| 15× | node limit |
Compiled 12560 to 7210 computations (42.6% saved)
3345 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.8s | x | @ | -inf | (pow.f64 (cbrt.f64 (/.f64 1 (fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) 3) |
| 411.0ms | x | @ | inf | (pow.f64 (cbrt.f64 (/.f64 1 (fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) 3) |
| 357.0ms | x | @ | inf | (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) |
| 351.0ms | x | @ | -inf | (cbrt.f64 (/.f64 1 (fma.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2)))) |
| 85.0ms | eps | @ | 0 | (pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3) |
| 156× | binary-search |
| 54× | left-value |
| 153× | narrow-enough |
| 3× | predicate-same |
| 2.2s | 12827× | body | 256 | valid |
| 1.4s | 2955× | body | 1024 | valid |
| 419.0ms | 564× | body | 2048 | valid |
| 412.0ms | 1378× | body | 512 | valid |
| 278.0ms | 1246× | body | 256 | infinite |
| 162.0ms | 1574× | body | 256 | invalid |
| 30.0ms | 61× | body | 512 | infinite |
| 9.0ms | 61× | body | 256 | unsamplable |
| 4.0ms | 4× | body | 1024 | infinite |
| 2.0ms | 5× | body | 4096 | valid |
| 1.0ms | 2× | body | 1024 | unsamplable |
| 0.0ms | 1× | body | 2048 | unsamplable |
Compiled 31500 to 22910 computations (27.3% saved)
| 28× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 90.9% | 9.1% | 0% | 0% | 0% | 0 |
| 27.4% | 24.9% | 66% | 9.1% | 0% | 0% | 0% | 1 |
| 39% | 34.7% | 54.4% | 9.1% | 0% | 1.8% | 0% | 2 |
| 51% | 44.1% | 42.4% | 9.1% | 0% | 4.5% | 0% | 3 |
| 58.9% | 50.1% | 35% | 9.1% | 0% | 5.8% | 0% | 4 |
| 65.5% | 55% | 29% | 9.1% | 0% | 6.9% | 0% | 5 |
| 67.8% | 56.6% | 26.9% | 9.1% | 0% | 7.5% | 0% | 6 |
| 70.2% | 57.8% | 24.6% | 9.1% | 0% | 8.4% | 0.1% | 7 |
| 72.2% | 59.3% | 22.8% | 9.1% | 0% | 8.7% | 0.1% | 8 |
| 73.5% | 60% | 21.6% | 9.1% | 0% | 9.1% | 0.3% | 9 |
| 74.7% | 60.5% | 20.4% | 9.1% | 0% | 9.7% | 0.3% | 10 |
| 76.2% | 61.5% | 19.2% | 9.1% | 0% | 9.9% | 0.4% | 11 |
| 76.9% | 61.8% | 18.5% | 9.1% | 0% | 10.2% | 0.4% | 12 |
Compiled 375 to 278 computations (25.9% saved)
Loading profile data...