Herbie run
| Date: | Thursday, May 23rd, 2024 |
|---|---|
| Commit: | f940d267 on brett-blog-post |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024144 |
| 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.4min)
| 2.0min | 25860× | 5 | exit |
| 1.2min | 130062× | 1 | valid |
| 41.8s | 270362× | 0 | valid |
| 24.0s | 8195× | 3 | valid |
| 19.0s | 19320× | 2 | valid |
| 12.8s | 49623× | 0 | unsamplable |
| 7.3s | 1371× | 4 | valid |
| 3.6s | 18712× | 0 | invalid |
| 2.8s | 11263× | 1 | invalid |
| 1.5s | 1725× | 2 | invalid |
| 114.0ms | 925× | 0 | precondition |
| 45.0ms | 64× | 1 | unsamplable |
| 16.0ms | 20× | 3 | invalid |
| 3.0ms | 2× | 5 | valid |
ival-pow: 1.9min (42.3% of total)ival-mult: 26.4s (9.9% of total)ival-sin: 23.8s (8.9% of total)ival-cos: 21.5s (8.1% of total)backward-pass: 17.3s (6.5% of total)ival-div: 15.6s (5.9% of total)ival-add: 9.2s (3.4% of total)ival-sub: 8.4s (3.1% of total)ival-exp: 6.9s (2.6% of total)ival-log: 5.9s (2.2% of total)ival-sqrt: 5.0s (1.9% of total)ival-neg: 3.8s (1.4% of total)ival-<: 2.7s (1% of total)...c/correct-round.rkt:121:19: 1.9s (0.7% of total)const: 1.0s (0.4% of total)ival-atan2: 757.0ms (0.3% of total)ival-pi: 697.0ms (0.3% of total)ival-tan: 642.0ms (0.2% of total)ival-acos: 465.0ms (0.2% of total)ival-atan: 426.0ms (0.2% of total)ival-and: 409.0ms (0.2% of total)ival-cbrt: 315.0ms (0.1% of total)ival-<=: 260.0ms (0.1% of total)ival-asin: 149.0ms (0.1% of total)ival-fabs: 146.0ms (0.1% of total)ival-==: 4.0ms (0% of total)ival-or: 0.0ms (0% of total)| 447× | egg-herbie |
| 184460× | fma-define |
| 119337× | fma-neg |
| 103408× | distribute-lft-in |
| 90298× | *-commutative |
| 90032× | distribute-rgt-in |
| 125× | saturated |
| 321× | node limit |
| 1× | unsound |
| 90542× | fma-define |
| 64640× | log1p-expm1-u |
| 52061× | *-commutative |
| 52027× | distribute-lft-in |
| 50978× | fma-neg |
| 15× | saturated |
| 44× | fuel |
| 256× | node limit |
| 3× | unsound |
| 8× | done |
Compiled 66302 to 19539 computations (70.5% saved)
| 23.7s | 13033× | 1 | valid |
| 18.0s | 1875× | 5 | exit |
| 12.8s | 27557× | 0 | valid |
| 8.0s | 2766× | 2 | valid |
| 4.2s | 4595× | 0 | invalid |
| 2.9s | 507× | 3 | valid |
| 860.0ms | 300× | 1 | invalid |
| 522.0ms | 47× | 4 | valid |
| 5.0ms | 8× | 0 | unsamplable |
Compiled 91642 to 7558 computations (91.8% saved)
ival-mult: 8.8s (18.1% of total)ival-sin: 7.5s (15.4% of total)ival-pow: 7.4s (15.3% of total)ival-cos: 5.7s (11.8% of total)backward-pass: 3.9s (8.1% of total)ival-div: 3.8s (7.8% of total)ival-add: 1.6s (3.4% of total)ival-sub: 1.5s (3% of total)...c/correct-round.rkt:121:19: 1.3s (2.6% of total)ival-sqrt: 1.1s (2.4% of total)ival-log: 938.0ms (1.9% of total)ival-fma: 809.0ms (1.7% of total)ival-exp: 698.0ms (1.4% of total)ival-cbrt: 565.0ms (1.2% of total)ival-hypot: 538.0ms (1.1% of total)ival-log1p: 367.0ms (0.8% of total)ival-atan2: 354.0ms (0.7% of total)ival-neg: 309.0ms (0.6% of total)ival-expm1: 257.0ms (0.5% of total)const: 210.0ms (0.4% of total)ival-tan: 202.0ms (0.4% of total)ival-atan: 194.0ms (0.4% of total)ival-acos: 142.0ms (0.3% of total)ival-fabs: 116.0ms (0.2% of total)ival-pi: 83.0ms (0.2% of total)ival-asin: 28.0ms (0.1% of total)155 calls:
| 4.1s | phi1 |
| 4.0s | lambda1 |
| 3.8s | phi2 |
| 3.5s | lambda2 |
| 2.8s | b |
Compiled 13933 to 8964 computations (35.7% saved)
| 197× | batch-egg-rewrite |
| 127268× | log1p-expm1-u |
| 92081× | expm1-log1p-u |
| 52059× | pow1 |
| 47892× | add-exp-log |
| 45702× | add-log-exp |
| 193× | node limit |
| 4× | unsound |
Compiled 588311 to 286067 computations (51.4% saved)
Compiled 8679022 to 838926 computations (90.3% saved)
17781 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 475.0ms | a | @ | inf | (log (+ 1 (* 180 (/ (atan (/ (- (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)) (+ (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* (cos (* angle (* (PI) 1/180))) b) (* (cos (* angle (* (PI) 1/180))) b)))) 2) (pow x-scale -2)) (sqrt (+ (* (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* (cos (* angle (* (PI) 1/180))) b) (* (cos (* angle (* (PI) 1/180))) b)))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2))) (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* (cos (* angle (* (PI) 1/180))) b) (* (cos (* angle (* (PI) 1/180))) b)))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)))) (* (* 2 (/ (* (cos (* angle (* (PI) 1/180))) (* (sin (* angle (* (PI) 1/180))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))) (* 2 (/ (* (cos (* angle (* (PI) 1/180))) (* (sin (* angle (* (PI) 1/180))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale)))))))) (* 2 (/ (* (cos (* angle (* (PI) 1/180))) (* (sin (* angle (* (PI) 1/180))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))))) (PI))))) |
| 415.0ms | b | @ | -inf | (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (* (pow a 2) (sqrt (+ (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow x-scale 2) (pow y-scale 2)))) (pow (- (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow y-scale 2))) 2))))) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) |
| 361.0ms | b | @ | -inf | (/ (- (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)) (+ (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* (cos (* angle (* (PI) 1/180))) b) (* (cos (* angle (* (PI) 1/180))) b)))) 2) (pow x-scale -2)) (sqrt (+ (* (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* (cos (* angle (* (PI) 1/180))) b) (* (cos (* angle (* (PI) 1/180))) b)))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2))) (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* (cos (* angle (* (PI) 1/180))) b) (* (cos (* angle (* (PI) 1/180))) b)))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)))) (* (* 2 (/ (* (cos (* angle (* (PI) 1/180))) (* (sin (* angle (* (PI) 1/180))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))) (* 2 (/ (* (cos (* angle (* (PI) 1/180))) (* (sin (* angle (* (PI) 1/180))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale)))))))) (* 2 (/ (* (cos (* angle (* (PI) 1/180))) (* (sin (* angle (* (PI) 1/180))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale)))) |
| 359.0ms | b | @ | inf | (log (+ 1 (* 180 (/ (atan (/ (- (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)) (+ (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* (cos (* angle (* (PI) 1/180))) b) (* (cos (* angle (* (PI) 1/180))) b)))) 2) (pow x-scale -2)) (sqrt (+ (* (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* (cos (* angle (* (PI) 1/180))) b) (* (cos (* angle (* (PI) 1/180))) b)))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2))) (- (* (pow (sqrt (+ (* (* a (sin (* angle (* (PI) 1/180)))) (* a (sin (* angle (* (PI) 1/180))))) (* (* (cos (* angle (* (PI) 1/180))) b) (* (cos (* angle (* (PI) 1/180))) b)))) 2) (pow x-scale -2)) (* (pow (sqrt (+ (* (* a (cos (* angle (* (PI) 1/180)))) (* a (cos (* angle (* (PI) 1/180))))) (* (* b (sin (* angle (* (PI) 1/180)))) (* b (sin (* angle (* (PI) 1/180))))))) 2) (pow y-scale -2)))) (* (* 2 (/ (* (cos (* angle (* (PI) 1/180))) (* (sin (* angle (* (PI) 1/180))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))) (* 2 (/ (* (cos (* angle (* (PI) 1/180))) (* (sin (* angle (* (PI) 1/180))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale)))))))) (* 2 (/ (* (cos (* angle (* (PI) 1/180))) (* (sin (* angle (* (PI) 1/180))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))))) (PI))))) |
| 292.0ms | delta | @ | 0 | (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (cos phi1) (* (sin delta) (cos theta)))))))) |
| 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.3s (33.6% of total)ival-pow: 2.3s (14.3% of total)ival-cos: 1.7s (10.7% of total)ival-sin: 1.2s (7.4% of total)ival-div: 1.1s (7% of total)ival-sqrt: 848.0ms (5.4% of total)ival-sub: 781.0ms (5% of total)ival-add: 771.0ms (4.9% of total)ival-neg: 379.0ms (2.4% of total)...c/correct-round.rkt:121:19: 309.0ms (2% of total)ival-<: 287.0ms (1.8% of total)ival-exp: 154.0ms (1% of total)ival-atan2: 124.0ms (0.8% of total)const: 92.0ms (0.6% of total)ival-pi: 87.0ms (0.6% of total)ival-asin: 66.0ms (0.4% of total)ival-atan: 54.0ms (0.3% of total)ival-tan: 54.0ms (0.3% of total)ival-log: 53.0ms (0.3% of total)ival-and: 51.0ms (0.3% of total)ival-acos: 39.0ms (0.2% of total)ival-fabs: 34.0ms (0.2% of total)backward-pass: 23.0ms (0.1% of total)ival-cbrt: 21.0ms (0.1% of total)ival-<=: 3.0ms (0% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 338× | binary-search |
| 67× | left-value |
| 2× | predicate-same |
| 336× | narrow-enough |
| 9.0s | 10924× | 1 | valid |
| 5.6s | 28506× | 0 | valid |
| 1.9s | 1136× | 3 | valid |
| 1.3s | 1258× | 2 | valid |
| 209.0ms | 1921× | 0 | invalid |
| 194.0ms | 48× | 4 | valid |
Compiled 113169 to 76738 computations (32.2% saved)
ival-cos: 2.9s (19.9% of total)ival-sin: 2.7s (18.4% of total)ival-mult: 2.6s (17.5% of total)ival-pow: 1.4s (9.2% of total)ival-div: 1.1s (7.5% of total)backward-pass: 863.0ms (5.9% of total)ival-sub: 858.0ms (5.8% of total)ival-add: 838.0ms (5.7% of total)ival-sqrt: 470.0ms (3.2% of total)ival-atan2: 200.0ms (1.4% of total)ival-atan: 170.0ms (1.2% of total)ival-acos: 134.0ms (0.9% of total)ival-neg: 125.0ms (0.8% of total)ival-tan: 93.0ms (0.6% of total)ival-exp: 91.0ms (0.6% of total)const: 78.0ms (0.5% of total)ival-pi: 52.0ms (0.4% of total)ival-log: 41.0ms (0.3% of total)ival-fabs: 25.0ms (0.2% of total)ival-asin: 13.0ms (0.1% of total)| 5.0s | 8320× | 1 | valid |
| 3.5s | 15710× | 0 | valid |
| 3.0s | 1930× | 2 | valid |
| 1.7s | 582× | 3 | valid |
| 374.0ms | 82× | 4 | valid |
Compiled 20263 to 2450 computations (87.9% saved)
ival-sin: 1.8s (18.6% of total)ival-mult: 1.3s (14% of total)ival-cos: 1.2s (13.2% of total)backward-pass: 1.2s (13.1% of total)ival-pow: 1.2s (12.3% of total)ival-div: 642.0ms (6.8% of total)ival-add: 406.0ms (4.3% of total)ival-sub: 364.0ms (3.8% of total)ival-sqrt: 321.0ms (3.4% of total)ival-neg: 246.0ms (2.6% of total)ival-exp: 226.0ms (2.4% of total)ival-log: 208.0ms (2.2% of total)ival-tan: 79.0ms (0.8% of total)const: 56.0ms (0.6% of total)ival-atan2: 45.0ms (0.5% of total)ival-pi: 36.0ms (0.4% of total)ival-atan: 33.0ms (0.3% of total)ival-cbrt: 22.0ms (0.2% of total)ival-acos: 21.0ms (0.2% of total)ival-fabs: 18.0ms (0.2% of total)ival-asin: 8.0ms (0.1% 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 56360 to 20620 computations (63.4% saved)
Loading profile data...