Herbie run
| Date: | Thursday, June 20th, 2024 |
|---|---|
| Commit: | aefdd770 on main |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024172 |
| 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: 16.8min)
| 1.7min | 25 689× | 5 | exit |
| 1.0min | 127 897× | 1 | valid |
| 39.3s | 272 864× | 0 | valid |
| 20.7s | 8 324× | 3 | valid |
| 16.3s | 19 230× | 2 | valid |
| 10.7s | 49 695× | 0 | exit |
| 5.3s | 992× | 4 | valid |
| 3.3s | 19 373× | 0 | invalid |
| 1.8s | 9 884× | 1 | invalid |
| 396.0ms | 919× | 2 | invalid |
| 85.0ms | 5× | 5 | valid |
| 33.0ms | 57× | 1 | exit |
| 10.0ms | 23× | 3 | invalid |
| 5.0ms | 1× | 2 | exit |
ival-pow: 1.5min (39.2% of total)ival-mult: 22.0s (9.4% of total)ival-sin: 21.3s (9.1% of total)ival-cos: 20.4s (8.7% of total)ival-div: 15.3s (6.5% of total)ival-pow2: 9.4s (4% of total)adjust: 8.9s (3.8% of total)ival-sub: 8.4s (3.6% of total)ival-add: 7.7s (3.3% of total)ival-log: 6.6s (2.8% of total)ival-exp: 6.0s (2.6% of total)ival-sqrt: 4.0s (1.7% of total)ival-neg: 3.8s (1.6% of total)ival-<: 1.9s (0.8% of total)...in/eval/compile.rkt:77:19: 1.8s (0.8% of total)ival-atan2: 731.0ms (0.3% of total)ival-tan: 573.0ms (0.2% of total)ival-pi: 536.0ms (0.2% of total)ival-atan: 523.0ms (0.2% of total)ival-acos: 506.0ms (0.2% of total)...in/eval/compile.rkt:76:19: 391.0ms (0.2% of total)ival-and: 356.0ms (0.2% of total)ival-true: 290.0ms (0.1% of total)ival-cbrt: 251.0ms (0.1% of total)ival-assert: 205.0ms (0.1% of total)ival-<=: 193.0ms (0.1% of total)ival-asin: 162.0ms (0.1% of total)ival-fabs: 151.0ms (0.1% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 452× | egg-herbie |
| 171 565× | fma-define |
| 125 777× | fmm-def |
| 102 305× | distribute-lft-in |
| 91 643× | *-commutative |
| 90 150× | times-frac |
| 329× | node limit |
| 121× | saturated |
| 2× | unsound |
| 85 086× | fma-define |
| 72 003× | log1p-expm1-u |
| 56 595× | expm1-log1p-u |
| 52 025× | fmm-def |
| 51 560× | *-commutative |
| 270× | node limit |
| 46× | fuel |
| 14× | saturated |
| 6× | done |
| 4× | unsound |
Compiled 84 101 to 22 799 computations (72.9% saved)
155 calls:
| 6.2s | phi2 |
| 6.0s | phi1 |
| 4.8s | lambda2 |
| 4.7s | lambda1 |
| 4.0s | (-.f64 lambda1 lambda2) |
Compiled 13 989 to 9 076 computations (35.1% saved)
| 16.5s | 12 668× | 1 | valid |
| 9.1s | 28 499× | 0 | valid |
| 8.5s | 1 688× | 5 | exit |
| 5.2s | 2 434× | 2 | valid |
| 3.9s | 833× | 3 | valid |
| 2.7s | 305× | 4 | valid |
| 2.0s | 4 076× | 0 | invalid |
| 1.0s | 626× | 1 | invalid |
| 53.0ms | 1× | 5 | valid |
| 12.0ms | 69× | 0 | exit |
| 1.0ms | 1× | 3 | invalid |
Compiled 93 810 to 7 872 computations (91.6% saved)
ival-mult: 7.1s (17.9% of total)ival-sin: 5.7s (14.6% of total)ival-cos: 4.9s (12.4% of total)ival-pow: 4.6s (11.6% of total)ival-div: 3.6s (9.2% of total)ival-pow2: 2.2s (5.5% of total)adjust: 1.8s (4.5% of total)ival-add: 1.7s (4.3% of total)...in/eval/compile.rkt:77:19: 1.2s (3% of total)ival-sub: 1.2s (2.9% of total)ival-sqrt: 1.0s (2.6% of total)ival-exp: 866.0ms (2.2% of total)ival-log: 781.0ms (2% of total)ival-neg: 443.0ms (1.1% of total)ival-log1p: 417.0ms (1.1% of total)ival-hypot: 410.0ms (1% of total)ival-atan2: 351.0ms (0.9% of total)ival-cbrt: 284.0ms (0.7% of total)ival-expm1: 198.0ms (0.5% of total)ival-acos: 171.0ms (0.4% of total)ival-tan: 136.0ms (0.3% of total)ival-atan: 124.0ms (0.3% of total)ival-pi: 91.0ms (0.2% of total)...in/eval/compile.rkt:76:19: 90.0ms (0.2% of total)ival-true: 48.0ms (0.1% of total)ival-fabs: 45.0ms (0.1% of total)ival-assert: 22.0ms (0.1% of total)ival-asin: 17.0ms (0% of total)ival-e: 9.0ms (0% of total)ival-cosh: 2.0ms (0% of total)| 200× | batch-egg-rewrite |
| 122 188× | log1p-expm1-u |
| 93 841× | expm1-log1p-u |
| 52 836× | pow1 |
| 49 656× | add-exp-log |
| 46 949× | add-log-exp |
| 197× | node limit |
| 3× | unsound |
Compiled 580 957 to 282 237 computations (51.4% saved)
Compiled 9 308 246 to 878 381 computations (90.6% saved)
17607 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 572.0ms | t | @ | inf | (exp (- (* c_p (neg (log (+ 1 (exp (neg s)))))) (neg (* c_p (log (+ 1 (exp (neg t)))))))) |
| 473.0ms | A | @ | -inf | (* (sqrt (/ (* F (+ A (- C (sqrt (+ (* B B) (* (- A C) (- A C))))))) (+ (* -4 (* A C)) (pow B 2)))) (sqrt 2)) |
| 433.0ms | a | @ | -inf | (- (- (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (* (cos (* angle (/ (PI) 180))) (* (/ 2 x-scale) (/ (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) y-scale))) (* (cos (* angle (/ (PI) 180))) (* (/ 2 x-scale) (/ (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) y-scale))))))) |
| 417.0ms | b | @ | -inf | (/ (neg (sqrt (* (* 2 (* (* 4 (/ (* a (* b (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* a (* b (* b (neg a)))))) (+ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (+ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)) (/ (+ (* (pow a 2) (pow (cos (* 1/180 (* angle (PI)))) 2)) (* (pow b 2) (pow (sin (* 1/180 (* angle (PI)))) 2))) (pow y-scale 2))))))) (* 4 (* a (* b (* b (neg a)))))) |
| 414.0ms | t | @ | inf | (- (exp (log (+ 1 (exp (- (+ (* c_p (neg (log (+ 1 (exp s))))) (* c_n (- (log (+ 1 (/ 1 (+ 1 (exp s))))) (log (+ 1 (/ 1 (+ 1 (exp t)))))))) (* c_p (neg (log (+ 1 (exp t)))))))))) 1) |
| 413× | binary-search |
| 73× | left-value |
| 406× | narrow-enough |
| 7× | predicate-same |
| 10.8s | 19 368× | 1 | valid |
| 4.6s | 28 264× | 0 | valid |
| 1.6s | 1 956× | 2 | valid |
| 1.5s | 741× | 3 | valid |
| 201.0ms | 1 813× | 0 | invalid |
| 31.0ms | 7× | 4 | valid |
| 3.0ms | 9× | 2 | invalid |
| 3.0ms | 12× | 1 | invalid |
| 2.0ms | 37× | 0 | exit |
| 1.0ms | 2× | 3 | invalid |
Compiled 149 455 to 100 800 computations (32.6% saved)
ival-sin: 3.7s (23.8% of total)ival-cos: 3.5s (22.4% of total)ival-mult: 2.4s (15% of total)ival-sub: 1.1s (6.9% of total)ival-pow2: 959.0ms (6.1% of total)ival-div: 834.0ms (5.3% of total)ival-sqrt: 668.0ms (4.2% of total)adjust: 660.0ms (4.2% of total)ival-add: 545.0ms (3.5% of total)ival-atan2: 314.0ms (2% of total)ival-neg: 268.0ms (1.7% of total)ival-acos: 252.0ms (1.6% of total)ival-exp: 116.0ms (0.7% of total)ival-pi: 97.0ms (0.6% of total)ival-tan: 84.0ms (0.5% of total)ival-atan: 74.0ms (0.5% of total)ival-true: 41.0ms (0.3% of total)ival-log: 39.0ms (0.2% of total)...in/eval/compile.rkt:76:19: 23.0ms (0.1% of total)ival-assert: 21.0ms (0.1% of total)ival-asin: 19.0ms (0.1% of total)ival-fabs: 13.0ms (0.1% of total)| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1872 | 1 |
+.f64 | #f | cancellation | 1710 | 39 |
sin.f64 | #f | sensitivity | 1582 | 0 |
sqrt.f64 | #f | oflow-rescue | 1391 | 0 |
-.f64 | #f | cancellation | 908 | 11 |
-.f64 | #f | nan-rescue | 615 | 0 |
log.f64 | #f | sensitivity | 577 | 0 |
/.f64 | #f | o/n | 486 | 0 |
/.f64 | #f | o/o | 360 | 0 |
/.f64 | #f | u/u | 282 | 0 |
*.f64 | #f | n*o | 231 | 0 |
exp.f64 | #f | sensitivity | 166 | 25 |
/.f64 | #f | u/n | 153 | 0 |
sqrt.f64 | #f | uflow-rescue | 138 | 0 |
/.f64 | #f | n/o | 120 | 0 |
*.f64 | #f | n*u | 96 | 0 |
cbrt.f64 | #f | oflow-rescue | 84 | 0 |
/.f64 | #f | n/u | 44 | 0 |
cbrt.f64 | #f | uflow-rescue | 41 | 0 |
*.f64 | #f | u*o | 34 | 0 |
*.f64 | #f | o*u | 32 | 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 | 14 | 3 |
pow.f64 | #f | uflow-rescue | 8 | 0 |
pow.f64 | (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (exp.f64 (neg.f64 t))))) c_n) | sensitivity | 4 | 0 |
log.f64 | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | oflow-rescue | 3 | 0 |
| ↳ | (+.f64 (exp.f64 a) (exp.f64 b)) | overflow | 3 | |
| ↳ | (exp.f64 b) | overflow | 3 | |
asin.f64 | (asin.f64 (+.f64 (*.f64 (sin.f64 phi1) (cos.f64 delta)) (*.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))) | sensitivity | 2 | 2 |
log.f64 | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | uflow-rescue | 2 | 0 |
| ↳ | (+.f64 (exp.f64 a) (exp.f64 b)) | underflow | 2 | |
| ↳ | (exp.f64 a) | underflow | 133 | |
| ↳ | (exp.f64 b) | underflow | 2 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5654 | 99 |
| - | 1341 | 6218 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5654 | 37 | 62 |
| - | 1341 | 39 | 6179 |
| number | freq |
|---|---|
| 0 | 6317 |
| 1 | 4673 |
| 2 | 1516 |
| 3 | 332 |
| 4 | 236 |
| 5 | 148 |
| 6 | 67 |
| 7 | 18 |
| 8 | 3 |
| 9 | 2 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 42 | 0 | 0 |
| - | 2 | 1 | 7 |
| 4.3s | 8 192× | 1 | valid |
| 2.2s | 1 950× | 2 | valid |
| 2.1s | 15 770× | 0 | valid |
| 1.4s | 526× | 3 | valid |
| 349.0ms | 68× | 4 | valid |
| 21.0ms | 44× | 2 | invalid |
| 14.0ms | 48× | 1 | invalid |
| 7.0ms | 24× | 5 | exit |
| 1.0ms | 2× | 3 | invalid |
Compiled 21 748 to 3 336 computations (84.7% saved)
ival-sin: 1.7s (20.5% of total)ival-cos: 1.3s (15.5% of total)ival-mult: 1.2s (15% of total)ival-div: 814.0ms (9.8% of total)ival-add: 783.0ms (9.4% of total)ival-pow2: 559.0ms (6.7% of total)adjust: 466.0ms (5.6% of total)ival-sub: 359.0ms (4.3% of total)ival-exp: 283.0ms (3.4% of total)ival-log: 223.0ms (2.7% of total)ival-sqrt: 218.0ms (2.6% of total)ival-neg: 81.0ms (1% of total)ival-tan: 50.0ms (0.6% of total)ival-atan2: 39.0ms (0.5% of total)ival-pi: 31.0ms (0.4% of total)ival-atan: 29.0ms (0.3% of total)ival-cbrt: 26.0ms (0.3% of total)ival-true: 25.0ms (0.3% of total)ival-acos: 21.0ms (0.3% of total)ival-pow: 20.0ms (0.2% of total)...in/eval/compile.rkt:76:19: 17.0ms (0.2% of total)ival-fabs: 11.0ms (0.1% of total)ival-assert: 11.0ms (0.1% of total)ival-asin: 8.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.4% | 0% | 7 |
| 53.5% | 38.9% | 33.8% | 20.6% | 0% | 6.7% | 0% | 8 |
| 56.4% | 40.6% | 31.4% | 20.6% | 0% | 7.4% | 0% | 9 |
| 57.7% | 41.4% | 30.3% | 20.6% | 0% | 7.7% | 0% | 10 |
| 59.8% | 42.7% | 28.7% | 20.6% | 0% | 8% | 0% | 11 |
| 61.3% | 43.5% | 27.5% | 20.6% | 0% | 8.4% | 0% | 12 |
Compiled 1 826 to 997 computations (45.4% saved)
| 52× | egg-herbie |
| 32 339× | fma-define |
| 19 274× | fmm-def |
| 13 261× | div-sub |
| 11 418× | sub-neg |
| 10 337× | distribute-lft-in |
| 30× | node limit |
| 22× | saturated |
Compiled 65 746 to 21 872 computations (66.7% saved)
Loading profile data...