Herbie run
| Date: | Friday, June 9th, 2023 |
|---|---|
| Commit: | 6109c023 on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023160 |
| 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: 13.6min)
152 calls:
| 18.4s | l |
| 8.8s | D |
| 8.0s | t |
| 7.5s | M |
| 7.4s | d |
Compiled 213697 to 110312 computations (48.4% saved)
| 41.5s | 155727× | body | 256 | valid |
| 25.0s | 29496× | body | 1024 | valid |
| 14.1s | 67115× | body | 256 | invalid |
| 10.6s | 7829× | body | 8192 | exit |
| 9.5s | 39078× | body | 256 | infinite |
| 8.4s | 10060× | body | 2048 | valid |
| 7.2s | 13662× | body | 512 | valid |
| 4.2s | 5884× | body | 1024 | invalid |
| 2.9s | 660× | body | 4096 | infinite |
| 2.4s | 2010× | body | 4096 | valid |
| 2.0s | 7996× | body | 256 | unsamplable |
| 1.6s | 618× | body | 2048 | infinite |
| 1.6s | 3019× | body | 512 | invalid |
| 1.4s | 2454× | body | 1024 | infinite |
| 630.0ms | 772× | body | 8192 | valid |
| 576.0ms | 1399× | body | 512 | infinite |
| 3.0ms | 3× | body | 2048 | invalid |
Compiled 36633 to 17633 computations (51.9% saved)
Compiled 3512584 to 1990816 computations (43.3% saved)
| 522× | egg-herbie |
| 379554× | fma-def |
| 256786× | log-prod |
| 248296× | times-frac |
| 231762× | associate-*r* |
| 207748× | unswap-sqr |
| 2× | done |
| 2× | unsound |
| 39× | saturated |
| 29× | fuel |
| 481× | node limit |
Compiled 21211 to 13014 computations (38.6% saved)
| 290492× | log-prod |
| 282526× | fma-def |
| 212570× | associate-*r* |
| 204456× | times-frac |
| 178358× | associate-*l* |
| 22× | unsound |
| 6× | saturated |
| 503× | node limit |
Compiled 60416 to 34552 computations (42.8% saved)
| 460× | batch-egg-rewrite |
| 386230× | log-prod |
| 225258× | pow1 |
| 218784× | expm1-udef |
| 211732× | add-exp-log |
| 211622× | log1p-expm1-u |
| 6× | unsound |
| 454× | node limit |
| 864× | binary-search |
| 90× | left-value |
| 837× | narrow-enough |
| 2× | predicate-failed |
| 25× | predicate-same |
| 17.5s | 69071× | body | 256 | valid |
| 8.9s | 9874× | body | 1024 | valid |
| 4.2s | 14818× | body | 256 | infinite |
| 3.4s | 13064× | body | 256 | invalid |
| 2.9s | 4700× | body | 512 | valid |
| 1.7s | 1444× | body | 2048 | valid |
| 962.0ms | 805× | body | 4096 | valid |
| 874.0ms | 559× | body | 8192 | valid |
| 873.0ms | 1179× | body | 1024 | infinite |
| 330.0ms | 873× | body | 512 | infinite |
| 245.0ms | 555× | body | 1024 | invalid |
| 164.0ms | 208× | body | 8192 | exit |
| 95.0ms | 233× | body | 512 | invalid |
| 77.0ms | 22× | body | 4096 | infinite |
| 51.0ms | 31× | body | 2048 | infinite |
Compiled 253616 to 190656 computations (24.8% saved)
Compiled 114792 to 81882 computations (28.7% 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)
9273 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 210.0ms | v | @ | -inf | (log1p.f64 (acos.f64 (pow.f64 (/.f64 (fma.f64 v v -1) (fma.f64 v (*.f64 v -5) 1)) -1))) |
| 123.0ms | B | @ | inf | (fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x 2 (fma.f64 F F 2)) -1/2) (/.f64 (neg.f64 x) (tan.f64 B))) |
| 119.0ms | t | @ | -inf | (log.f64 (*.f64 2 (*.f64 t (*.f64 U n)))) |
| 108.0ms | f | @ | inf | (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f)))) (*.f64 (*.f64 (PI.f64) 1/2) f))) |
| 100.0ms | v | @ | inf | (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (log1p.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))) 3) 3) |
Compiled 41720 to 20978 computations (49.7% saved)
| 62× | egg-herbie |
| 28786× | fma-def |
| 14268× | fma-neg |
| 13542× | associate-*r/ |
| 12824× | associate-*r* |
| 12316× | distribute-lft-in |
| 7× | unsound |
| 30× | saturated |
| 25× | node limit |
Compiled 904 to 666 computations (26.3% saved)
Loading profile data...