Herbie run
| Date: | Tuesday, July 11th, 2023 |
|---|---|
| Commit: | 26f8dd61 on result-filters |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2023192 |
| 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: 5.2min)
| 38.5s | 269549× | body | 256 | valid |
| 16.2s | 14233× | body | 2048 | valid |
| 8.5s | 19612× | body | 1024 | valid |
| 4.8s | 31151× | body | 256 | infinite |
| 2.6s | 11040× | body | 512 | valid |
| 1.6s | 202× | body | 8192 | exit |
| 423.0ms | 778× | body | 4096 | valid |
| 259.0ms | 2593× | body | 256 | invalid |
| 204.0ms | 989× | body | 256 | unsamplable |
| 109.0ms | 162× | body | 1024 | infinite |
| 76.0ms | 211× | body | 512 | infinite |
| 15.0ms | 16× | body | 2048 | infinite |
Compiled 32163 to 17469 computations (45.7% saved)
| 208304× | fma-def |
| 120012× | associate-*r* |
| 106076× | log-prod |
| 100588× | associate-*l* |
| 97966× | fma-neg |
| 7× | saturated |
| 288× | node limit |
Compiled 25465 to 15178 computations (40.4% saved)
Compiled 2059651 to 1220795 computations (40.7% saved)
| 206× | egg-herbie |
| 147930× | fma-def |
| 77746× | associate-*r* |
| 68838× | associate-*l* |
| 68536× | times-frac |
| 68452× | fma-neg |
| 14× | done |
| 58× | saturated |
| 28× | fuel |
| 148× | node limit |
Compiled 8371 to 5344 computations (36.2% saved)
94 calls:
| 2.5s | b |
| 1.8s | c |
| 1.6s | d |
| 1.5s | a |
| 1.4s | x1 |
Compiled 66971 to 38375 computations (42.7% saved)
Compiled 138323 to 92439 computations (33.2% saved)
| 122× | batch-egg-rewrite |
| 78536× | pow1 |
| 74722× | add-exp-log |
| 74660× | log1p-expm1-u |
| 74646× | expm1-log1p-u |
| 72892× | add-log-exp |
| 122× | node limit |
| 297× | binary-search |
| 26× | left-value |
| 282× | narrow-enough |
| 15× | predicate-same |
| 4.1s | 26149× | body | 256 | valid |
| 2.1s | 6553× | body | 256 | infinite |
| 403.0ms | 1520× | body | 512 | valid |
| 395.0ms | 841× | body | 1024 | valid |
| 131.0ms | 180× | body | 2048 | valid |
| 105.0ms | 870× | body | 256 | invalid |
| 39.0ms | 53× | body | 1024 | infinite |
| 36.0ms | 273× | body | 256 | unsamplable |
| 10.0ms | 26× | body | 512 | infinite |
| 4.0ms | 3× | body | 4096 | valid |
| 3.0ms | 3× | body | 2048 | infinite |
Compiled 78279 to 53713 computations (31.4% saved)
| 43× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 54.5% | 45.5% | 0% | 0% | 0% | 0 |
| 23.5% | 12.8% | 41.7% | 45.5% | 0% | 0% | 0% | 1 |
| 39.5% | 21.5% | 33% | 45.5% | 0% | 0% | 0% | 2 |
| 50.3% | 26.8% | 26.5% | 45.5% | 0% | 1.2% | 0% | 3 |
| 58.5% | 31% | 22% | 45.5% | 0% | 1.5% | 0% | 4 |
| 71.6% | 37.8% | 15% | 45.6% | 0% | 1.7% | 0% | 5 |
| 73.1% | 38.5% | 14.1% | 45.6% | 0% | 1.7% | 0% | 6 |
| 78.3% | 40.9% | 11.3% | 45.6% | 0% | 2.2% | 0% | 7 |
| 81.8% | 42.6% | 9.5% | 45.7% | 0% | 2.2% | 0% | 8 |
| 84.7% | 43.9% | 8% | 45.7% | 0% | 2.5% | 0% | 9 |
| 86.7% | 44.7% | 6.9% | 45.7% | 0% | 2.7% | 0% | 10 |
| 88.8% | 45.6% | 5.7% | 45.7% | 0% | 2.8% | 0.1% | 11 |
| 89.7% | 46% | 5.3% | 45.7% | 0% | 2.9% | 0.1% | 12 |
Compiled 1441 to 1017 computations (29.4% saved)
Compiled 18506 to 10482 computations (43.4% saved)
| 84× | egg-herbie |
| 36052× | fma-def |
| 15902× | distribute-lft-in |
| 14450× | distribute-rgt-in |
| 13270× | distribute-lft-neg-in |
| 12830× | sub-neg |
| 6× | unsound |
| 53× | saturated |
| 25× | node limit |
Compiled 913 to 679 computations (25.6% saved)
5139 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 44.0ms | x1 | @ | inf | (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) |
| 35.0ms | b | @ | 0 | (/.f64 (/.f64 (PI.f64) b) (*.f64 a a)) |
| 32.0ms | x | @ | inf | (fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (+.f64 eps -1)) x) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))) |
| 29.0ms | x | @ | -inf | (fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 x) (+.f64 eps -1)) (/.f64 (+.f64 1 (/.f64 -1 eps)) (exp.f64 (fma.f64 eps x x)))) |
| 26.0ms | x2 | @ | 0 | (cbrt.f64 (fma.f64 x1 (*.f64 x1 -6) (*.f64 (/.f64 (fma.f64 3 (*.f64 x1 x1) (fma.f64 2 x2 (neg.f64 x1))) (fma.f64 x1 x1 1)) (fma.f64 x1 (+.f64 -6 (/.f64 (fma.f64 3 (*.f64 x1 x1) (fma.f64 2 x2 (neg.f64 x1))) (*.f64 (fma.f64 x1 x1 1) 1/2))) (*.f64 x1 (*.f64 x1 4)))))) |
Loading profile data...