Herbie run
| Date: | Thursday, October 31st, 2024 |
|---|---|
| Commit: | 946043fe on Original-Inv-Same-cost-model |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024305 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 2.4min)
| 12.6s | 43 493× | 1 | valid |
| 9.3s | 109 831× | 0 | valid |
| 8.8s | 6 354× | 5 | exit |
| 4.1s | 11 796× | 2 | valid |
| 1.0s | 10 276× | 1 | exit |
| 456.0ms | 3 949× | 0 | invalid |
| 112.0ms | 1 397× | 0 | exit |
ival-exp: 4.0s (13.7% of total)ival-pow: 3.3s (11.5% of total)adjust: 2.7s (9.4% of total)const: 2.6s (9.1% of total)ival-tan: 2.2s (7.5% of total)ival-cos: 2.1s (7.2% of total)ival-mult: 2.0s (7% of total)ival-log: 1.3s (4.6% of total)ival-sqrt: 1.1s (4% of total)ival-sin: 1.0s (3.6% of total)ival-sub: 931.0ms (3.2% of total)ival-fmod: 880.0ms (3% of total)ival-div: 804.0ms (2.8% of total)ival-add: 772.0ms (2.7% of total)ival-sinh: 682.0ms (2.4% of total)ival-<=: 618.0ms (2.1% of total)ival-pow2: 379.0ms (1.3% of total)ival-acos: 366.0ms (1.3% of total)ival-neg: 214.0ms (0.7% of total)ival-hypot: 204.0ms (0.7% of total)ival-==: 132.0ms (0.5% of total)ival-and: 113.0ms (0.4% of total)ival-true: 99.0ms (0.3% of total)exact: 79.0ms (0.3% of total)ival-assert: 72.0ms (0.2% of total)ival-<: 67.0ms (0.2% of total)ival-atan: 66.0ms (0.2% of total)ival-or: 37.0ms (0.1% of total)ival->=: 25.0ms (0.1% of total)ival->: 20.0ms (0.1% of total)| 166× | egg-herbie |
| 248× | iter limit |
| 135× | node limit |
| 18× | saturated |
| 16× | unsound |
| 139× | iter limit |
| 60× | node limit |
| 13× | fuel |
| 13× | unsound |
| 7× | done |
| 1× | saturated |
Compiled 7 637 to 3 806 computations (50.2% saved)
| 179× | iter limit |
| 57× | node limit |
| 15× | unsound |
| 3× | saturated |
| 5.2s | 5 482× | 1 | valid |
| 3.0s | 10 614× | 0 | valid |
| 2.1s | 1 542× | 2 | valid |
| 97.0ms | 315× | 0 | exit |
| 75.0ms | 204× | 1 | exit |
| 42.0ms | 528× | 0 | invalid |
| 14.0ms | 3× | 5 | exit |
Compiled 28 808 to 4 064 computations (85.9% saved)
ival-mult: 1.5s (20.6% of total)ival-add: 810.0ms (10.8% of total)adjust: 694.0ms (9.3% of total)ival-div: 630.0ms (8.4% of total)ival-sin: 478.0ms (6.4% of total)ival-cos: 459.0ms (6.1% of total)ival-pow: 435.0ms (5.8% of total)const: 416.0ms (5.6% of total)ival-tan: 398.0ms (5.3% of total)ival-sub: 344.0ms (4.6% of total)ival-log: 254.0ms (3.4% of total)ival-sqrt: 199.0ms (2.7% of total)ival-sinh: 166.0ms (2.2% of total)ival-pow2: 130.0ms (1.7% of total)ival-exp: 101.0ms (1.4% of total)ival-fmod: 77.0ms (1% of total)ival-neg: 61.0ms (0.8% of total)ival-acos: 59.0ms (0.8% of total)ival-hypot: 54.0ms (0.7% of total)ival-asin: 42.0ms (0.6% of total)ival-pi: 30.0ms (0.4% of total)exact: 22.0ms (0.3% of total)ival-true: 16.0ms (0.2% of total)ival-cosh: 15.0ms (0.2% of total)ival-cbrt: 12.0ms (0.2% of total)ival-log1p: 11.0ms (0.1% of total)ival-assert: 8.0ms (0.1% of total)ival-expm1: 6.0ms (0.1% of total)ival-atan: 3.0ms (0% of total)Compiled 1 586 971 to 169 891 computations (89.3% saved)
55 calls:
| 756.0ms | x |
| 703.0ms | a |
| 503.0ms | b |
| 384.0ms | (tan.f64 a) |
| 375.0ms | r |
Compiled 1 700 to 1 891 computations (-11.2% saved)
| 20× | egg-herbie |
| 38× | iter limit |
| 30× | node limit |
| 12× | saturated |
Compiled 7 781 to 3 086 computations (60.3% saved)
| 20× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 73.7% | 26.3% | 0% | 0% | 0% | 0 |
| 28.8% | 21.3% | 52.5% | 26.3% | 0% | 0% | 0% | 1 |
| 44.1% | 32.5% | 41.2% | 26.3% | 0% | 0% | 0% | 2 |
| 52.6% | 38.7% | 35% | 26.3% | 0% | 0% | 0% | 3 |
| 61.9% | 45.6% | 28.1% | 26.3% | 0% | 0% | 0% | 4 |
| 65.2% | 47.5% | 25.3% | 26.3% | 0% | 0.9% | 0% | 5 |
| 66.8% | 48.4% | 24% | 26.3% | 0% | 1.2% | 0% | 6 |
| 71.1% | 51.1% | 20.8% | 26.3% | 0% | 1.9% | 0% | 7 |
| 72.1% | 51.6% | 20% | 26.3% | 0% | 2.1% | 0% | 8 |
| 74.4% | 53% | 18.2% | 26.3% | 0% | 2.5% | 0% | 9 |
| 75.8% | 53.9% | 17.2% | 26.3% | 0% | 2.6% | 0% | 10 |
| 76.6% | 54.3% | 16.6% | 26.3% | 0% | 2.8% | 0% | 11 |
| 77.3% | 54.8% | 16.1% | 26.3% | 0% | 2.9% | 0% | 12 |
Compiled 279 to 216 computations (22.6% saved)
Compiled 103 840 to 53 830 computations (48.2% saved)
405 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 153.0ms | l | @ | -inf | ((/ 1 (/ (exp w) (pow l (exp w)))) (/ (exp w) (pow l (exp w))) (exp w) (pow l (exp w)) (* (exp (neg w)) (pow l (exp w))) (+ (* (+ (* (log l) l) (neg l)) w) l) (+ (* (log l) l) (neg l)) (log l) (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (neg w) (pow l (exp w)) (/ (exp (neg w)) (exp (* (neg (log l)) (exp w)))) (exp (* (neg (log l)) (exp w))) (* (exp (neg w)) (pow (pow (pow l (exp w)) 1/4) 4)) (pow (pow (pow l (exp w)) 1/4) 4) (exp w) (* (neg (log l)) (exp w)) (pow (pow l (exp w)) 1/4)) |
| 114.0ms | l | @ | 0 | ((/ 1 (/ (exp w) (pow l (exp w)))) (/ (exp w) (pow l (exp w))) (exp w) (pow l (exp w)) (* (exp (neg w)) (pow l (exp w))) (+ (* (+ (* (log l) l) (neg l)) w) l) (+ (* (log l) l) (neg l)) (log l) (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (neg w) (pow l (exp w)) (/ (exp (neg w)) (exp (* (neg (log l)) (exp w)))) (exp (* (neg (log l)) (exp w))) (* (exp (neg w)) (pow (pow (pow l (exp w)) 1/4) 4)) (pow (pow (pow l (exp w)) 1/4) 4) (exp w) (* (neg (log l)) (exp w)) (pow (pow l (exp w)) 1/4)) |
| 98.0ms | x | @ | 0 | ((+ (* (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x)) (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x))) (* -1/6 (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x)))) (- -1/216 (pow (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x)) 3)) (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (+ 1/36 (+ (* (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x)) (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x))) (* -1/6 (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x))))) (* (* -1/6 (* x x)) x) (- (sin x) x) (* -1/6 (* x x)) (* x x) (* (* (+ (* 1/120 (* x x)) -1/6) (* x x)) x) (- (sin x) x) (* (+ (* 1/120 (* x x)) -1/6) (* x x)) (+ (* 1/120 (* x x)) -1/6) (* (* (+ (* (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120) (* x x)) -1/6) (* x x)) x) (- (sin x) x) (* (+ (* (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120) (* x x)) -1/6) (* x x)) (+ (* (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120) (* x x)) -1/6) (- (sin x) x) (* (pow (pow x 4) 3/4) -1/6) (pow (pow x 4) 3/4) (pow x 4) (- (sin x) x) (* -1/6 (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x))) (* (/ (- -1/216 (pow (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x)) 3)) (+ 1/36 (+ (* (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x)) (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x))) (* -1/6 (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x)))))) (pow x 3)) (* (neg (+ (* (+ (* (* x x) 1/362880) -1/5040) (* x x)) 1/120)) (* x x))) |
| 89.0ms | lo | @ | inf | ((/ (* (/ (/ (- lo x) lo) lo) hi) lo) (/ (- x lo) (- hi lo)) (+ (* (- (/ (+ (* (- (/ 1 lo) (/ (/ x lo) lo)) hi) 1) lo) (/ (/ x lo) lo)) hi) (- 1 (/ x lo))) (* (/ (* (/ (/ (- lo x) lo) lo) hi) lo) hi) (/ (- x lo) (- hi lo)) (/ (- x lo) hi) (- x lo) (neg lo) (/ (- x lo) (- hi lo)) (/ (+ (* (/ (- x lo) hi) lo) (- x lo)) hi) (* (/ (- x lo) hi) (/ (+ hi lo) hi)) (/ (- x lo) hi) (/ (+ (* (* (/ x hi) lo) (/ hi (- x lo))) (* hi 1)) (* hi (/ hi (- x lo)))) (+ (* (* (/ x hi) lo) (/ hi (- x lo))) (* hi 1)) (* hi 1) (/ (- x lo) (- hi lo)) (+ (/ x hi) (/ lo hi)) (/ (- x lo) (- hi lo)) (/ (- (pow (/ hi x) -2) (pow (/ lo hi) 2)) (+ (/ x hi) (/ lo hi))) (- (pow (/ hi x) -2) (pow (/ lo hi) 2)) (* (/ (/ (- lo x) lo) lo) hi) (* (/ x hi) lo) (* hi (/ hi (- x lo))) (pow (/ lo hi) 2) (pow (/ hi x) -2)) |
| 83.0ms | w | @ | -inf | ((/ 1 (/ (exp w) (pow l (exp w)))) (/ (exp w) (pow l (exp w))) (exp w) (pow l (exp w)) (* (exp (neg w)) (pow l (exp w))) (+ (* (+ (* (log l) l) (neg l)) w) l) (+ (* (log l) l) (neg l)) (log l) (* (exp (neg w)) (pow l (exp w))) (exp (neg w)) (neg w) (pow l (exp w)) (/ (exp (neg w)) (exp (* (neg (log l)) (exp w)))) (exp (* (neg (log l)) (exp w))) (* (exp (neg w)) (pow (pow (pow l (exp w)) 1/4) 4)) (pow (pow (pow l (exp w)) 1/4) 4) (exp w) (* (neg (log l)) (exp w)) (pow (pow l (exp w)) 1/4)) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
sqrt.f64 | #f | oflow-rescue | 578 | 0 |
cos.f64 | #f | sensitivity | 511 | 0 |
-.f64 | #f | cancellation | 346 | 1 |
sqrt.f64 | #f | uflow-rescue | 330 | 0 |
/.f64 | #f | n/o | 257 | 0 |
acos.f64 | (acos.f64 (-.f64 #s(literal 1 binary64) x)) | sensitivity | 255 | 0 |
log.f64 | (log.f64 (/.f64 (sinh.f64 x) x)) | sensitivity | 249 | 0 |
tan.f64 | (tan.f64 (+.f64 y z)) | sensitivity | 186 | 0 |
pow.f64 | (pow.f64 l (exp.f64 w)) | sensitivity | 124 | 13 |
*.f64 | #f | n*o | 35 | 0 |
*.f64 | #f | n*u | 31 | 0 |
*.f64 | (*.f64 (pow.f64 c #s(literal 2 binary64)) (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x)) | o*u | 30 | 0 |
| ↳ | (pow.f64 c #s(literal 2 binary64)) | overflow | 78 | |
| ↳ | (*.f64 (*.f64 x (pow.f64 s #s(literal 2 binary64))) x) | underflow | 71 | |
| ↳ | (*.f64 x (pow.f64 s #s(literal 2 binary64))) | underflow | 59 | |
| ↳ | (pow.f64 s #s(literal 2 binary64)) | underflow | 55 | |
-.f64 | (-.f64 (*.f64 a a) (*.f64 b b)) | nan-rescue | 17 | 0 |
| ↳ | (*.f64 a a) | overflow | 116 | |
| ↳ | (*.f64 b b) | overflow | 17 | |
*.f64 | #f | u*o | 17 | 0 |
log.f64 | (log.f64 (/.f64 (sinh.f64 x) x)) | oflow-rescue | 4 | 0 |
| ↳ | (sinh.f64 x) | overflow | 4 | |
| ↳ | (/.f64 (sinh.f64 x) x) | overflow | 4 | |
exp.f64 | (exp.f64 (neg.f64 w)) | sensitivity | 1 | 1 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 2227 | 266 |
| - | 676 | 1951 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 2227 | 1 | 265 |
| - | 676 | 14 | 1937 |
| number | freq |
|---|---|
| 0 | 2217 |
| 1 | 2835 |
| 2 | 68 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 18 | 0 | 0 |
| - | 0 | 0 | 2 |
| 506.0ms | 2 676× | 1 | valid |
| 483.0ms | 6 722× | 0 | valid |
| 281.0ms | 750× | 2 | valid |
| 12.0ms | 92× | 1 | exit |
Compiled 1 486 to 560 computations (62.3% saved)
ival-log: 108.0ms (12.6% of total)ival-tan: 75.0ms (8.7% of total)adjust: 70.0ms (8.1% of total)ival-mult: 70.0ms (8.1% of total)ival-cos: 63.0ms (7.3% of total)ival-pow: 52.0ms (6% of total)ival-sqrt: 51.0ms (5.9% of total)ival-sinh: 48.0ms (5.6% of total)ival-pow2: 41.0ms (4.8% of total)ival-exp: 40.0ms (4.7% of total)ival-sub: 37.0ms (4.3% of total)ival-sin: 36.0ms (4.2% of total)ival-add: 36.0ms (4.2% of total)ival-div: 31.0ms (3.6% of total)ival-fmod: 28.0ms (3.3% of total)ival-acos: 27.0ms (3.1% of total)ival-neg: 20.0ms (2.3% of total)ival-hypot: 9.0ms (1% of total)ival-true: 9.0ms (1% of total)ival-assert: 4.0ms (0.5% of total)ival-atan: 3.0ms (0.3% of total)exact: 2.0ms (0.2% of total)| 28× | binary-search |
| 8× | left-value |
| 27× | narrow-enough |
| 1× | predicate-failed |
| 152.0ms | 661× | 1 | valid |
| 105.0ms | 1 355× | 0 | valid |
| 10.0ms | 101× | 0 | invalid |
| 4.0ms | 63× | 0 | exit |
Compiled 7 453 to 6 126 computations (17.8% saved)
ival-tan: 72.0ms (34.8% of total)ival-mult: 20.0ms (9.7% of total)ival-cos: 17.0ms (8.2% of total)ival-exp: 16.0ms (7.7% of total)adjust: 13.0ms (6.3% of total)ival-pow: 12.0ms (5.8% of total)ival-pow2: 12.0ms (5.8% of total)ival-add: 11.0ms (5.3% of total)ival-fmod: 7.0ms (3.4% of total)ival-sub: 6.0ms (2.9% of total)ival-sin: 5.0ms (2.4% of total)ival-sqrt: 4.0ms (1.9% of total)ival-acos: 4.0ms (1.9% of total)ival-neg: 4.0ms (1.9% of total)ival-div: 2.0ms (1% of total)ival-true: 2.0ms (1% of total)ival-assert: 1.0ms (0.5% of total)exact: 0.0ms (0% of total)Loading profile data...