Herbie run
| Date: | Thursday, August 22nd, 2024 |
|---|---|
| Commit: | efa1c98c on faster-localize |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024235 |
| 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: 5.9min)
| 30.6s | 285 460× | 0 | valid |
| 11.9s | 43 960× | 1 | valid |
| 8.0s | 16 939× | 2 | valid |
| 370.0ms | 4 216× | 0 | invalid |
| 188.0ms | 393× | 3 | valid |
| 128.0ms | 1 005× | 0 | exit |
| 114.0ms | 101× | 3 | exit |
| 58.0ms | 101× | 4 | exit |
| 9.0ms | 49× | 1 | exit |
ival-mult: 8.4s (21.1% of total)ival-add: 5.2s (13.1% of total)ival-pow: 3.8s (9.6% of total)ival-div: 3.6s (9% of total)const: 3.0s (7.5% of total)ival-sub: 2.8s (7% of total)ival-<=: 2.5s (6.4% of total)adjust: 2.5s (6.3% of total)ival-sin: 2.2s (5.7% of total)ival-cos: 2.0s (5.1% of total)ival-sqrt: 615.0ms (1.6% of total)ival-exp: 575.0ms (1.5% of total)exact: 424.0ms (1.1% of total)ival-neg: 404.0ms (1% of total)ival-and: 359.0ms (0.9% of total)ival-pow2: 268.0ms (0.7% of total)ival-==: 199.0ms (0.5% of total)ival-assert: 147.0ms (0.4% of total)ival-true: 142.0ms (0.4% of total)ival-tan: 100.0ms (0.3% of total)ival-atan: 83.0ms (0.2% of total)ival-<: 79.0ms (0.2% of total)ival-log1p: 77.0ms (0.2% of total)ival-expm1: 71.0ms (0.2% of total)ival-pi: 55.0ms (0.1% of total)ival-hypot: 38.0ms (0.1% of total)ival-fabs: 4.0ms (0% of total)ival-if: 4.0ms (0% of total)Compiled 86 234 to 40 169 computations (53.4% saved)
| 332× | egg-herbie |
| 2 767 008× | lower-fma.f32 |
| 2 766 384× | lower-fma.f64 |
| 923 076× | lower-*.f32 |
| 921 630× | lower-*.f64 |
| 590 944× | lower-+.f32 |
| 421× | iter limit |
| 219× | node limit |
| 127× | saturated |
| 1 528 014× | lower-fma.f32 |
| 1 527 726× | lower-fma.f64 |
| 751 784× | lower-*.f32 |
| 750 914× | lower-*.f64 |
| 410 968× | lower-+.f32 |
| 252× | iter limit |
| 165× | node limit |
| 23× | fuel |
| 19× | done |
| 9× | saturated |
| 1× | unsound |
Compiled 20 928 to 7 882 computations (62.3% saved)
| 798 472× | lower-fma.f32 |
| 797 846× | lower-fma.f64 |
| 608 250× | lower-*.f32 |
| 606 824× | lower-*.f64 |
| 525 290× | lower-/.f32 |
| 286× | iter limit |
| 139× | node limit |
| 13× | saturated |
| 1× | unsound |
Compiled 4 655 730 to 316 536 computations (93.2% saved)
| 7.7s | 27 845× | 0 | valid |
| 5.0s | 5 870× | 1 | valid |
| 3.7s | 3 045× | 2 | valid |
| 114.0ms | 173× | 0 | invalid |
| 95.0ms | 50× | 3 | valid |
| 58.0ms | 24× | 5 | exit |
| 56.0ms | 58× | 1 | exit |
| 31.0ms | 55× | 0 | exit |
Compiled 34 143 to 4 138 computations (87.9% saved)
ival-mult: 4.2s (33% of total)ival-div: 1.9s (15.1% of total)ival-add: 1.5s (11.4% of total)adjust: 1.2s (9.6% of total)ival-sub: 892.0ms (7% of total)const: 711.0ms (5.6% of total)ival-pow: 661.0ms (5.2% of total)ival-exp: 477.0ms (3.7% of total)ival-cos: 338.0ms (2.6% of total)ival-sin: 287.0ms (2.2% of total)ival-neg: 186.0ms (1.5% of total)ival-sqrt: 162.0ms (1.3% of total)ival-log1p: 68.0ms (0.5% of total)exact: 56.0ms (0.4% of total)ival-true: 29.0ms (0.2% of total)ival-expm1: 23.0ms (0.2% of total)ival-pow2: 21.0ms (0.2% of total)ival-assert: 16.0ms (0.1% of total)ival-atan: 11.0ms (0.1% of total)ival-tan: 8.0ms (0.1% of total)ival-log: 4.0ms (0% of total)ival-pi: 4.0ms (0% of total)| 42× | egg-herbie |
| 284 538× | lower-fma.f32 |
| 284 536× | lower-fma.f64 |
| 55 266× | lower-*.f32 |
| 55 078× | lower-*.f64 |
| 37 652× | lower-+.f32 |
| 82× | iter limit |
| 54× | saturated |
| 32× | node limit |
Compiled 27 279 to 7 440 computations (72.7% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 1400 | 1 |
+.f64 | #f | cancellation | 378 | 78 |
-.f64 | (-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)) | oflow-left | 218 | 0 |
sqrt.f64 | #f | oflow-rescue | 202 | 0 |
log.f64 | (log.f64 (+.f64 #s(literal 1 binary64) x)) | sensitivity | 178 | 0 |
/.f64 | #f | o/o | 167 | 0 |
/.f64 | #f | n/o | 151 | 0 |
pow.f64 | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | sensitivity | 118 | 1 |
-.f64 | #f | nan-rescue | 105 | 0 |
/.f64 | #f | u/n | 75 | 0 |
+.f64 | #f | nan-rescue | 48 | 0 |
/.f64 | #f | u/u | 45 | 0 |
*.f64 | #f | n*u | 45 | 0 |
/.f64 | #f | n/u | 42 | 0 |
/.f64 | #f | o/n | 41 | 0 |
*.f64 | #f | n*o | 24 | 0 |
pow.f64 | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | oflow-rescue | 20 | 0 |
| ↳ | (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) | overflow | 27 | |
| ↳ | (/.f64 i n) | overflow | 20 | |
| ↳ | (+.f64 #s(literal 1 binary64) (/.f64 i n)) | overflow | 20 | |
sqrt.f64 | #f | uflow-rescue | 10 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 3962 | 242 |
| - | 112 | 6436 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 3962 | 156 | 86 |
| - | 112 | 180 | 6256 |
| number | freq |
|---|---|
| 0 | 6678 |
| 1 | 3637 |
| 2 | 406 |
| 3 | 31 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 31 | 1 | 0 |
| - | 2 | 0 | 8 |
| 1.5s | 16 276× | 0 | valid |
| 1.1s | 3 788× | 1 | valid |
| 794.0ms | 1 422× | 2 | valid |
| 11.0ms | 18× | 3 | valid |
Compiled 7 615 to 1 486 computations (80.5% saved)
ival-mult: 529.0ms (25.8% of total)ival-add: 307.0ms (15% of total)ival-div: 210.0ms (10.3% of total)adjust: 199.0ms (9.7% of total)ival-sub: 193.0ms (9.4% of total)ival-pow: 187.0ms (9.1% of total)ival-sin: 148.0ms (7.2% of total)ival-cos: 78.0ms (3.8% of total)const: 39.0ms (1.9% of total)ival-exp: 30.0ms (1.5% of total)ival-sqrt: 22.0ms (1.1% of total)ival-neg: 20.0ms (1% of total)ival-true: 19.0ms (0.9% of total)exact: 18.0ms (0.9% of total)ival-pow2: 16.0ms (0.8% of total)ival-assert: 10.0ms (0.5% of total)ival-expm1: 6.0ms (0.3% of total)ival-atan: 5.0ms (0.2% of total)ival-log1p: 5.0ms (0.2% of total)ival-tan: 4.0ms (0.2% of total)ival-pi: 2.0ms (0.1% of total)96 calls:
| 1.0s | x |
| 476.0ms | b |
| 332.0ms | (*.f64 (cos.f64 x) (exp.f64 (*.f64 #s(literal 10 binary64) (*.f64 x x)))) |
| 264.0ms | a |
| 255.0ms | d |
Compiled 11 837 to 6 201 computations (47.6% saved)
834 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 276.0ms | x | @ | 0 | ((+ (* (/ x y) 1/2) (+ (+ (* 1335/4 (pow y 6)) (* (* x x) (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* 121 (pow y 4))) 2))) (* 11/2 (pow y 8)))) (/ x y) (+ (+ (* 1335/4 (pow y 6)) (* (* x x) (- (- (- (* (* (* (* 11 x) x) y) y) (pow y 6)) (* 121 (pow y 4))) 2))) (* 11/2 (pow y 8))) (* -2 (* x x)) (* x x)) |
| 171.0ms | x | @ | inf | ((/ (- x (sin x)) (tan x)) (* (* (+ (* (+ (* (+ (* -143/604800 (* x x)) -11/15120) (* x x)) -23/360) (* x x)) 1/6) x) x) (* (+ (* (+ (* (+ (* -143/604800 (* x x)) -11/15120) (* x x)) -23/360) (* x x)) 1/6) x) (+ (* (+ (* (+ (* -143/604800 (* x x)) -11/15120) (* x x)) -23/360) (* x x)) 1/6) (/ (- x (sin x)) (tan x)) (* (* x x) 1/6) (* x x) (/ (- x (sin x)) (tan x)) (* (* (+ (* (+ (* -11/15120 (* x x)) -23/360) (* x x)) 1/6) x) x) (* (+ (* (+ (* -11/15120 (* x x)) -23/360) (* x x)) 1/6) x) (+ (* (+ (* -11/15120 (* x x)) -23/360) (* x x)) 1/6) (/ (- x (sin x)) (tan x)) (- x (sin x)) (* (* (+ (* -1/120 (* x x)) 1/6) x) (* x x)) (* (+ (* -1/120 (* x x)) 1/6) x) (/ (- x (sin x)) (tan x)) (- x (sin x)) (* (* (* (+ (* (+ (* (+ (* -1/362880 (* x x)) 1/5040) (* x x)) -1/120) (* x x)) 1/6) x) x) x) (* (* (+ (* (+ (* (+ (* -1/362880 (* x x)) 1/5040) (* x x)) -1/120) (* x x)) 1/6) x) x) (+ (* -143/604800 (* x x)) -11/15120) (* (+ (* (+ (* (+ (* -1/362880 (* x x)) 1/5040) (* x x)) -1/120) (* x x)) 1/6) x)) |
| 170.0ms | eps | @ | inf | ((+ (* (+ (* (* (+ x eps) eps) (* 10 eps)) (* (* (* x 5) x) eps)) x) (* (* 5 (* eps eps)) (* eps eps))) (+ (* (* (+ x eps) eps) (* 10 eps)) (* (* (* x 5) x) eps)) (- (pow (+ x eps) 5) (pow x 5)) (* (+ (* 5 (pow x 4)) (* (+ (* (+ (* 10 (* x x)) (* (* 5 x) eps)) eps) (* (* (* x x) x) 10)) eps)) eps) (- (pow (+ x eps) 5) (pow x 5)) (* (* (+ (* (* eps 10) (/ eps x)) (* 5 eps)) (* x x)) (* x x)) (* (+ (* (* eps 10) (/ eps x)) (* 5 eps)) (* x x)) (* (* (* eps eps) x) 10) (- (pow (+ x eps) 5) (pow x 5)) (* (* (* (* eps x) 5) x) (* x x)) (* (* (* eps x) 5) x) (* (* eps x) 5) (+ (* 5 (* (* x x) (* x x))) (* (* (* (* x x) x) 10) eps)) (- (pow (+ x eps) 5) (pow x 5)) (* (+ (* 5 (* (* x x) (* x x))) (* (* (* (* x x) x) 10) eps)) eps) (* (* x x) (* x x)) (+ (* (+ (* (* x x) 10) (* eps (* 5 x))) eps) (* (* (* x x) x) 10)) (+ (* (* (* (* x x) x) x) 5) (* (+ (* (+ (* (* x x) 10) (* eps (* 5 x))) eps) (* (* (* x x) x) 10)) eps)) (+ (* (* x x) 10) (* eps (* 5 x))) (- (pow (+ x eps) 5) (pow x 5)) (* 5 (* eps eps)) (* (* x 5) x) (* (* eps eps) x) (* (* (* x x) x) 10) (* (* x x) x) (* eps (* 5 x))) |
| 82.0ms | c | @ | inf | ((* 2 a) (/ (- (neg b) (sqrt (+ (* (* -4 c) a) (* b b)))) (* 2 a)) (- (neg b) (sqrt (+ (* (* -4 c) a) (* b b)))) (neg b) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ c (neg b)) (/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (/ (- (neg (sqrt (+ (* -4 (* c a)) (* b b)))) b) (* 2 a)) (- (neg (sqrt (+ (* -4 (* c a)) (* b b)))) b) (neg (sqrt (+ (* -4 (* c a)) (* b b)))) (+ (* b b) (+ (* (* c a) 4) (* b b))) (* (- b (sqrt (+ (* -4 (* c a)) (* b b)))) (* -2 a)) (/ (+ (* b b) (+ (* (* c a) 4) (* b b))) (* (- b (sqrt (+ (* -4 (* c a)) (* b b)))) (* -2 a))) (+ (* (* c a) 4) (* b b)) (sqrt (+ (* (* -4 c) a) (* b b))) (+ (* (* -4 c) a) (* b b)) (sqrt (- (* b b) (* 4 (* a c)))) (- (* b b) (* 4 (* a c))) (sqrt (+ (* -4 (* c a)) (* b b))) (+ (* -4 (* c a)) (* b b)) (- b (sqrt (+ (* -4 (* c a)) (* b b))))) |
| 59.0ms | t1 | @ | 0 | ((/ (* (neg v) (/ t1 (+ u t1))) (+ u t1)) (* (neg v) (/ t1 (+ u t1))) (neg v) (/ t1 (+ u t1)) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/ (neg v) t1) (* (/ (neg t1) (* (+ u t1) (+ u t1))) v) (/ (neg t1) (* (+ u t1) (+ u t1))) (neg t1) (* (+ u t1) (+ u t1)) (+ (* (* u (/ v t1)) 2) (neg v)) (/ (* (neg t1) v) (* (+ t1 u) (+ t1 u))) (/ (+ (* (* u (/ v t1)) 2) (neg v)) t1) (* u (/ v t1)) (* (/ -1 (+ u t1)) (* v (/ t1 (+ u t1)))) (/ -1 (+ u t1)) (+ u t1) (* v (/ t1 (+ u t1)))) |
| 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 |
| 37.4% | 20.4% | 34.1% | 45.5% | 0% | 0% | 0% | 2 |
| 48.7% | 26.2% | 27.7% | 45.5% | 0% | 0.6% | 0% | 3 |
| 57.7% | 30.7% | 22.6% | 45.5% | 0% | 1.2% | 0% | 4 |
| 71.2% | 37.7% | 15.3% | 45.5% | 0% | 1.6% | 0% | 5 |
| 72.9% | 38.4% | 14.3% | 45.5% | 0% | 1.8% | 0% | 6 |
| 77.9% | 40.7% | 11.6% | 45.5% | 0% | 2.2% | 0% | 7 |
| 81.5% | 42.6% | 9.7% | 45.5% | 0% | 2.3% | 0% | 8 |
| 84.1% | 43.8% | 8.3% | 45.5% | 0% | 2.5% | 0% | 9 |
| 86.2% | 44.6% | 7.2% | 45.5% | 0% | 2.7% | 0% | 10 |
| 88.2% | 45.6% | 6.1% | 45.5% | 0% | 2.8% | 0% | 11 |
| 89.1% | 45.9% | 5.6% | 45.5% | 0% | 2.9% | 0% | 12 |
Compiled 1 402 to 721 computations (48.6% saved)
| 175× | binary-search |
| 87× | left-value |
| 160× | narrow-enough |
| 14× | predicate-same |
| 1× | predicate-failed |
| 1.2s | 9 121× | 0 | valid |
| 324.0ms | 1 459× | 1 | valid |
| 175.0ms | 367× | 2 | valid |
| 56.0ms | 946× | 0 | invalid |
| 21.0ms | 29× | 3 | valid |
| 1.0ms | 8× | 1 | exit |
Compiled 45 189 to 26 168 computations (42.1% saved)
ival-mult: 596.0ms (42.3% of total)ival-pow: 209.0ms (14.8% of total)ival-div: 179.0ms (12.7% of total)ival-add: 173.0ms (12.3% of total)ival-sub: 109.0ms (7.7% of total)adjust: 50.0ms (3.5% of total)ival-neg: 33.0ms (2.3% of total)ival-exp: 20.0ms (1.4% of total)ival-sqrt: 14.0ms (1% of total)exact: 11.0ms (0.8% of total)ival-true: 9.0ms (0.6% of total)ival-assert: 5.0ms (0.4% of total)ival-pi: 1.0ms (0.1% of total)ival-expm1: 0.0ms (0% of total)Loading profile data...