Herbie run
| Date: | Sunday, November 17th, 2024 |
|---|---|
| Commit: | 1a83c9f5 on main |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024322 |
| 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: 4.3min)
| 29.4s | 41 461× | 2 | valid |
| 25.3s | 144 845× | 0 | invalid |
| 19.3s | 92 387× | 1 | valid |
| 10.6s | 5 013× | 5 | exit |
| 8.4s | 94 339× | 0 | valid |
| 2.0s | 2 972× | 3 | valid |
| 798.0ms | 2 281× | 1 | exit |
| 451.0ms | 4 306× | 0 | exit |
| 17.0ms | 9× | 4 | exit |
| 10.0ms | 9× | 4 | valid |
| 2.0ms | 3× | 2 | exit |
| 1.0ms | 2× | 3 | exit |
ival-tan: 13.4s (16.8% of total)ival-pow: 9.8s (12.3% of total)ival-mult: 6.2s (7.8% of total)adjust: 5.9s (7.4% of total)const: 5.7s (7.2% of total)ival-cos: 4.3s (5.5% of total)ival-div: 4.1s (5.1% of total)ival-sub: 4.0s (5.1% of total)ival-sin: 3.5s (4.5% of total)ival-add: 3.3s (4.1% of total)ival-log: 3.3s (4.1% of total)ival-exp: 2.6s (3.3% of total)ival-expm1: 2.2s (2.8% of total)ival-<=: 2.2s (2.8% of total)ival-fabs: 2.1s (2.6% of total)ival-log1p: 1.3s (1.7% of total)ival-sqrt: 1.3s (1.6% of total)ival-<: 940.0ms (1.2% of total)ival-and: 625.0ms (0.8% of total)ival-atan: 615.0ms (0.8% of total)ival-fmin: 508.0ms (0.6% of total)ival-cbrt: 373.0ms (0.5% of total)exact: 355.0ms (0.4% of total)ival-neg: 298.0ms (0.4% of total)ival->: 263.0ms (0.3% of total)ival-assert: 150.0ms (0.2% of total)ival-true: 71.0ms (0.1% of total)| 242× | egg-herbie |
| 319× | iter limit |
| 183× | node limit |
| 62× | saturated |
| 190× | iter limit |
| 124× | node limit |
| 20× | fuel |
| 8× | done |
| 2× | saturated |
Compiled 13 372 to 6 093 computations (54.4% saved)
| 218× | iter limit |
| 106× | node limit |
| 3× | saturated |
| 5.6s | 10 484× | 1 | valid |
| 5.4s | 4 709× | 2 | valid |
| 2.7s | 11 010× | 0 | valid |
| 574.0ms | 425× | 3 | valid |
| 211.0ms | 723× | 0 | invalid |
| 11.0ms | 9× | 5 | exit |
| 9.0ms | 29× | 0 | exit |
| 4.0ms | 3× | 4 | valid |
Compiled 18 077 to 2 911 computations (83.9% saved)
ival-mult: 1.9s (16.6% of total)ival-div: 1.5s (12.9% of total)adjust: 1.3s (11.4% of total)ival-tan: 1.3s (10.9% of total)ival-add: 994.0ms (8.6% of total)ival-pow: 774.0ms (6.7% of total)ival-sub: 619.0ms (5.4% of total)const: 512.0ms (4.4% of total)ival-log: 464.0ms (4% of total)ival-cos: 415.0ms (3.6% of total)ival-sin: 380.0ms (3.3% of total)ival-sqrt: 372.0ms (3.2% of total)ival-exp: 320.0ms (2.8% of total)ival-log1p: 153.0ms (1.3% of total)ival-cosh: 129.0ms (1.1% of total)ival-pow2: 115.0ms (1% of total)ival-neg: 95.0ms (0.8% of total)ival-expm1: 56.0ms (0.5% of total)ival-cbrt: 56.0ms (0.5% of total)exact: 42.0ms (0.4% of total)ival-atan2: 24.0ms (0.2% of total)ival-true: 23.0ms (0.2% of total)ival-assert: 11.0ms (0.1% of total)ival-atan: 10.0ms (0.1% of total)ival-fabs: 1.0ms (0% of total)Compiled 2 314 325 to 255 634 computations (89% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 4119 | 30 |
log.f64 | #f | sensitivity | 767 | 0 |
/.f64 | #f | u/u | 444 | 0 |
sqrt.f64 | #f | oflow-rescue | 400 | 0 |
+.f64 | #f | cancellation | 344 | 1 |
/.f64 | #f | u/n | 123 | 0 |
pow.f64 | #f | sensitivity | 59 | 0 |
/.f64 | (/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) #s(literal 1 binary64))) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)))) | n/u | 25 | 0 |
| ↳ | (*.f64 b eps) | underflow | 153 | |
| ↳ | (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) | underflow | 149 | |
| ↳ | (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)) | underflow | 153 | |
| ↳ | (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))) | underflow | 243 | |
| ↳ | (*.f64 a eps) | underflow | 149 | |
sqrt.f64 | #f | uflow-rescue | 12 | 0 |
-.f64 | #f | nan-rescue | 7 | 0 |
/.f64 | (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x)) | n/o | 2 | 0 |
| ↳ | (*.f64 x x) | overflow | 81 | |
/.f64 | (/.f64 (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) (-.f64 (exp.f64 x) #s(literal 1 binary64))) | o/o | 2 | 0 |
| ↳ | (exp.f64 (*.f64 #s(literal 2 binary64) x)) | overflow | 2 | |
| ↳ | (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) | overflow | 2 | |
| ↳ | (exp.f64 x) | overflow | 2 | |
| ↳ | (-.f64 (exp.f64 x) #s(literal 1 binary64)) | overflow | 2 | |
cos.f64 | (cos.f64 (+.f64 x eps)) | sensitivity | 1 | 0 |
exp.f64 | (exp.f64 (neg.f64 x)) | sensitivity | 1 | 0 |
tan.f64 | (tan.f64 (+.f64 x eps)) | sensitivity | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5183 | 5 |
| - | 128 | 1852 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5183 | 5 | 0 |
| - | 128 | 26 | 1826 |
| number | freq |
|---|---|
| 0 | 1857 |
| 1 | 4516 |
| 2 | 651 |
| 3 | 87 |
| 4 | 57 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 28 | 0 | 0 |
| - | 0 | 0 | 0 |
| 1.7s | 2 526× | 2 | valid |
| 1.0s | 5 858× | 1 | valid |
| 519.0ms | 5 758× | 0 | valid |
| 228.0ms | 192× | 3 | valid |
| 2.0ms | 2× | 4 | valid |
Compiled 2 154 to 763 computations (64.6% saved)
ival-tan: 831.0ms (29% of total)ival-sin: 294.0ms (10.3% of total)adjust: 233.0ms (8.1% of total)ival-cos: 231.0ms (8.1% of total)ival-div: 195.0ms (6.8% of total)ival-log: 187.0ms (6.5% of total)ival-mult: 168.0ms (5.9% of total)ival-sub: 148.0ms (5.2% of total)ival-exp: 134.0ms (4.7% of total)ival-pow: 87.0ms (3% of total)ival-add: 83.0ms (2.9% of total)ival-sqrt: 58.0ms (2% of total)ival-log1p: 55.0ms (1.9% of total)ival-expm1: 55.0ms (1.9% of total)ival-cbrt: 45.0ms (1.6% of total)ival-atan: 22.0ms (0.8% of total)ival-true: 13.0ms (0.5% of total)ival-neg: 12.0ms (0.4% of total)exact: 8.0ms (0.3% of total)ival-assert: 6.0ms (0.2% of total)Compiled 84 689 to 45 135 computations (46.7% saved)
495 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 167.0ms | n | @ | inf | ((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (log (/ (+ 1 x) x)) n) (log (/ (+ 1 x) x)) (/ (+ 1 x) x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (/ 1 x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (/ (+ (/ (- (/ -1/2 n) (/ (- (/ (/ 1/4 n) x) (/ 1/3 n)) x)) x) (/ 1 n)) x) (+ (/ (- (/ -1/2 n) (/ (- (/ (/ 1/4 n) x) (/ 1/3 n)) x)) x) (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (+ (* (+ (* (+ (* (- (+ (/ 1/3 n) (/ 1/6 (pow n 3))) (/ 1/2 (* n n))) x) (- (/ 1/2 (* n n)) (/ 1/2 n))) x) (/ 1 n)) x) 1) (+ (* (+ (* (- (+ (/ 1/3 n) (/ 1/6 (pow n 3))) (/ 1/2 (* n n))) x) (- (/ 1/2 (* n n)) (/ 1/2 n))) x) (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (exp (/ (log x) n)) (* n x)) (exp (/ (log x) n)) (/ (log x) n) (/ 1/3 n) (/ (/ 1/4 n) x) (/ (+ (* x (+ (/ (+ (* -1/2 x) 1/2) n) (+ (* 1/3 x) -1/2))) 1) n)) |
| 85.0ms | b_2 | @ | 0 | ((/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt (- (* b_2 b_2) (* a c))) (- (* b_2 b_2) (* a c)) (/ (+ (neg b_2) (sqrt (- (* b_2 b_2) (* a c)))) a) (* c (/ -1/2 b_2)) (/ -1/2 b_2) (/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a) (- (sqrt (- (* b_2 b_2) (* a c))) b_2) (sqrt (- (* b_2 b_2) (* a c))) (- (* b_2 b_2) (* a c)) (/ 1 (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) (/ a (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) (/ (- (* b_2 b_2) (- (* b_2 b_2) (* a c))) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) (/ (/ (- (* b_2 b_2) (- (* b_2 b_2) (* a c))) (- (neg b_2) (sqrt (- (* b_2 b_2) (* a c))))) a) (- (* b_2 b_2) (- (* b_2 b_2) (* a c))) (* b_2 b_2)) |
| 68.0ms | c | @ | inf | ((* (/ 1/2 a) (- (sqrt (+ (* (* c a) -4) (* b b))) b)) (/ 1/2 a) (- (sqrt (+ (* (* c a) -4) (* b b))) b) (sqrt (+ (* (* c a) -4) (* b b))) (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (neg c) b) (neg c) (/ (- (* 0 a) (* a b)) (* a a)) (* 0 a) (- (* 0 a) (* a b)) (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* (* a (/ -2 b)) c) (* a (/ -2 b)) (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (/ (+ (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a)) (neg b) (sqrt (- (* b b) (* 4 (* a c)))) (+ (* (* c a) -4) (* b b)) (* a a) (* (+ (* (/ (/ (* c a) b) b) -4) 1) b) (* a (/ c b))) |
| 60.0ms | N | @ | inf | ((/ 1 (/ N (- (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) -1))) (- (log (+ N 1)) (log N)) (/ N (- (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) -1)) (- (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) -1) (- (log (+ N 1)) (log N)) (/ (- (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) -1) N) (- (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) -1) (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) (* (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) N) (- (* (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) N) (* N -1)) (* N -1) (- (log (+ N 1)) (log N)) (+ (* (sqrt (log (+ 1 N))) (sqrt (log (+ 1 N)))) (neg (log N))) (sqrt (log (+ 1 N))) (log (+ 1 N)) (neg (log N)) (+ (* (sqrt (/ (pow (log (+ 1 N)) 2) (+ (log N) (log (+ 1 N))))) (sqrt (/ (pow (log (+ 1 N)) 2) (+ (log N) (log (+ 1 N)))))) (neg (/ (pow (log N) 2) (+ (log N) (log (+ 1 N)))))) (sqrt (/ (pow (log (+ 1 N)) 2) (+ (log N) (log (+ 1 N))))) (/ (pow (log (+ 1 N)) 2) (+ (log N) (log (+ 1 N)))) (pow (log (+ 1 N)) 2) (/ (- (/ 1/4 N) 1/3) N) (- (/ 1/4 N) 1/3) (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) (/ (- (* (/ (- -1/2 (/ (- (/ 1/4 N) 1/3) N)) N) N) (* N -1)) (* N N)) (log N) (pow (log N) 2) (/ (pow (log N) 2) (+ (log N) (log (+ 1 N))))) |
| 59.0ms | N | @ | 0 | ((log (+ N 1)) (- (log (+ N 1)) (log N)) (+ N 1) (log N)) |
| 28× | egg-herbie |
| 56× | iter limit |
| 50× | saturated |
| 6× | node limit |
Compiled 17 686 to 5 043 computations (71.5% saved)
43 calls:
| 813.0ms | x |
| 250.0ms | eps |
| 228.0ms | (/.f64 #s(literal 1 binary64) n) |
| 191.0ms | n |
| 139.0ms | b |
Compiled 2 038 to 1 922 computations (5.7% saved)
| 28× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 61.1% | 38.9% | 0% | 0% | 0% | 0 |
| 7.4% | 4.5% | 56.6% | 38.9% | 0% | 0% | 0% | 1 |
| 22.3% | 13.6% | 47.5% | 38.9% | 0% | 0% | 0% | 2 |
| 40.2% | 23.5% | 34.9% | 38.9% | 0% | 2.7% | 0% | 3 |
| 53.4% | 31.1% | 27.2% | 38.9% | 0% | 2.8% | 0% | 4 |
| 63% | 36.3% | 21.3% | 38.9% | 0% | 3.6% | 0% | 5 |
| 65.9% | 37.5% | 19.4% | 38.9% | 0% | 4.2% | 0% | 6 |
| 70.4% | 38.8% | 16.3% | 38.9% | 0% | 6% | 0% | 7 |
| 73.6% | 40.2% | 14.4% | 38.9% | 0% | 6.5% | 0% | 8 |
| 76.3% | 40.9% | 12.7% | 38.9% | 0% | 7.5% | 0% | 9 |
| 78.4% | 41.4% | 11.4% | 38.9% | 0% | 8.3% | 0% | 10 |
| 81.1% | 42.4% | 9.9% | 38.9% | 0% | 8.8% | 0% | 11 |
| 82.3% | 42.7% | 9.2% | 38.9% | 0% | 9.3% | 0% | 12 |
Compiled 483 to 337 computations (30.2% saved)
| 69× | binary-search |
| 35× | left-value |
| 63× | narrow-enough |
| 6× | predicate-same |
| 343.0ms | 4 247× | 0 | valid |
| 132.0ms | 637× | 0 | invalid |
| 110.0ms | 338× | 2 | valid |
| 73.0ms | 455× | 1 | valid |
| 5.0ms | 53× | 0 | exit |
Compiled 25 943 to 19 438 computations (25.1% saved)
ival-mult: 117.0ms (25.2% of total)ival-pow: 82.0ms (17.6% of total)ival-sub: 52.0ms (11.2% of total)ival-div: 48.0ms (10.3% of total)ival-neg: 41.0ms (8.8% of total)ival-sqrt: 30.0ms (6.5% of total)adjust: 25.0ms (5.4% of total)ival-cos: 21.0ms (4.5% of total)ival-add: 16.0ms (3.4% of total)ival-expm1: 13.0ms (2.8% of total)ival-sin: 7.0ms (1.5% of total)ival-true: 4.0ms (0.9% of total)ival-exp: 3.0ms (0.6% of total)exact: 3.0ms (0.6% of total)ival-assert: 2.0ms (0.4% of total)Loading profile data...