Herbie run
| Date: | Friday, May 24th, 2024 |
|---|---|
| Commit: | 7841f259 on main |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024145 |
| 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: 17.2min)
| 1.9min | 25706× | 5 | exit |
| 1.2min | 130189× | 1 | valid |
| 43.5s | 270509× | 0 | valid |
| 20.8s | 8136× | 3 | valid |
| 16.8s | 19153× | 2 | valid |
| 14.1s | 49443× | 0 | unsamplable |
| 7.8s | 1317× | 4 | valid |
| 4.3s | 18805× | 0 | invalid |
| 2.9s | 11051× | 1 | invalid |
| 1.2s | 1729× | 2 | invalid |
| 166.0ms | 8× | 5 | valid |
| 137.0ms | 865× | 0 | precondition |
| 47.0ms | 68× | 1 | unsamplable |
| 12.0ms | 20× | 3 | invalid |
| 11.0ms | 1× | 3 | unsamplable |
| 5.0ms | 1× | 2 | unsamplable |
ival-pow: 1.8min (42% of total)ival-mult: 25.9s (9.8% of total)ival-cos: 22.3s (8.4% of total)ival-sin: 21.1s (8% of total)backward-pass: 16.5s (6.3% of total)ival-div: 16.1s (6.1% of total)ival-add: 9.9s (3.8% of total)ival-sub: 8.9s (3.4% of total)ival-log: 5.7s (2.2% of total)ival-exp: 5.3s (2% of total)ival-sqrt: 5.1s (1.9% of total)ival-neg: 4.3s (1.6% of total)ival-<: 4.1s (1.5% of total)...c/correct-round.rkt:121:19: 2.0s (0.8% of total)const: 1.0s (0.4% of total)ival-atan2: 898.0ms (0.3% of total)ival-pi: 784.0ms (0.3% of total)ival-tan: 660.0ms (0.2% of total)ival-atan: 470.0ms (0.2% of total)ival-acos: 433.0ms (0.2% of total)ival-and: 429.0ms (0.2% of total)ival-cbrt: 370.0ms (0.1% of total)ival-<=: 236.0ms (0.1% of total)ival-fabs: 202.0ms (0.1% of total)ival-asin: 151.0ms (0.1% of total)ival-==: 2.0ms (0% of total)ival-or: 0.0ms (0% of total)| 445× | egg-herbie |
| 168657× | fma-define |
| 114217× | fma-neg |
| 96751× | distribute-lft-in |
| 91277× | times-frac |
| 88510× | *-commutative |
| 126× | saturated |
| 318× | node limit |
| 1× | unsound |
| 86846× | fma-define |
| 61505× | log1p-expm1-u |
| 51721× | expm1-log1p-u |
| 48415× | distribute-lft-in |
| 46403× | fma-neg |
| 16× | saturated |
| 43× | fuel |
| 247× | node limit |
| 3× | unsound |
| 9× | done |
Compiled 63491 to 18451 computations (70.9% saved)
| 25.6s | 13597× | 1 | valid |
| 19.4s | 2133× | 5 | exit |
| 13.8s | 27861× | 0 | valid |
| 6.9s | 2149× | 2 | valid |
| 3.5s | 491× | 3 | valid |
| 2.5s | 3641× | 0 | invalid |
| 983.0ms | 417× | 1 | invalid |
| 506.0ms | 44× | 4 | valid |
| 120.0ms | 2× | 5 | valid |
| 25.0ms | 97× | 0 | unsamplable |
Compiled 96146 to 7500 computations (92.2% saved)
ival-mult: 8.5s (17.4% of total)ival-sin: 7.5s (15.3% of total)ival-pow: 7.2s (14.8% of total)ival-cos: 6.6s (13.4% of total)backward-pass: 4.3s (8.7% of total)ival-div: 3.5s (7.2% of total)ival-add: 1.5s (3% of total)ival-sub: 1.4s (2.8% of total)...c/correct-round.rkt:121:19: 1.4s (2.8% of total)ival-sqrt: 1.1s (2.2% of total)ival-log: 955.0ms (1.9% of total)ival-exp: 791.0ms (1.6% of total)ival-log1p: 667.0ms (1.4% of total)ival-atan2: 643.0ms (1.3% of total)ival-fma: 563.0ms (1.1% of total)ival-hypot: 522.0ms (1.1% of total)ival-neg: 352.0ms (0.7% of total)ival-expm1: 247.0ms (0.5% of total)ival-cbrt: 231.0ms (0.5% of total)const: 212.0ms (0.4% of total)ival-fabs: 192.0ms (0.4% of total)ival-atan: 145.0ms (0.3% of total)ival-pi: 144.0ms (0.3% of total)ival-acos: 141.0ms (0.3% of total)ival-tan: 122.0ms (0.2% of total)ival-e: 105.0ms (0.2% of total)ival-asin: 61.0ms (0.1% of total)155 calls:
| 4.7s | phi2 |
| 3.7s | phi1 |
| 3.5s | lambda2 |
| 3.2s | (-.f64 lambda1 lambda2) |
| 3.1s | lambda1 |
Compiled 13717 to 8827 computations (35.6% saved)
Compiled 592466 to 288193 computations (51.4% saved)
| 196× | batch-egg-rewrite |
| 120891× | log1p-expm1-u |
| 96801× | expm1-log1p-u |
| 53188× | pow1 |
| 49018× | add-exp-log |
| 46725× | add-log-exp |
| 193× | node limit |
| 3× | unsound |
Compiled 9034800 to 864358 computations (90.4% saved)
17364 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 522.0ms | y-scale | @ | 0 | (* (* a (* x-scale (* y-scale (sqrt 8)))) (sqrt (+ (/ (pow (cos (* angle (* 1/180 (PI)))) 2) (pow y-scale 2)) (- (/ (pow (sin (* angle (* 1/180 (PI)))) 2) (pow x-scale 2)) (sqrt (+ (* 4 (* (pow (cos (* angle (* 1/180 (PI)))) 2) (/ (pow (sin (* angle (* 1/180 (PI)))) 2) (* (pow x-scale 2) (pow y-scale 2))))) (pow (- (/ (pow (sin (* angle (* 1/180 (PI)))) 2) (pow x-scale 2)) (/ (pow (cos (* angle (* 1/180 (PI)))) 2) (pow y-scale 2))) 2))))))) |
| 463.0ms | C | @ | -inf | (/ (sqrt (* (* (+ (* B B) (* A (* C -4))) F) (* 2 (+ A (- C (sqrt (+ (* B B) (* (- A C) (- A C))))))))) (neg (+ (* B B) (* A (* C -4))))) |
| 439.0ms | c_p | @ | -inf | (pow (pow (E) c_p) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) |
| 311.0ms | x-scale | @ | 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))) |
| 283.0ms | y-scale | @ | 0 | (neg (atan (/ (/ y-scale x-scale) (tan (* 1/180 (* angle (PI))))))) |
| 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% | 21% | 0% | 0.9% | 0% | 2 |
| 32.7% | 24.7% | 50.8% | 21.2% | 0% | 3.3% | 0% | 3 |
| 39.8% | 29.8% | 45% | 21.2% | 0% | 4% | 0% | 4 |
| 45.4% | 33.8% | 40.6% | 21.2% | 0% | 4.5% | 0% | 5 |
| 48.4% | 35.7% | 38% | 21.2% | 0% | 5.1% | 0% | 6 |
| 51.8% | 37.8% | 35.2% | 21.2% | 0% | 5.7% | 0.1% | 7 |
| 53.5% | 38.9% | 33.8% | 21.3% | 0% | 6% | 0.1% | 8 |
| 56.4% | 40.6% | 31.4% | 21.3% | 0% | 6.6% | 0.2% | 9 |
| 57.7% | 41.4% | 30.3% | 21.3% | 0% | 6.8% | 0.2% | 10 |
| 59.8% | 42.7% | 28.7% | 21.3% | 0% | 7.1% | 0.3% | 11 |
| 61.3% | 43.5% | 27.5% | 21.3% | 0% | 7.5% | 0.3% | 12 |
Compiled 1919 to 947 computations (50.7% saved)
ival-mult: 5.0s (30.2% of total)ival-pow: 2.4s (14.3% of total)ival-sin: 1.7s (10.1% of total)ival-div: 1.6s (9.8% of total)ival-cos: 1.5s (9.3% of total)ival-sub: 941.0ms (5.7% of total)ival-sqrt: 872.0ms (5.3% of total)ival-add: 824.0ms (5% of total)ival-neg: 338.0ms (2% of total)ival-<: 336.0ms (2% of total)...c/correct-round.rkt:121:19: 285.0ms (1.7% of total)ival-atan2: 128.0ms (0.8% of total)const: 95.0ms (0.6% of total)ival-exp: 73.0ms (0.4% of total)ival-atan: 68.0ms (0.4% of total)ival-pi: 65.0ms (0.4% of total)ival-tan: 63.0ms (0.4% of total)ival-and: 52.0ms (0.3% of total)ival-log: 49.0ms (0.3% of total)ival-acos: 38.0ms (0.2% of total)ival-asin: 35.0ms (0.2% of total)ival-fabs: 32.0ms (0.2% of total)backward-pass: 24.0ms (0.1% of total)ival-cbrt: 19.0ms (0.1% of total)ival-<=: 3.0ms (0% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 5.4s | 8458× | 1 | valid |
| 3.2s | 15596× | 0 | valid |
| 2.6s | 1946× | 2 | valid |
| 1.5s | 540× | 3 | valid |
| 428.0ms | 82× | 4 | valid |
| 192.0ms | 2× | 5 | valid |
Compiled 20263 to 2450 computations (87.9% saved)
ival-sin: 2.1s (22.9% of total)ival-mult: 1.7s (18.2% of total)ival-cos: 1.2s (13.5% of total)ival-pow: 876.0ms (9.5% of total)backward-pass: 755.0ms (8.2% of total)ival-div: 677.0ms (7.3% of total)ival-add: 455.0ms (4.9% of total)ival-sub: 372.0ms (4% of total)ival-sqrt: 242.0ms (2.6% of total)ival-exp: 200.0ms (2.2% of total)ival-log: 194.0ms (2.1% of total)ival-neg: 144.0ms (1.6% of total)const: 59.0ms (0.6% of total)ival-tan: 47.0ms (0.5% of total)ival-atan2: 45.0ms (0.5% of total)ival-pi: 38.0ms (0.4% of total)ival-atan: 31.0ms (0.3% of total)ival-acos: 22.0ms (0.2% of total)ival-cbrt: 22.0ms (0.2% of total)ival-fabs: 18.0ms (0.2% of total)ival-asin: 8.0ms (0.1% of total)| 296× | binary-search |
| 43× | left-value |
| 5× | predicate-same |
| 291× | narrow-enough |
| 7.4s | 10553× | 1 | valid |
| 4.0s | 23797× | 0 | valid |
| 882.0ms | 688× | 3 | valid |
| 870.0ms | 1263× | 2 | valid |
| 165.0ms | 1134× | 0 | invalid |
| 18.0ms | 3× | 4 | valid |
| 1.0ms | 30× | 0 | unsamplable |
| 1.0ms | 1× | 5 | exit |
Compiled 90545 to 62983 computations (30.4% saved)
ival-cos: 2.2s (20.3% of total)ival-sin: 2.1s (19.1% of total)ival-mult: 2.0s (18.1% of total)ival-div: 803.0ms (7.4% of total)ival-pow: 793.0ms (7.4% of total)ival-sub: 765.0ms (7.1% of total)backward-pass: 481.0ms (4.5% of total)ival-add: 364.0ms (3.4% of total)ival-sqrt: 341.0ms (3.2% of total)ival-atan2: 307.0ms (2.8% of total)ival-log: 158.0ms (1.5% of total)ival-acos: 147.0ms (1.4% of total)ival-atan: 96.0ms (0.9% of total)ival-neg: 71.0ms (0.7% of total)ival-tan: 65.0ms (0.6% of total)const: 63.0ms (0.6% of total)ival-exp: 56.0ms (0.5% of total)ival-pi: 39.0ms (0.4% of total)ival-fabs: 24.0ms (0.2% of total)| 52× | egg-herbie |
| 32328× | fma-define |
| 19274× | fma-neg |
| 13234× | div-sub |
| 11584× | unsub-neg |
| 11427× | sub-neg |
| 22× | saturated |
| 30× | node limit |
Compiled 54424 to 22162 computations (59.3% saved)
Loading profile data...