Herbie run
| Date: | Monday, May 20th, 2024 |
|---|---|
| Commit: | c2f4097e on main |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024141 |
| 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.3min)
| 1.9min | 25658× | 5 | exit |
| 1.2min | 129944× | 1 | valid |
| 44.4s | 270679× | 0 | valid |
| 23.2s | 8242× | 3 | valid |
| 17.6s | 19100× | 2 | valid |
| 15.1s | 49323× | 0 | unsamplable |
| 8.3s | 1343× | 4 | valid |
| 4.0s | 19178× | 0 | invalid |
| 2.7s | 11075× | 1 | invalid |
| 1.1s | 1751× | 2 | invalid |
| 112.0ms | 955× | 0 | precondition |
| 78.0ms | 4× | 5 | valid |
| 38.0ms | 58× | 1 | unsamplable |
| 30.0ms | 39× | 3 | invalid |
| 21.0ms | 1× | 3 | unsamplable |
| 4.0ms | 1× | 2 | unsamplable |
ival-pow: 1.8min (41% of total)ival-mult: 27.2s (10.3% of total)ival-sin: 23.6s (8.9% of total)ival-cos: 20.9s (7.9% of total)backward-pass: 17.7s (6.7% of total)ival-div: 16.9s (6.4% of total)ival-sub: 9.2s (3.5% of total)ival-add: 8.8s (3.3% of total)ival-log: 6.5s (2.5% of total)ival-exp: 5.6s (2.1% of total)ival-sqrt: 5.6s (2.1% of total)ival-neg: 3.9s (1.5% of total)ival-<: 3.1s (1.2% of total)...c/correct-round.rkt:121:19: 1.7s (0.6% of total)const: 1.1s (0.4% of total)ival-atan2: 863.0ms (0.3% of total)ival-pi: 825.0ms (0.3% of total)ival-tan: 613.0ms (0.2% of total)ival-cbrt: 512.0ms (0.2% of total)ival-acos: 439.0ms (0.2% of total)ival-and: 435.0ms (0.2% of total)ival-atan: 420.0ms (0.2% of total)ival-fabs: 244.0ms (0.1% of total)ival-<=: 238.0ms (0.1% of total)ival-asin: 167.0ms (0.1% of total)ival-==: 2.0ms (0% of total)ival-or: 0.0ms (0% of total)| 449× | egg-herbie |
| 175679× | fma-define |
| 111818× | fma-neg |
| 103203× | distribute-lft-in |
| 92668× | distribute-rgt-in |
| 86497× | *-commutative |
| 125× | saturated |
| 323× | node limit |
| 1× | unsound |
| 79784× | fma-define |
| 66755× | log1p-expm1-u |
| 50961× | expm1-log1p-u |
| 45901× | distribute-lft-in |
| 45869× | fma-neg |
| 14× | saturated |
| 44× | fuel |
| 246× | node limit |
| 3× | unsound |
| 8× | done |
Compiled 69548 to 19862 computations (71.4% saved)
| 23.8s | 12785× | 1 | valid |
| 18.6s | 1697× | 5 | exit |
| 13.4s | 28017× | 0 | valid |
| 7.3s | 2783× | 2 | valid |
| 3.1s | 530× | 3 | valid |
| 2.9s | 4778× | 0 | invalid |
| 826.0ms | 305× | 1 | invalid |
| 574.0ms | 46× | 4 | valid |
| 2.0ms | 3× | 0 | unsamplable |
Compiled 94474 to 7512 computations (92% saved)
ival-pow: 8.7s (17.8% of total)ival-mult: 7.6s (15.6% of total)ival-sin: 6.9s (14.2% of total)ival-cos: 5.5s (11.2% of total)backward-pass: 4.6s (9.6% of total)ival-div: 4.1s (8.3% of total)ival-add: 1.5s (3.2% of total)ival-sub: 1.3s (2.7% of total)ival-log: 1.3s (2.6% of total)...c/correct-round.rkt:121:19: 1.2s (2.5% of total)ival-sqrt: 1.1s (2.3% of total)ival-exp: 719.0ms (1.5% of total)ival-fma: 623.0ms (1.3% of total)ival-hypot: 486.0ms (1% of total)ival-expm1: 389.0ms (0.8% of total)ival-neg: 376.0ms (0.8% of total)ival-atan2: 368.0ms (0.8% of total)ival-log1p: 365.0ms (0.8% of total)ival-cbrt: 358.0ms (0.7% of total)ival-atan: 234.0ms (0.5% of total)const: 229.0ms (0.5% of total)ival-pi: 224.0ms (0.5% of total)ival-acos: 180.0ms (0.4% of total)ival-tan: 130.0ms (0.3% of total)ival-fabs: 122.0ms (0.3% of total)ival-asin: 29.0ms (0.1% of total)ival-cosh: 3.0ms (0% of total)155 calls:
| 4.7s | phi1 |
| 4.3s | lambda1 |
| 4.1s | phi2 |
| 3.1s | lambda2 |
| 2.5s | (-.f64 lambda1 lambda2) |
Compiled 13034 to 8624 computations (33.8% saved)
Compiled 583899 to 284780 computations (51.2% saved)
| 198× | batch-egg-rewrite |
| 124229× | log1p-expm1-u |
| 94372× | expm1-log1p-u |
| 54081× | pow1 |
| 49367× | add-exp-log |
| 45979× | add-log-exp |
| 195× | node limit |
| 3× | unsound |
Compiled 9210048 to 860886 computations (90.7% saved)
17469 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 467.0ms | A | @ | 0 | (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) |
| 308.0ms | c_n | @ | inf | (* (/ (pow (+ 1 (/ 1 (+ 1 (exp s)))) c_n) (pow (+ 1 (exp t)) (* -1 c_p))) (/ (pow (+ 1 (exp s)) (* -1 c_p)) (pow (+ 1 (/ 1 (+ 1 (exp t)))) c_n))) |
| 300.0ms | phi2 | @ | -inf | (* R (* 2 (atan2 (sqrt (+ (pow (- (* (sin (* phi1 1/2)) (cos (* phi2 1/2))) (* (cos (* phi1 1/2)) (sin (* phi2 1/2)))) 2) (* (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2)) (sin (/ (- lambda1 lambda2) 2)))))) (sqrt (- (- 1 (pow (sin (/ (- phi1 phi2) 2)) 2)) (* (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2)) (sin (/ (- lambda1 lambda2) 2))))))))) |
| 295.0ms | a | @ | -inf | (exp (+ (log 1/4) (log (* a (* x-scale 4))))) |
| 286.0ms | b | @ | inf | (/ (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))) |
| 346× | binary-search |
| 65× | left-value |
| 11× | predicate-same |
| 335× | narrow-enough |
| 10.5s | 13111× | 1 | valid |
| 5.0s | 25714× | 0 | valid |
| 3.5s | 2003× | 5 | exit |
| 954.0ms | 743× | 3 | valid |
| 824.0ms | 1305× | 2 | valid |
| 204.0ms | 1521× | 0 | invalid |
| 32.0ms | 7× | 4 | valid |
Compiled 112252 to 75929 computations (32.4% saved)
ival-sin: 3.5s (20.2% of total)backward-pass: 2.9s (16.6% of total)ival-cos: 2.8s (16.2% of total)ival-mult: 2.4s (14% of total)ival-pow: 1.4s (8.3% of total)ival-div: 1.2s (7.1% of total)ival-sub: 929.0ms (5.4% of total)ival-sqrt: 507.0ms (2.9% of total)ival-add: 485.0ms (2.8% of total)ival-atan2: 323.0ms (1.9% of total)ival-neg: 198.0ms (1.2% of total)ival-acos: 172.0ms (1% of total)ival-exp: 128.0ms (0.7% of total)const: 83.0ms (0.5% of total)ival-atan: 75.0ms (0.4% of total)ival-pi: 52.0ms (0.3% of total)ival-log: 43.0ms (0.2% of total)ival-tan: 34.0ms (0.2% of total)ival-asin: 11.0ms (0.1% of total)ival-fabs: 9.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% | 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.9s (30.8% of total)ival-pow: 2.4s (15% of total)ival-cos: 1.5s (9.4% of total)ival-sin: 1.4s (8.9% of total)ival-div: 1.3s (8.1% of total)ival-add: 960.0ms (6% of total)ival-sub: 812.0ms (5.1% of total)ival-sqrt: 512.0ms (3.2% of total)...c/correct-round.rkt:121:19: 473.0ms (3% of total)ival-<: 350.0ms (2.2% of total)ival-pi: 317.0ms (2% of total)ival-neg: 279.0ms (1.8% of total)ival-atan2: 138.0ms (0.9% of total)const: 101.0ms (0.6% of total)ival-atan: 84.0ms (0.5% of total)ival-exp: 74.0ms (0.5% of total)ival-tan: 56.0ms (0.4% of total)ival-and: 55.0ms (0.3% of total)ival-log: 49.0ms (0.3% of total)ival-acos: 39.0ms (0.2% of total)ival-fabs: 36.0ms (0.2% of total)ival-asin: 34.0ms (0.2% of total)backward-pass: 24.0ms (0.2% of total)ival-cbrt: 24.0ms (0.2% of total)ival-<=: 3.0ms (0% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 5.7s | 8212× | 1 | valid |
| 3.0s | 15862× | 0 | valid |
| 2.6s | 1914× | 2 | valid |
| 1.5s | 552× | 3 | valid |
| 432.0ms | 84× | 4 | valid |
Compiled 20263 to 2450 computations (87.9% saved)
ival-sin: 1.8s (20.6% of total)ival-cos: 1.3s (14.2% of total)ival-mult: 1.2s (13.4% of total)ival-pow: 906.0ms (10.2% of total)ival-div: 762.0ms (8.6% of total)backward-pass: 624.0ms (7.1% of total)ival-add: 407.0ms (4.6% of total)ival-fabs: 353.0ms (4% of total)ival-sub: 328.0ms (3.7% of total)ival-sqrt: 320.0ms (3.6% of total)ival-exp: 227.0ms (2.6% of total)ival-log: 196.0ms (2.2% of total)ival-neg: 119.0ms (1.3% of total)ival-tan: 73.0ms (0.8% of total)const: 59.0ms (0.7% of total)ival-atan: 46.0ms (0.5% of total)ival-atan2: 46.0ms (0.5% of total)ival-pi: 41.0ms (0.5% of total)ival-cbrt: 26.0ms (0.3% of total)ival-acos: 22.0ms (0.2% of total)ival-asin: 20.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 59452 to 22088 computations (62.8% saved)
Loading profile data...