Herbie run
| Date: | Thursday, May 23rd, 2024 |
|---|---|
| Commit: | 7841f259 on main |
| 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)
| 1.9min | 25860× | 5 | exit |
| 1.2min | 130062× | 1 | valid |
| 45.5s | 270362× | 0 | valid |
| 24.2s | 8195× | 3 | valid |
| 19.4s | 19320× | 2 | valid |
| 15.3s | 49623× | 0 | unsamplable |
| 7.8s | 1371× | 4 | valid |
| 3.7s | 18712× | 0 | invalid |
| 3.2s | 11263× | 1 | invalid |
| 1.1s | 1725× | 2 | invalid |
| 85.0ms | 925× | 0 | precondition |
| 50.0ms | 64× | 1 | unsamplable |
| 29.0ms | 20× | 3 | invalid |
| 3.0ms | 2× | 5 | valid |
ival-pow: 1.9min (41.5% of total)ival-mult: 26.2s (9.7% of total)ival-sin: 21.8s (8.1% of total)ival-cos: 21.7s (8.1% of total)ival-div: 18.4s (6.8% of total)backward-pass: 17.0s (6.3% of total)ival-add: 10.0s (3.7% of total)ival-sub: 9.7s (3.6% of total)ival-exp: 6.8s (2.5% of total)ival-log: 5.5s (2% of total)ival-sqrt: 5.4s (2% of total)ival-neg: 4.0s (1.5% of total)ival-<: 2.9s (1.1% of total)...c/correct-round.rkt:121:19: 2.0s (0.7% of total)const: 1.0s (0.4% of total)ival-pi: 906.0ms (0.3% of total)ival-tan: 853.0ms (0.3% of total)ival-atan2: 850.0ms (0.3% of total)ival-acos: 453.0ms (0.2% of total)ival-and: 434.0ms (0.2% of total)ival-cbrt: 384.0ms (0.1% of total)ival-atan: 373.0ms (0.1% of total)ival-<=: 233.0ms (0.1% of total)ival-fabs: 203.0ms (0.1% of total)ival-asin: 152.0ms (0.1% of total)ival-==: 2.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)
| 25.1s | 13033× | 1 | valid |
| 17.8s | 1875× | 5 | exit |
| 12.9s | 27557× | 0 | valid |
| 7.7s | 2766× | 2 | valid |
| 4.1s | 4595× | 0 | invalid |
| 2.9s | 507× | 3 | valid |
| 970.0ms | 300× | 1 | invalid |
| 488.0ms | 47× | 4 | valid |
| 6.0ms | 8× | 0 | unsamplable |
Compiled 91642 to 7558 computations (91.8% saved)
ival-mult: 8.4s (16.9% of total)ival-sin: 8.0s (16% of total)ival-pow: 6.9s (13.8% of total)ival-cos: 5.8s (11.6% of total)backward-pass: 5.1s (10.2% of total)ival-div: 3.9s (7.7% of total)ival-add: 1.8s (3.7% of total)ival-sqrt: 1.5s (2.9% of total)ival-sub: 1.4s (2.8% of total)...c/correct-round.rkt:121:19: 1.3s (2.6% of total)ival-fma: 855.0ms (1.7% of total)ival-log: 813.0ms (1.6% of total)ival-exp: 615.0ms (1.2% of total)ival-hypot: 557.0ms (1.1% of total)ival-cbrt: 495.0ms (1% of total)ival-atan2: 415.0ms (0.8% of total)ival-neg: 403.0ms (0.8% of total)ival-log1p: 369.0ms (0.7% of total)ival-atan: 251.0ms (0.5% of total)ival-expm1: 221.0ms (0.4% of total)const: 217.0ms (0.4% of total)ival-acos: 213.0ms (0.4% of total)ival-tan: 165.0ms (0.3% of total)ival-fabs: 95.0ms (0.2% of total)ival-asin: 95.0ms (0.2% of total)ival-pi: 89.0ms (0.2% of total)155 calls:
| 3.8s | phi2 |
| 3.6s | lambda1 |
| 3.6s | phi1 |
| 3.2s | lambda2 |
| 3.0s | 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 | |
|---|---|---|---|---|
| 447.0ms | x-scale | @ | inf | (- (exp (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)))))) 1) |
| 434.0ms | a | @ | -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)))) |
| 393.0ms | a | @ | inf | (log (+ 1 (cbrt (* g (/ 1/2 a))))) |
| 315.0ms | t | @ | inf | (pow (sqrt (exp (- (- (+ (* c_p (neg (log (+ 1 (exp s))))) (* c_n (log (+ 1 (/ 1 (+ 1 (exp s))))))) (* c_n (log (+ 1 (/ 1 (+ 1 (exp t))))))) (* c_p (neg (log (+ 1 (exp t)))))))) 2) |
| 278.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)))) |
| 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: 4.8s (30.9% of total)ival-pow: 2.3s (15.2% of total)ival-cos: 1.4s (9.3% of total)ival-div: 1.3s (8.6% of total)ival-sin: 1.3s (8.3% of total)ival-add: 834.0ms (5.4% of total)ival-sub: 805.0ms (5.2% of total)ival-sqrt: 609.0ms (3.9% of total)...c/correct-round.rkt:121:19: 331.0ms (2.1% of total)ival-<: 329.0ms (2.1% of total)ival-neg: 325.0ms (2.1% of total)ival-atan2: 264.0ms (1.7% of total)ival-pi: 156.0ms (1% of total)ival-exp: 108.0ms (0.7% of total)ival-tan: 107.0ms (0.7% of total)const: 96.0ms (0.6% of total)ival-atan: 70.0ms (0.5% of total)ival-and: 55.0ms (0.4% of total)ival-log: 53.0ms (0.3% of total)ival-acos: 43.0ms (0.3% of total)ival-asin: 35.0ms (0.2% of total)ival-fabs: 33.0ms (0.2% of total)backward-pass: 23.0ms (0.1% of total)ival-cbrt: 18.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.8s | 10924× | 1 | valid |
| 5.9s | 28506× | 0 | valid |
| 1.8s | 1136× | 3 | valid |
| 1.2s | 1258× | 2 | valid |
| 282.0ms | 48× | 4 | valid |
| 235.0ms | 1921× | 0 | invalid |
Compiled 113169 to 76738 computations (32.2% saved)
ival-cos: 3.3s (20.7% of total)ival-sin: 3.1s (19.3% of total)ival-mult: 2.8s (17% of total)ival-pow: 1.2s (7.7% of total)ival-div: 1.1s (7.1% of total)ival-sub: 933.0ms (5.8% of total)backward-pass: 580.0ms (3.6% of total)ival-log: 562.0ms (3.5% of total)ival-sqrt: 469.0ms (2.9% of total)ival-add: 461.0ms (2.9% of total)ival-atan2: 451.0ms (2.8% of total)ival-neg: 256.0ms (1.6% of total)ival-acos: 201.0ms (1.2% of total)ival-atan: 165.0ms (1% of total)ival-exp: 110.0ms (0.7% of total)ival-tan: 103.0ms (0.6% of total)ival-pi: 102.0ms (0.6% of total)const: 80.0ms (0.5% of total)ival-fabs: 58.0ms (0.4% of total)ival-asin: 38.0ms (0.2% of total)| 5.4s | 8320× | 1 | valid |
| 3.0s | 15710× | 0 | valid |
| 2.8s | 1930× | 2 | valid |
| 1.7s | 582× | 3 | valid |
| 383.0ms | 82× | 4 | valid |
Compiled 20263 to 2450 computations (87.9% saved)
ival-sin: 1.8s (20.8% of total)ival-cos: 1.4s (16% of total)ival-mult: 1.2s (14% of total)ival-div: 716.0ms (8.1% of total)backward-pass: 691.0ms (7.9% of total)ival-pow: 661.0ms (7.5% of total)ival-sqrt: 475.0ms (5.4% of total)ival-sub: 405.0ms (4.6% of total)ival-log: 405.0ms (4.6% of total)ival-add: 318.0ms (3.6% of total)ival-exp: 202.0ms (2.3% of total)ival-neg: 149.0ms (1.7% of total)ival-atan2: 65.0ms (0.7% of total)const: 57.0ms (0.6% of total)ival-tan: 48.0ms (0.5% of total)ival-pi: 42.0ms (0.5% of total)ival-atan: 31.0ms (0.4% of total)ival-acos: 24.0ms (0.3% of total)ival-cbrt: 21.0ms (0.2% of total)ival-fabs: 13.0ms (0.1% 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...