Herbie run
| Date: | Thursday, May 16th, 2024 |
|---|---|
| Commit: | 9db37a23 on report-cost-multi-alts |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024137 |
| 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: 36.1min)
| 4.2min | 2145407× | 0 | valid |
| 27.0s | 65980× | 1 | valid |
| 12.5s | 64457× | 0 | invalid |
| 2.9s | 8301× | 2 | valid |
| 583.0ms | 1730× | 1 | invalid |
| 3.3s | 1690× | 5 | exit |
| 1.0s | 1173× | 3 | valid |
| 1.0ms | 3× | 4 | valid |
ival-mult: 1.0min (34.5% of total)ival-add: 29.7s (16.6% of total)ival-sub: 26.9s (15.1% of total)ival-div: 24.1s (13.5% of total)ival-log: 11.2s (6.3% of total)ival-sqrt: 6.3s (3.5% of total)ival-sin: 4.7s (2.6% of total)ival-cos: 4.0s (2.3% of total)const: 3.3s (1.8% of total)backward-pass: 2.8s (1.6% of total)ival-exp: 2.3s (1.3% of total)ival-acos: 420.0ms (0.2% of total)ival-cosh: 347.0ms (0.2% of total)ival-tan: 345.0ms (0.2% of total)ival-fabs: 335.0ms (0.2% of total)ival-sinh: 156.0ms (0.1% of total)ival-tanh: 105.0ms (0.1% of total)| 1185× | egg-herbie |
| 302049× | fma-define |
| 272518× | fma-neg |
| 230461× | times-frac |
| 229767× | associate-*r* |
| 218999× | *-commutative |
| 274× | saturated |
| 901× | node limit |
| 10× | unsound |
| 939× | egg-herbie |
| 418023× | fma-define |
| 344755× | fma-neg |
| 146468× | distribute-lft-in |
| 138864× | times-frac |
| 136015× | unsub-neg |
| 511× | saturated |
| 427× | node limit |
| 1× | unsound |
| 1.4min | 217989× | 0 | valid |
| 12.9s | 9405× | 1 | valid |
| 3.1s | 7369× | 0 | invalid |
| 11.9s | 3035× | 5 | exit |
| 3.6s | 1669× | 2 | valid |
| 324.0ms | 399× | 0 | unsamplable |
| 384.0ms | 268× | 1 | invalid |
| 473.0ms | 240× | 3 | valid |
| 11.0ms | 10× | 4 | valid |
Compiled 114820 to 18689 computations (83.7% saved)
ival-mult: 15.6s (29.6% of total)ival-div: 8.6s (16.3% of total)ival-add: 5.1s (9.6% of total)ival-pow: 4.7s (8.9% of total)ival-sub: 3.8s (7.2% of total)backward-pass: 2.8s (5.4% of total)ival-log: 2.0s (3.8% of total)ival-fma: 1.9s (3.6% of total)ival-cos: 1.4s (2.7% of total)ival-sin: 1.3s (2.5% of total)ival-sqrt: 1.1s (2.2% of total)ival-neg: 983.0ms (1.9% of total)ival-exp: 982.0ms (1.9% of total)const: 567.0ms (1.1% of total)ival-tan: 521.0ms (1% of total)ival-log1p: 504.0ms (1% of total)ival-cbrt: 328.0ms (0.6% of total)ival-expm1: 221.0ms (0.4% of total)ival-hypot: 90.0ms (0.2% of total)ival-acos: 38.0ms (0.1% of total)ival-fabs: 30.0ms (0.1% of total)ival-sinh: 23.0ms (0% of total)ival-cosh: 17.0ms (0% of total)ival-tanh: 16.0ms (0% of total)ival-e: 2.0ms (0% of total)| 249084× | fma-define |
| 229753× | fma-neg |
| 194912× | log1p-expm1-u |
| 152617× | associate-*r* |
| 145310× | times-frac |
| 81× | saturated |
| 780× | node limit |
| 155× | fuel |
| 7× | unsound |
| 114× | done |
Compiled 155474 to 52363 computations (66.3% saved)
| 916× | batch-egg-rewrite |
| 614144× | log1p-expm1-u |
| 463335× | expm1-log1p-u |
| 184434× | pow1 |
| 173743× | add-exp-log |
| 165749× | add-log-exp |
| 1× | saturated |
| 910× | node limit |
| 5× | unsound |
Compiled 473336 to 283926 computations (40% saved)
Compiled 12264891 to 2060909 computations (83.2% saved)
511 calls:
| 15.4s | y |
| 12.8s | x |
| 10.7s | z |
| 6.1s | t |
| 4.5s | a |
Compiled 47206 to 37079 computations (21.5% saved)
| 2652× | binary-search |
| 287× | left-value |
| 50× | predicate-same |
| 2602× | narrow-enough |
| 50.4s | 317861× | 0 | valid |
| 6.1s | 10862× | 1 | valid |
| 607.0ms | 7802× | 0 | invalid |
| 149.0ms | 559× | 2 | valid |
| 114.0ms | 78× | 3 | valid |
Compiled 577383 to 427150 computations (26% saved)
ival-mult: 14.5s (40.6% of total)ival-sub: 6.6s (18.6% of total)ival-add: 5.2s (14.4% of total)ival-div: 3.4s (9.6% of total)ival-log: 2.2s (6% of total)ival-sqrt: 1.2s (3.5% of total)backward-pass: 682.0ms (1.9% of total)ival-cos: 534.0ms (1.5% of total)const: 494.0ms (1.4% of total)ival-exp: 459.0ms (1.3% of total)ival-sin: 416.0ms (1.2% of total)ival-fabs: 18.0ms (0.1% of total)ival-tanh: 9.0ms (0% of total)ival-cosh: 7.0ms (0% of total)ival-sinh: 3.0ms (0% of total)50766 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 572.0ms | y | @ | -inf | (log (sqrt (exp (cos y)))) |
| 427.0ms | y | @ | -inf | (log (/ (cbrt x) y)) |
| 424.0ms | x | @ | 0 | (* x (log y)) |
| 412.0ms | y | @ | inf | (/ (sin x) (/ x (sinh y))) |
| 407.0ms | y | @ | -inf | (+ (log (pow (cbrt y) 2)) (log (cbrt y))) |
| 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 146630 to 57074 computations (61.1% saved)
| 19.7s | 130258× | 0 | valid |
| 3.1s | 6250× | 1 | valid |
| 970.0ms | 1042× | 2 | valid |
| 117.0ms | 178× | 3 | valid |
Compiled 26361 to 7864 computations (70.2% saved)
ival-mult: 3.9s (35% of total)ival-sub: 1.6s (14.3% of total)ival-div: 1.5s (13.9% of total)ival-add: 1.2s (11.1% of total)ival-log: 923.0ms (8.3% of total)backward-pass: 628.0ms (5.7% of total)ival-sin: 356.0ms (3.2% of total)ival-sqrt: 337.0ms (3% of total)const: 208.0ms (1.9% of total)ival-cos: 174.0ms (1.6% of total)ival-exp: 153.0ms (1.4% of total)ival-cosh: 14.0ms (0.1% of total)ival-tan: 13.0ms (0.1% of total)ival-tanh: 13.0ms (0.1% of total)ival-fabs: 13.0ms (0.1% of total)ival-sinh: 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.2s (38.3% of total)ival-sub: 2.0s (18.4% of total)ival-add: 1.9s (17% of total)ival-div: 1.8s (16.1% of total)ival-sqrt: 316.0ms (2.9% of total)ival-log: 206.0ms (1.9% of total)const: 159.0ms (1.4% of total)ival-exp: 124.0ms (1.1% of total)ival-cos: 103.0ms (0.9% of total)ival-sin: 97.0ms (0.9% of total)backward-pass: 48.0ms (0.4% of total)ival-tan: 23.0ms (0.2% of total)ival-acos: 21.0ms (0.2% of total)ival-cosh: 15.0ms (0.1% of total)ival-tanh: 8.0ms (0.1% of total)ival-sinh: 4.0ms (0% of total)ival-fabs: 3.0ms (0% of total)Loading profile data...