Herbie run
| Date: | Saturday, May 18th, 2024 |
|---|---|
| Commit: | c2f4097e on main |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024139 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce: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: 36.7min)
| 2119× | egg-herbie |
| 742445× | fma-define |
| 603416× | fma-neg |
| 386912× | times-frac |
| 367337× | distribute-lft-in |
| 345335× | associate-*r* |
| 753× | saturated |
| 1358× | node limit |
| 8× | unsound |
| 4.3min | 2145833× | 0 | valid |
| 25.7s | 65899× | 1 | valid |
| 12.8s | 64718× | 0 | invalid |
| 3.1s | 7997× | 2 | valid |
| 2.3s | 1623× | 5 | exit |
| 700.0ms | 1131× | 3 | valid |
| 668.0ms | 1763× | 1 | invalid |
| 1.0ms | 4× | 4 | valid |
ival-mult: 1.1min (35.1% of total)ival-add: 25.5s (13.9% of total)ival-sub: 25.2s (13.8% of total)ival-div: 23.3s (12.7% of total)ival-log: 10.4s (5.7% of total)...c/correct-round.rkt:121:19: 8.0s (4.4% of total)ival-sqrt: 6.9s (3.7% of total)ival-sin: 4.5s (2.5% of total)ival-cos: 3.9s (2.1% of total)backward-pass: 3.6s (2% of total)const: 3.2s (1.7% of total)ival-exp: 2.5s (1.4% of total)ival-fabs: 471.0ms (0.3% of total)ival-cosh: 393.0ms (0.2% of total)ival-acos: 383.0ms (0.2% of total)ival-sinh: 254.0ms (0.1% of total)ival-tan: 248.0ms (0.1% of total)ival-tanh: 217.0ms (0.1% of total)| 280542× | fma-define |
| 238384× | fma-neg |
| 195795× | log1p-expm1-u |
| 163540× | times-frac |
| 155898× | distribute-lft-in |
| 92× | saturated |
| 823× | node limit |
| 158× | fuel |
| 6× | unsound |
| 111× | done |
Compiled 157367 to 52550 computations (66.6% saved)
| 911× | batch-egg-rewrite |
| 617014× | log1p-expm1-u |
| 461599× | expm1-log1p-u |
| 184379× | pow1 |
| 177435× | add-exp-log |
| 170183× | add-log-exp |
| 1× | saturated |
| 907× | node limit |
| 3× | unsound |
Compiled 485402 to 290720 computations (40.1% saved)
| 1.3min | 219418× | 0 | valid |
| 12.2s | 7976× | 1 | valid |
| 12.1s | 2854× | 5 | exit |
| 3.9s | 7696× | 0 | invalid |
| 2.5s | 1644× | 2 | valid |
| 337.0ms | 240× | 3 | valid |
| 143.0ms | 91× | 1 | invalid |
| 133.0ms | 405× | 0 | unsamplable |
| 71.0ms | 48× | 1 | unsamplable |
| 13.0ms | 12× | 4 | valid |
Compiled 117831 to 18913 computations (83.9% saved)
ival-mult: 16.2s (27.6% of total)ival-div: 10.6s (18% of total)ival-pow: 5.6s (9.6% of total)ival-add: 4.8s (8.1% of total)ival-sub: 3.4s (5.8% of total)backward-pass: 2.9s (4.9% of total)ival-fma: 2.4s (4.1% of total)ival-log: 2.3s (3.9% of total)...c/correct-round.rkt:121:19: 2.3s (3.8% of total)ival-expm1: 1.9s (3.2% of total)ival-sin: 1.7s (2.8% of total)ival-sqrt: 948.0ms (1.6% of total)ival-cos: 714.0ms (1.2% of total)ival-log1p: 710.0ms (1.2% of total)ival-neg: 657.0ms (1.1% of total)ival-exp: 587.0ms (1% of total)const: 506.0ms (0.9% of total)ival-cbrt: 360.0ms (0.6% of total)ival-hypot: 86.0ms (0.1% of total)ival-fabs: 82.0ms (0.1% of total)ival-tan: 59.0ms (0.1% of total)ival-sinh: 52.0ms (0.1% of total)ival-cosh: 30.0ms (0.1% of total)ival-tanh: 15.0ms (0% of total)ival-acos: 7.0ms (0% of total)ival-e: 2.0ms (0% of total)Compiled 12698802 to 2123820 computations (83.3% saved)
511 calls:
| 14.2s | x |
| 13.2s | y |
| 10.8s | z |
| 7.6s | t |
| 5.2s | a |
Compiled 50206 to 39514 computations (21.3% saved)
| 2660× | binary-search |
| 330× | left-value |
| 42× | predicate-same |
| 2618× | narrow-enough |
| 57.6s | 321799× | 0 | valid |
| 3.6s | 8998× | 1 | valid |
| 447.0ms | 5996× | 0 | invalid |
| 321.0ms | 931× | 2 | valid |
| 4.0ms | 16× | 3 | valid |
Compiled 609707 to 446883 computations (26.7% saved)
ival-mult: 17.7s (43% of total)ival-sub: 8.4s (20.5% of total)ival-add: 5.0s (12.2% of total)ival-div: 3.5s (8.4% of total)...c/correct-round.rkt:121:19: 2.3s (5.5% of total)ival-log: 1.4s (3.4% of total)ival-sin: 771.0ms (1.9% of total)const: 449.0ms (1.1% of total)ival-sqrt: 431.0ms (1% of total)ival-cos: 416.0ms (1% of total)backward-pass: 351.0ms (0.9% of total)ival-exp: 336.0ms (0.8% of total)ival-fabs: 73.0ms (0.2% of total)ival-tanh: 23.0ms (0.1% of total)ival-cosh: 10.0ms (0% of total)ival-sinh: 3.0ms (0% of total)| 269× | egg-herbie |
| 137764× | fma-neg |
| 117084× | fma-define |
| 57352× | unsub-neg |
| 50425× | sub-neg |
| 47106× | distribute-rgt-in |
| 153× | saturated |
| 116× | node limit |
Compiled 151752 to 57828 computations (61.9% saved)
51942 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 471.0ms | z | @ | 0 | (* x (/ (log y) z)) |
| 426.0ms | y | @ | 0 | (* x (log y)) |
| 423.0ms | z | @ | -inf | (pow (+ (* x z) (* y (+ x z))) 1/4) |
| 356.0ms | y | @ | inf | (* (- x (+ y (* z 1/2))) (/ 4 z)) |
| 329.0ms | x | @ | 0 | (* x (- (log (neg x)) (log (neg y)))) |
| 19.2s | 130498× | 0 | valid |
| 3.4s | 5974× | 1 | valid |
| 712.0ms | 1080× | 2 | valid |
| 100.0ms | 174× | 3 | valid |
| 1.0ms | 2× | 5 | exit |
Compiled 26361 to 7864 computations (70.2% saved)
ival-mult: 3.7s (33.4% of total)ival-sub: 1.4s (13.3% of total)ival-log: 1.2s (10.7% of total)ival-div: 1.2s (10.6% of total)ival-add: 1.1s (10.5% of total)...c/correct-round.rkt:121:19: 545.0ms (5% of total)ival-cos: 369.0ms (3.4% of total)ival-sqrt: 300.0ms (2.7% of total)backward-pass: 284.0ms (2.6% of total)ival-sinh: 268.0ms (2.5% of total)ival-sin: 210.0ms (1.9% of total)const: 197.0ms (1.8% of total)ival-exp: 87.0ms (0.8% of total)ival-fabs: 54.0ms (0.5% of total)ival-tan: 14.0ms (0.1% of total)ival-cosh: 13.0ms (0.1% of total)ival-tanh: 8.0ms (0.1% of total)ival-acos: 5.0ms (0% of total)| 269× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 46.5% | 46.4% | 53.4% | 0.1% | 0% | 0% | 0% | 1 |
| 50.1% | 49.7% | 49.5% | 0.1% | 0% | 0.6% | 0% | 2 |
| 58.6% | 57% | 40.3% | 0.1% | 0% | 2.6% | 0% | 3 |
| 65.2% | 62.7% | 33.5% | 0.1% | 0% | 3.6% | 0% | 4 |
| 71.2% | 68.2% | 27.5% | 0.1% | 0% | 4.1% | 0% | 5 |
| 75.9% | 72.3% | 23% | 0.1% | 0% | 4.6% | 0% | 6 |
| 79.8% | 75.6% | 19.1% | 0.1% | 0% | 5.1% | 0% | 7 |
| 81.7% | 77% | 17.3% | 0.1% | 0% | 5.6% | 0% | 8 |
| 84.3% | 79.3% | 14.7% | 0.1% | 0% | 5.9% | 0% | 9 |
| 85.9% | 80.5% | 13.2% | 0.1% | 0% | 6.2% | 0% | 10 |
| 88.5% | 82.8% | 10.8% | 0.1% | 0% | 6.2% | 0% | 11 |
| 89.6% | 83.6% | 9.8% | 0.1% | 0% | 6.5% | 0% | 12 |
Compiled 4012 to 2711 computations (32.4% saved)
ival-mult: 4.9s (45.8% of total)ival-sub: 1.5s (14.5% of total)ival-div: 1.5s (13.7% of total)ival-add: 1.3s (11.8% of total)...c/correct-round.rkt:121:19: 506.0ms (4.8% of total)ival-log: 220.0ms (2.1% of total)ival-sqrt: 208.0ms (2% of total)ival-exp: 175.0ms (1.6% of total)const: 147.0ms (1.4% of total)ival-sin: 81.0ms (0.8% of total)ival-cosh: 41.0ms (0.4% of total)backward-pass: 38.0ms (0.4% of total)ival-cos: 32.0ms (0.3% of total)ival-acos: 24.0ms (0.2% of total)ival-tan: 17.0ms (0.2% of total)ival-tanh: 10.0ms (0.1% of total)ival-sinh: 4.0ms (0% of total)ival-fabs: 3.0ms (0% of total)Loading profile data...