Herbie run
| Date: | Thursday, August 8th, 2024 |
|---|---|
| Commit: | 5940181a on spec-fpcore-fields |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024221 |
| 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: 15.1min)
| 58.7s | 121 707× | 1 | valid |
| 35.6s | 280 233× | 0 | valid |
| 30.8s | 14 366× | 5 | exit |
| 17.5s | 24 311× | 2 | valid |
| 7.0s | 3 030× | 3 | valid |
| 6.3s | 35 691× | 0 | exit |
| 4.6s | 10 755× | 1 | exit |
| 3.1s | 20 424× | 0 | invalid |
| 2.3s | 11 125× | 1 | invalid |
| 542.0ms | 33× | 4 | exit |
| 471.0ms | 806× | 2 | invalid |
| 235.0ms | 31× | 4 | valid |
| 151.0ms | 16× | 3 | exit |
| 17.0ms | 9× | 2 | exit |
ival-pow: 26.1s (18% of total)ival-mult: 17.9s (12.3% of total)ival-cos: 17.4s (12% of total)ival-sin: 15.6s (10.8% of total)ival-div: 11.6s (8% of total)adjust: 10.4s (7.2% of total)ival-pow2: 8.2s (5.6% of total)ival-add: 6.1s (4.2% of total)ival-sub: 6.0s (4.1% of total)ival-exp: 5.6s (3.9% of total)ival-log: 4.9s (3.4% of total)ival-sqrt: 4.2s (2.9% of total)ival-neg: 1.9s (1.3% of total)const: 1.6s (1.1% of total)ival-<: 1.5s (1% of total)ival-hypot: 1.0s (0.7% of total)ival-atan2: 861.0ms (0.6% of total)ival-pi: 612.0ms (0.4% of total)ival-tan: 599.0ms (0.4% of total)ival-acos: 444.0ms (0.3% of total)exact: 397.0ms (0.3% of total)ival-atan: 378.0ms (0.3% of total)ival-and: 334.0ms (0.2% of total)ival-true: 311.0ms (0.2% of total)ival-cbrt: 290.0ms (0.2% of total)ival-assert: 202.0ms (0.1% of total)ival-fabs: 175.0ms (0.1% of total)ival-<=: 159.0ms (0.1% of total)ival-asin: 138.0ms (0.1% of total)ival-log1p: 136.0ms (0.1% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 458× | egg-herbie |
| 3 615 468× | lower-fma.f32 |
| 3 614 300× | lower-fma.f64 |
| 1 786 758× | lower-*.f32 |
| 1 782 134× | lower-*.f64 |
| 1 000 564× | lower-+.f32 |
| 609× | iter limit |
| 330× | node limit |
| 128× | saturated |
Compiled 721 541 to 302 387 computations (58.1% saved)
| 24.3s | 16 470× | 1 | valid |
| 11.5s | 5 611× | 2 | valid |
| 8.9s | 964× | 5 | exit |
| 8.1s | 26 218× | 0 | valid |
| 1.4s | 138× | 4 | exit |
| 1.1s | 319× | 1 | invalid |
| 973.0ms | 1 541× | 0 | invalid |
| 858.0ms | 413× | 3 | valid |
| 259.0ms | 194× | 1 | exit |
| 222.0ms | 26× | 3 | exit |
| 79.0ms | 13× | 2 | exit |
| 21.0ms | 6× | 4 | valid |
| 17.0ms | 55× | 0 | exit |
Compiled 132 872 to 10 007 computations (92.5% saved)
ival-mult: 10.9s (22.5% of total)ival-cos: 7.9s (16.2% of total)ival-sin: 7.1s (14.8% of total)ival-div: 4.6s (9.6% of total)adjust: 4.5s (9.4% of total)ival-add: 3.1s (6.3% of total)ival-pow2: 1.6s (3.4% of total)const: 1.4s (3% of total)ival-sqrt: 1.3s (2.6% of total)ival-sub: 1.2s (2.6% of total)ival-exp: 982.0ms (2% of total)ival-neg: 690.0ms (1.4% of total)ival-log: 612.0ms (1.3% of total)ival-pow: 499.0ms (1% of total)ival-hypot: 385.0ms (0.8% of total)ival-atan2: 375.0ms (0.8% of total)ival-acos: 164.0ms (0.3% of total)ival-cbrt: 142.0ms (0.3% of total)ival-expm1: 142.0ms (0.3% of total)ival-tan: 132.0ms (0.3% of total)ival-atan: 104.0ms (0.2% of total)exact: 99.0ms (0.2% of total)ival-pi: 87.0ms (0.2% of total)ival-fabs: 62.0ms (0.1% of total)ival-log1p: 54.0ms (0.1% of total)ival-true: 51.0ms (0.1% of total)ival-asin: 41.0ms (0.1% of total)ival-assert: 23.0ms (0% of total)ival-cosh: 9.0ms (0% of total)ival-sinh: 7.0ms (0% of total)ival-copysign: 6.0ms (0% of total)ival-tanh: 1.0ms (0% of total)| 203× | batch-egg-rewrite |
| 892 736× | lower-*.f32 |
| 888 276× | lower-*.f64 |
| 886 606× | lower-fma.f32 |
| 885 446× | lower-fma.f64 |
| 686 912× | lower-/.f32 |
| 413× | iter limit |
| 202× | node limit |
| 1× | saturated |
| 2 194 952× | lower-fma.f32 |
| 2 194 170× | lower-fma.f64 |
| 1 521 608× | lower-*.f32 |
| 1 518 382× | lower-*.f64 |
| 792 932× | lower-+.f32 |
| 423× | iter limit |
| 285× | node limit |
| 46× | fuel |
| 6× | done |
Compiled 60 496 to 26 251 computations (56.6% saved)
Compiled 16 235 056 to 739 269 computations (95.4% saved)
155 calls:
| 3.1s | b |
| 3.0s | phi1 |
| 3.0s | a |
| 2.9s | lambda2 |
| 2.6s | phi2 |
Compiled 27 778 to 16 594 computations (40.3% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1791 | 1 |
+.f64 | #f | cancellation | 1728 | 29 |
sin.f64 | #f | sensitivity | 1516 | 0 |
sqrt.f64 | #f | oflow-rescue | 1386 | 0 |
-.f64 | #f | cancellation | 940 | 10 |
log.f64 | #f | sensitivity | 603 | 1 |
/.f64 | #f | o/n | 494 | 0 |
-.f64 | #f | nan-rescue | 483 | 0 |
/.f64 | #f | u/u | 340 | 0 |
/.f64 | #f | o/o | 303 | 0 |
*.f64 | #f | n*o | 266 | 0 |
/.f64 | #f | u/n | 196 | 0 |
exp.f64 | #f | sensitivity | 168 | 23 |
sqrt.f64 | #f | uflow-rescue | 156 | 0 |
*.f64 | #f | n*u | 114 | 0 |
/.f64 | #f | n/o | 113 | 0 |
cbrt.f64 | #f | oflow-rescue | 106 | 0 |
cbrt.f64 | #f | uflow-rescue | 49 | 0 |
/.f64 | #f | n/u | 40 | 0 |
*.f64 | #f | u*o | 31 | 0 |
*.f64 | #f | o*u | 24 | 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 | 18 | 6 |
pow.f64 | #f | uflow-rescue | 13 | 0 |
pow.f64 | (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n) | sensitivity | 9 | 1 |
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 | 132 | |
| ↳ | (exp.f64 b) | underflow | 2 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5676 | 67 |
| - | 1401 | 6168 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5676 | 44 | 23 |
| - | 1401 | 29 | 6139 |
| number | freq |
|---|---|
| 0 | 6235 |
| 1 | 4729 |
| 2 | 1627 |
| 3 | 300 |
| 4 | 228 |
| 5 | 112 |
| 6 | 49 |
| 7 | 18 |
| 8 | 8 |
| 9 | 6 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 42 | 1 | 0 |
| - | 3 | 0 | 6 |
| 4.1s | 7 822× | 1 | valid |
| 2.2s | 16 424× | 0 | valid |
| 2.2s | 2 080× | 2 | valid |
| 566.0ms | 292× | 3 | valid |
| 270.0ms | 4× | 4 | valid |
| 17.0ms | 2× | 5 | exit |
Compiled 21 748 to 3 336 computations (84.7% saved)
ival-sin: 1.6s (21.8% of total)ival-cos: 1.5s (20% of total)ival-mult: 1.2s (16.3% of total)ival-div: 574.0ms (7.8% of total)adjust: 486.0ms (6.6% of total)ival-pow2: 388.0ms (5.3% of total)ival-sub: 388.0ms (5.3% of total)ival-add: 264.0ms (3.6% of total)ival-exp: 247.0ms (3.4% of total)ival-log: 177.0ms (2.4% of total)ival-sqrt: 172.0ms (2.3% of total)ival-neg: 58.0ms (0.8% of total)ival-tan: 52.0ms (0.7% of total)ival-atan2: 43.0ms (0.6% of total)ival-hypot: 42.0ms (0.6% of total)ival-pi: 32.0ms (0.4% of total)ival-atan: 27.0ms (0.4% of total)ival-true: 26.0ms (0.4% of total)ival-acos: 22.0ms (0.3% of total)ival-pow: 21.0ms (0.3% of total)exact: 19.0ms (0.3% of total)ival-cbrt: 18.0ms (0.2% of total)ival-assert: 12.0ms (0.2% 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)13392 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 342.0ms | theta | @ | -inf | (atan2 (* (* (sin theta) (sin delta)) (cos phi1)) (- (- (cos delta) (* (- 1/2 (* 1/2 (cos (* 2 phi1)))) (cos delta))) (* (* (cos phi1) (* (sin delta) (cos theta))) (sin phi1)))) |
| 301.0ms | a | @ | inf | (/ (sqrt (* (/ (* (neg (* b (* b (* a a)))) (* 8 (neg (* b (* b (* a a)))))) (* x-scale (* y-scale (* x-scale y-scale)))) (+ (/ (+ (* (* b b) (+ 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180)))))) (* (* a a) (- 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180))))))) (* x-scale x-scale)) (+ (/ (+ (* (* a a) (+ 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180)))))) (* (* b b) (- 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180))))))) (* y-scale y-scale)) (sqrt (+ (* (- (/ (+ (* (* b b) (+ 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180)))))) (* (* a a) (- 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180))))))) (* x-scale x-scale)) (/ (+ (* (* a a) (+ 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180)))))) (* (* b b) (- 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180))))))) (* y-scale y-scale))) (- (/ (+ (* (* b b) (+ 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180)))))) (* (* a a) (- 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180))))))) (* x-scale x-scale)) (/ (+ (* (* a a) (+ 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180)))))) (* (* b b) (- 1/2 (* 1/2 (cos (* 2 (* (* angle (PI)) 1/180))))))) (* y-scale y-scale)))) (* (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (* angle (PI)) 1/180)))) (* x-scale y-scale)) (/ (* (* (+ b a) (- b a)) (sin (* 2 (* (* angle (PI)) 1/180)))) (* x-scale y-scale))))))))) (/ 1 (* x-scale (* y-scale (* x-scale y-scale))))) |
| 204.0ms | t | @ | -inf | (* (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n) (* (pow (+ 1 (/ -1 (+ 1 (exp (neg t))))) (neg c_n)) (* (pow (+ 1 (exp (neg s))) (neg c_p)) (pow (+ 1 (exp (neg t))) (neg (neg c_p)))))) |
| 141.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))) |
| 117.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))) |
| 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 67 276 to 19 288 computations (71.3% 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)
| 281× | binary-search |
| 176× | left-value |
| 274× | narrow-enough |
| 7× | predicate-same |
| 4.3s | 6 187× | 1 | valid |
| 2.3s | 12 093× | 0 | valid |
| 304.0ms | 535× | 2 | valid |
| 65.0ms | 33× | 3 | valid |
| 36.0ms | 403× | 0 | invalid |
| 7.0ms | 17× | 1 | exit |
Compiled 109 507 to 70 287 computations (35.8% saved)
ival-cos: 1.6s (25.9% of total)ival-sin: 1.4s (23.7% of total)ival-mult: 788.0ms (12.9% of total)adjust: 514.0ms (8.4% of total)ival-div: 365.0ms (6% of total)ival-pow2: 297.0ms (4.9% of total)ival-sub: 289.0ms (4.7% of total)ival-atan2: 235.0ms (3.9% of total)ival-add: 132.0ms (2.2% of total)ival-sqrt: 115.0ms (1.9% of total)ival-acos: 91.0ms (1.5% of total)ival-tan: 35.0ms (0.6% of total)ival-neg: 32.0ms (0.5% of total)ival-hypot: 31.0ms (0.5% of total)ival-atan: 30.0ms (0.5% of total)ival-fabs: 24.0ms (0.4% of total)ival-pi: 18.0ms (0.3% of total)ival-asin: 18.0ms (0.3% of total)ival-true: 16.0ms (0.3% of total)ival-exp: 12.0ms (0.2% of total)exact: 10.0ms (0.2% of total)ival-assert: 8.0ms (0.1% of total)ival-log: 8.0ms (0.1% of total)ival-pow: 5.0ms (0.1% of total)ival-log1p: 1.0ms (0% of total)Loading profile data...