Herbie run
| Date: | Saturday, December 9th, 2023 |
|---|---|
| Commit: | 665878db on main |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023343 |
| 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: 8.2min)
Compiled 38218 to 20692 computations (45.9% saved)
| 37.3s | 179799× | body | 256 | valid |
| 11.9s | 66564× | body | 256 | invalid |
| 7.9s | 42258× | body | 256 | infinite |
| 6.2s | 12175× | body | 1024 | valid |
| 6.1s | 10157× | body | 2048 | valid |
| 3.6s | 5922× | body | 1024 | invalid |
| 2.4s | 1975× | body | 4096 | valid |
| 2.2s | 6766× | body | 512 | valid |
| 2.1s | 685× | body | 4096 | infinite |
| 1.2s | 3047× | body | 512 | invalid |
| 1.2s | 615× | body | 2048 | infinite |
| 975.0ms | 756× | body | 8192 | valid |
| 235.0ms | 454× | body | 1024 | infinite |
| 131.0ms | 188× | body | 256 | unsamplable |
| 98.0ms | 296× | body | 512 | infinite |
| 5.0ms | 7× | body | 8192 | exit |
| 2.0ms | 3× | body | 2048 | invalid |
| 160100× | fma-def |
| 131268× | associate-*r* |
| 127828× | times-frac |
| 114198× | log-prod |
| 106006× | associate-*l* |
| 1× | unsound |
| 4× | saturated |
| 320× | node limit |
Compiled 34303 to 21193 computations (38.2% saved)
Compiled 3113853 to 2032771 computations (34.7% saved)
152 calls:
| 4.3s | l |
| 3.2s | t |
| 2.8s | k |
| 2.5s | mu |
| 2.3s | F |
Compiled 142431 to 80707 computations (43.3% saved)
| 150× | egg-herbie |
| 94924× | fma-def |
| 66412× | times-frac |
| 64670× | associate-*r* |
| 57876× | log-prod |
| 57436× | *-commutative |
| 1× | unsound |
| 31× | saturated |
| 6× | done |
| 25× | fuel |
| 118× | node limit |
Compiled 12741 to 8529 computations (33.1% saved)
Compiled 212801 to 153960 computations (27.7% saved)
| 119× | batch-egg-rewrite |
| 61008× | log1p-expm1-u |
| 47057× | expm1-log1p-u |
| 41386× | expm1-udef |
| 37918× | log1p-udef |
| 32608× | log-prod |
| 1× | unsound |
| 118× | node limit |
| 31× | egg-herbie |
| 40752× | fma-def |
| 16580× | fma-neg |
| 15360× | div-sub |
| 14408× | distribute-lft-neg-in |
| 13246× | associate-/l* |
| 4× | saturated |
| 27× | node limit |
Compiled 55964 to 34719 computations (38% saved)
| 348× | binary-search |
| 71× | left-value |
| 343× | narrow-enough |
| 5× | predicate-same |
| 7.3s | 32172× | body | 256 | valid |
| 1.8s | 9146× | body | 256 | invalid |
| 1.7s | 6678× | body | 256 | infinite |
| 616.0ms | 1202× | body | 1024 | valid |
| 480.0ms | 712× | body | 2048 | valid |
| 369.0ms | 489× | body | 4096 | valid |
| 329.0ms | 168× | body | 512 | invalid |
| 206.0ms | 133× | body | 4096 | infinite |
| 182.0ms | 556× | body | 512 | valid |
| 167.0ms | 176× | body | 2048 | infinite |
| 104.0ms | 96× | body | 8192 | valid |
| 97.0ms | 234× | body | 1024 | invalid |
| 65.0ms | 150× | body | 1024 | infinite |
| 22.0ms | 84× | body | 512 | infinite |
Compiled 106678 to 81432 computations (23.7% saved)
8187 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 297.0ms | h | @ | 0 | (*.f64 (/.f64 (/.f64 c0 w) 2) (fma.f64 (/.f64 (/.f64 c0 w) h) (*.f64 (/.f64 d D) (/.f64 d D)) (-.f64 (/.f64 (*.f64 1/2 (*.f64 (pow.f64 D 2) (*.f64 h (*.f64 w 0)))) (pow.f64 d 2)) (/.f64 (/.f64 c0 (*.f64 h w)) (/.f64 (pow.f64 D 2) (pow.f64 d 2)))))) |
| 281.0ms | d | @ | 0 | (*.f64 (/.f64 (/.f64 c0 w) 2) (fma.f64 (/.f64 (/.f64 c0 w) h) (*.f64 (/.f64 d D) (/.f64 d D)) (-.f64 (/.f64 (*.f64 1/2 (*.f64 (pow.f64 D 2) (*.f64 h (*.f64 w 0)))) (pow.f64 d 2)) (/.f64 (/.f64 c0 (*.f64 h w)) (/.f64 (pow.f64 D 2) (pow.f64 d 2)))))) |
| 273.0ms | h | @ | inf | (*.f64 (/.f64 (/.f64 c0 w) 2) (fma.f64 (/.f64 (/.f64 c0 w) h) (*.f64 (/.f64 d D) (/.f64 d D)) (-.f64 (/.f64 (*.f64 1/2 (*.f64 (pow.f64 D 2) (*.f64 h (*.f64 w 0)))) (pow.f64 d 2)) (/.f64 (/.f64 c0 (*.f64 h w)) (/.f64 (pow.f64 D 2) (pow.f64 d 2)))))) |
| 264.0ms | c0 | @ | 0 | (*.f64 (/.f64 (/.f64 c0 w) 2) (fma.f64 (/.f64 (/.f64 c0 w) h) (*.f64 (/.f64 d D) (/.f64 d D)) (-.f64 (/.f64 (*.f64 1/2 (*.f64 (pow.f64 D 2) (*.f64 h (*.f64 w 0)))) (pow.f64 d 2)) (/.f64 (/.f64 c0 (*.f64 h w)) (/.f64 (pow.f64 D 2) (pow.f64 d 2)))))) |
| 243.0ms | D | @ | -inf | (sqrt.f64 (-.f64 1 (/.f64 (*.f64 (pow.f64 (*.f64 M (*.f64 (/.f64 1/2 d) D)) 2) h) l))) |
| 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 |
| 29.6% | 27.4% | 65.2% | 1.8% | 0% | 5.6% | 0% | 3 |
| 33.6% | 30.4% | 60.2% | 1.8% | 0% | 7.3% | 0.4% | 4 |
| 35.9% | 32.4% | 57.9% | 1.8% | 0% | 7.3% | 0.6% | 5 |
| 40.2% | 36.2% | 53.8% | 1.8% | 0% | 7.5% | 0.7% | 6 |
| 45.3% | 40.3% | 48.7% | 1.8% | 0% | 8.1% | 1.1% | 7 |
| 47.6% | 41.8% | 45.9% | 1.8% | 0% | 9.4% | 1.2% | 8 |
| 50.6% | 44.1% | 43.1% | 1.8% | 0% | 9.7% | 1.2% | 9 |
| 51.7% | 44.9% | 41.9% | 1.8% | 0% | 10.1% | 1.3% | 10 |
| 53.4% | 46% | 40.1% | 1.8% | 0% | 10.7% | 1.3% | 11 |
| 55.2% | 47.2% | 38.3% | 1.8% | 0% | 11.3% | 1.4% | 12 |
Compiled 845 to 604 computations (28.5% saved)
Loading profile data...