Herbie run
| Date: | Saturday, April 20th, 2024 |
|---|---|
| Commit: | 2fe50def on faster-localize-cost |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024111 |
| 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: 37.3min)
| 4.0min | 2149344× | 0 | valid |
| 12.7s | 63467× | 0 | invalid |
| 31.9s | 62805× | 1 | valid |
| 3.4s | 7589× | 2 | valid |
| 2.1s | 1622× | 5 | exit |
| 297.0ms | 1407× | 1 | invalid |
| 1.0s | 1124× | 3 | valid |
| 53.0ms | 207× | 2 | invalid |
| 1.0ms | 2× | 4 | valid |
ival-mult: 58.9s (34.4% of total)ival-add: 26.2s (15.3% of total)ival-sub: 24.3s (14.2% of total)ival-div: 23.5s (13.7% of total)ival-log: 11.2s (6.5% of total)ival-sqrt: 7.2s (4.2% of total)ival-sin: 4.7s (2.7% of total)backward-pass: 4.4s (2.5% of total)ival-cos: 4.0s (2.3% of total)const: 3.3s (1.9% of total)ival-exp: 2.3s (1.3% of total)ival-sinh: 334.0ms (0.2% of total)ival-tan: 308.0ms (0.2% of total)ival-cosh: 296.0ms (0.2% of total)ival-fabs: 269.0ms (0.2% of total)ival-acos: 227.0ms (0.1% of total)ival-tanh: 105.0ms (0.1% of total)| 933× | egg-herbie |
| 393259× | fma-define |
| 320605× | fma-neg |
| 142084× | distribute-lft-in |
| 140459× | times-frac |
| 138713× | unsub-neg |
| 509× | saturated |
| 424× | node limit |
| 2.1min | 218917× | 0 | valid |
| 21.7s | 7028× | 1 | valid |
| 6.7s | 6741× | 0 | invalid |
| 18.6s | 2922× | 5 | exit |
| 17.1s | 2309× | 2 | valid |
| 839.0ms | 614× | 0 | unsamplable |
| 453.0ms | 196× | 3 | valid |
| 548.0ms | 111× | 1 | invalid |
| 7.0ms | 10× | 1 | unsamplable |
Compiled 121560 to 53178 computations (56.3% saved)
ival-mult: 35.9s (27% of total)ival-div: 19.1s (14.4% of total)ival-add: 15.7s (11.8% of total)ival-pow: 15.4s (11.6% of total)backward-pass: 9.0s (6.8% of total)ival-sub: 8.6s (6.5% of total)ival-fma: 6.0s (4.5% of total)ival-sqrt: 5.0s (3.7% of total)ival-cos: 3.4s (2.6% of total)ival-sin: 3.2s (2.4% of total)ival-log: 2.7s (2% of total)const: 2.7s (2% of total)ival-cbrt: 2.0s (1.5% of total)ival-exp: 1.4s (1.1% of total)ival-neg: 1.1s (0.8% of total)ival-hypot: 490.0ms (0.4% of total)ival-tan: 464.0ms (0.3% of total)ival-log1p: 313.0ms (0.2% of total)ival-expm1: 273.0ms (0.2% of total)ival-cosh: 132.0ms (0.1% of total)ival-acos: 56.0ms (0% of total)ival-e: 23.0ms (0% of total)ival-fabs: 14.0ms (0% of total)ival-sinh: 13.0ms (0% of total)ival-tanh: 9.0ms (0% of total)| 1176× | egg-herbie |
| 296670× | fma-define |
| 281106× | fma-neg |
| 223470× | distribute-lft-in |
| 220960× | times-frac |
| 216770× | associate-*r* |
| 284× | saturated |
| 884× | node limit |
| 8× | unsound |
| 243039× | fma-define |
| 241404× | fma-neg |
| 216861× | log1p-expm1-u |
| 150572× | expm1-log1p-u |
| 147814× | associate-*r* |
| 87× | saturated |
| 757× | node limit |
| 151× | fuel |
| 3× | unsound |
| 118× | done |
Compiled 154610 to 80820 computations (47.7% saved)
| 907× | batch-egg-rewrite |
| 676491× | log1p-expm1-u |
| 500985× | expm1-log1p-u |
| 180143× | prod-diff |
| 158758× | pow1 |
| 158631× | log-prod |
| 1× | saturated |
| 905× | node limit |
| 1× | unsound |
Compiled 7955574 to 4175681 computations (47.5% saved)
511 calls:
| 23.3s | y |
| 20.2s | x |
| 19.8s | z |
| 13.1s | t |
| 9.7s | a |
Compiled 44087 to 34673 computations (21.4% saved)
Compiled 412821 to 276656 computations (33% saved)
| 2753× | binary-search |
| 281× | left-value |
| 49× | predicate-same |
| 2704× | narrow-enough |
| 1.0min | 328911× | 0 | valid |
| 3.4s | 7999× | 1 | valid |
| 442.0ms | 4000× | 0 | invalid |
| 248.0ms | 787× | 2 | valid |
| 37.0ms | 223× | 1 | invalid |
| 16.0ms | 60× | 2 | invalid |
| 24.0ms | 47× | 3 | valid |
Compiled 641514 to 477281 computations (25.6% saved)
ival-mult: 20.5s (48.9% of total)ival-sub: 9.0s (21.5% of total)ival-add: 4.6s (10.9% of total)ival-div: 3.5s (8.4% of total)ival-log: 1.0s (2.5% of total)ival-sqrt: 1.0s (2.4% of total)backward-pass: 695.0ms (1.7% of total)const: 507.0ms (1.2% of total)ival-sin: 472.0ms (1.1% of total)ival-cos: 353.0ms (0.8% of total)ival-exp: 184.0ms (0.4% of total)ival-tanh: 15.0ms (0% of total)ival-fabs: 8.0ms (0% of total)ival-sinh: 7.0ms (0% of total)ival-cosh: 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 150524 to 76774 computations (49% saved)
| 37.4s | 130452× | 0 | valid |
| 9.6s | 5760× | 1 | valid |
| 3.7s | 1312× | 2 | valid |
| 226.0ms | 192× | 3 | valid |
| 10.0ms | 12× | 5 | exit |
Compiled 26361 to 12514 computations (52.5% saved)
ival-mult: 6.8s (31% of total)ival-add: 2.9s (13.3% of total)ival-sub: 2.9s (13.3% of total)ival-log: 2.5s (11.2% of total)ival-div: 2.2s (10.2% of total)backward-pass: 1.8s (8% of total)ival-sqrt: 936.0ms (4.3% of total)ival-sin: 567.0ms (2.6% of total)const: 476.0ms (2.2% of total)ival-exp: 464.0ms (2.1% of total)ival-cos: 315.0ms (1.4% of total)ival-tan: 25.0ms (0.1% of total)ival-cosh: 14.0ms (0.1% of total)ival-fabs: 12.0ms (0.1% of total)ival-acos: 9.0ms (0% of total)ival-tanh: 8.0ms (0% of total)ival-sinh: 8.0ms (0% of total)30186 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 468.0ms | t | @ | 0 | (log (/ (pow y x) (/ (exp (+ y z)) t))) |
| 438.0ms | y | @ | -inf | (* x (+ (log (pow (cbrt y) 2)) (log (cbrt y)))) |
| 403.0ms | y | @ | 0 | (* (+ (* -6 x) (* 6 y)) (- 2/3 z)) |
| 314.0ms | y | @ | -inf | (* x (log y)) |
| 309.0ms | t | @ | 0 | (pow (cbrt (cbrt (+ (* (log t) (+ a -1/2)) (log (+ x y))))) 2) |
| 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.4s (36% of total)ival-add: 1.9s (19.9% of total)ival-sub: 1.8s (19.3% of total)ival-div: 1.3s (13.4% of total)ival-log: 342.0ms (3.7% of total)ival-sqrt: 235.0ms (2.5% of total)const: 148.0ms (1.6% of total)ival-exp: 106.0ms (1.1% of total)ival-sin: 92.0ms (1% of total)backward-pass: 51.0ms (0.5% of total)ival-cos: 29.0ms (0.3% of total)ival-acos: 21.0ms (0.2% of total)ival-tan: 18.0ms (0.2% of total)ival-cosh: 16.0ms (0.2% of total)ival-tanh: 9.0ms (0.1% of total)ival-sinh: 5.0ms (0.1% of total)ival-fabs: 3.0ms (0% of total)Loading profile data...