Herbie run
| Date: | Tuesday, June 11th, 2024 |
|---|---|
| Commit: | 57c58c99 on main |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024163 |
| 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.9min)
| 1.8min | 26075× | 5 | exit |
| 1.1min | 130283× | 1 | valid |
| 42.7s | 270296× | 0 | valid |
| 22.9s | 8143× | 3 | valid |
| 17.7s | 19204× | 2 | valid |
| 15.4s | 70110× | 0 | invalid |
| 7.3s | 1383× | 4 | valid |
| 2.8s | 10946× | 1 | invalid |
| 1.2s | 1747× | 2 | invalid |
| 130.0ms | 3× | 5 | valid |
| 15.0ms | 27× | 3 | invalid |
ival-pow: 1.8min (43.3% of total)ival-mult: 23.1s (9.3% of total)ival-cos: 21.5s (8.7% of total)ival-sin: 21.0s (8.5% of total)ival-div: 16.7s (6.7% of total)adjust: 11.9s (4.8% of total)ival-add: 8.6s (3.5% of total)ival-sub: 7.6s (3.1% of total)ival-exp: 6.0s (2.4% of total)ival-sqrt: 5.6s (2.3% of total)ival-log: 5.5s (2.2% of total)ival-neg: 3.6s (1.5% of total)...in/eval/compile.rkt:71:19: 1.8s (0.7% of total)ival-<: 1.7s (0.7% of total)ival-atan2: 784.0ms (0.3% of total)ival-pi: 677.0ms (0.3% of total)ival-tan: 670.0ms (0.3% of total)ival-cbrt: 623.0ms (0.3% of total)ival-atan: 495.0ms (0.2% of total)ival-acos: 479.0ms (0.2% of total)...in/eval/compile.rkt:70:19: 471.0ms (0.2% of total)ival-and: 435.0ms (0.2% of total)ival-true: 352.0ms (0.1% of total)ival-assert: 311.0ms (0.1% of total)ival-fabs: 223.0ms (0.1% of total)ival-<=: 204.0ms (0.1% of total)ival-asin: 137.0ms (0.1% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% of total)| 449× | egg-herbie |
| 174244× | fma-define |
| 125088× | fmm-def |
| 99819× | distribute-lft-in |
| 92269× | *-commutative |
| 89000× | times-frac |
| 128× | saturated |
| 320× | node limit |
| 1× | unsound |
| 88507× | fma-define |
| 55584× | log1p-expm1-u |
| 51058× | *-commutative |
| 49793× | distribute-lft-in |
| 49721× | fmm-def |
| 16× | saturated |
| 244× | node limit |
| 43× | fuel |
| 3× | unsound |
| 9× | done |
Compiled 62724 to 17882 computations (71.5% saved)
| 22.1s | 13182× | 1 | valid |
| 18.8s | 1949× | 5 | exit |
| 11.6s | 28338× | 0 | valid |
| 5.9s | 2333× | 2 | valid |
| 3.6s | 610× | 3 | valid |
| 2.6s | 698× | 1 | invalid |
| 2.2s | 4046× | 0 | invalid |
| 822.0ms | 44× | 4 | valid |
Compiled 95026 to 7720 computations (91.9% saved)
ival-mult: 8.0s (16.7% of total)ival-pow: 7.8s (16.2% of total)ival-sin: 7.0s (14.6% of total)ival-cos: 6.6s (13.8% of total)adjust: 4.7s (9.7% of total)ival-div: 4.1s (8.6% of total)ival-add: 1.5s (3.2% of total)ival-sub: 1.1s (2.2% of total)ival-sqrt: 897.0ms (1.9% of total)...in/eval/compile.rkt:71:19: 890.0ms (1.9% of total)ival-atan: 627.0ms (1.3% of total)ival-hypot: 612.0ms (1.3% of total)ival-exp: 569.0ms (1.2% of total)ival-log: 563.0ms (1.2% of total)ival-fma: 488.0ms (1% of total)ival-neg: 402.0ms (0.8% of total)ival-atan2: 371.0ms (0.8% of total)ival-log1p: 355.0ms (0.7% of total)ival-cbrt: 349.0ms (0.7% of total)ival-expm1: 283.0ms (0.6% of total)ival-pi: 202.0ms (0.4% of total)ival-acos: 192.0ms (0.4% of total)...in/eval/compile.rkt:70:19: 111.0ms (0.2% of total)ival-tan: 92.0ms (0.2% of total)ival-fabs: 56.0ms (0.1% of total)ival-true: 54.0ms (0.1% of total)ival-assert: 32.0ms (0.1% of total)ival-asin: 14.0ms (0% of total)ival-cosh: 3.0ms (0% of total)155 calls:
| 3.5s | phi2 |
| 3.3s | lambda1 |
| 3.3s | phi1 |
| 3.2s | lambda2 |
| 2.1s | b |
Compiled 12309 to 8078 computations (34.4% saved)
Compiled 564354 to 280478 computations (50.3% saved)
| 197× | batch-egg-rewrite |
| 119512× | log1p-expm1-u |
| 93109× | expm1-log1p-u |
| 54613× | pow1 |
| 51559× | add-exp-log |
| 45875× | add-log-exp |
| 194× | node limit |
| 3× | unsound |
Compiled 9256335 to 867130 computations (90.6% saved)
17445 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 450.0ms | B | @ | -inf | (* (/ 180 (PI)) (atan (+ (* -1 (/ (+ A (* -1 A)) B)) (* -1/2 (/ B C))))) |
| 352.0ms | t | @ | inf | (/ (pow (/ 1 (+ 2 (* s (- (* 1/2 s) 1)))) c_p) (pow (/ 1 (+ 1 (exp (neg t)))) c_p)) |
| 340.0ms | a | @ | 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 1/180) (PI)))) 2) (pow (* b (cos (* (* angle 1/180) (PI)))) 2)) x-scale) (/ 1 x-scale)) (+ (/ (+ (pow (* a (cos (* (* angle 1/180) (PI)))) 2) (pow (* b (sin (* (* angle 1/180) (PI)))) 2)) (pow y-scale 2)) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* (* angle 1/180) (PI)))) 2) (pow (* b (cos (* (* angle 1/180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (* angle 1/180) (PI)))) 2) (pow (* b (sin (* (* angle 1/180) (PI)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* (* angle 1/180) (PI)))) 2) (pow (* b (cos (* (* angle 1/180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (* angle 1/180) (PI)))) 2) (pow (* b (sin (* (* angle 1/180) (PI)))) 2)) (pow y-scale 2)))) (* (* 2 (* (- (pow b 2) (pow a 2)) (* (sin (* (* angle 1/180) (PI))) (/ (cos (* (* angle 1/180) (PI))) (* x-scale y-scale))))) (* 2 (* (- (pow b 2) (pow a 2)) (* (sin (* (* angle 1/180) (PI))) (/ (cos (* (* angle 1/180) (PI))) (* x-scale y-scale))))))))))))) (* 4 (* a (* b (* b (neg a)))))) (pow (* x-scale y-scale) 2)) |
| 309.0ms | y-scale | @ | inf | (/ (sqrt (* (* b (* (pow a 2) (neg b))) (* (* 8 (* b (/ (* (pow a 2) (neg b)) (pow (* x-scale y-scale) 2)))) (+ (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* b (cos (* angle (/ (PI) 180)))) 2)) (pow x-scale 2)) (- (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* b (cos (* angle (/ (PI) 180)))) 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 (* b (cos (* angle (/ (PI) 180)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (* (* 2 (- (pow b 2) (pow a 2))) (/ (* (sin (* angle (/ (PI) 180))) (cos (* angle (/ (PI) 180)))) (* x-scale y-scale))) (* (* 2 (- (pow b 2) (pow a 2))) (/ (* (sin (* angle (/ (PI) 180))) (cos (* angle (/ (PI) 180)))) (* x-scale y-scale))))))))))) (* b (/ (* (pow a 2) (neg b)) (pow (* x-scale y-scale) 2)))) |
| 272.0ms | phi2 | @ | -inf | (log (+ 1 (cos (* (+ phi1 phi2) 1/2)))) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1946 | 4 |
sin.f64 | #f | sensitivity | 1702 | 1 |
+.f64 | #f | cancellation | 1693 | 30 |
sqrt.f64 | #f | oflow-rescue | 1409 | 0 |
-.f64 | #f | cancellation | 958 | 11 |
-.f64 | #f | nan-rescue | 628 | 0 |
log.f64 | #f | sensitivity | 595 | 3 |
/.f64 | #f | o/n | 435 | 0 |
/.f64 | #f | o/o | 347 | 0 |
/.f64 | #f | u/u | 287 | 0 |
/.f64 | #f | u/n | 196 | 0 |
*.f64 | #f | n*o | 190 | 0 |
exp.f64 | #f | sensitivity | 160 | 33 |
sqrt.f64 | #f | uflow-rescue | 144 | 0 |
*.f64 | #f | n*u | 108 | 0 |
/.f64 | #f | n/o | 105 | 0 |
cbrt.f64 | #f | oflow-rescue | 72 | 0 |
/.f64 | #f | n/u | 52 | 0 |
cbrt.f64 | #f | uflow-rescue | 45 | 0 |
*.f64 | #f | o*u | 34 | 0 |
*.f64 | #f | u*o | 29 | 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 | 24 | 1 |
pow.f64 | #f | uflow-rescue | 10 | 0 |
pow.f64 | #f | sensitivity | 9 | 0 |
log.f64 | #f | oflow-rescue | 7 | 0 |
log.f64 | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | uflow-rescue | 1 | 0 |
| ↳ | (+.f64 (exp.f64 a) (exp.f64 b)) | underflow | 1 | |
| ↳ | (exp.f64 a) | underflow | 126 | |
| ↳ | (exp.f64 b) | underflow | 1 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5810 | 68 |
| - | 1341 | 6093 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5810 | 44 | 24 |
| - | 1341 | 28 | 6065 |
| number | freq |
|---|---|
| 0 | 6161 |
| 1 | 4700 |
| 2 | 1647 |
| 3 | 353 |
| 4 | 227 |
| 5 | 145 |
| 6 | 60 |
| 7 | 13 |
| 8 | 5 |
| 9 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 42 | 1 | 0 |
| - | 3 | 0 | 6 |
| 4.4s | 8486× | 1 | valid |
| 2.9s | 15496× | 0 | valid |
| 2.4s | 1944× | 2 | valid |
| 1.6s | 616× | 3 | valid |
| 858.0ms | 82× | 4 | valid |
Compiled 21748 to 3336 computations (84.7% saved)
ival-sin: 2.0s (22.3% of total)ival-mult: 1.3s (15.2% of total)ival-cos: 1.3s (14.6% of total)adjust: 862.0ms (9.8% of total)ival-pow: 853.0ms (9.7% of total)ival-div: 708.0ms (8% of total)ival-sub: 415.0ms (4.7% of total)ival-add: 352.0ms (4% of total)ival-sqrt: 203.0ms (2.3% of total)ival-log: 199.0ms (2.3% of total)ival-exp: 176.0ms (2% of total)ival-neg: 99.0ms (1.1% of total)ival-atan: 82.0ms (0.9% of total)ival-pi: 56.0ms (0.6% of total)ival-tan: 55.0ms (0.6% of total)ival-atan2: 43.0ms (0.5% of total)ival-true: 29.0ms (0.3% of total)...in/eval/compile.rkt:70:19: 21.0ms (0.2% of total)ival-acos: 21.0ms (0.2% of total)ival-cbrt: 21.0ms (0.2% of total)ival-assert: 17.0ms (0.2% of total)ival-fabs: 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.3% | 0.1% | 7 |
| 53.5% | 38.9% | 33.8% | 20.6% | 0% | 6.6% | 0.1% | 8 |
| 56.4% | 40.6% | 31.4% | 20.6% | 0% | 7.2% | 0.2% | 9 |
| 57.7% | 41.4% | 30.3% | 20.6% | 0% | 7.5% | 0.2% | 10 |
| 59.8% | 42.7% | 28.7% | 20.6% | 0% | 7.8% | 0.3% | 11 |
| 61.3% | 43.5% | 27.5% | 20.6% | 0% | 8.1% | 0.3% | 12 |
Compiled 1826 to 1000 computations (45.2% saved)
| 296× | binary-search |
| 59× | left-value |
| 9× | predicate-same |
| 287× | narrow-enough |
| 7.3s | 12798× | 1 | valid |
| 3.8s | 22293× | 0 | valid |
| 1.1s | 649× | 3 | valid |
| 954.0ms | 1457× | 2 | valid |
| 88.0ms | 813× | 0 | invalid |
| 77.0ms | 19× | 4 | valid |
Compiled 101254 to 68184 computations (32.7% saved)
ival-sin: 2.3s (21% of total)ival-cos: 2.3s (21% of total)ival-mult: 2.0s (17.7% of total)ival-sub: 789.0ms (7.1% of total)ival-div: 786.0ms (7% of total)ival-pow: 713.0ms (6.4% of total)adjust: 561.0ms (5% of total)ival-add: 370.0ms (3.3% of total)ival-log: 281.0ms (2.5% of total)ival-sqrt: 253.0ms (2.3% of total)ival-atan2: 217.0ms (1.9% of total)ival-acos: 138.0ms (1.2% of total)ival-atan: 64.0ms (0.6% of total)ival-neg: 57.0ms (0.5% of total)ival-exp: 52.0ms (0.5% of total)ival-pi: 45.0ms (0.4% of total)ival-tan: 39.0ms (0.3% of total)ival-true: 34.0ms (0.3% of total)ival-fabs: 24.0ms (0.2% of total)ival-assert: 23.0ms (0.2% of total)...in/eval/compile.rkt:70:19: 22.0ms (0.2% of total)ival-asin: 16.0ms (0.1% of total)| 52× | egg-herbie |
| 32339× | fma-define |
| 19274× | fmm-def |
| 13261× | div-sub |
| 11418× | sub-neg |
| 10337× | distribute-lft-in |
| 22× | saturated |
| 30× | node limit |
Compiled 60076 to 23010 computations (61.7% saved)
Loading profile data...