Herbie run
| Date: | Friday, April 19th, 2024 |
|---|---|
| Commit: | a62871db on main |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024110 |
| 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: 46.2min)
| 3344× | egg-herbie |
| 930882× | fma-define |
| 720813× | fma-neg |
| 279373× | distribute-lft-in |
| 257772× | times-frac |
| 255052× | distribute-rgt-in |
| 2601× | saturated |
| 743× | node limit |
| 1.9min | 220199× | 0 | valid |
| 27.8s | 7614× | 1 | valid |
| 5.9s | 6846× | 0 | invalid |
| 20.5s | 3852× | 5 | exit |
| 11.8s | 1881× | 2 | valid |
| 164.0ms | 304× | 0 | unsamplable |
| 212.0ms | 142× | 3 | valid |
| 311.0ms | 53× | 1 | invalid |
| 9.0ms | 5× | 4 | valid |
Compiled 114735 to 50259 computations (56.2% saved)
ival-mult: 35.0s (28% of total)ival-div: 17.4s (13.9% of total)ival-add: 15.5s (12.4% of total)ival-pow: 11.7s (9.4% of total)ival-sub: 9.7s (7.7% of total)backward-pass: 9.6s (7.6% of total)ival-sqrt: 5.3s (4.2% of total)ival-fma: 4.9s (3.9% of total)ival-log: 3.8s (3.1% of total)const: 2.5s (2% of total)ival-cos: 2.1s (1.7% of total)ival-exp: 1.9s (1.5% of total)ival-sin: 1.7s (1.4% of total)ival-cbrt: 864.0ms (0.7% of total)ival-log1p: 835.0ms (0.7% of total)ival-neg: 654.0ms (0.5% of total)ival-hypot: 597.0ms (0.5% of total)ival-tan: 421.0ms (0.3% of total)ival-expm1: 404.0ms (0.3% of total)ival-acos: 98.0ms (0.1% of total)ival-fabs: 42.0ms (0% of total)ival-sinh: 26.0ms (0% of total)ival-cosh: 22.0ms (0% of total)ival-tanh: 15.0ms (0% of total)ival-e: 6.0ms (0% of total)| 4.0min | 2149404× | 0 | valid |
| 13.2s | 63732× | 0 | invalid |
| 27.6s | 62662× | 1 | valid |
| 3.2s | 7666× | 2 | valid |
| 1.2s | 1535× | 5 | exit |
| 356.0ms | 1355× | 1 | invalid |
| 1.0s | 1131× | 3 | valid |
| 165.0ms | 201× | 2 | invalid |
| 0.0ms | 1× | 4 | valid |
ival-mult: 59.1s (33.9% of total)ival-add: 28.0s (16.1% of total)ival-sub: 26.5s (15.2% of total)ival-div: 22.9s (13.2% of total)ival-log: 9.8s (5.6% of total)ival-sqrt: 7.0s (4% of total)ival-sin: 5.0s (2.9% of total)backward-pass: 4.1s (2.4% of total)const: 3.6s (2.1% of total)ival-cos: 3.5s (2% of total)ival-exp: 2.0s (1.1% of total)ival-tan: 798.0ms (0.5% of total)ival-tanh: 645.0ms (0.4% of total)ival-cosh: 466.0ms (0.3% of total)ival-acos: 368.0ms (0.2% of total)ival-fabs: 252.0ms (0.1% of total)ival-sinh: 207.0ms (0.1% of total)| 1188× | egg-herbie |
| 316540× | fma-define |
| 263343× | fma-neg |
| 239850× | times-frac |
| 227456× | associate-*r* |
| 225774× | *-commutative |
| 275× | saturated |
| 906× | node limit |
| 7× | unsound |
| 267071× | fma-define |
| 227653× | fma-neg |
| 192636× | log1p-expm1-u |
| 158559× | associate-*r* |
| 155512× | times-frac |
| 86× | saturated |
| 801× | node limit |
| 156× | fuel |
| 6× | unsound |
| 113× | done |
Compiled 163120 to 85942 computations (47.3% saved)
| 919× | batch-egg-rewrite |
| 633374× | log1p-expm1-u |
| 473695× | expm1-log1p-u |
| 182763× | pow1 |
| 173782× | add-exp-log |
| 165411× | add-log-exp |
| 1× | saturated |
| 916× | node limit |
| 2× | unsound |
Compiled 488399 to 331116 computations (32.2% saved)
Compiled 12429944 to 6505251 computations (47.7% saved)
511 calls:
| 32.6s | y |
| 28.2s | z |
| 28.0s | x |
| 17.0s | t |
| 15.6s | a |
Compiled 47660 to 37609 computations (21.1% saved)
| 3674× | binary-search |
| 346× | left-value |
| 47× | predicate-same |
| 3627× | narrow-enough |
| 1.3min | 447013× | 0 | valid |
| 4.5s | 10330× | 1 | valid |
| 1.4s | 8716× | 0 | invalid |
| 407.0ms | 1075× | 2 | valid |
| 74.0ms | 398× | 1 | invalid |
| 94.0ms | 166× | 2 | invalid |
| 9.0ms | 30× | 3 | valid |
Compiled 832583 to 626041 computations (24.8% saved)
ival-mult: 23.3s (42.5% of total)ival-sub: 12.9s (23.5% of total)ival-add: 7.5s (13.6% of total)ival-div: 5.2s (9.4% of total)ival-log: 1.5s (2.7% of total)ival-sqrt: 1.3s (2.4% of total)backward-pass: 774.0ms (1.4% of total)const: 763.0ms (1.4% of total)ival-sin: 649.0ms (1.2% of total)ival-exp: 609.0ms (1.1% of total)ival-cos: 403.0ms (0.7% of total)ival-tanh: 21.0ms (0% of total)ival-fabs: 17.0ms (0% of total)ival-cosh: 4.0ms (0% of total)ival-sinh: 4.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 178078 to 90840 computations (49% saved)
50094 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 471.0ms | z | @ | -inf | (+ (* -1 (/ z x)) (* 3 y)) |
| 443.0ms | y | @ | 0 | (* z (+ (* (cos y) (/ x z)) (neg (sin y)))) |
| 419.0ms | y | @ | -inf | (pow (* y x) 1/4) |
| 404.0ms | y | @ | -inf | (* (sin x) (/ (sinh y) y)) |
| 401.0ms | z | @ | -inf | (+ x (/ (- t x) (/ (- a z) (- y z)))) |
| 26.0s | 130582× | 0 | valid |
| 6.3s | 5664× | 1 | valid |
| 3.2s | 1304× | 2 | valid |
| 292.0ms | 164× | 3 | valid |
| 14.0ms | 14× | 5 | exit |
Compiled 26361 to 12514 computations (52.5% saved)
ival-mult: 6.5s (31.6% of total)ival-sub: 3.3s (15.9% of total)ival-add: 2.6s (12.8% of total)ival-log: 2.4s (11.7% of total)ival-div: 1.8s (9% of total)ival-sqrt: 1.3s (6.4% of total)backward-pass: 1.0s (4.9% of total)const: 473.0ms (2.3% of total)ival-cos: 351.0ms (1.7% of total)ival-sin: 320.0ms (1.6% of total)ival-exp: 191.0ms (0.9% of total)ival-tan: 180.0ms (0.9% of total)ival-acos: 17.0ms (0.1% of total)ival-fabs: 13.0ms (0.1% of total)ival-cosh: 12.0ms (0.1% of total)ival-tanh: 10.0ms (0% of total)ival-sinh: 9.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.3% | 68.2% | 27.5% | 0.1% | 0% | 4.1% | 0% | 5 |
| 75.9% | 72.3% | 22.9% | 0.1% | 0% | 4.6% | 0% | 6 |
| 79.9% | 75.7% | 19% | 0.1% | 0% | 5.1% | 0% | 7 |
| 81.8% | 77.1% | 17.2% | 0.1% | 0% | 5.6% | 0% | 8 |
| 84.5% | 79.4% | 14.6% | 0.1% | 0% | 5.9% | 0% | 9 |
| 86% | 80.6% | 13.1% | 0.1% | 0% | 6.2% | 0% | 10 |
| 88.6% | 83% | 10.6% | 0.1% | 0% | 6.2% | 0% | 11 |
| 89.7% | 83.7% | 9.6% | 0.1% | 0% | 6.5% | 0% | 12 |
Compiled 4012 to 2763 computations (31.1% saved)
ival-mult: 3.7s (37.3% of total)ival-sub: 2.4s (24.1% of total)ival-div: 1.2s (12.4% of total)ival-add: 1.2s (11.7% of total)ival-sqrt: 429.0ms (4.3% of total)ival-exp: 313.0ms (3.1% of total)ival-log: 194.0ms (1.9% of total)const: 151.0ms (1.5% of total)ival-sin: 119.0ms (1.2% of total)ival-cosh: 80.0ms (0.8% of total)backward-pass: 50.0ms (0.5% of total)ival-acos: 38.0ms (0.4% of total)ival-cos: 27.0ms (0.3% of total)ival-tan: 20.0ms (0.2% 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...