Herbie run
| Date: | Saturday, August 3rd, 2024 |
|---|---|
| Commit: | 2.2 on release |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024216 |
| 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)
| 1.0min | 121 868× | 1 | valid |
| 37.7s | 280 105× | 0 | valid |
| 31.9s | 14 529× | 5 | exit |
| 17.3s | 24 159× | 2 | valid |
| 6.9s | 3 156× | 3 | valid |
| 6.1s | 35 287× | 0 | exit |
| 4.3s | 10 780× | 1 | exit |
| 3.5s | 20 685× | 0 | invalid |
| 2.1s | 11 189× | 1 | invalid |
| 302.0ms | 793× | 2 | invalid |
| 277.0ms | 20× | 4 | exit |
| 205.0ms | 19× | 3 | exit |
| 150.0ms | 24× | 4 | valid |
| 38.0ms | 19× | 2 | exit |
ival-pow: 26.9s (18% of total)ival-mult: 19.0s (12.7% of total)ival-cos: 17.7s (11.8% of total)ival-sin: 16.2s (10.9% of total)ival-div: 12.1s (8.1% of total)adjust: 10.6s (7.1% of total)ival-pow2: 9.0s (6% of total)ival-sub: 6.7s (4.5% of total)ival-add: 6.1s (4.1% of total)ival-exp: 5.9s (4% of total)ival-sqrt: 3.9s (2.6% of total)ival-log: 3.8s (2.6% of total)ival-neg: 2.0s (1.3% of total)const: 1.8s (1.2% of total)ival-<: 1.6s (1.1% of total)ival-hypot: 862.0ms (0.6% of total)ival-acos: 816.0ms (0.5% of total)ival-atan2: 697.0ms (0.5% of total)ival-tan: 567.0ms (0.4% of total)ival-pi: 564.0ms (0.4% of total)exact: 440.0ms (0.3% of total)ival-and: 334.0ms (0.2% of total)ival-atan: 331.0ms (0.2% of total)ival-true: 317.0ms (0.2% of total)ival-cbrt: 295.0ms (0.2% of total)ival-assert: 218.0ms (0.1% of total)ival-<=: 176.0ms (0.1% of total)ival-fabs: 163.0ms (0.1% of total)ival-log1p: 146.0ms (0.1% of total)ival-asin: 140.0ms (0.1% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 458× | egg-herbie |
| 3 478 548× | lower-fma.f32 |
| 3 477 398× | lower-fma.f64 |
| 1 753 060× | lower-*.f32 |
| 1 748 738× | lower-*.f64 |
| 955 648× | lower-+.f32 |
| 609× | iter limit |
| 321× | node limit |
| 137× | saturated |
| 203× | batch-egg-rewrite |
| 931 394× | lower-fma.f32 |
| 930 256× | lower-fma.f64 |
| 888 060× | lower-*.f32 |
| 883 898× | lower-*.f64 |
| 703 214× | lower-/.f32 |
| 416× | iter limit |
| 201× | node limit |
| 1× | saturated |
| 1× | unsound |
| 2 306 158× | lower-fma.f32 |
| 2 305 382× | lower-fma.f64 |
| 1 561 600× | lower-*.f32 |
| 1 558 526× | lower-*.f64 |
| 802 154× | lower-+.f32 |
| 437× | iter limit |
| 292× | node limit |
| 45× | fuel |
| 7× | done |
| 1× | saturated |
Compiled 50 522 to 24 400 computations (51.7% saved)
| 18.6s | 14 401× | 1 | valid |
| 8.2s | 29 789× | 0 | valid |
| 5.4s | 3 270× | 2 | valid |
| 4.8s | 641× | 5 | exit |
| 1.2s | 2 796× | 0 | invalid |
| 1.1s | 114× | 4 | exit |
| 765.0ms | 364× | 3 | valid |
| 486.0ms | 223× | 1 | invalid |
| 311.0ms | 275× | 1 | exit |
| 55.0ms | 19× | 2 | invalid |
| 37.0ms | 2× | 3 | exit |
| 17.0ms | 72× | 0 | exit |
| 6.0ms | 2× | 2 | exit |
Compiled 99 111 to 8 148 computations (91.8% saved)
ival-mult: 7.9s (24.6% of total)ival-cos: 5.2s (16.1% of total)ival-sin: 4.4s (13.7% of total)ival-div: 3.0s (9.3% of total)adjust: 2.6s (8.2% of total)ival-add: 2.2s (6.7% of total)ival-sub: 947.0ms (3% of total)const: 932.0ms (2.9% of total)ival-sqrt: 842.0ms (2.6% of total)ival-pow2: 838.0ms (2.6% of total)ival-atan2: 511.0ms (1.6% of total)ival-pow: 489.0ms (1.5% of total)ival-exp: 346.0ms (1.1% of total)ival-log: 311.0ms (1% of total)ival-neg: 267.0ms (0.8% of total)ival-log1p: 225.0ms (0.7% of total)ival-acos: 212.0ms (0.7% of total)ival-tan: 168.0ms (0.5% of total)ival-cbrt: 149.0ms (0.5% of total)ival-hypot: 144.0ms (0.4% of total)ival-fabs: 110.0ms (0.3% of total)ival-atan: 102.0ms (0.3% of total)exact: 92.0ms (0.3% of total)ival-pi: 83.0ms (0.3% of total)ival-true: 49.0ms (0.2% of total)ival-assert: 24.0ms (0.1% of total)ival-asin: 13.0ms (0% of total)ival-copysign: 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 14 181 337 to 796 732 computations (94.4% saved)
Compiled 686 204 to 294 766 computations (57% saved)
155 calls:
| 3.6s | phi1 |
| 3.5s | phi2 |
| 2.5s | a |
| 2.4s | lambda1 |
| 2.4s | (-.f64 lambda1 lambda2) |
Compiled 28 700 to 17 102 computations (40.4% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1809 | 3 |
+.f64 | #f | cancellation | 1753 | 39 |
sin.f64 | #f | sensitivity | 1571 | 1 |
sqrt.f64 | #f | oflow-rescue | 1435 | 0 |
-.f64 | #f | cancellation | 929 | 10 |
log.f64 | #f | sensitivity | 597 | 1 |
-.f64 | #f | nan-rescue | 532 | 0 |
/.f64 | #f | o/n | 415 | 0 |
/.f64 | #f | o/o | 331 | 0 |
/.f64 | #f | u/u | 329 | 0 |
*.f64 | #f | n*o | 260 | 0 |
/.f64 | #f | u/n | 171 | 0 |
exp.f64 | #f | sensitivity | 163 | 23 |
sqrt.f64 | #f | uflow-rescue | 160 | 0 |
cbrt.f64 | #f | oflow-rescue | 113 | 0 |
/.f64 | #f | n/o | 99 | 0 |
*.f64 | #f | n*u | 95 | 0 |
cbrt.f64 | #f | uflow-rescue | 48 | 0 |
/.f64 | #f | n/u | 37 | 0 |
*.f64 | #f | o*u | 35 | 0 |
*.f64 | #f | u*o | 33 | 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 | 16 | 3 |
pow.f64 | #f | uflow-rescue | 15 | 0 |
pow.f64 | #f | sensitivity | 8 | 0 |
log.f64 | #f | oflow-rescue | 6 | 0 |
log.f64 | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | uflow-rescue | 4 | 0 |
| ↳ | (+.f64 (exp.f64 a) (exp.f64 b)) | underflow | 4 | |
| ↳ | (exp.f64 a) | underflow | 127 | |
| ↳ | (exp.f64 b) | underflow | 4 | |
asin.f64 | (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))) | sensitivity | 1 | 4 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5822 | 69 |
| - | 1336 | 6085 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5822 | 43 | 26 |
| - | 1336 | 31 | 6054 |
| number | freq |
|---|---|
| 0 | 6154 |
| 1 | 4722 |
| 2 | 1692 |
| 3 | 356 |
| 4 | 230 |
| 5 | 101 |
| 6 | 42 |
| 7 | 7 |
| 8 | 7 |
| 9 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 42 | 1 | 0 |
| - | 3 | 0 | 6 |
| 3.8s | 8 136× | 1 | valid |
| 2.2s | 16 294× | 0 | valid |
| 1.8s | 1 880× | 2 | valid |
| 600.0ms | 314× | 3 | valid |
Compiled 21 748 to 3 336 computations (84.7% saved)
ival-sin: 1.4s (21.2% of total)ival-cos: 1.1s (15.7% of total)ival-mult: 851.0ms (12.6% of total)ival-div: 614.0ms (9.1% of total)ival-pow2: 507.0ms (7.5% of total)adjust: 477.0ms (7.1% of total)ival-sub: 354.0ms (5.3% of total)ival-add: 352.0ms (5.2% of total)ival-exp: 277.0ms (4.1% of total)ival-sqrt: 202.0ms (3% of total)ival-log: 175.0ms (2.6% of total)ival-neg: 75.0ms (1.1% of total)ival-tan: 48.0ms (0.7% of total)ival-pow: 45.0ms (0.7% of total)ival-hypot: 44.0ms (0.7% of total)ival-atan2: 41.0ms (0.6% of total)ival-pi: 35.0ms (0.5% of total)ival-atan: 26.0ms (0.4% of total)ival-true: 26.0ms (0.4% of total)ival-acos: 21.0ms (0.3% of total)exact: 19.0ms (0.3% of total)ival-cbrt: 18.0ms (0.3% of total)ival-assert: 12.0ms (0.2% of total)ival-fabs: 11.0ms (0.2% of total)ival-asin: 9.0ms (0.1% of total)ival-log1p: 5.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 60 768 to 19 180 computations (68.4% saved)
16902 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 287.0ms | ew | @ | inf | (fabs (/ (+ (* (* eh eh) (* (- 1/2 (* 1/2 (cos (* 2 (atan (* (neg eh) (/ (tan t) ew))))))) (- 1/2 (* 1/2 (cos (* 2 t)))))) (neg (pow (/ (* ew (cos t)) (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2)))) 2))) (- (neg (* (* eh (sin t)) (sin (atan (* (neg eh) (/ (tan t) ew)))))) (/ (* ew (cos t)) (sqrt (+ 1 (pow (* (neg eh) (/ (tan t) ew)) 2))))))) |
| 165.0ms | t | @ | 0 | (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* 1 (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) |
| 161.0ms | angle | @ | inf | (* (* 1/4 a) (* (* x-scale (* (sqrt 8) y-scale)) (sqrt (- (+ (/ (+ (* (cos (* (PI) (* 1/90 angle))) -1/2) 1/2) (* x-scale x-scale)) (/ (+ (* 1/2 (cos (* (PI) (* 1/90 angle)))) 1/2) (* y-scale y-scale))) (sqrt (+ (* 4 (* (+ (* 1/2 (cos (* (PI) (* 1/90 angle)))) 1/2) (/ (+ (* (cos (* (PI) (* 1/90 angle))) -1/2) 1/2) (* x-scale (* x-scale (* y-scale y-scale)))))) (pow (- (/ (+ (* (cos (* (PI) (* 1/90 angle))) -1/2) 1/2) (* x-scale x-scale)) (/ (+ (* 1/2 (cos (* (PI) (* 1/90 angle)))) 1/2) (* y-scale y-scale))) 2))))))) |
| 144.0ms | a | @ | 0 | (* x-scale (+ (* 1/8 (/ (* (* y-scale (* (sqrt 8) (+ (* 1/2 (/ (+ (* -2 (* (+ (* (* a a) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (* (pow (sin (* 1/180 (* angle (PI)))) 2) (* b b)) (* y-scale y-scale))) (+ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (* b b)) (* (pow (sin (* 1/180 (* angle (PI)))) 2) (* a a))))) (/ (* 4 (* (pow (cos (* 1/180 (* angle (PI)))) 2) (* (pow (sin (* 1/180 (* angle (PI)))) 2) (* (* (+ b a) (- b a)) (* (+ b a) (- b a)))))) (* y-scale y-scale))) (+ (* (* a a) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (* (pow (sin (* 1/180 (* angle (PI)))) 2) (* b b)) (* y-scale y-scale))))) (+ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (* b b)) (* (pow (sin (* 1/180 (* angle (PI)))) 2) (* a a)))))) (sqrt (/ 1 (* 2 (+ (* (* a a) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (* (pow (sin (* 1/180 (* angle (PI)))) 2) (* b b)) (* y-scale y-scale))))))) (* x-scale x-scale))) (* (* 1/4 (* y-scale (sqrt 8))) (sqrt (* 2 (+ (* (* a a) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (* y-scale y-scale))) (/ (* (pow (sin (* 1/180 (* angle (PI)))) 2) (* b b)) (* y-scale y-scale)))))))) |
| 127.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))) |
| 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)
| 319× | binary-search |
| 155× | left-value |
| 305× | narrow-enough |
| 14× | predicate-same |
| 5.3s | 7 077× | 1 | valid |
| 3.3s | 15 295× | 0 | valid |
| 557.0ms | 746× | 2 | valid |
| 99.0ms | 50× | 3 | valid |
| 87.0ms | 590× | 0 | invalid |
| 34.0ms | 84× | 1 | exit |
Compiled 118 915 to 79 410 computations (33.2% saved)
ival-sin: 2.0s (24.7% of total)ival-cos: 1.9s (23.7% of total)ival-mult: 1.0s (12.8% of total)ival-div: 654.0ms (8.1% of total)adjust: 501.0ms (6.2% of total)ival-pow2: 490.0ms (6.1% of total)ival-add: 339.0ms (4.2% of total)ival-sub: 302.0ms (3.7% of total)ival-sqrt: 230.0ms (2.8% of total)ival-atan2: 145.0ms (1.8% of total)ival-acos: 84.0ms (1% of total)ival-hypot: 64.0ms (0.8% of total)ival-atan: 63.0ms (0.8% of total)ival-tan: 61.0ms (0.8% of total)ival-neg: 60.0ms (0.7% of total)ival-asin: 28.0ms (0.3% of total)ival-exp: 27.0ms (0.3% of total)ival-pi: 25.0ms (0.3% of total)ival-true: 20.0ms (0.2% of total)exact: 13.0ms (0.2% of total)ival-fabs: 11.0ms (0.1% of total)ival-assert: 10.0ms (0.1% of total)ival-log: 6.0ms (0.1% of total)ival-log1p: 3.0ms (0% of total)Loading profile data...