Herbie run
| Date: | Tuesday, June 18th, 2024 |
|---|---|
| Commit: | 2f9055fd on zane-job-abstraction3 |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024170 |
| 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: 10.3min)
| 45.1s | 68778× | 1 | valid |
| 23.6s | 174382× | 0 | valid |
| 21.2s | 8153× | 3 | valid |
| 11.6s | 11502× | 2 | valid |
| 7.2s | 1377× | 4 | valid |
| 5.1s | 10485× | 5 | exit |
ival-sin: 21.9s (21.7% of total)ival-cos: 19.5s (19.3% of total)ival-mult: 13.6s (13.4% of total)ival-pow2: 11.8s (11.7% of total)ival-div: 8.9s (8.8% of total)adjust: 5.2s (5.1% of total)ival-sub: 3.7s (3.7% of total)ival-add: 3.7s (3.6% of total)ival-log: 3.4s (3.4% of total)ival-exp: 2.7s (2.7% of total)ival-sqrt: 1.8s (1.8% of total)ival-atan2: 1.0s (1% of total)ival-neg: 865.0ms (0.9% of total)ival-pi: 666.0ms (0.7% of total)ival-tan: 568.0ms (0.6% of total)ival-atan: 322.0ms (0.3% of total)ival-acos: 267.0ms (0.3% of total)ival-asin: 250.0ms (0.2% of total)ival-true: 213.0ms (0.2% of total)...in/eval/compile.rkt:76:19: 184.0ms (0.2% of total)ival-assert: 158.0ms (0.2% of total)ival-<: 134.0ms (0.1% of total)ival-fabs: 83.0ms (0.1% of total)ival-<=: 60.0ms (0.1% of total)ival-cbrt: 57.0ms (0.1% of total)ival-and: 52.0ms (0.1% of total)| 277× | egg-herbie |
| 97434× | fma-define |
| 68798× | fmm-def |
| 66847× | distribute-lft-in |
| 56830× | distribute-rgt-in |
| 54002× | *-commutative |
| 68× | saturated |
| 209× | node limit |
| 52048× | fma-define |
| 45190× | log1p-expm1-u |
| 35233× | expm1-log1p-u |
| 32889× | distribute-lft-in |
| 29674× | associate-*r* |
| 10× | saturated |
| 159× | node limit |
| 29× | fuel |
| 2× | unsound |
| 3× | done |
Compiled 46015 to 12776 computations (72.2% saved)
| 14.4s | 9266× | 1 | valid |
| 12.1s | 1133× | 5 | exit |
| 5.7s | 16845× | 0 | valid |
| 4.0s | 1462× | 2 | valid |
| 2.4s | 441× | 3 | valid |
| 936.0ms | 2121× | 0 | invalid |
| 784.0ms | 44× | 4 | valid |
| 600.0ms | 175× | 1 | invalid |
| 2.0ms | 1× | 2 | invalid |
Compiled 70536 to 5021 computations (92.9% saved)
ival-sin: 7.5s (22.1% of total)ival-cos: 5.8s (17.2% of total)ival-mult: 4.8s (14% of total)ival-div: 2.6s (7.6% of total)ival-pow2: 2.4s (7.2% of total)...in/eval/compile.rkt:77:19: 1.6s (4.7% of total)adjust: 1.5s (4.5% of total)ival-add: 1.4s (4% of total)ival-sub: 795.0ms (2.3% of total)ival-log: 684.0ms (2% of total)ival-pow: 655.0ms (1.9% of total)ival-sqrt: 471.0ms (1.4% of total)ival-atan2: 467.0ms (1.4% of total)ival-expm1: 462.0ms (1.4% of total)ival-atan: 388.0ms (1.1% of total)ival-exp: 354.0ms (1% of total)ival-hypot: 353.0ms (1% of total)ival-log1p: 321.0ms (0.9% of total)ival-neg: 304.0ms (0.9% of total)ival-cbrt: 290.0ms (0.9% of total)ival-pi: 235.0ms (0.7% of total)ival-acos: 184.0ms (0.5% of total)ival-tan: 154.0ms (0.5% of total)ival-fabs: 113.0ms (0.3% of total)...in/eval/compile.rkt:76:19: 51.0ms (0.2% of total)ival-true: 32.0ms (0.1% of total)ival-asin: 21.0ms (0.1% of total)ival-assert: 21.0ms (0.1% of total)107 calls:
| 3.8s | phi2 |
| 3.3s | phi1 |
| 2.9s | lambda2 |
| 2.9s | lambda1 |
| 2.3s | (-.f64 lambda1 lambda2) |
Compiled 11002 to 6992 computations (36.4% saved)
Compiled 435306 to 206853 computations (52.5% saved)
| 122× | batch-egg-rewrite |
| 72430× | log1p-expm1-u |
| 55481× | expm1-log1p-u |
| 32331× | pow1 |
| 29087× | add-exp-log |
| 27273× | add-log-exp |
| 119× | node limit |
| 3× | unsound |
Compiled 7054551 to 592213 computations (91.6% saved)
11580 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 469.0ms | phi1 | @ | inf | (log (+ 1 (acos (+ (* (cos phi2) (cos (- lambda1 lambda2))) (* phi1 (sin phi2)))))) |
| 426.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))) |
| 319.0ms | angle | @ | 0 | (/ (* (* x-scale y-scale) (* 2 (+ (* (pow a 2) (/ (pow (sin (* 1/180 (* angle (PI)))) 2) (pow x-scale 2))) (* (pow b 2) (/ (pow (cos (* 1/180 (* angle (PI)))) 2) (pow x-scale 2)))))) (* (* (cos (* 1/180 (* angle (PI)))) (sin (* 1/180 (* angle (PI))))) (- (pow b 2) (pow a 2)))) |
| 238.0ms | phi1 | @ | inf | (- 1 (+ (* (* (cos phi1) (cos phi2)) (* (sin (/ (- lambda1 lambda2) 2)) (sin (/ (- lambda1 lambda2) 2)))) (pow (- (* (sin (/ phi2 2)) (cos (/ phi1 2))) (* (cos (/ phi2 2)) (sin (/ phi1 2)))) 2))) |
| 206.0ms | theta | @ | -inf | (log (pow (exp (sin phi1)) (+ (* (cos phi1) (* (sin delta) (cos theta))) (* (cos delta) (sin phi1))))) |
| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 1 |
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 2 |
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 3 |
| 4.3% | 3.4% | 76% | 20.6% | 0% | 0% | 0% | 4 |
| 6.4% | 5.1% | 74.3% | 20.6% | 0% | 0% | 0% | 5 |
| 8.7% | 6.9% | 72.5% | 20.6% | 0% | 0% | 0% | 6 |
| 9.8% | 7.8% | 71.6% | 20.6% | 0% | 0% | 0% | 7 |
| 11% | 8.8% | 70.6% | 20.6% | 0% | 0% | 0% | 8 |
| 11.9% | 9.4% | 69.9% | 20.6% | 0% | 0% | 0% | 9 |
| 12.5% | 9.9% | 69.5% | 20.6% | 0% | 0% | 0% | 10 |
| 12.8% | 10.2% | 69.2% | 20.6% | 0% | 0% | 0% | 11 |
| 13.3% | 10.6% | 68.8% | 20.6% | 0% | 0% | 0% | 12 |
Compiled 1826 to 997 computations (45.4% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1911 | 1 |
sin.f64 | #f | sensitivity | 1640 | 0 |
-.f64 | #f | nan-rescue | 641 | 0 |
-.f64 | #f | cancellation | 591 | 8 |
/.f64 | #f | o/n | 554 | 0 |
sqrt.f64 | #f | oflow-rescue | 552 | 0 |
log.f64 | #f | sensitivity | 316 | 0 |
/.f64 | #f | o/o | 306 | 0 |
*.f64 | #f | n*o | 204 | 0 |
/.f64 | #f | u/u | 176 | 0 |
/.f64 | #f | u/n | 98 | 0 |
*.f64 | #f | n*u | 86 | 0 |
+.f64 | #f | cancellation | 86 | 3 |
sqrt.f64 | #f | uflow-rescue | 76 | 0 |
/.f64 | #f | n/o | 43 | 0 |
*.f64 | #f | u*o | 40 | 0 |
*.f64 | #f | o*u | 37 | 0 |
cbrt.f64 | (cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a))) | oflow-rescue | 33 | 0 |
| ↳ | (/.f64 g (*.f64 #s(literal 2 binary64) a)) | overflow | 33 | |
cbrt.f64 | (cbrt.f64 (/.f64 g (*.f64 #s(literal 2 binary64) a))) | uflow-rescue | 33 | 0 |
| ↳ | (/.f64 g (*.f64 #s(literal 2 binary64) a)) | underflow | 33 | |
/.f64 | #f | n/u | 28 | 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 | 22 | 2 |
log.f64 | #f | oflow-rescue | 5 | 0 |
exp.f64 | (exp.f64 (*.f64 #s(literal -2 binary64) x)) | sensitivity | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 2675 | 13 |
| - | 1273 | 4231 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 2675 | 4 | 9 |
| - | 1273 | 3 | 4228 |
| number | freq |
|---|---|
| 0 | 4244 |
| 1 | 1955 |
| 2 | 1339 |
| 3 | 220 |
| 4 | 175 |
| 5 | 137 |
| 6 | 78 |
| 7 | 28 |
| 8 | 9 |
| 9 | 5 |
| 10 | 2 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 24 | 1 | 0 |
| - | 2 | 0 | 5 |
| 3.4s | 4960× | 1 | valid |
| 1.6s | 1086× | 2 | valid |
| 1.4s | 9740× | 0 | valid |
| 1.2s | 510× | 3 | valid |
| 496.0ms | 88× | 4 | valid |
Compiled 17492 to 2236 computations (87.2% saved)
ival-sin: 1.9s (27.3% of total)ival-cos: 1.2s (17.3% of total)ival-mult: 876.0ms (12.5% of total)ival-div: 666.0ms (9.5% of total)adjust: 664.0ms (9.5% of total)ival-pow2: 579.0ms (8.3% of total)ival-sub: 354.0ms (5.1% of total)ival-add: 169.0ms (2.4% of total)ival-log: 106.0ms (1.5% of total)ival-exp: 98.0ms (1.4% of total)ival-sqrt: 94.0ms (1.3% of total)ival-tan: 51.0ms (0.7% of total)ival-atan2: 42.0ms (0.6% of total)ival-neg: 32.0ms (0.5% of total)ival-pi: 32.0ms (0.5% of total)ival-atan: 28.0ms (0.4% of total)ival-acos: 19.0ms (0.3% of total)ival-true: 17.0ms (0.2% of total)ival-asin: 14.0ms (0.2% of total)...in/eval/compile.rkt:76:19: 11.0ms (0.2% of total)ival-assert: 10.0ms (0.1% of total)ival-fabs: 9.0ms (0.1% of total)ival-cbrt: 3.0ms (0% of total)| 216× | binary-search |
| 46× | left-value |
| 5× | predicate-same |
| 211× | narrow-enough |
| 5.7s | 7708× | 1 | valid |
| 2.8s | 16882× | 0 | valid |
| 1.8s | 917× | 3 | valid |
| 690.0ms | 798× | 2 | valid |
| 310.0ms | 79× | 4 | valid |
Compiled 64458 to 45139 computations (30% saved)
ival-sin: 2.9s (28.9% of total)ival-cos: 2.3s (22.9% of total)ival-mult: 1.1s (11.3% of total)ival-div: 1.0s (10% of total)ival-pow2: 629.0ms (6.3% of total)ival-sub: 383.0ms (3.8% of total)adjust: 346.0ms (3.4% of total)ival-sqrt: 291.0ms (2.9% of total)ival-add: 249.0ms (2.5% of total)ival-tan: 177.0ms (1.8% of total)ival-acos: 117.0ms (1.2% of total)ival-atan2: 104.0ms (1% of total)ival-neg: 99.0ms (1% of total)ival-pi: 65.0ms (0.6% of total)ival-log: 62.0ms (0.6% of total)ival-atan: 57.0ms (0.6% of total)ival-exp: 36.0ms (0.4% of total)ival-true: 23.0ms (0.2% of total)ival-fabs: 18.0ms (0.2% of total)ival-assert: 16.0ms (0.2% of total)...in/eval/compile.rkt:76:19: 12.0ms (0.1% of total)ival-asin: 12.0ms (0.1% of total)| 32× | egg-herbie |
| 21610× | fma-define |
| 9881× | fmm-def |
| 6344× | unsub-neg |
| 6065× | distribute-lft-in |
| 5550× | associate-*r* |
| 16× | saturated |
| 16× | node limit |
Compiled 41234 to 16642 computations (59.6% saved)
Loading profile data...