Herbie run
| Date: | Thursday, October 26th, 2023 |
|---|---|
| Commit: | 29308b35 on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023299 |
| 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.8min)
Compiled 4663075 to 3197704 computations (31.4% saved)
Compiled 43665 to 23434 computations (46.3% saved)
| 30.6s | 154974× | body | 256 | valid |
| 19.4s | 29471× | body | 1024 | valid |
| 11.4s | 66946× | body | 256 | invalid |
| 7.6s | 7635× | body | 8192 | exit |
| 7.4s | 39292× | body | 256 | infinite |
| 5.9s | 10105× | body | 2048 | valid |
| 5.8s | 13919× | body | 512 | valid |
| 3.0s | 5869× | body | 1024 | invalid |
| 2.6s | 667× | body | 4096 | infinite |
| 2.2s | 2136× | body | 4096 | valid |
| 1.7s | 7834× | body | 256 | unsamplable |
| 1.4s | 680× | body | 2048 | infinite |
| 1.3s | 2397× | body | 1024 | infinite |
| 974.0ms | 2995× | body | 512 | invalid |
| 739.0ms | 822× | body | 8192 | valid |
| 600.0ms | 1473× | body | 512 | infinite |
| 3.0ms | 4× | body | 2048 | invalid |
| 213864× | fma-def |
| 155274× | associate-*r* |
| 149200× | times-frac |
| 122578× | associate-*l* |
| 110344× | log-prod |
| 4× | unsound |
| 5× | saturated |
| 366× | node limit |
Compiled 38027 to 23587 computations (38% saved)
152 calls:
| 5.8s | l |
| 3.8s | t |
| 2.4s | NdChar |
| 2.2s | k |
| 2.1s | Vef |
Compiled 157044 to 91085 computations (42% saved)
| 150× | egg-herbie |
| 100072× | fma-def |
| 75630× | associate-*r* |
| 70350× | times-frac |
| 59956× | associate-*l* |
| 57074× | *-commutative |
| 2× | done |
| 1× | unsound |
| 31× | saturated |
| 29× | fuel |
| 118× | node limit |
Compiled 12457 to 8528 computations (31.5% saved)
Compiled 223768 to 159705 computations (28.6% saved)
| 349× | binary-search |
| 73× | left-value |
| 345× | narrow-enough |
| 4× | predicate-same |
| 5.9s | 26274× | body | 256 | valid |
| 5.4s | 6925× | body | 1024 | valid |
| 1.8s | 3498× | body | 512 | valid |
| 1.6s | 6071× | body | 256 | infinite |
| 1.5s | 6354× | body | 256 | invalid |
| 690.0ms | 165× | body | 4096 | infinite |
| 629.0ms | 696× | body | 2048 | valid |
| 338.0ms | 153× | body | 2048 | infinite |
| 251.0ms | 404× | body | 1024 | infinite |
| 185.0ms | 128× | body | 4096 | valid |
| 146.0ms | 327× | body | 1024 | invalid |
| 128.0ms | 302× | body | 512 | infinite |
| 32.0ms | 149× | body | 512 | invalid |
| 19.0ms | 24× | body | 8192 | valid |
| 1.0ms | 1× | body | 8192 | exit |
Compiled 102417 to 77778 computations (24.1% saved)
| 119× | batch-egg-rewrite |
| 63848× | log1p-expm1-u |
| 43194× | expm1-log1p-u |
| 38548× | expm1-udef |
| 36444× | log1p-udef |
| 33518× | prod-diff |
| 2× | unsound |
| 117× | node limit |
| 31× | egg-herbie |
| 36464× | fma-def |
| 16464× | fma-neg |
| 13968× | div-sub |
| 13714× | distribute-lft-neg-in |
| 12742× | distribute-lft-in |
| 5× | saturated |
| 26× | node limit |
Compiled 33936 to 19705 computations (41.9% saved)
| 31× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 98.2% | 1.8% | 0% | 0% | 0% | 0 |
| 23% | 22.6% | 75.6% | 1.8% | 0% | 0% | 0% | 1 |
| 24.2% | 23.3% | 73.2% | 1.8% | 0% | 1.6% | 0% | 2 |
| 30.2% | 28.2% | 65.2% | 1.8% | 0% | 4.8% | 0% | 3 |
| 34% | 31.2% | 60.6% | 1.8% | 0% | 6.4% | 0% | 4 |
| 36.2% | 33.2% | 58.5% | 1.8% | 0% | 6.4% | 0% | 5 |
| 40.4% | 37% | 54.5% | 1.8% | 0% | 6.6% | 0% | 6 |
| 45.4% | 41.1% | 49.4% | 1.8% | 0% | 7.3% | 0.4% | 7 |
| 47.7% | 42.6% | 46.7% | 1.8% | 0% | 8.6% | 0.4% | 8 |
| 50.6% | 44.9% | 43.9% | 1.8% | 0% | 8.9% | 0.5% | 9 |
| 51.7% | 45.7% | 42.7% | 1.8% | 0% | 9.3% | 0.5% | 10 |
| 53.4% | 46.8% | 40.9% | 1.8% | 0% | 9.9% | 0.6% | 11 |
| 55.1% | 48% | 39.1% | 1.8% | 0% | 10.5% | 0.6% | 12 |
Compiled 845 to 604 computations (28.5% saved)
8667 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 334.0ms | f | @ | -inf | (*.f64 (/.f64 1 (/.f64 (PI.f64) 4)) (log.f64 (/.f64 (/.f64 2 (*.f64 (PI.f64) 1/2)) f))) |
| 277.0ms | h | @ | -inf | (*.f64 (/.f64 (/.f64 c0 2) w) (fma.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 (*.f64 (*.f64 c0 (pow.f64 D -2)) (/.f64 (pow.f64 d 2) (*.f64 h w)))))) |
| 194.0ms | c0 | @ | 0 | (*.f64 (/.f64 (/.f64 c0 2) w) (fma.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 (*.f64 (*.f64 c0 (pow.f64 D -2)) (/.f64 (pow.f64 d 2) (*.f64 h w)))))) |
| 190.0ms | d | @ | 0 | (*.f64 (/.f64 (/.f64 c0 2) w) (fma.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 (*.f64 (*.f64 c0 (pow.f64 D -2)) (/.f64 (pow.f64 d 2) (*.f64 h w)))))) |
| 162.0ms | w | @ | 0 | (*.f64 (/.f64 (/.f64 c0 2) w) (fma.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 (*.f64 (*.f64 c0 (pow.f64 D -2)) (/.f64 (pow.f64 d 2) (*.f64 h w)))))) |
Loading profile data...