Herbie run
| Date: | Thursday, July 25th, 2024 |
|---|---|
| Commit: | 3dbe455a on bsearch-speedup |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024207 |
| 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)
| 1.0min | 122 120× | 1 | valid |
| 35.9s | 279 884× | 0 | valid |
| 31.7s | 14 418× | 5 | exit |
| 17.2s | 22 959× | 2 | valid |
| 8.1s | 4 208× | 3 | valid |
| 6.1s | 35 084× | 0 | exit |
| 4.2s | 10 854× | 1 | exit |
| 3.1s | 20 830× | 0 | invalid |
| 2.7s | 11 362× | 1 | invalid |
| 534.0ms | 34× | 4 | exit |
| 354.0ms | 823× | 2 | invalid |
| 279.0ms | 24× | 3 | exit |
| 265.0ms | 141× | 4 | valid |
| 25.0ms | 11× | 2 | exit |
ival-pow: 26.0s (17.5% of total)ival-mult: 18.4s (12.4% of total)ival-cos: 18.2s (12.2% of total)ival-sin: 15.6s (10.5% of total)ival-div: 12.5s (8.4% of total)ival-pow2: 9.6s (6.5% of total)adjust: 9.3s (6.3% of total)ival-add: 6.9s (4.6% of total)ival-sub: 6.4s (4.3% of total)ival-exp: 5.6s (3.8% of total)ival-log: 4.5s (3% of total)ival-sqrt: 3.7s (2.5% of total)ival-neg: 2.6s (1.7% of total)ival-<: 1.6s (1.1% of total)const: 1.6s (1.1% of total)ival-hypot: 967.0ms (0.7% of total)ival-pi: 902.0ms (0.6% of total)ival-atan2: 843.0ms (0.6% of total)ival-tan: 573.0ms (0.4% of total)exact: 493.0ms (0.3% of total)ival-acos: 372.0ms (0.3% of total)ival-atan: 361.0ms (0.2% of total)ival-and: 326.0ms (0.2% of total)ival-true: 293.0ms (0.2% of total)ival-cbrt: 277.0ms (0.2% of total)ival-assert: 213.0ms (0.1% of total)ival-asin: 137.0ms (0.1% of total)ival-log1p: 130.0ms (0.1% of total)ival-<=: 130.0ms (0.1% of total)ival-fabs: 115.0ms (0.1% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 458× | egg-herbie |
| 3 470 430× | lower-fma.f32 |
| 3 469 352× | lower-fma.f64 |
| 1 733 962× | lower-*.f32 |
| 1 729 664× | lower-*.f64 |
| 925 618× | lower-+.f32 |
| 607× | iter limit |
| 318× | node limit |
| 143× | saturated |
| 203× | batch-egg-rewrite |
| 895 242× | lower-fma.f32 |
| 894 184× | lower-fma.f64 |
| 878 438× | lower-*.f32 |
| 874 268× | lower-*.f64 |
| 675 276× | lower-/.f32 |
| 412× | iter limit |
| 201× | node limit |
| 4× | saturated |
| 2 248 446× | lower-fma.f32 |
| 2 247 750× | lower-fma.f64 |
| 1 486 716× | lower-*.f32 |
| 1 483 528× | lower-*.f64 |
| 760 296× | lower-+.f32 |
| 422× | iter limit |
| 283× | node limit |
| 46× | fuel |
| 6× | done |
| 2× | saturated |
Compiled 50 366 to 25 057 computations (50.3% saved)
| 15.9s | 12 947× | 1 | valid |
| 10.9s | 4 907× | 2 | valid |
| 8.0s | 28 835× | 0 | valid |
| 4.8s | 788× | 5 | exit |
| 2.9s | 844× | 3 | valid |
| 1.5s | 2 995× | 0 | invalid |
| 1.1s | 440× | 1 | invalid |
| 695.0ms | 81× | 4 | exit |
| 384.0ms | 75× | 4 | valid |
| 105.0ms | 9× | 3 | exit |
| 24.0ms | 14× | 2 | invalid |
| 22.0ms | 27× | 1 | exit |
| 15.0ms | 5× | 2 | exit |
| 4.0ms | 1× | 3 | invalid |
Compiled 91 199 to 8 054 computations (91.2% saved)
ival-mult: 8.6s (23.3% of total)ival-cos: 6.4s (17.4% of total)ival-sin: 6.1s (16.6% of total)ival-div: 3.1s (8.4% of total)adjust: 3.0s (8.1% of total)ival-add: 2.1s (5.8% of total)ival-pow2: 1.2s (3.1% of total)const: 1.0s (2.8% of total)ival-sqrt: 897.0ms (2.4% of total)ival-sub: 818.0ms (2.2% of total)ival-atan2: 541.0ms (1.5% of total)ival-log: 437.0ms (1.2% of total)ival-exp: 401.0ms (1.1% of total)ival-pow: 387.0ms (1.1% of total)ival-neg: 382.0ms (1% of total)ival-cbrt: 191.0ms (0.5% of total)ival-log1p: 185.0ms (0.5% of total)ival-tan: 179.0ms (0.5% of total)ival-acos: 175.0ms (0.5% of total)ival-atan: 167.0ms (0.5% of total)exact: 112.0ms (0.3% of total)ival-pi: 111.0ms (0.3% of total)ival-hypot: 98.0ms (0.3% of total)ival-fabs: 88.0ms (0.2% of total)ival-asin: 53.0ms (0.1% of total)ival-true: 46.0ms (0.1% of total)ival-assert: 23.0ms (0.1% of total)ival-cosh: 3.0ms (0% of total)ival-tanh: 2.0ms (0% of total)ival-sinh: 2.0ms (0% of total)ival-copysign: 2.0ms (0% of total)Compiled 12 880 620 to 800 167 computations (93.8% saved)
Compiled 669 864 to 294 390 computations (56.1% saved)
155 calls:
| 3.6s | phi1 |
| 3.4s | phi2 |
| 2.9s | lambda1 |
| 2.6s | lambda2 |
| 2.5s | a |
Compiled 27 780 to 16 602 computations (40.2% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1800 | 3 |
+.f64 | #f | cancellation | 1692 | 35 |
sin.f64 | #f | sensitivity | 1535 | 3 |
sqrt.f64 | #f | oflow-rescue | 1422 | 0 |
-.f64 | #f | cancellation | 949 | 13 |
log.f64 | #f | sensitivity | 617 | 0 |
-.f64 | #f | nan-rescue | 511 | 0 |
/.f64 | #f | o/n | 427 | 0 |
/.f64 | #f | u/u | 338 | 0 |
/.f64 | #f | o/o | 290 | 0 |
*.f64 | #f | n*o | 223 | 0 |
/.f64 | #f | u/n | 186 | 0 |
sqrt.f64 | #f | uflow-rescue | 173 | 0 |
exp.f64 | #f | sensitivity | 165 | 31 |
*.f64 | #f | n*u | 112 | 0 |
/.f64 | #f | n/o | 103 | 0 |
cbrt.f64 | #f | oflow-rescue | 89 | 0 |
/.f64 | #f | n/u | 41 | 0 |
*.f64 | #f | u*o | 34 | 0 |
cbrt.f64 | #f | uflow-rescue | 30 | 0 |
*.f64 | #f | o*u | 30 | 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 | 1 |
pow.f64 | #f | sensitivity | 9 | 2 |
pow.f64 | #f | uflow-rescue | 9 | 0 |
log.f64 | #f | oflow-rescue | 5 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5719 | 70 |
| - | 1381 | 6142 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5719 | 45 | 25 |
| - | 1381 | 31 | 6111 |
| number | freq |
|---|---|
| 0 | 6212 |
| 1 | 4753 |
| 2 | 1620 |
| 3 | 357 |
| 4 | 214 |
| 5 | 92 |
| 6 | 33 |
| 7 | 22 |
| 8 | 5 |
| 9 | 4 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 42 | 0 | 0 |
| - | 2 | 0 | 8 |
| 4.4s | 8 024× | 1 | valid |
| 2.3s | 16 278× | 0 | valid |
| 2.0s | 1 914× | 2 | valid |
| 617.0ms | 396× | 3 | valid |
| 15.0ms | 12× | 4 | valid |
Compiled 21 748 to 3 336 computations (84.7% saved)
ival-sin: 1.5s (19.1% of total)ival-mult: 1.1s (15% of total)ival-cos: 1.1s (14.9% of total)ival-pow2: 698.0ms (9.2% of total)ival-div: 670.0ms (8.8% of total)adjust: 460.0ms (6% of total)ival-sub: 433.0ms (5.7% of total)ival-add: 300.0ms (3.9% of total)ival-exp: 274.0ms (3.6% of total)ival-log: 251.0ms (3.3% of total)ival-sqrt: 196.0ms (2.6% of total)ival-neg: 128.0ms (1.7% of total)ival-tan: 102.0ms (1.3% of total)ival-hypot: 76.0ms (1% of total)ival-atan2: 75.0ms (1% of total)ival-pi: 37.0ms (0.5% of total)ival-cbrt: 28.0ms (0.4% of total)ival-atan: 27.0ms (0.4% of total)ival-acos: 26.0ms (0.3% of total)ival-true: 25.0ms (0.3% of total)exact: 24.0ms (0.3% of total)ival-pow: 20.0ms (0.3% of total)ival-assert: 12.0ms (0.2% of total)ival-fabs: 10.0ms (0.1% 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 61 550 to 19 846 computations (67.8% saved)
16332 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 302.0ms | b | @ | inf | (* (* 1/4 (* x-scale (sqrt 8))) (sqrt (* 2 (+ (* (pow (sin (* 1/180 (* angle (PI)))) 2) (* b b)) (* (pow (+ 1 (* (* -1/64800 (* angle angle)) (* (PI) (PI)))) 2) (* a a)))))) |
| 263.0ms | angle | @ | inf | (/ (+ (* -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)))) |
| 244.0ms | lambda2 | @ | inf | (* (sin lambda1) (sin lambda2)) |
| 169.0ms | g | @ | inf | (/ (- (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (/ g (neg h))) 1/3))) 3) (pow (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (/ g (neg h))) 1/3)))) 3)) (+ (pow (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (/ g (neg h))) 1/3))) 2) (* (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (/ g (neg h))) 1/3)))) (+ (* 2 (* (* (/ (sqrt 3) 2) 1/2) (sin (* (acos (/ g (neg h))) 1/3)))) (* (- 1/4 (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (cos (* (acos (/ g (neg h))) 1/3))))))) |
| 152.0ms | lambda1 | @ | inf | (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) |
| 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 |
| 140× | left-value |
| 311× | narrow-enough |
| 8× | predicate-same |
| 4.4s | 6 790× | 1 | valid |
| 2.5s | 14 051× | 0 | valid |
| 702.0ms | 850× | 2 | valid |
| 146.0ms | 85× | 3 | valid |
| 52.0ms | 100× | 1 | exit |
| 50.0ms | 603× | 0 | invalid |
| 4.0ms | 92× | 0 | exit |
Compiled 112 508 to 76 255 computations (32.2% saved)
ival-cos: 1.8s (26.3% of total)ival-sin: 1.6s (23.8% of total)ival-mult: 909.0ms (13.3% of total)ival-div: 507.0ms (7.4% of total)ival-pow2: 479.0ms (7% of total)adjust: 368.0ms (5.4% of total)ival-sub: 318.0ms (4.7% of total)ival-add: 200.0ms (2.9% of total)ival-sqrt: 124.0ms (1.8% of total)ival-acos: 90.0ms (1.3% of total)ival-atan2: 88.0ms (1.3% of total)ival-exp: 60.0ms (0.9% of total)ival-hypot: 59.0ms (0.9% of total)ival-atan: 47.0ms (0.7% of total)ival-neg: 36.0ms (0.5% of total)ival-pi: 30.0ms (0.4% of total)ival-tan: 18.0ms (0.3% of total)ival-true: 17.0ms (0.2% of total)exact: 15.0ms (0.2% of total)ival-asin: 14.0ms (0.2% of total)ival-assert: 9.0ms (0.1% of total)ival-fabs: 6.0ms (0.1% of total)ival-log: 5.0ms (0.1% of total)ival-log1p: 4.0ms (0.1% of total)Loading profile data...