Herbie run
| Date: | Saturday, November 2nd, 2024 |
|---|---|
| Commit: | 9e2e21f9 on main |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024307 |
| 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.0s | 41 553× | 2 | valid |
| 25.3s | 146 271× | 0 | invalid |
| 19.7s | 92 281× | 1 | valid |
| 9.2s | 94 296× | 0 | valid |
| 9.0s | 4 747× | 5 | exit |
| 2.3s | 3 033× | 3 | valid |
| 452.0ms | 2 261× | 1 | exit |
| 419.0ms | 4 236× | 0 | exit |
| 33.0ms | 8× | 4 | exit |
| 5.0ms | 5× | 4 | valid |
| 3.0ms | 2× | 3 | exit |
| 2.0ms | 4× | 2 | exit |
ival-tan: 13.2s (16.9% of total)ival-pow: 9.1s (11.6% of total)ival-mult: 6.5s (8.3% of total)adjust: 5.7s (7.2% of total)const: 4.9s (6.3% of total)ival-sub: 4.7s (6.1% of total)ival-cos: 4.3s (5.5% of total)ival-div: 4.2s (5.4% of total)ival-add: 4.1s (5.2% of total)ival-log: 3.4s (4.4% of total)ival-sin: 3.3s (4.3% of total)ival-exp: 2.3s (2.9% of total)ival-fabs: 2.2s (2.8% of total)ival-<=: 2.1s (2.7% of total)ival-expm1: 1.9s (2.4% of total)ival-sqrt: 1.2s (1.6% of total)ival-log1p: 1.2s (1.5% of total)ival-<: 854.0ms (1.1% of total)ival-fmin: 820.0ms (1% of total)ival-and: 620.0ms (0.8% of total)exact: 361.0ms (0.5% of total)ival-atan: 318.0ms (0.4% of total)ival-neg: 246.0ms (0.3% of total)ival-cbrt: 242.0ms (0.3% of total)ival->: 227.0ms (0.3% of total)ival-assert: 157.0ms (0.2% of total)ival-true: 68.0ms (0.1% of total)| 244× | egg-herbie |
| 321× | iter limit |
| 189× | node limit |
| 58× | saturated |
| 184× | iter limit |
| 122× | node limit |
| 22× | fuel |
| 6× | done |
| 2× | saturated |
Compiled 13 715 to 6 059 computations (55.8% saved)
| 217× | iter limit |
| 107× | node limit |
| 3× | saturated |
| 5.9s | 10 643× | 1 | valid |
| 5.7s | 4 991× | 2 | valid |
| 3.1s | 11 137× | 0 | valid |
| 569.0ms | 463× | 3 | valid |
| 224.0ms | 330× | 0 | invalid |
| 51.0ms | 76× | 0 | exit |
| 13.0ms | 8× | 5 | exit |
Compiled 44 439 to 6 505 computations (85.4% saved)
ival-mult: 2.1s (16.9% of total)ival-div: 1.7s (13.7% of total)ival-add: 1.3s (10.8% of total)adjust: 1.3s (10.4% of total)ival-tan: 974.0ms (7.9% of total)ival-pow: 742.0ms (6% of total)ival-cos: 695.0ms (5.6% of total)ival-sub: 674.0ms (5.5% of total)const: 530.0ms (4.3% of total)ival-sin: 453.0ms (3.7% of total)ival-log: 391.0ms (3.2% of total)ival-exp: 322.0ms (2.6% of total)ival-sqrt: 280.0ms (2.3% of total)ival-neg: 213.0ms (1.7% of total)ival-log1p: 150.0ms (1.2% of total)ival-expm1: 125.0ms (1% of total)ival-cosh: 107.0ms (0.9% of total)ival-pow2: 91.0ms (0.7% of total)ival-cbrt: 69.0ms (0.6% of total)exact: 45.0ms (0.4% of total)ival-atan2: 40.0ms (0.3% of total)ival-true: 25.0ms (0.2% of total)ival-assert: 12.0ms (0.1% of total)ival-atan: 10.0ms (0.1% of total)ival-fabs: 1.0ms (0% of total)Compiled 2 445 051 to 275 609 computations (88.7% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 4145 | 26 |
log.f64 | #f | sensitivity | 766 | 0 |
/.f64 | #f | u/u | 429 | 0 |
sqrt.f64 | #f | oflow-rescue | 422 | 0 |
+.f64 | #f | cancellation | 328 | 0 |
/.f64 | #f | u/n | 116 | 0 |
pow.f64 | (pow.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) n)) | sensitivity | 65 | 0 |
sqrt.f64 | #f | uflow-rescue | 34 | 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 | 20 | 0 |
| ↳ | (*.f64 b eps) | underflow | 160 | |
| ↳ | (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) | underflow | 141 | |
| ↳ | (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64)) | underflow | 160 | |
| ↳ | (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) #s(literal 1 binary64)) (-.f64 (exp.f64 (*.f64 b eps)) #s(literal 1 binary64))) | underflow | 238 | |
| ↳ | (*.f64 a eps) | underflow | 141 | |
-.f64 | #f | nan-rescue | 17 | 0 |
/.f64 | (/.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) (*.f64 x x)) | n/o | 2 | 0 |
| ↳ | (*.f64 x x) | overflow | 63 | |
cos.f64 | (cos.f64 (+.f64 x eps)) | sensitivity | 1 | 0 |
/.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 | 1 | 0 |
| ↳ | (exp.f64 (*.f64 #s(literal 2 binary64) x)) | overflow | 1 | |
| ↳ | (-.f64 (exp.f64 (*.f64 #s(literal 2 binary64) x)) #s(literal 1 binary64)) | overflow | 1 | |
| ↳ | (exp.f64 x) | overflow | 1 | |
| ↳ | (-.f64 (exp.f64 x) #s(literal 1 binary64)) | overflow | 1 | |
sin.f64 | (sin.f64 (+.f64 x eps)) | sensitivity | 1 | 1 |
tan.f64 | (tan.f64 (+.f64 x eps)) | sensitivity | 1 | 1 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5194 | 13 |
| - | 153 | 1808 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5194 | 8 | 5 |
| - | 153 | 21 | 1787 |
| number | freq |
|---|---|
| 0 | 1821 |
| 1 | 4547 |
| 2 | 649 |
| 3 | 101 |
| 4 | 50 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 28 | 0 | 0 |
| - | 0 | 0 | 0 |
| 1.7s | 2 438× | 2 | valid |
| 1.2s | 5 886× | 1 | valid |
| 584.0ms | 5 806× | 0 | valid |
| 96.0ms | 206× | 3 | valid |
Compiled 3 034 to 980 computations (67.7% saved)
ival-tan: 642.0ms (22.3% of total)ival-cos: 386.0ms (13.4% of total)adjust: 303.0ms (10.5% of total)ival-sub: 252.0ms (8.8% of total)ival-exp: 208.0ms (7.2% of total)ival-log: 176.0ms (6.1% of total)ival-div: 171.0ms (5.9% of total)ival-sin: 141.0ms (4.9% of total)ival-mult: 132.0ms (4.6% of total)ival-add: 128.0ms (4.5% of total)ival-sqrt: 84.0ms (2.9% of total)ival-pow: 73.0ms (2.5% of total)ival-log1p: 63.0ms (2.2% of total)ival-atan: 29.0ms (1% of total)ival-expm1: 26.0ms (0.9% of total)ival-neg: 17.0ms (0.6% of total)ival-cbrt: 15.0ms (0.5% of total)ival-true: 13.0ms (0.5% of total)exact: 9.0ms (0.3% of total)ival-assert: 6.0ms (0.2% of total)Compiled 92 404 to 50 103 computations (45.8% saved)
| 28× | egg-herbie |
| 56× | iter limit |
| 50× | saturated |
| 6× | node limit |
Compiled 17 634 to 4 797 computations (72.8% saved)
504 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 66.0ms | x | @ | -inf | ((- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (/ (pow x (/ 1 n)) n) x) (/ (pow x (/ 1 n)) n) (pow x (/ 1 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (+ (* (/ (pow x (/ 1 n)) x) (- (/ 1/2 (* n n)) (/ 1/2 n))) (/ (pow x (/ 1 n)) n)) x) (+ (* (/ (pow x (/ 1 n)) x) (- (/ 1/2 (* n n)) (/ 1/2 n))) (/ (pow x (/ 1 n)) n)) (/ (- 1 (/ 1/2 x)) n) (/ 1 (/ n (- (log (+ 1 x)) (log x)))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ n (- (log (+ 1 x)) (log x))) (- (log (+ 1 x)) (log x)) (+ (* 2 (/ 1/2 n)) -1) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (pow x (+ (* 2 (/ 1/2 n)) -1)) n) (pow x (+ (* 2 (/ 1/2 n)) -1)) (* (neg (- (log (+ 1 x)) (log x))) (/ -1 n)) (neg (- (log (+ 1 x)) (log x))) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (- (log (+ 1 x)) (log x)) (/ 1 n) (/ (- (/ 1/4 x) 1/3) x) (/ 1/2 n) (log x)) |
| 65.0ms | a | @ | inf | ((/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (/ (+ b a) b) a) (/ (+ b a) b) (+ b a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ 1 a) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ 1 b) (- (* (/ 1/2 b) (/ (pow (+ b a) 2) a)) (* (/ (* (+ b a) 1/2) (* (* b a) a)) (/ (* (* b a) (+ b a)) b))) (/ (* (* b a) (+ b a)) b) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (+ (* (- (* (/ 1/2 b) (/ (pow (+ b a) 2) a)) (* (/ (* (+ b a) 1/2) (* (* b a) a)) (/ (* (* b a) (+ b a)) b))) eps) (+ (/ 1 b) (/ 1 a))) (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (- (exp (* b eps)) 1))) (/ (+ (* (* eps (+ -1/2 (/ (pow (exp a) eps) (- (exp (* eps a)) 1)))) b) 1) b) (+ (* (* eps (+ -1/2 (/ (pow (exp a) eps) (- (exp (* eps a)) 1)))) b) 1) (* eps (+ -1/2 (/ (pow (exp a) eps) (- (exp (* eps a)) 1)))) (* (/ (* (+ b a) 1/2) (* (* b a) a)) (/ (* (* b a) (+ b a)) b)) (/ (pow (+ b a) 2) a) (/ (* (+ b a) 1/2) (* (* b a) a)) (/ (pow (exp a) eps) (- (exp (* eps a)) 1))) |
| 65.0ms | n | @ | 0 | ((- (* (+ n 1) (log (+ n 1))) (* n (log n))) (log (+ n 1)) (- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1) (+ n 1) (* n (log n)) (* (+ n 1) (log (+ n 1)))) |
| 55.0ms | x | @ | 0 | ((pow (* (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 1/4) (* (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) (+ x 2) (sqrt (- (exp x) -1)) (- (exp x) -1) (exp x) (+ 1 x) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) (+ (* (+ (* (+ (* 1/6 x) 1/2) x) 1) x) 2) (* (+ (* 1/6 x) 1/2) (* x x)) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) (+ (* (+ (* 3/16 x) 1/2) (/ x (sqrt 2))) (sqrt 2)) (* (* (/ 3/16 (sqrt 2)) x) x) (* (/ 3/16 (sqrt 2)) x) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) (+ (* (/ x (sqrt 2)) (+ (* x (+ (* 7/192 x) 3/16)) 1/2)) (sqrt 2)) (* (* (/ x (sqrt 2)) x) (+ (* 7/192 x) 3/16)) (* (/ x (sqrt 2)) x) (+ (* 1/6 x) 1/2) (/ x (sqrt 2)) (+ (* 7/192 x) 3/16)) |
| 54.0ms | n | @ | 0 | ((- (exp (/ (log (+ 1 x)) n)) (pow x (/ 1 n))) (exp (/ (log (+ 1 x)) n)) (/ (log (+ 1 x)) n) (log (+ 1 x)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)) (/ 1 n) (/ (/ (pow x (/ 1 n)) x) n) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (pow x (/ 1 n)) x) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (/ (- (log (+ 1 x)) (log x)) n) (- (log (+ 1 x)) (log x)) (+ (* (/ (pow x (/ 1 n)) x) (- (/ 1/2 (* n n)) (/ 1/2 n))) (/ (pow x (/ 1 n)) n)) (/ (+ (* (/ (pow x (/ 1 n)) x) (- (/ 1/2 (* n n)) (/ 1/2 n))) (/ (pow x (/ 1 n)) n)) x) (- (/ 1/2 (* n n)) (/ 1/2 n)) (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) (log x) (/ 1/2 (* n n))) |
43 calls:
| 691.0ms | x |
| 190.0ms | eps |
| 169.0ms | b |
| 154.0ms | (/.f64 #s(literal 1 binary64) n) |
| 152.0ms | b_2 |
Compiled 1 945 to 1 833 computations (5.8% 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)
| 78× | binary-search |
| 33× | left-value |
| 73× | narrow-enough |
| 5× | predicate-same |
| 608.0ms | 3 792× | 0 | valid |
| 110.0ms | 390× | 2 | valid |
| 88.0ms | 508× | 1 | valid |
| 57.0ms | 762× | 0 | invalid |
| 7.0ms | 30× | 3 | valid |
| 2.0ms | 27× | 0 | exit |
Compiled 26 694 to 20 210 computations (24.3% saved)
ival-sqrt: 283.0ms (39.2% of total)ival-div: 139.0ms (19.2% of total)ival-pow: 83.0ms (11.5% of total)ival-mult: 77.0ms (10.7% of total)ival-sub: 40.0ms (5.5% of total)adjust: 26.0ms (3.6% of total)ival-add: 20.0ms (2.8% of total)ival-neg: 20.0ms (2.8% of total)ival-cos: 14.0ms (1.9% of total)ival-expm1: 5.0ms (0.7% of total)ival-sin: 4.0ms (0.6% of total)ival-true: 4.0ms (0.6% of total)ival-exp: 3.0ms (0.4% of total)exact: 3.0ms (0.4% of total)ival-assert: 2.0ms (0.3% of total)Loading profile data...