Herbie run
| Date: | Thursday, May 23rd, 2024 |
|---|---|
| Commit: | 6b737c7e on explanations-trifurcate |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024144 |
| 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.1min)
| 2112× | egg-herbie |
| 725205× | fma-define |
| 612680× | fma-neg |
| 370299× | times-frac |
| 358647× | distribute-lft-in |
| 355865× | associate-*r* |
| 786× | saturated |
| 1319× | node limit |
| 7× | unsound |
| 4.1min | 2145872× | 0 | valid |
| 28.9s | 65782× | 1 | valid |
| 11.6s | 63769× | 0 | invalid |
| 3.9s | 8067× | 2 | valid |
| 2.5s | 1554× | 5 | exit |
| 680.0ms | 1140× | 3 | valid |
| 345.0ms | 1694× | 1 | invalid |
| 1.0ms | 3× | 4 | valid |
ival-mult: 1.0min (34.5% of total)ival-add: 27.4s (15.4% of total)ival-sub: 24.3s (13.6% of total)ival-div: 21.8s (12.2% of total)ival-log: 10.9s (6.1% of total)...c/correct-round.rkt:121:19: 6.8s (3.8% of total)ival-sqrt: 6.6s (3.7% of total)ival-cos: 4.5s (2.5% of total)ival-sin: 4.1s (2.3% of total)backward-pass: 3.2s (1.8% of total)const: 3.2s (1.8% of total)ival-exp: 2.3s (1.3% of total)ival-tan: 586.0ms (0.3% of total)ival-fabs: 354.0ms (0.2% of total)ival-cosh: 278.0ms (0.2% of total)ival-sinh: 190.0ms (0.1% of total)ival-acos: 185.0ms (0.1% of total)ival-tanh: 92.0ms (0.1% of total)| 246163× | fma-define |
| 223739× | fma-neg |
| 193299× | log1p-expm1-u |
| 151243× | associate-*r* |
| 145097× | times-frac |
| 85× | saturated |
| 776× | node limit |
| 156× | fuel |
| 5× | unsound |
| 113× | done |
Compiled 143172 to 48446 computations (66.2% saved)
| 909× | batch-egg-rewrite |
| 607924× | log1p-expm1-u |
| 451051× | expm1-log1p-u |
| 181716× | pow1 |
| 172414× | add-exp-log |
| 164861× | add-log-exp |
| 2× | saturated |
| 905× | node limit |
| 2× | unsound |
Compiled 471125 to 281988 computations (40.1% saved)
| 1.2min | 217422× | 0 | valid |
| 14.0s | 9475× | 1 | valid |
| 6.6s | 2299× | 5 | exit |
| 4.4s | 7687× | 0 | invalid |
| 2.3s | 1395× | 2 | valid |
| 325.0ms | 243× | 3 | valid |
| 291.0ms | 150× | 1 | invalid |
| 283.0ms | 430× | 0 | unsamplable |
| 3.0ms | 3× | 4 | valid |
Compiled 116016 to 18508 computations (84% saved)
ival-mult: 13.7s (26.1% of total)ival-div: 9.6s (18.4% of total)ival-add: 5.0s (9.6% of total)ival-pow: 4.1s (7.9% of total)ival-sub: 3.9s (7.5% of total)...c/correct-round.rkt:121:19: 3.8s (7.3% of total)backward-pass: 2.2s (4.1% of total)ival-fma: 2.1s (4.1% of total)ival-log: 2.1s (4% of total)ival-sqrt: 1.7s (3.2% of total)ival-cos: 744.0ms (1.4% of total)ival-sin: 577.0ms (1.1% of total)const: 509.0ms (1% of total)ival-neg: 485.0ms (0.9% of total)ival-cbrt: 420.0ms (0.8% of total)ival-exp: 389.0ms (0.7% of total)ival-log1p: 374.0ms (0.7% of total)ival-hypot: 190.0ms (0.4% of total)ival-expm1: 173.0ms (0.3% of total)ival-cosh: 157.0ms (0.3% of total)ival-tan: 38.0ms (0.1% of total)ival-fabs: 32.0ms (0.1% of total)ival-acos: 15.0ms (0% of total)ival-tanh: 14.0ms (0% of total)ival-sinh: 14.0ms (0% of total)ival-e: 7.0ms (0% of total)ival-asin: 3.0ms (0% of total)ival-pi: 1.0ms (0% of total)Compiled 12536471 to 2072726 computations (83.5% saved)
511 calls:
| 14.2s | y |
| 13.8s | x |
| 10.9s | z |
| 8.3s | t |
| 5.2s | a |
Compiled 47945 to 37790 computations (21.2% saved)
| 2578× | binary-search |
| 327× | left-value |
| 50× | predicate-same |
| 2528× | narrow-enough |
| 58.4s | 315541× | 0 | valid |
| 4.1s | 8493× | 1 | valid |
| 639.0ms | 6419× | 0 | invalid |
| 149.0ms | 592× | 2 | valid |
| 58.0ms | 399× | 1 | invalid |
| 34.0ms | 30× | 3 | valid |
Compiled 581746 to 432845 computations (25.6% saved)
ival-mult: 16.9s (41.4% of total)ival-sub: 7.3s (17.8% of total)ival-add: 6.4s (15.5% of total)ival-div: 3.8s (9.3% of total)ival-log: 2.0s (4.8% of total)...c/correct-round.rkt:121:19: 1.6s (3.8% of total)ival-sqrt: 1.1s (2.8% of total)ival-sin: 552.0ms (1.3% of total)const: 429.0ms (1% of total)backward-pass: 342.0ms (0.8% of total)ival-cos: 259.0ms (0.6% of total)ival-exp: 212.0ms (0.5% of total)ival-fabs: 72.0ms (0.2% of total)ival-tanh: 9.0ms (0% of total)ival-cosh: 7.0ms (0% of total)ival-sinh: 5.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 146026 to 57940 computations (60.3% saved)
50313 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 651.0ms | x | @ | 0 | (* x (- (log (neg x)) (log (neg y)))) |
| 419.0ms | x | @ | 0 | (* x (log (/ x y))) |
| 333.0ms | t | @ | -inf | (+ (* t (* -4 (* z a))) b) |
| 317.0ms | y | @ | 0 | (* z (+ (log (- 1 y)) (* x (* (log y) (/ 1 z))))) |
| 317.0ms | b | @ | 0 | (/ t (+ y (* z (- b y)))) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
log.f64 | #f | sensitivity | 1582 | 9 |
/.f64 | #f | o/n | 1207 | 0 |
sqrt.f64 | #f | oflow-rescue | 807 | 0 |
-.f64 | #f | cancellation | 584 | 10 |
/.f64 | #f | o/o | 578 | 0 |
*.f64 | #f | n*o | 480 | 0 |
-.f64 | #f | nan-rescue | 467 | 0 |
+.f64 | #f | nan-rescue | 457 | 0 |
cos.f64 | #f | sensitivity | 352 | 0 |
/.f64 | #f | n/o | 300 | 0 |
+.f64 | #f | cancellation | 296 | 1 |
/.f64 | #f | u/n | 241 | 0 |
sin.f64 | #f | sensitivity | 229 | 1 |
*.f64 | #f | n*u | 177 | 0 |
cos.f64 | #f | oflow-rescue | 157 | 0 |
/.f64 | #f | n/u | 140 | 0 |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | sensitivity | 91 | 1 |
/.f64 | #f | u/u | 90 | 0 |
log.f64 | #f | uflow-rescue | 86 | 0 |
log.f64 | #f | oflow-rescue | 86 | 0 |
*.f64 | #f | o*u | 45 | 0 |
sqrt.f64 | #f | uflow-rescue | 43 | 0 |
sin.f64 | (sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | oflow-rescue | 32 | 0 |
| ↳ | (/.f64 x (*.f64 y #s(literal 2 binary64))) | overflow | 32 | |
tan.f64 | (tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64)))) | oflow-rescue | 32 | 0 |
| ↳ | (/.f64 x (*.f64 y #s(literal 2 binary64))) | overflow | 32 | |
exp.f64 | #f | sensitivity | 31 | 4 |
*.f64 | (*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0))) | u*o | 1 | 0 |
| ↳ | (*.f64 j y3) | underflow | 38 | |
| ↳ | (-.f64 (*.f64 k y2) (*.f64 j y3)) | underflow | 4 | |
| ↳ | (*.f64 k y2) | underflow | 18 | |
| ↳ | (*.f64 y4 y1) | overflow | 33 | |
| ↳ | (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)) | overflow | 60 | |
| ↳ | (*.f64 y5 y0) | overflow | 30 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 6027 | 186 |
| - | 1697 | 60954 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 6027 | 2 | 184 |
| - | 1697 | 21 | 60933 |
| number | freq |
|---|---|
| 0 | 61140 |
| 1 | 6933 |
| 2 | 730 |
| 3 | 48 |
| 4 | 11 |
| 5 | 2 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 133 | 0 | 0 |
| - | 2 | 0 | 134 |
| 20.7s | 130590× | 0 | valid |
| 3.6s | 5926× | 1 | valid |
| 766.0ms | 1036× | 2 | valid |
| 146.0ms | 174× | 3 | valid |
| 1.0ms | 2× | 4 | valid |
Compiled 30104 to 10306 computations (65.8% saved)
ival-mult: 3.8s (34.9% of total)ival-add: 1.4s (13.1% of total)ival-div: 1.3s (12.3% of total)ival-sub: 1.3s (11.9% of total)ival-log: 1.0s (9.5% of total)ival-cos: 419.0ms (3.9% of total)...c/correct-round.rkt:121:19: 385.0ms (3.6% of total)backward-pass: 270.0ms (2.5% of total)ival-sqrt: 267.0ms (2.5% of total)const: 212.0ms (2% of total)ival-sin: 200.0ms (1.9% of total)ival-exp: 157.0ms (1.5% of total)ival-fabs: 12.0ms (0.1% of total)ival-tan: 12.0ms (0.1% of total)ival-cosh: 12.0ms (0.1% of total)ival-sinh: 10.0ms (0.1% of total)ival-tanh: 8.0ms (0.1% of total)ival-acos: 7.0ms (0.1% 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: 3.4s (34.3% of total)ival-add: 1.7s (16.8% of total)ival-div: 1.5s (15.3% of total)ival-sub: 1.5s (14.8% of total)...c/correct-round.rkt:121:19: 619.0ms (6.3% of total)ival-log: 279.0ms (2.8% of total)ival-sqrt: 275.0ms (2.8% of total)ival-exp: 252.0ms (2.6% of total)const: 146.0ms (1.5% of total)ival-sin: 85.0ms (0.9% of total)ival-cos: 68.0ms (0.7% of total)backward-pass: 45.0ms (0.5% of total)ival-acos: 21.0ms (0.2% of total)ival-tan: 19.0ms (0.2% of total)ival-cosh: 16.0ms (0.2% of total)ival-tanh: 12.0ms (0.1% of total)ival-sinh: 4.0ms (0% of total)ival-fabs: 3.0ms (0% of total)Loading profile data...