Herbie run
| Date: | Sunday, March 31st, 2024 |
|---|---|
| Commit: | 2c40ab6b on main |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024091 |
| 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: 33.9min)
| 3.4min | 2149382× | 0 | valid |
| 11.7s | 64188× | 0 | invalid |
| 23.7s | 63226× | 1 | valid |
| 3.6s | 7718× | 2 | valid |
| 2.4s | 1628× | 5 | exit |
| 383.0ms | 1553× | 1 | invalid |
| 267.0ms | 538× | 3 | valid |
ival-mult: 50.1s (33.5% of total)ival-add: 21.6s (14.4% of total)ival-sub: 20.5s (13.7% of total)ival-div: 19.5s (13.1% of total)ival-log: 9.7s (6.5% of total)ival-sqrt: 6.3s (4.2% of total)backward-pass: 5.5s (3.7% of total)ival-sin: 4.8s (3.2% of total)const: 3.6s (2.4% of total)ival-cos: 3.3s (2.2% of total)ival-exp: 1.6s (1.1% of total)ival-cosh: 693.0ms (0.5% of total)ival-tanh: 637.0ms (0.4% of total)ival-tan: 448.0ms (0.3% of total)ival-fabs: 352.0ms (0.2% of total)ival-sinh: 312.0ms (0.2% of total)ival-acos: 254.0ms (0.2% of total)| 1091× | egg-herbie |
| 296498× | fma-define |
| 239672× | fma-neg |
| 209951× | distribute-lft-in |
| 207071× | *-commutative |
| 202259× | times-frac |
| 268× | saturated |
| 816× | node limit |
| 7× | unsound |
| 1.7min | 205228× | 256 | valid |
| 8.2s | 8794× | 256 | invalid |
| 20.7s | 4967× | 1024 | valid |
| 39.5s | 2457× | 8192 | exit |
| 5.7s | 2380× | 512 | valid |
| 16.1s | 2094× | 2048 | valid |
| 584.0ms | 429× | 256 | unsamplable |
| 604.0ms | 67× | 4096 | valid |
| 479.0ms | 55× | 2048 | invalid |
| 349.0ms | 48× | 1024 | invalid |
| 158.0ms | 33× | 512 | invalid |
| 71.0ms | 6× | 4096 | invalid |
| 5.0ms | 1× | 512 | unsamplable |
| 50.0ms | 1× | 8192 | valid |
Compiled 115874 to 50000 computations (56.8% saved)
ival-mult: 37.8s (24.2% of total)ival-pow: 23.5s (15.1% of total)ival-div: 17.2s (11% of total)ival-add: 16.8s (10.8% of total)<compiled-spec>: 14.4s (9.2% of total)ival-log: 11.9s (7.6% of total)ival-sub: 8.9s (5.7% of total)ival-cos: 8.5s (5.4% of total)ival-sqrt: 5.8s (3.7% of total)ival-exp: 3.7s (2.4% of total)const: 2.9s (1.9% of total)ival-sin: 2.4s (1.5% of total)ival-cbrt: 1.2s (0.8% of total)ival-neg: 742.0ms (0.5% of total)ival-tan: 291.0ms (0.2% of total)ival-acos: 147.0ms (0.1% of total)ival-fabs: 34.0ms (0% of total)ival-cosh: 23.0ms (0% of total)ival-sinh: 12.0ms (0% of total)ival-tanh: 9.0ms (0% of total)ival-e: 3.0ms (0% of total)Compiled 9551237 to 4961280 computations (48.1% saved)
| 249376× | fma-define |
| 221300× | fma-neg |
| 170471× | log1p-expm1-u |
| 143035× | associate-*r* |
| 142567× | distribute-lft-in |
| 83× | saturated |
| 722× | node limit |
| 139× | fuel |
| 4× | unsound |
| 130× | done |
Compiled 154401 to 79278 computations (48.7% saved)
| 822× | batch-egg-rewrite |
| 565549× | log1p-expm1-u |
| 428156× | expm1-log1p-u |
| 161893× | pow1 |
| 152385× | add-exp-log |
| 146524× | add-log-exp |
| 821× | node limit |
| 1× | unsound |
492 calls:
| 22.7s | y |
| 22.4s | z |
| 22.4s | x |
| 16.2s | t |
| 13.5s | a |
Compiled 44249 to 35032 computations (20.8% saved)
Compiled 443805 to 297161 computations (33% saved)
| 3193× | binary-search |
| 325× | left-value |
| 57× | predicate-same |
| 3136× | narrow-enough |
| 1.1min | 384907× | 0 | valid |
| 4.0s | 9751× | 1 | valid |
| 503.0ms | 5782× | 0 | invalid |
| 340.0ms | 1312× | 1 | invalid |
| 249.0ms | 688× | 2 | valid |
| 16.0ms | 46× | 3 | valid |
Compiled 772776 to 576188 computations (25.4% saved)
ival-mult: 20.9s (46.6% of total)ival-sub: 9.9s (21.9% of total)ival-add: 5.3s (11.8% of total)ival-div: 3.9s (8.6% of total)ival-sqrt: 1.1s (2.5% of total)ival-log: 1.0s (2.3% of total)backward-pass: 850.0ms (1.9% of total)const: 657.0ms (1.5% of total)ival-sin: 497.0ms (1.1% of total)ival-cos: 491.0ms (1.1% of total)ival-exp: 215.0ms (0.5% of total)ival-tanh: 57.0ms (0.1% of total)ival-fabs: 10.0ms (0% of total)ival-sinh: 4.0ms (0% of total)ival-cosh: 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 164172 to 82586 computations (49.7% saved)
41106 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 447.0ms | x | @ | -inf | (log (/ (cbrt x) y)) |
| 336.0ms | z | @ | 0 | (* z (log (- 1 y))) |
| 279.0ms | y | @ | -inf | (* (log (/ (cbrt x) (cbrt y))) 3) |
| 254.0ms | y | @ | -inf | (- (+ (* (log y) (- -1/2 y)) y) z) |
| 248.0ms | z | @ | inf | (/ (+ (* 692910599291889/10000000000000000 (* y z)) (* 751220861604756070699018739433/10000000000000000000000000000000 y)) z) |
| 22.8s | 131738× | 256 | valid |
| 5.1s | 3138× | 1024 | valid |
| 1.7s | 1666× | 512 | valid |
| 1.7s | 1182× | 2048 | valid |
| 7.0ms | 4× | 4096 | valid |
Compiled 26361 to 12514 computations (52.5% saved)
ival-mult: 6.1s (32.9% of total)ival-add: 2.7s (14.6% of total)ival-log: 2.6s (14.2% of total)ival-div: 2.3s (12.3% of total)ival-sub: 2.3s (12.1% of total)ival-sqrt: 823.0ms (4.4% of total)ival-sin: 519.0ms (2.8% of total)const: 494.0ms (2.7% of total)ival-cos: 369.0ms (2% of total)ival-exp: 205.0ms (1.1% of total)ival-tan: 92.0ms (0.5% of total)ival-acos: 17.0ms (0.1% of total)ival-cosh: 13.0ms (0.1% of total)ival-fabs: 12.0ms (0.1% of total)ival-sinh: 11.0ms (0.1% of total)ival-tanh: 8.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.2% | 0.1% | 0% | 5.6% | 0% | 8 |
| 84.4% | 79.3% | 14.7% | 0.1% | 0% | 5.9% | 0% | 9 |
| 86% | 80.5% | 13.1% | 0.1% | 0% | 6.2% | 0% | 10 |
| 88.5% | 82.9% | 10.7% | 0.1% | 0% | 6.2% | 0% | 11 |
| 89.6% | 83.7% | 9.7% | 0.1% | 0% | 6.5% | 0% | 12 |
Compiled 4012 to 2763 computations (31.1% saved)
ival-mult: 3.5s (36.4% of total)ival-sub: 1.9s (20.1% of total)ival-div: 1.3s (13.9% of total)ival-add: 1.3s (13.6% of total)ival-sqrt: 747.0ms (7.7% of total)ival-log: 260.0ms (2.7% of total)const: 220.0ms (2.3% of total)ival-exp: 109.0ms (1.1% of total)ival-sin: 97.0ms (1% of total)ival-cosh: 28.0ms (0.3% of total)ival-cos: 28.0ms (0.3% of total)ival-acos: 22.0ms (0.2% of total)ival-tan: 20.0ms (0.2% of total)ival-tanh: 8.0ms (0.1% of total)ival-sinh: 6.0ms (0.1% of total)ival-fabs: 3.0ms (0% of total)Loading profile data...