Herbie run
| Date: | Tuesday, August 6th, 2024 |
|---|---|
| Commit: | 2.2 on release |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024219 |
| 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: 13.6min)
| 59.7s | 121 391× | 1 | valid |
| 39.0s | 280 563× | 0 | valid |
| 31.7s | 14 248× | 5 | exit |
| 17.1s | 24 123× | 2 | valid |
| 7.2s | 3 218× | 3 | valid |
| 6.0s | 35 075× | 0 | exit |
| 4.3s | 10 785× | 1 | exit |
| 3.2s | 20 651× | 0 | invalid |
| 2.5s | 11 116× | 1 | invalid |
| 470.0ms | 33× | 4 | exit |
| 369.0ms | 738× | 2 | invalid |
| 318.0ms | 20× | 3 | exit |
| 116.0ms | 17× | 4 | valid |
| 24.0ms | 11× | 2 | exit |
ival-pow: 26.4s (17.8% of total)ival-cos: 19.2s (13% of total)ival-mult: 18.6s (12.6% of total)ival-sin: 16.1s (10.9% of total)ival-div: 12.0s (8.1% of total)adjust: 10.2s (6.9% of total)ival-pow2: 8.4s (5.7% of total)ival-add: 6.4s (4.3% of total)ival-sub: 6.2s (4.2% of total)ival-exp: 5.6s (3.8% of total)ival-log: 4.0s (2.7% of total)ival-sqrt: 3.7s (2.5% of total)ival-neg: 2.4s (1.6% of total)const: 1.6s (1.1% of total)ival-<: 1.3s (0.9% of total)ival-atan2: 777.0ms (0.5% of total)ival-hypot: 662.0ms (0.4% of total)ival-tan: 580.0ms (0.4% of total)ival-pi: 577.0ms (0.4% of total)ival-atan: 441.0ms (0.3% of total)ival-acos: 418.0ms (0.3% of total)exact: 406.0ms (0.3% of total)ival-and: 341.0ms (0.2% of total)ival-true: 303.0ms (0.2% of total)ival-cbrt: 248.0ms (0.2% of total)ival-asin: 217.0ms (0.1% of total)ival-assert: 209.0ms (0.1% of total)ival-fabs: 185.0ms (0.1% of total)ival-log1p: 168.0ms (0.1% of total)ival-<=: 112.0ms (0.1% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 458× | egg-herbie |
| 3 564 130× | lower-fma.f32 |
| 3 563 110× | lower-fma.f64 |
| 1 753 866× | lower-*.f32 |
| 1 749 594× | lower-*.f64 |
| 942 940× | lower-+.f32 |
| 610× | iter limit |
| 317× | node limit |
| 141× | saturated |
| 203× | batch-egg-rewrite |
| 903 662× | lower-fma.f32 |
| 902 670× | lower-fma.f64 |
| 874 932× | lower-*.f32 |
| 870 806× | lower-*.f64 |
| 689 758× | lower-/.f32 |
| 416× | iter limit |
| 200× | node limit |
| 2× | unsound |
| 1× | saturated |
| 2 302 080× | lower-fma.f32 |
| 2 301 406× | lower-fma.f64 |
| 1 531 192× | lower-*.f32 |
| 1 528 358× | lower-*.f64 |
| 769 690× | lower-+.f32 |
| 435× | iter limit |
| 291× | node limit |
| 45× | fuel |
| 7× | done |
| 2× | saturated |
Compiled 58 782 to 27 570 computations (53.1% saved)
| 18.1s | 14 498× | 1 | valid |
| 7.5s | 28 426× | 0 | valid |
| 7.2s | 3 914× | 2 | valid |
| 4.0s | 664× | 5 | exit |
| 1.5s | 3 090× | 0 | invalid |
| 913.0ms | 418× | 3 | valid |
| 571.0ms | 117× | 4 | exit |
| 322.0ms | 561× | 1 | exit |
| 272.0ms | 181× | 1 | invalid |
| 43.0ms | 3× | 3 | exit |
| 31.0ms | 3× | 2 | exit |
| 16.0ms | 73× | 0 | exit |
| 14.0ms | 14× | 2 | invalid |
| 7.0ms | 6× | 3 | invalid |
Compiled 91 548 to 7 937 computations (91.3% saved)
ival-mult: 7.2s (23.1% of total)ival-cos: 4.9s (15.6% of total)ival-sin: 4.5s (14.4% of total)ival-div: 2.8s (9% of total)adjust: 2.6s (8.2% of total)ival-add: 1.9s (6.2% of total)ival-pow2: 1.4s (4.3% of total)const: 1.1s (3.6% of total)ival-sub: 1.1s (3.4% of total)ival-sqrt: 763.0ms (2.4% of total)ival-log: 486.0ms (1.5% of total)ival-atan2: 468.0ms (1.5% of total)ival-exp: 338.0ms (1.1% of total)ival-pow: 305.0ms (1% of total)ival-neg: 298.0ms (0.9% of total)ival-cbrt: 177.0ms (0.6% of total)ival-log1p: 138.0ms (0.4% of total)ival-atan: 131.0ms (0.4% of total)ival-acos: 127.0ms (0.4% of total)ival-tan: 125.0ms (0.4% of total)ival-pi: 98.0ms (0.3% of total)ival-hypot: 97.0ms (0.3% of total)exact: 89.0ms (0.3% of total)ival-fabs: 63.0ms (0.2% of total)ival-asin: 53.0ms (0.2% of total)ival-true: 49.0ms (0.2% of total)ival-assert: 22.0ms (0.1% of total)ival-expm1: 4.0ms (0% of total)ival-cosh: 3.0ms (0% of total)ival-tanh: 2.0ms (0% of total)ival-sinh: 2.0ms (0% of total)Compiled 12 910 116 to 795 223 computations (93.8% saved)
Compiled 630 708 to 283 480 computations (55.1% saved)
155 calls:
| 3.2s | phi2 |
| 3.1s | phi1 |
| 2.9s | lambda1 |
| 2.8s | b |
| 2.6s | lambda2 |
Compiled 31 624 to 17 499 computations (44.7% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1807 | 6 |
+.f64 | #f | cancellation | 1717 | 35 |
sin.f64 | #f | sensitivity | 1552 | 2 |
sqrt.f64 | #f | oflow-rescue | 1403 | 0 |
-.f64 | #f | cancellation | 952 | 8 |
log.f64 | #f | sensitivity | 601 | 1 |
-.f64 | #f | nan-rescue | 493 | 0 |
/.f64 | #f | o/n | 457 | 0 |
/.f64 | #f | u/u | 344 | 0 |
/.f64 | #f | o/o | 268 | 0 |
*.f64 | #f | n*o | 263 | 0 |
/.f64 | #f | u/n | 180 | 0 |
exp.f64 | #f | sensitivity | 167 | 26 |
sqrt.f64 | #f | uflow-rescue | 159 | 0 |
/.f64 | #f | n/o | 121 | 0 |
*.f64 | #f | n*u | 111 | 0 |
cbrt.f64 | #f | oflow-rescue | 93 | 0 |
/.f64 | #f | n/u | 40 | 0 |
*.f64 | #f | u*o | 35 | 0 |
cbrt.f64 | #f | uflow-rescue | 34 | 0 |
*.f64 | #f | o*u | 34 | 0 |
acos.f64 | (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) | sensitivity | 22 | 6 |
pow.f64 | #f | sensitivity | 8 | 0 |
pow.f64 | (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p) | uflow-rescue | 6 | 0 |
| ↳ | (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) c_p) | underflow | 9 | |
| ↳ | (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t)))) | underflow | 6 | |
log.f64 | #f | oflow-rescue | 4 | 0 |
log.f64 | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | uflow-rescue | 2 | 0 |
| ↳ | (+.f64 (exp.f64 a) (exp.f64 b)) | underflow | 2 | |
| ↳ | (exp.f64 a) | underflow | 128 | |
| ↳ | (exp.f64 b) | underflow | 2 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5717 | 78 |
| - | 1406 | 6111 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5717 | 46 | 32 |
| - | 1406 | 27 | 6084 |
| number | freq |
|---|---|
| 0 | 6189 |
| 1 | 4746 |
| 2 | 1648 |
| 3 | 354 |
| 4 | 224 |
| 5 | 84 |
| 6 | 35 |
| 7 | 17 |
| 8 | 11 |
| 9 | 4 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 42 | 1 | 0 |
| - | 2 | 0 | 7 |
| 4.3s | 7 888× | 1 | valid |
| 2.6s | 2 038× | 2 | valid |
| 2.2s | 16 372× | 0 | valid |
| 484.0ms | 326× | 3 | valid |
Compiled 21 748 to 3 336 computations (84.7% saved)
ival-sin: 1.5s (20.2% of total)ival-mult: 1.2s (15.6% of total)ival-cos: 1.1s (14.9% of total)ival-pow2: 831.0ms (10.9% of total)ival-div: 543.0ms (7.2% of total)adjust: 492.0ms (6.5% of total)ival-exp: 392.0ms (5.2% of total)ival-sub: 286.0ms (3.8% of total)ival-log: 254.0ms (3.3% of total)ival-add: 239.0ms (3.1% of total)ival-sqrt: 219.0ms (2.9% of total)ival-hypot: 74.0ms (1% of total)ival-neg: 70.0ms (0.9% of total)ival-tan: 51.0ms (0.7% of total)ival-atan2: 50.0ms (0.7% of total)ival-pi: 45.0ms (0.6% of total)ival-pow: 32.0ms (0.4% of total)ival-atan: 27.0ms (0.4% of total)ival-acos: 27.0ms (0.4% of total)ival-true: 25.0ms (0.3% of total)ival-cbrt: 21.0ms (0.3% of total)exact: 19.0ms (0.3% of total)ival-assert: 11.0ms (0.1% of total)ival-fabs: 11.0ms (0.1% of total)ival-asin: 9.0ms (0.1% of total)ival-log1p: 6.0ms (0.1% of total)| 52× | egg-herbie |
| 238 304× | lower-fma.f64 |
| 238 304× | lower-fma.f32 |
| 81 478× | lower-*.f32 |
| 81 146× | lower-*.f64 |
| 46 832× | unsub-neg |
| 104× | iter limit |
| 61× | saturated |
| 43× | node limit |
Compiled 68 618 to 19 058 computations (72.2% saved)
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 17.2% | 13.7% | 65.7% | 20.6% | 0% | 0% | 0% | 1 |
| 25% | 19.6% | 58.5% | 20.6% | 0% | 1.3% | 0% | 2 |
| 35.2% | 26.6% | 48.9% | 20.6% | 0% | 3.8% | 0% | 3 |
| 42.3% | 31.7% | 43.1% | 20.6% | 0% | 4.5% | 0% | 4 |
| 47.9% | 35.6% | 38.7% | 20.6% | 0% | 5.1% | 0% | 5 |
| 51% | 37.6% | 36.1% | 20.6% | 0% | 5.7% | 0% | 6 |
| 54.4% | 39.7% | 33.2% | 20.6% | 0% | 6.5% | 0% | 7 |
| 56.2% | 40.7% | 31.8% | 20.6% | 0% | 6.8% | 0% | 8 |
| 59% | 42.5% | 29.5% | 20.6% | 0% | 7.4% | 0% | 9 |
| 60.3% | 43.2% | 28.4% | 20.6% | 0% | 7.7% | 0% | 10 |
| 62.1% | 44.3% | 27% | 20.6% | 0% | 8.1% | 0% | 11 |
| 63.6% | 45.1% | 25.8% | 20.6% | 0% | 8.5% | 0% | 12 |
Compiled 1 826 to 990 computations (45.8% saved)
16788 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 391.0ms | a | @ | 0 | (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)) 2) (pow (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) 2)))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) |
| 154.0ms | s | @ | inf | (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) |
| 147.0ms | t | @ | inf | (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) |
| 115.0ms | C | @ | -inf | (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (+ (* 2 C) (/ (* -1/2 (* B B)) A)))) |
| 110.0ms | c_p | @ | -inf | (/ (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (/ 1 (+ 1 (exp (neg t)))) c_p)) |
| 350× | binary-search |
| 204× | left-value |
| 336× | narrow-enough |
| 14× | predicate-same |
| 6.4s | 8 461× | 1 | valid |
| 2.7s | 13 625× | 0 | valid |
| 1.2s | 1 410× | 2 | valid |
| 257.0ms | 131× | 1 | exit |
| 198.0ms | 120× | 3 | valid |
| 48.0ms | 451× | 0 | invalid |
| 1.0ms | 2× | 5 | exit |
| 0.0ms | 2× | 0 | exit |
Compiled 130 992 to 87 700 computations (33% saved)
ival-cos: 2.3s (24.4% of total)ival-sin: 2.1s (22.6% of total)ival-mult: 1.3s (13.9% of total)adjust: 990.0ms (10.6% of total)ival-div: 660.0ms (7.1% of total)ival-pow2: 627.0ms (6.7% of total)ival-sub: 423.0ms (4.5% of total)ival-add: 197.0ms (2.1% of total)ival-sqrt: 158.0ms (1.7% of total)ival-atan2: 131.0ms (1.4% of total)ival-atan: 94.0ms (1% of total)ival-acos: 88.0ms (0.9% of total)ival-exp: 55.0ms (0.6% of total)ival-tan: 49.0ms (0.5% of total)ival-pi: 37.0ms (0.4% of total)ival-neg: 36.0ms (0.4% of total)ival-hypot: 25.0ms (0.3% of total)ival-fabs: 24.0ms (0.3% of total)ival-true: 19.0ms (0.2% of total)exact: 14.0ms (0.1% of total)ival-asin: 11.0ms (0.1% of total)ival-assert: 10.0ms (0.1% of total)ival-log: 6.0ms (0.1% of total)ival-pow: 4.0ms (0% of total)ival-log1p: 2.0ms (0% of total)Loading profile data...