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.7min)
| 59.6s | 121 868× | 1 | valid |
| 37.6s | 280 105× | 0 | valid |
| 31.2s | 14 529× | 5 | exit |
| 17.4s | 24 159× | 2 | valid |
| 7.0s | 3 156× | 3 | valid |
| 6.3s | 35 287× | 0 | exit |
| 4.4s | 10 780× | 1 | exit |
| 3.0s | 20 685× | 0 | invalid |
| 2.3s | 11 189× | 1 | invalid |
| 374.0ms | 20× | 4 | exit |
| 336.0ms | 793× | 2 | invalid |
| 169.0ms | 19× | 3 | exit |
| 148.0ms | 24× | 4 | valid |
| 38.0ms | 19× | 2 | exit |
ival-pow: 25.9s (17.7% of total)ival-mult: 17.7s (12.1% of total)ival-cos: 17.7s (12.1% of total)ival-sin: 15.3s (10.4% of total)ival-div: 12.2s (8.4% of total)adjust: 10.5s (7.1% of total)ival-pow2: 9.0s (6.1% of total)ival-sub: 6.4s (4.4% of total)ival-add: 6.1s (4.2% of total)ival-exp: 5.9s (4% of total)ival-log: 4.7s (3.2% of total)ival-sqrt: 3.4s (2.3% of total)ival-neg: 2.1s (1.4% of total)ival-<: 1.6s (1.1% of total)const: 1.6s (1.1% of total)ival-hypot: 1.0s (0.7% of total)ival-tan: 972.0ms (0.7% of total)ival-atan2: 790.0ms (0.5% of total)ival-pi: 741.0ms (0.5% of total)exact: 416.0ms (0.3% of total)ival-acos: 390.0ms (0.3% of total)ival-cbrt: 341.0ms (0.2% of total)ival-atan: 332.0ms (0.2% of total)ival-and: 328.0ms (0.2% of total)ival-true: 291.0ms (0.2% of total)ival-assert: 199.0ms (0.1% of total)ival-log1p: 185.0ms (0.1% of total)ival-fabs: 169.0ms (0.1% of total)ival-<=: 168.0ms (0.1% of total)ival-asin: 142.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 579 to 24 433 computations (51.7% saved)
Compiled 14 181 337 to 796 732 computations (94.4% saved)
Compiled 686 204 to 294 766 computations (57% saved)
| 17.4s | 14 401× | 1 | valid |
| 8.7s | 29 789× | 0 | valid |
| 5.6s | 3 270× | 2 | valid |
| 4.9s | 641× | 5 | exit |
| 1.2s | 2 796× | 0 | invalid |
| 772.0ms | 364× | 3 | valid |
| 583.0ms | 114× | 4 | exit |
| 433.0ms | 223× | 1 | invalid |
| 265.0ms | 275× | 1 | exit |
| 40.0ms | 2× | 3 | exit |
| 36.0ms | 19× | 2 | invalid |
| 18.0ms | 72× | 0 | exit |
| 6.0ms | 2× | 2 | exit |
Compiled 99 111 to 8 148 computations (91.8% saved)
ival-mult: 7.3s (23.2% of total)ival-cos: 4.7s (15% of total)ival-sin: 4.5s (14.4% of total)ival-div: 3.0s (9.5% of total)ival-add: 2.8s (8.8% of total)adjust: 2.6s (8.3% of total)const: 934.0ms (3% of total)ival-pow2: 871.0ms (2.8% of total)ival-sqrt: 782.0ms (2.5% of total)ival-sub: 730.0ms (2.3% of total)ival-pow: 489.0ms (1.6% of total)ival-log: 464.0ms (1.5% of total)ival-atan2: 399.0ms (1.3% of total)ival-neg: 333.0ms (1.1% of total)ival-exp: 313.0ms (1% of total)ival-tan: 169.0ms (0.5% of total)ival-acos: 165.0ms (0.5% of total)ival-log1p: 157.0ms (0.5% of total)ival-hypot: 135.0ms (0.4% of total)ival-cbrt: 129.0ms (0.4% of total)ival-pi: 99.0ms (0.3% of total)exact: 89.0ms (0.3% of total)ival-atan: 84.0ms (0.3% of total)ival-fabs: 84.0ms (0.3% of total)ival-true: 44.0ms (0.1% of total)ival-assert: 22.0ms (0.1% of total)ival-asin: 14.0ms (0% of total)ival-cosh: 8.0ms (0% of total)ival-sinh: 6.0ms (0% of total)ival-copysign: 4.0ms (0% of total)ival-tanh: 1.0ms (0% of total)155 calls:
| 4.0s | phi2 |
| 3.7s | phi1 |
| 2.9s | lambda1 |
| 2.8s | a |
| 2.5s | lambda2 |
Compiled 28 700 to 17 102 computations (40.4% saved)
16902 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 197.0ms | a | @ | 0 | (exp (+ (log a) (log b))) |
| 135.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))) |
| 130.0ms | theta | @ | 0 | (pow (atan2 (* (sin theta) (* (sin delta) (cos phi1))) (cos delta)) 2) |
| 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))) |
| 111.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))))))) |
| 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 |
| 4.1s | 8 136× | 1 | valid |
| 2.2s | 16 294× | 0 | valid |
| 1.8s | 1 880× | 2 | valid |
| 661.0ms | 314× | 3 | valid |
Compiled 21 748 to 3 336 computations (84.7% saved)
ival-sin: 1.6s (22.6% of total)ival-cos: 1.1s (15.7% of total)ival-mult: 979.0ms (14.1% of total)ival-div: 765.0ms (11.1% of total)adjust: 486.0ms (7% of total)ival-pow2: 364.0ms (5.3% of total)ival-add: 307.0ms (4.4% of total)ival-sub: 275.0ms (4% of total)ival-exp: 242.0ms (3.5% of total)ival-log: 217.0ms (3.1% of total)ival-sqrt: 188.0ms (2.7% of total)ival-neg: 78.0ms (1.1% of total)ival-acos: 51.0ms (0.7% of total)ival-tan: 44.0ms (0.6% of total)ival-pow: 42.0ms (0.6% of total)ival-atan2: 41.0ms (0.6% of total)ival-hypot: 37.0ms (0.5% of total)ival-pi: 30.0ms (0.4% of total)ival-atan: 25.0ms (0.4% of total)ival-true: 24.0ms (0.3% of total)ival-cbrt: 19.0ms (0.3% of total)exact: 19.0ms (0.3% of total)ival-assert: 12.0ms (0.2% of total)ival-asin: 10.0ms (0.1% of total)ival-fabs: 10.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)
| 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 |
| 2.8s | 15 295× | 0 | valid |
| 537.0ms | 746× | 2 | valid |
| 118.0ms | 50× | 3 | valid |
| 52.0ms | 590× | 0 | invalid |
| 38.0ms | 84× | 1 | exit |
Compiled 118 915 to 79 410 computations (33.2% saved)
ival-cos: 1.9s (25.6% of total)ival-sin: 1.6s (21.8% of total)ival-mult: 1.3s (17.4% of total)ival-pow2: 526.0ms (7% of total)adjust: 410.0ms (5.5% of total)ival-div: 400.0ms (5.3% of total)ival-sub: 370.0ms (4.9% of total)ival-add: 235.0ms (3.1% of total)ival-sqrt: 160.0ms (2.1% of total)ival-atan2: 124.0ms (1.7% of total)ival-hypot: 91.0ms (1.2% of total)ival-acos: 57.0ms (0.8% of total)ival-tan: 54.0ms (0.7% of total)ival-atan: 37.0ms (0.5% of total)ival-exp: 32.0ms (0.4% of total)ival-neg: 31.0ms (0.4% of total)ival-asin: 25.0ms (0.3% of total)ival-pi: 24.0ms (0.3% of total)ival-true: 18.0ms (0.2% of total)ival-fabs: 14.0ms (0.2% of total)exact: 13.0ms (0.2% of total)ival-assert: 10.0ms (0.1% of total)ival-log: 5.0ms (0.1% of total)ival-log1p: 3.0ms (0% of total)Loading profile data...