Herbie run
| Date: | Wednesday, June 5th, 2024 |
|---|---|
| Commit: | 8a54fd57 on main |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024157 |
| 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: 18.3min)
| 2.0min | 25949× | 5 | exit |
| 1.3min | 129711× | 1 | valid |
| 49.8s | 270871× | 0 | valid |
| 23.2s | 8203× | 3 | valid |
| 19.7s | 19155× | 2 | valid |
| 18.9s | 69998× | 0 | invalid |
| 8.2s | 1368× | 4 | valid |
| 3.6s | 11100× | 1 | invalid |
| 1.1s | 1696× | 2 | invalid |
| 93.0ms | 1× | 5 | invalid |
| 21.0ms | 31× | 3 | invalid |
| 11.0ms | 4× | 5 | valid |
ival-pow: 1.9min (43% of total)ival-mult: 25.9s (9.6% of total)ival-sin: 22.9s (8.5% of total)ival-cos: 20.9s (7.8% of total)ival-div: 15.8s (5.9% of total)adjust: 14.7s (5.5% of total)ival-add: 9.2s (3.4% of total)ival-sub: 9.2s (3.4% of total)ival-log: 6.8s (2.5% of total)ival-exp: 6.8s (2.5% of total)ival-sqrt: 5.4s (2% of total)ival-neg: 3.6s (1.3% of total)ival-<: 3.1s (1.1% of total)...c/correct-round.rkt:168:19: 2.3s (0.8% of total)ival-cbrt: 904.0ms (0.3% of total)const: 894.0ms (0.3% of total)ival-atan2: 717.0ms (0.3% of total)ival-tan: 645.0ms (0.2% of total)ival-pi: 641.0ms (0.2% of total)ival-true: 600.0ms (0.2% of total)ival-assert: 573.0ms (0.2% of total)ival-atan: 443.0ms (0.2% of total)ival-acos: 439.0ms (0.2% of total)ival-and: 439.0ms (0.2% of total)ival-<=: 283.0ms (0.1% of total)ival-asin: 255.0ms (0.1% of total)ival-fabs: 190.0ms (0.1% of total)ival-==: 2.0ms (0% of total)ival-or: 0.0ms (0% of total)| 449× | egg-herbie |
| 179715× | fma-define |
| 117967× | fmm-def |
| 103832× | distribute-lft-in |
| 94239× | *-commutative |
| 88257× | times-frac |
| 112× | saturated |
| 335× | node limit |
| 2× | unsound |
| 33.8s | 13953× | 1 | valid |
| 24.9s | 1869× | 5 | exit |
| 18.2s | 27301× | 0 | valid |
| 9.0s | 2347× | 2 | valid |
| 4.4s | 505× | 3 | valid |
| 4.1s | 4331× | 0 | invalid |
| 1.6s | 483× | 1 | invalid |
| 601.0ms | 53× | 4 | valid |
| 321.0ms | 91× | 2 | invalid |
| 47.0ms | 10× | 3 | invalid |
| 3.0ms | 1× | 5 | valid |
Compiled 92372 to 7823 computations (91.5% saved)
ival-mult: 8.5s (16.1% of total)ival-sin: 7.8s (14.9% of total)ival-pow: 7.3s (13.9% of total)adjust: 6.2s (11.7% of total)ival-cos: 5.2s (9.8% of total)ival-div: 4.3s (8.3% of total)ival-add: 1.7s (3.3% of total)ival-sub: 1.4s (2.7% of total)...c/correct-round.rkt:168:19: 1.2s (2.3% of total)ival-log: 1.1s (2.2% of total)ival-expm1: 1.0s (1.9% of total)ival-sqrt: 907.0ms (1.7% of total)ival-exp: 891.0ms (1.7% of total)ival-fma: 799.0ms (1.5% of total)ival-log1p: 759.0ms (1.4% of total)ival-tan: 464.0ms (0.9% of total)ival-hypot: 457.0ms (0.9% of total)ival-neg: 408.0ms (0.8% of total)ival-atan2: 396.0ms (0.8% of total)ival-cbrt: 382.0ms (0.7% of total)ival-atan: 258.0ms (0.5% of total)ival-pi: 257.0ms (0.5% of total)ival-acos: 242.0ms (0.5% of total)const: 217.0ms (0.4% of total)ival-fabs: 126.0ms (0.2% of total)ival-true: 95.0ms (0.2% of total)ival-assert: 64.0ms (0.1% of total)ival-asin: 43.0ms (0.1% of total)ival-cosh: 3.0ms (0% of total)| 83978× | fma-define |
| 69590× | log1p-expm1-u |
| 51357× | *-commutative |
| 51275× | expm1-log1p-u |
| 50467× | fmm-def |
| 15× | saturated |
| 269× | node limit |
| 45× | fuel |
| 4× | unsound |
| 7× | done |
Compiled 75007 to 21060 computations (71.9% saved)
155 calls:
| 4.0s | phi2 |
| 3.5s | phi1 |
| 3.3s | lambda2 |
| 3.3s | lambda1 |
| 2.8s | (-.f64 lambda1 lambda2) |
Compiled 13956 to 8920 computations (36.1% saved)
Compiled 576534 to 285363 computations (50.5% saved)
| 198× | batch-egg-rewrite |
| 119950× | log1p-expm1-u |
| 87746× | expm1-log1p-u |
| 52831× | pow1 |
| 48935× | add-exp-log |
| 46645× | add-log-exp |
| 194× | node limit |
| 4× | unsound |
Compiled 9023718 to 872133 computations (90.3% saved)
17739 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 269.0ms | angle | @ | inf | (log (* (- (pow b 2) (pow a 2)) (sin (* 2 (* angle (* (PI) -1/180)))))) |
| 250.0ms | a | @ | inf | (/ 1 (* a (/ 2 (+ (* -1 b) (sqrt (+ (* -4 (* a c)) (pow b 2))))))) |
| 229.0ms | lambda2 | @ | inf | (log (acos (+ (* (cos phi2) (cos (- lambda1 lambda2))) (* phi1 (sin phi2))))) |
| 223.0ms | x-scale | @ | 0 | (/ (* (* 2 (- (pow b 2) (pow a 2))) (* (sin (* (/ angle 180) (PI))) (cos (* (/ angle 180) (PI))))) (* y-scale x-scale)) |
| 223.0ms | angle | @ | 0 | (/ (neg (sqrt (* (* (* 2 (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* (* b a) (* b (neg a)))) (- (+ (/ (/ (+ (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)) (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))))))) (/ (* 4 (* (* b a) (* b (neg a)))) (pow (* x-scale y-scale) 2))) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1931 | 1 |
+.f64 | #f | cancellation | 1728 | 30 |
sin.f64 | #f | sensitivity | 1684 | 0 |
sqrt.f64 | #f | oflow-rescue | 1416 | 0 |
-.f64 | #f | cancellation | 924 | 9 |
-.f64 | #f | nan-rescue | 664 | 0 |
log.f64 | #f | sensitivity | 589 | 2 |
/.f64 | #f | o/n | 560 | 0 |
/.f64 | #f | o/o | 384 | 0 |
/.f64 | #f | u/u | 246 | 0 |
*.f64 | #f | n*o | 243 | 0 |
/.f64 | #f | u/n | 163 | 0 |
sqrt.f64 | #f | uflow-rescue | 160 | 0 |
exp.f64 | #f | sensitivity | 156 | 26 |
/.f64 | #f | n/o | 116 | 0 |
*.f64 | #f | n*u | 95 | 0 |
cbrt.f64 | #f | oflow-rescue | 94 | 0 |
cbrt.f64 | #f | uflow-rescue | 44 | 0 |
*.f64 | #f | o*u | 42 | 0 |
/.f64 | #f | n/u | 37 | 0 |
*.f64 | #f | u*o | 26 | 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 | 19 | 3 |
log.f64 | #f | oflow-rescue | 8 | 0 |
pow.f64 | #f | uflow-rescue | 7 | 0 |
pow.f64 | #f | sensitivity | 6 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5823 | 69 |
| - | 1326 | 6094 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5823 | 36 | 33 |
| - | 1326 | 31 | 6063 |
| number | freq |
|---|---|
| 0 | 6163 |
| 1 | 4690 |
| 2 | 1626 |
| 3 | 341 |
| 4 | 230 |
| 5 | 168 |
| 6 | 60 |
| 7 | 20 |
| 8 | 10 |
| 9 | 3 |
| 10 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 42 | 0 | 0 |
| - | 2 | 1 | 7 |
| 7.5s | 8510× | 1 | valid |
| 3.8s | 15530× | 0 | valid |
| 2.8s | 1874× | 2 | valid |
| 1.9s | 610× | 3 | valid |
| 802.0ms | 98× | 4 | valid |
| 63.0ms | 2× | 5 | valid |
Compiled 21748 to 3336 computations (84.7% saved)
ival-sin: 2.2s (22.7% of total)ival-mult: 1.6s (16.4% of total)ival-cos: 1.6s (16% of total)adjust: 920.0ms (9.5% of total)ival-pow: 756.0ms (7.8% of total)ival-div: 665.0ms (6.8% of total)ival-sub: 415.0ms (4.3% of total)ival-add: 345.0ms (3.6% of total)ival-sqrt: 261.0ms (2.7% of total)ival-exp: 226.0ms (2.3% of total)ival-log: 200.0ms (2.1% of total)ival-neg: 117.0ms (1.2% of total)ival-tan: 92.0ms (0.9% of total)ival-atan: 79.0ms (0.8% of total)ival-atan2: 50.0ms (0.5% of total)ival-true: 48.0ms (0.5% of total)ival-pi: 41.0ms (0.4% of total)const: 40.0ms (0.4% of total)ival-assert: 32.0ms (0.3% of total)ival-cbrt: 25.0ms (0.3% of total)ival-acos: 22.0ms (0.2% of total)ival-fabs: 14.0ms (0.1% of total)ival-asin: 12.0ms (0.1% of total)| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 14.8% | 11.8% | 67.6% | 20.6% | 0% | 0% | 0% | 1 |
| 22.6% | 17.7% | 60.4% | 20.6% | 0% | 1.3% | 0% | 2 |
| 32.7% | 24.7% | 50.8% | 20.6% | 0% | 3.8% | 0% | 3 |
| 39.8% | 29.8% | 45% | 20.6% | 0% | 4.5% | 0% | 4 |
| 45.4% | 33.8% | 40.6% | 20.6% | 0% | 5.1% | 0% | 5 |
| 48.4% | 35.7% | 38% | 20.6% | 0% | 5.7% | 0% | 6 |
| 51.8% | 37.8% | 35.2% | 20.6% | 0% | 6.3% | 0.1% | 7 |
| 53.5% | 38.9% | 33.8% | 20.6% | 0% | 6.6% | 0.1% | 8 |
| 56.4% | 40.6% | 31.4% | 20.6% | 0% | 7.2% | 0.2% | 9 |
| 57.7% | 41.4% | 30.3% | 20.6% | 0% | 7.5% | 0.2% | 10 |
| 59.8% | 42.7% | 28.7% | 20.6% | 0% | 7.8% | 0.3% | 11 |
| 61.3% | 43.5% | 27.5% | 20.6% | 0% | 8.1% | 0.3% | 12 |
Compiled 1826 to 1000 computations (45.2% saved)
| 287× | binary-search |
| 72× | left-value |
| 6× | predicate-same |
| 281× | narrow-enough |
| 7.5s | 9715× | 1 | valid |
| 5.4s | 24514× | 0 | valid |
| 1.2s | 655× | 3 | valid |
| 873.0ms | 1209× | 2 | valid |
| 279.0ms | 1109× | 0 | invalid |
| 77.0ms | 19× | 4 | valid |
Compiled 80736 to 57194 computations (29.2% saved)
ival-sin: 2.5s (20.8% of total)ival-cos: 2.2s (18% of total)ival-mult: 1.8s (14.9% of total)ival-div: 891.0ms (7.3% of total)adjust: 877.0ms (7.2% of total)ival-pow: 871.0ms (7.1% of total)ival-add: 642.0ms (5.3% of total)ival-sub: 638.0ms (5.2% of total)ival-sqrt: 460.0ms (3.8% of total)ival-neg: 385.0ms (3.2% of total)ival-atan: 168.0ms (1.4% of total)ival-atan2: 167.0ms (1.4% of total)ival-acos: 133.0ms (1.1% of total)ival-exp: 98.0ms (0.8% of total)ival-tan: 66.0ms (0.5% of total)ival-log: 60.0ms (0.5% of total)ival-true: 58.0ms (0.5% of total)ival-pi: 48.0ms (0.4% of total)const: 39.0ms (0.3% of total)ival-assert: 39.0ms (0.3% of total)ival-fabs: 17.0ms (0.1% of total)| 52× | egg-herbie |
| 32339× | fma-define |
| 19274× | fmm-def |
| 13261× | div-sub |
| 11418× | sub-neg |
| 10337× | distribute-lft-in |
| 22× | saturated |
| 30× | node limit |
Compiled 59728 to 23506 computations (60.6% saved)
Loading profile data...