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: 6.6min)
| 39.0s | 275332× | 0 | valid |
| 21.5s | 54690× | 1 | valid |
| 8.8s | 16632× | 2 | valid |
| 633.0ms | 4168× | 0 | invalid |
| 358.0ms | 202× | 5 | exit |
| 255.0ms | 951× | 0 | unsamplable |
| 28.0ms | 98× | 3 | valid |
ival-mult: 12.7s (23.8% of total)ival-pow: 5.9s (11.2% of total)ival-add: 5.3s (9.9% of total)ival-sub: 4.4s (8.3% of total)ival-div: 4.3s (8% of total)backward-pass: 3.6s (6.8% of total)...c/correct-round.rkt:121:19: 3.4s (6.4% of total)ival-<=: 3.3s (6.2% of total)ival-sin: 3.2s (6.1% of total)ival-exp: 1.2s (2.3% of total)ival-sqrt: 1.2s (2.3% of total)ival-log: 922.0ms (1.7% of total)ival-cos: 873.0ms (1.6% of total)const: 690.0ms (1.3% of total)ival-neg: 666.0ms (1.3% of total)ival-fma: 528.0ms (1% of total)ival-and: 423.0ms (0.8% of total)ival-==: 264.0ms (0.5% of total)ival-atan: 125.0ms (0.2% of total)ival-<: 118.0ms (0.2% of total)ival-tan: 64.0ms (0.1% of total)ival-pi: 53.0ms (0.1% of total)ival-if: 8.0ms (0% of total)ival-fabs: 6.0ms (0% of total)| 338× | egg-herbie |
| 111478× | fma-define |
| 93894× | fma-neg |
| 66260× | distribute-lft-in |
| 57997× | distribute-rgt-in |
| 52926× | associate-*r* |
| 119× | saturated |
| 217× | node limit |
| 2× | unsound |
| 41268× | log1p-expm1-u |
| 38463× | fma-define |
| 33311× | expm1-log1p-u |
| 32775× | fma-neg |
| 23251× | distribute-lft-in |
| 8× | saturated |
| 144× | node limit |
| 28× | fuel |
| 2× | unsound |
| 13× | done |
Compiled 26892 to 8224 computations (69.4% saved)
| 146× | batch-egg-rewrite |
| 86956× | log1p-expm1-u |
| 69024× | expm1-log1p-u |
| 31320× | pow1 |
| 30212× | add-exp-log |
| 28967× | add-log-exp |
| 145× | node limit |
| 1× | unsound |
| 11.1s | 30501× | 0 | valid |
| 6.4s | 1267× | 5 | exit |
| 6.1s | 4263× | 1 | valid |
| 2.2s | 1217× | 2 | valid |
| 1.3s | 1309× | 0 | invalid |
| 178.0ms | 47× | 3 | valid |
| 98.0ms | 43× | 1 | invalid |
| 85.0ms | 9× | 4 | valid |
Compiled 32208 to 3561 computations (88.9% saved)
ival-mult: 4.1s (24.7% of total)ival-pow: 2.9s (17.5% of total)ival-div: 1.8s (10.7% of total)backward-pass: 1.7s (10.5% of total)ival-add: 1.3s (8.2% of total)...c/correct-round.rkt:121:19: 946.0ms (5.7% of total)ival-sub: 859.0ms (5.2% of total)ival-expm1: 713.0ms (4.3% of total)ival-log1p: 697.0ms (4.2% of total)ival-fma: 309.0ms (1.9% of total)ival-exp: 297.0ms (1.8% of total)ival-sqrt: 176.0ms (1.1% of total)ival-neg: 165.0ms (1% of total)const: 120.0ms (0.7% of total)ival-cos: 93.0ms (0.6% of total)ival-hypot: 86.0ms (0.5% of total)ival-sin: 79.0ms (0.5% of total)ival-cbrt: 61.0ms (0.4% of total)ival-tan: 40.0ms (0.2% of total)ival-atan: 32.0ms (0.2% of total)ival-log: 21.0ms (0.1% of total)ival-pi: 5.0ms (0% of total)ival-e: 2.0ms (0% of total)Compiled 74607 to 39323 computations (47.3% saved)
Compiled 2941392 to 407432 computations (86.1% saved)
94 calls:
| 6.8s | t1 |
| 767.0ms | u |
| 705.0ms | x |
| 503.0ms | c |
| 451.0ms | b |
Compiled 4149 to 2587 computations (37.6% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 1169 | 2 |
+.f64 | #f | cancellation | 384 | 88 |
-.f64 | (-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)) | oflow-left | 216 | 0 |
sqrt.f64 | #f | oflow-rescue | 186 | 0 |
/.f64 | #f | o/o | 175 | 0 |
log.f64 | (log.f64 (+.f64 #s(literal 1 binary64) x)) | sensitivity | 174 | 0 |
/.f64 | #f | n/o | 154 | 0 |
pow.f64 | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | sensitivity | 117 | 0 |
-.f64 | #f | nan-rescue | 87 | 0 |
/.f64 | #f | u/n | 76 | 0 |
/.f64 | #f | o/n | 52 | 0 |
/.f64 | #f | n/u | 49 | 0 |
/.f64 | #f | u/u | 49 | 0 |
+.f64 | #f | nan-rescue | 47 | 0 |
*.f64 | #f | n*u | 41 | 0 |
*.f64 | #f | n*o | 25 | 0 |
pow.f64 | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | oflow-rescue | 15 | 0 |
| ↳ | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | overflow | 24 | |
| ↳ | (/.f64 i n) | overflow | 15 | |
| ↳ | (+.f64 #s(literal 1 binary64) (/.f64 i n)) | overflow | 15 | |
sqrt.f64 | #f | uflow-rescue | 6 | 0 |
exp.f64 | #f | sensitivity | 4 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 3480 | 467 |
| - | 94 | 6455 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 3480 | 147 | 320 |
| - | 94 | 200 | 6255 |
| number | freq |
|---|---|
| 0 | 6922 |
| 1 | 3146 |
| 2 | 384 |
| 3 | 44 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 28 | 1 | 1 |
| - | 2 | 0 | 9 |
| 2.3s | 16124× | 0 | valid |
| 1.5s | 3980× | 1 | valid |
| 1.2s | 1384× | 2 | valid |
| 18.0ms | 16× | 3 | valid |
Compiled 8505 to 1835 computations (78.4% saved)
ival-mult: 657.0ms (26.7% of total)backward-pass: 343.0ms (13.9% of total)ival-pow: 277.0ms (11.2% of total)ival-div: 267.0ms (10.8% of total)ival-add: 256.0ms (10.4% of total)ival-sub: 182.0ms (7.4% of total)ival-log: 102.0ms (4.1% of total)ival-sin: 97.0ms (3.9% of total)ival-exp: 52.0ms (2.1% of total)...c/correct-round.rkt:121:19: 51.0ms (2.1% of total)const: 46.0ms (1.9% of total)ival-cos: 34.0ms (1.4% of total)ival-sqrt: 30.0ms (1.2% of total)ival-neg: 27.0ms (1.1% of total)ival-pi: 19.0ms (0.8% of total)ival-fma: 15.0ms (0.6% of total)ival-atan: 5.0ms (0.2% of total)ival-tan: 4.0ms (0.2% of total)| 42× | egg-herbie |
| 18568× | fma-define |
| 18480× | fma-neg |
| 9939× | unsub-neg |
| 9280× | sub-neg |
| 7631× | distribute-rgt-in |
| 20× | saturated |
| 22× | node limit |
Compiled 18640 to 7012 computations (62.4% saved)
| 249× | binary-search |
| 17× | left-value |
| 10× | predicate-same |
| 239× | narrow-enough |
| 3.7s | 25631× | 0 | valid |
| 1.5s | 4963× | 1 | valid |
| 254.0ms | 2229× | 0 | invalid |
| 180.0ms | 286× | 2 | valid |
| 11.0ms | 86× | 0 | unsamplable |
Compiled 56911 to 38087 computations (33.1% saved)
ival-mult: 1.4s (32.1% of total)ival-pow: 733.0ms (17.2% of total)ival-div: 718.0ms (16.9% of total)ival-sub: 535.0ms (12.6% of total)ival-add: 479.0ms (11.2% of total)ival-exp: 118.0ms (2.8% of total)backward-pass: 101.0ms (2.4% of total)ival-neg: 72.0ms (1.7% of total)ival-sqrt: 70.0ms (1.6% of total)const: 56.0ms (1.3% of total)ival-log: 9.0ms (0.2% of total)...c/correct-round.rkt:121:19: 4.0ms (0.1% of total)7164 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 325.0ms | r | @ | inf | (neg (* r w)) |
| 255.0ms | r | @ | 0 | (* (* 1/8 (+ 3 (* -2 v))) (* (* r w) (* w (/ r (- 1 v))))) |
| 209.0ms | t | @ | inf | (sqrt (+ (* 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t) -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) |
| 176.0ms | x | @ | -inf | (+ 1 (* (pow x 2) 19/2)) |
| 147.0ms | x | @ | 0 | (+ x -1) |
| 43× | search |
| 2× | random |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 54.5% | 45.5% | 0% | 0% | 0% | 0 |
| 21.4% | 11.7% | 42.9% | 45.5% | 0% | 0% | 0% | 1 |
| 35.2% | 19.2% | 35.3% | 45.5% | 0% | 0% | 0% | 2 |
| 47.6% | 25.7% | 28.3% | 45.5% | 0% | 0.6% | 0% | 3 |
| 57.1% | 30.5% | 22.8% | 45.5% | 0% | 1.2% | 0% | 4 |
| 70.9% | 37.5% | 15.4% | 45.6% | 0% | 1.5% | 0% | 5 |
| 72.8% | 38.4% | 14.4% | 45.6% | 0% | 1.7% | 0% | 6 |
| 77.8% | 40.7% | 11.6% | 45.6% | 0% | 2% | 0% | 7 |
| 81.4% | 42.5% | 9.7% | 45.7% | 0% | 2.1% | 0% | 8 |
| 84.1% | 43.8% | 8.3% | 45.7% | 0% | 2.2% | 0% | 9 |
| 86.2% | 44.6% | 7.2% | 45.7% | 0% | 2.5% | 0% | 10 |
| 88.2% | 45.6% | 6.1% | 45.7% | 0% | 2.5% | 0.1% | 11 |
| 89.1% | 45.9% | 5.6% | 45.7% | 0% | 2.6% | 0.1% | 12 |
Compiled 1441 to 688 computations (52.3% saved)
ival-mult: 924.0ms (21.7% of total)ival-pow: 791.0ms (18.6% of total)ival-sqrt: 494.0ms (11.6% of total)ival-div: 377.0ms (8.9% of total)ival-add: 324.0ms (7.6% of total)ival-sub: 310.0ms (7.3% of total)ival-<=: 285.0ms (6.7% of total)...c/correct-round.rkt:121:19: 230.0ms (5.4% of total)ival-exp: 152.0ms (3.6% of total)ival-==: 100.0ms (2.3% of total)ival-if: 70.0ms (1.6% of total)ival-fabs: 54.0ms (1.3% of total)const: 44.0ms (1% of total)ival-and: 29.0ms (0.7% of total)ival-neg: 28.0ms (0.7% of total)ival-<: 26.0ms (0.6% of total)backward-pass: 7.0ms (0.2% of total)ival-pi: 4.0ms (0.1% of total)ival-cos: 2.0ms (0% of total)ival-sin: 2.0ms (0% of total)ival-atan: 0.0ms (0% of total)ival-tan: 0.0ms (0% of total)ival-fma: 0.0ms (0% of total)ival-log: 0.0ms (0% of total)Loading profile data...