Herbie run
| Date: | Wednesday, October 2nd, 2024 |
|---|---|
| Commit: | e7d6e0c5 on bhargav-log-space |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024276 |
| 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: 43.6min)
| 11.6min | 2 145 609× | 0 | valid |
| 27.8s | 64 007× | 0 | invalid |
| 20.8s | 67 296× | 1 | valid |
| 2.3s | 1 237× | 5 | exit |
| 1.1s | 5 662× | 2 | valid |
| 523.0ms | 1 647× | 1 | invalid |
| 229.0ms | 396× | 4 | exit |
| 169.0ms | 639× | 3 | valid |
| 3.0ms | 26× | 1 | exit |
| 1.0ms | 3× | 4 | valid |
ival-mult: 1.8min (31% of total)ival-sub: 1.5min (25.4% of total)ival-div: 54.0s (15.5% of total)ival-add: 29.9s (8.6% of total)ival-hypot: 14.4s (4.1% of total)ival-sqrt: 12.5s (3.6% of total)ival-exp: 12.1s (3.5% of total)ival-log: 10.5s (3% of total)const: 5.6s (1.6% of total)ival-sin: 3.2s (0.9% of total)adjust: 2.7s (0.8% of total)ival-cos: 2.1s (0.6% of total)ival-true: 1.7s (0.5% of total)exact: 1.0s (0.3% of total)ival-assert: 932.0ms (0.3% of total)ival-sinh: 335.0ms (0.1% of total)ival-cosh: 233.0ms (0.1% of total)ival-fabs: 189.0ms (0.1% of total)ival-tan: 170.0ms (0% of total)ival-acos: 157.0ms (0% of total)ival-tanh: 89.0ms (0% of total)| 1 340× | iter limit |
| 627× | node limit |
| 17× | saturated |
| 15× | unsound |
| 1 500× | egg-herbie |
| 1 943× | iter limit |
| 825× | node limit |
| 690× | saturated |
| 904× | iter limit |
| 605× | node limit |
| 101× | done |
| 93× | fuel |
| 22× | saturated |
| 3× | unsound |
Compiled 84 445 to 48 882 computations (42.1% saved)
Compiled 13 603 207 to 1 177 644 computations (91.3% saved)
351 calls:
| 32.3s | (+.f64 (+.f64 x (sin.f64 y)) (*.f64 z (cos.f64 y))) |
| 13.6s | x |
| 12.5s | z |
| 11.1s | y |
| 2.7s | t |
Compiled 24 150 to 36 806 computations (-52.4% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
+.f64 | #f | nan-rescue | 1281 | 0 |
log.f64 | #f | sensitivity | 1194 | 1 |
-.f64 | #f | cancellation | 610 | 4 |
sqrt.f64 | #f | oflow-rescue | 543 | 0 |
*.f64 | #f | n*o | 420 | 0 |
/.f64 | #f | n/o | 224 | 0 |
+.f64 | #f | cancellation | 223 | 2 |
/.f64 | #f | o/o | 124 | 0 |
/.f64 | #f | n/u | 100 | 0 |
log.f64 | #f | oflow-rescue | 98 | 0 |
-.f64 | #f | oflow-left | 53 | 0 |
*.f64 | #f | n*u | 46 | 0 |
sqrt.f64 | #f | uflow-rescue | 45 | 0 |
log.f64 | #f | uflow-rescue | 40 | 0 |
-.f64 | (-.f64 (+.f64 (-.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)) | oflow-right | 25 | 0 |
/.f64 | (/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) y))) | u/u | 19 | 0 |
| ↳ | (*.f64 (*.f64 y #s(literal 4 binary64)) y) | underflow | 62 | |
| ↳ | (-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) y)) | underflow | 19 | |
| ↳ | (*.f64 x x) | underflow | 48 | |
| ↳ | (*.f64 (*.f64 y #s(literal 4 binary64)) y) | underflow | 62 | |
| ↳ | (+.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) y)) | underflow | 19 | |
| ↳ | (*.f64 x x) | underflow | 48 | |
exp.f64 | #f | sensitivity | 3 | 0 |
+.f64 | #f | oflow-left | 2 | 0 |
*.f64 | #f | o*u | 2 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 2872 | 266 |
| - | 1539 | 46267 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 2872 | 3 | 263 |
| - | 1539 | 5 | 46262 |
| number | freq |
|---|---|
| 0 | 46533 |
| 1 | 3908 |
| 2 | 373 |
| 3 | 122 |
| 4 | 8 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 71 | 1 | 5 |
| - | 4 | 0 | 118 |
| 28.9s | 97 562× | 0 | valid |
| 1.2s | 4 008× | 1 | valid |
| 467.0ms | 884× | 2 | valid |
| 24.0ms | 87× | 3 | valid |
| 1.0ms | 4× | 5 | exit |
Compiled 45 289 to 17 261 computations (61.9% saved)
ival-add: 6.9s (41.3% of total)ival-mult: 4.6s (27.6% of total)ival-sub: 3.1s (18.7% of total)ival-log: 744.0ms (4.4% of total)ival-div: 363.0ms (2.2% of total)adjust: 180.0ms (1.1% of total)ival-sqrt: 155.0ms (0.9% of total)const: 153.0ms (0.9% of total)ival-sin: 138.0ms (0.8% of total)ival-cos: 93.0ms (0.6% of total)ival-true: 92.0ms (0.5% of total)ival-exp: 63.0ms (0.4% of total)exact: 48.0ms (0.3% of total)ival-assert: 46.0ms (0.3% of total)ival-hypot: 9.0ms (0.1% of total)ival-tan: 0.0ms (0% of total)| 55.6s | 154 869× | 0 | valid |
| 6.2s | 6 568× | 1 | valid |
| 2.0s | 1 802× | 2 | valid |
| 1.3s | 3 304× | 0 | invalid |
| 147.0ms | 165× | 3 | valid |
| 106.0ms | 126× | 5 | exit |
| 11.0ms | 12× | 4 | valid |
| 10.0ms | 66× | 0 | exit |
Compiled 147 492 to 25 718 computations (82.6% saved)
ival-mult: 14.3s (32.1% of total)ival-sub: 7.2s (16.2% of total)ival-hypot: 4.4s (9.8% of total)ival-add: 4.0s (9.1% of total)ival-div: 3.8s (8.6% of total)ival-pow: 3.8s (8.5% of total)adjust: 1.7s (3.7% of total)ival-log: 1.6s (3.7% of total)const: 1.2s (2.6% of total)ival-sqrt: 541.0ms (1.2% of total)ival-neg: 471.0ms (1.1% of total)ival-log1p: 262.0ms (0.6% of total)ival-sin: 244.0ms (0.5% of total)ival-cos: 227.0ms (0.5% of total)exact: 182.0ms (0.4% of total)ival-exp: 178.0ms (0.4% of total)ival-pow2: 154.0ms (0.3% of total)ival-true: 147.0ms (0.3% of total)ival-assert: 80.0ms (0.2% of total)ival-expm1: 27.0ms (0.1% of total)5751 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 4.5s | z | @ | -inf | ((/ x (- y (* z t))) (- y (* z t)) (* z t)) |
| 339.0ms | x | @ | 0 | ((+ (+ (* (log y) x) (+ (+ t z) (+ (* (log c) (- b 1/2)) a))) (* y i)) (+ (* (log y) x) (+ (+ t z) (+ (* (log c) (- b 1/2)) a))) (log y) (+ (+ t z) (+ (* (log c) (- b 1/2)) a)) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (* y i) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* (log y) x) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (/ (* (+ (* b b) -1/4) (log c)) (+ 1/2 b))) (* y i)) (+ (+ (+ (+ (* x (log y)) z) t) a) (/ (* (+ (* b b) -1/4) (log c)) (+ 1/2 b))) (+ (* x (log y)) z) (+ (+ (+ (* x (log y)) z) t) a) (* (+ (+ (+ (+ (* (/ (log c) x) (- b 1/2)) (/ z x)) (/ t x)) (/ a x)) (log y)) x) (+ (+ (+ (* (/ (log c) x) (- b 1/2)) (/ z x)) (/ t x)) (/ a x)) (+ (* (/ (log c) x) (- b 1/2)) (/ z x)) (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 1/2) (log c))) (* y i)) (+ (* (log c) (- b 1/2)) a) (/ (* (+ (* b b) -1/4) (log c)) (+ 1/2 b)) (* x (log y)) (* (+ (* b b) -1/4) (log c)) (/ (log c) x)) |
| 233.0ms | t | @ | -inf | ((+ (- (+ (log (+ x y)) (log z)) t) (* (- a 1/2) (log t))) (- (+ (log (+ x y)) (log z)) t) (+ (log (+ x y)) (log z)) (log (+ x y)) (* (- a 1/2) (log t))) |
| 229.0ms | y | @ | 0 | ((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y)) |
| 216.0ms | y | @ | -inf | ((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y)) |
| 199× | egg-herbie |
| 398× | iter limit |
| 322× | saturated |
| 76× | node limit |
Compiled 107 348 to 34 190 computations (68.2% saved)
Compiled 225 984 to 157 466 computations (30.3% saved)
| 269× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 46.8% | 46.8% | 53.1% | 0.1% | 0% | 0% | 0% | 1 |
| 50.5% | 50.1% | 49.2% | 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 3 462 to 2 977 computations (14% saved)
| 1 013× | binary-search |
| 851× | left-value |
| 1 001× | narrow-enough |
| 12× | predicate-same |
| 37.6s | 88 758× | 0 | valid |
| 1.1s | 2 265× | 1 | valid |
| 173.0ms | 2 586× | 0 | invalid |
| 38.0ms | 118× | 1 | invalid |
| 6.0ms | 40× | 2 | valid |
| 2.0ms | 9× | 3 | valid |
Compiled 186 944 to 218 924 computations (-17.1% saved)
ival-sin: 18.8s (57.8% of total)ival-mult: 5.2s (16% of total)ival-cos: 4.1s (12.7% of total)ival-sub: 1.8s (5.5% of total)ival-add: 996.0ms (3.1% of total)ival-log: 765.0ms (2.4% of total)ival-div: 335.0ms (1% of total)adjust: 106.0ms (0.3% of total)ival-exp: 94.0ms (0.3% of total)ival-sqrt: 87.0ms (0.3% of total)ival-true: 82.0ms (0.3% of total)ival-assert: 48.0ms (0.1% of total)exact: 46.0ms (0.1% of total)const: 43.0ms (0.1% of total)Loading profile data...