Herbie run
| Date: | Friday, April 5th, 2024 |
|---|---|
| Commit: | 0a13acd6 on explanations-eval-freq |
| Hostname: | nightly with Racket 8.11.1 |
| Seed: | 2024096 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce: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: 9.9min)
Compiled 39225 to 20352 computations (48.1% saved)
ival-pow, time spent: 26.2s, 24.0% of total-timeival-mult, time spent: 19.5s, 18.0% of total-timecomposed, time spent: 11.9s, 11.0% of total-timeival-div, time spent: 10.8s, 10.0% of total-timeival-tan, time spent: 6.3s, 6.0% of total-timeival-add, time spent: 6.1s, 6.0% of total-timeival-cos, time spent: 4.7s, 4.0% of total-timeival-log, time spent: 3.9s, 4.0% of total-timeival-sqrt, time spent: 3.6s, 3.0% of total-timeival-sin, time spent: 3.3s, 3.0% of total-timeival-sub, time spent: 3.1s, 3.0% of total-timeival-asin, time spent: 2.6s, 2.0% of total-timeival-exp, time spent: 2.0s, 2.0% of total-timeconst, time spent: 2.0s, 2.0% of total-timeival-acos, time spent: 828.0ms, 1.0% of total-timeival-cbrt, time spent: 472.0ms, 0.0% of total-timeival-neg, time spent: 446.0ms, 0.0% of total-timeival-pi, time spent: 163.0ms, 0.0% of total-timeival-fabs, time spent: 10.0ms, 0.0% of total-timeival-e, time spent: 4.0ms, 0.0% of total-time| 46.8s | 179509× | 256 | valid |
| 15.1s | 67709× | 256 | invalid |
| 10.2s | 42808× | 256 | infinite |
| 7.3s | 10831× | 1024 | valid |
| 6.8s | 9312× | 2048 | valid |
| 4.2s | 8459× | 512 | valid |
| 4.8s | 7447× | 1024 | invalid |
| 1.7s | 4094× | 512 | invalid |
| 2.3s | 1963× | 4096 | valid |
| 1.3s | 777× | 8192 | valid |
| 2.8s | 772× | 4096 | infinite |
| 1.5s | 706× | 2048 | infinite |
| 591.0ms | 420× | 1024 | infinite |
| 170.0ms | 379× | 512 | infinite |
| 34.0ms | 180× | 256 | unsamplable |
| 72.0ms | 108× | 2048 | invalid |
| 6.0ms | 7× | 8192 | exit |
ival-mult, time spent: 17.1s, 26.0% of total-timeival-div, time spent: 11.8s, 18.0% of total-timeival-pow, time spent: 7.1s, 11.0% of total-timeival-tan, time spent: 5.5s, 8.0% of total-timeival-add, time spent: 4.1s, 6.0% of total-timeival-sin, time spent: 3.9s, 6.0% of total-timeival-sub, time spent: 3.8s, 6.0% of total-timeival-sqrt, time spent: 3.2s, 5.0% of total-timeival-exp, time spent: 2.5s, 4.0% of total-timeconst, time spent: 1.4s, 2.0% of total-timeival-cos, time spent: 1.2s, 2.0% of total-timeival-acos, time spent: 993.0ms, 2.0% of total-timeival-neg, time spent: 965.0ms, 1.0% of total-timeival-pi, time spent: 721.0ms, 1.0% of total-timecomposed, time spent: 702.0ms, 1.0% of total-timeival-log, time spent: 542.0ms, 1.0% of total-timeival-<, time spent: 226.0ms, 0.0% of total-timeival-fabs, time spent: 173.0ms, 0.0% of total-timeival-asin, time spent: 163.0ms, 0.0% of total-timeival-and, time spent: 19.0ms, 0.0% of total-timeCompiled 2975628 to 1954463 computations (34.3% saved)
152 calls:
| 5.0s | l |
| 2.9s | t |
| 2.8s | EAccept |
| 2.1s | EDonor |
| 2.0s | Ev |
Compiled 8042 to 6262 computations (22.1% saved)
| 149× | egg-herbie |
| 101570× | fma-define |
| 81254× | associate-*r* |
| 80434× | *-commutative |
| 75160× | times-frac |
| 69626× | distribute-lft-in |
| 31× | saturated |
| 118× | node limit |
| 29× | fuel |
| 2× | done |
Compiled 11432 to 7644 computations (33.1% saved)
| 98152× | fma-define |
| 77094× | times-frac |
| 76944× | associate-*r* |
| 63988× | *-commutative |
| 54686× | distribute-lft-in |
| 7× | saturated |
| 163× | node limit |
| 1× | unsound |
Compiled 29581 to 18254 computations (38.3% saved)
| 31× | egg-herbie |
| 39452× | fma-define |
| 26360× | fma-neg |
| 16974× | times-frac |
| 15822× | unsub-neg |
| 14432× | distribute-lft-in |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
-.f64 | #f | cancellation | 523 | 0 |
cos.f64 | #f | sensitivity | 423 | 0 |
sqrt.f64 | #f | oflow-rescue | 372 | 0 |
acos.f64 | (acos.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (-.f64 (*.f64 v v) 1))) | sensitivity | 254 | 1 |
*.f64 | #f | n*o | 249 | 0 |
+.f64 | #f | nan-rescue | 245 | 0 |
sqrt.f64 | #f | uflow-rescue | 144 | 0 |
pow.f64 | #f | oflow-rescue | 131 | 0 |
tan.f64 | (tan.f64 (*.f64 (PI.f64) l)) | sensitivity | 130 | 0 |
asin.f64 | (asin.f64 (sqrt.f64 (/.f64 (-.f64 1 (pow.f64 (/.f64 Om Omc) 2)) (+.f64 1 (*.f64 2 (pow.f64 (/.f64 t l) 2)))))) | sensitivity | 128 | 0 |
-.f64 | #f | nan-rescue | 128 | 0 |
*.f64 | #f | u*o | 122 | 0 |
pow.f64 | (pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2)) | sensitivity | 84 | 31 |
*.f64 | #f | o*u | 71 | 0 |
/.f64 | #f | o/o | 65 | 0 |
+.f64 | #f | cancellation | 60 | 0 |
pow.f64 | #f | uflow-rescue | 59 | 0 |
*.f64 | #f | n*u | 59 | 0 |
/.f64 | #f | o/n | 55 | 0 |
/.f64 | #f | u/u | 48 | 0 |
cos.f64 | (cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M)) | oflow-rescue | 46 | 0 |
| ↳ | (-.f64 (/.f64 (*.f64 K (+.f64 m n)) 2) M) | overflow | 46 | |
| ↳ | (/.f64 (*.f64 K (+.f64 m n)) 2) | overflow | 46 | |
| ↳ | (*.f64 K (+.f64 m n)) | overflow | 46 | |
/.f64 | #f | n/o | 45 | 0 |
/.f64 | #f | n/u | 25 | 0 |
/.f64 | #f | u/n | 14 | 0 |
log.f64 | (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f)))))) | sensitivity | 7 | 0 |
exp.f64 | #f | sensitivity | 4 | 1 |
log.f64 | (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f)))))) | oflow-rescue | 1 | 0 |
| ↳ | (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f)))) | overflow | 3 | |
| ↳ | (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f)))) | overflow | 3 | |
| ↳ | (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) | overflow | 6 | |
| ↳ | (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) 4) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) 4) f))))) | overflow | 1 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 1852 | 33 |
| - | 1148 | 4903 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1852 | 2 | 31 |
| - | 1148 | 33 | 4870 |
| 8× | saturated |
| 23× | node limit |
Compiled 54718 to 33716 computations (38.4% saved)
ival-mult, time spent: 2.4s, 25.0% of total-timeival-div, time spent: 1.6s, 17.0% of total-timeival-pow, time spent: 1.4s, 14.0% of total-timeival-add, time spent: 768.0ms, 8.0% of total-timeival-tan, time spent: 728.0ms, 8.0% of total-timeival-sub, time spent: 556.0ms, 6.0% of total-timeival-exp, time spent: 412.0ms, 4.0% of total-timeival-sqrt, time spent: 341.0ms, 4.0% of total-timeival-cos, time spent: 280.0ms, 3.0% of total-timecomposed, time spent: 260.0ms, 3.0% of total-timeconst, time spent: 244.0ms, 3.0% of total-timeival-sin, time spent: 225.0ms, 2.0% of total-timeival-neg, time spent: 142.0ms, 1.0% of total-timeival-log, time spent: 81.0ms, 1.0% of total-timeival-acos, time spent: 47.0ms, 0.0% of total-timeival-pi, time spent: 30.0ms, 0.0% of total-timeival-asin, time spent: 7.0ms, 0.0% of total-timeival-fabs, time spent: 5.0ms, 0.0% of total-time| 118× | batch-egg-rewrite |
| 68192× | log1p-expm1-u |
| 49135× | expm1-log1p-u |
| 30960× | prod-diff |
| 29995× | add-exp-log |
| 29886× | add-log-exp |
| 117× | node limit |
| 1× | unsound |
Compiled 154333 to 107691 computations (30.2% saved)
| 312× | binary-search |
| 71× | left-value |
| 9× | predicate-same |
| 303× | narrow-enough |
| 7.9s | 28985× | 256 | valid |
| 1.9s | 6087× | 256 | infinite |
| 1.5s | 5011× | 256 | invalid |
| 186.0ms | 384× | 1024 | valid |
| 105.0ms | 153× | 2048 | valid |
| 92.0ms | 153× | 512 | valid |
| 101.0ms | 68× | 4096 | valid |
| 40.0ms | 37× | 8192 | valid |
| 17.0ms | 36× | 512 | infinite |
| 11.0ms | 23× | 1024 | invalid |
| 12.0ms | 21× | 1024 | infinite |
| 3.0ms | 12× | 512 | invalid |
| 10.0ms | 12× | 2048 | infinite |
| 1.0ms | 1× | 8192 | exit |
Compiled 90503 to 68842 computations (23.9% saved)
ival-mult, time spent: 1.4s, 21.0% of total-timeival-pow, time spent: 1.2s, 19.0% of total-timeival-div, time spent: 1.2s, 18.0% of total-timeival-add, time spent: 613.0ms, 10.0% of total-timeival-sub, time spent: 416.0ms, 7.0% of total-timeival-tan, time spent: 386.0ms, 6.0% of total-timeival-sin, time spent: 378.0ms, 6.0% of total-timeival-neg, time spent: 188.0ms, 3.0% of total-timeival-exp, time spent: 171.0ms, 3.0% of total-timeival-cos, time spent: 163.0ms, 3.0% of total-timeconst, time spent: 143.0ms, 2.0% of total-timeival-sqrt, time spent: 113.0ms, 2.0% of total-timecomposed, time spent: 39.0ms, 1.0% of total-timeival-fabs, time spent: 8.0ms, 0.0% of total-timeival-pi, time spent: 4.0ms, 0.0% of total-time8712 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 299.0ms | kx | @ | inf | (* (sin ky) (* th (sqrt (/ 1 (+ (pow (sin kx) 2) (pow (sin ky) 2)))))) |
| 265.0ms | w | @ | 0 | (log (/ (+ (* c0 (/ (pow d 2) (* (* D w) (* h D)))) (* (pow (/ d D) 2) (/ (/ c0 w) h))) (* w 2))) |
| 140.0ms | x | @ | -inf | (/ (+ 1 (neg (+ 1/2 (/ 1/2 (sqrt (+ (* 1 1) (* x x))))))) (+ 1 (+ 1 (* (pow x 2) -1/8)))) |
| 129.0ms | B | @ | inf | (/ (- 1 (* x (cos B))) (sin B)) |
| 101.0ms | t | @ | -inf | (* (/ 2 (log (pow (exp t) (pow k 4)))) (* l l)) |
| 31× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 98.2% | 1.8% | 0% | 0% | 0% | 0 |
| 19.7% | 19.3% | 78.9% | 1.8% | 0% | 0% | 0% | 1 |
| 24.2% | 23.3% | 73.2% | 1.8% | 0% | 1.6% | 0% | 2 |
| 29.6% | 27.4% | 65.2% | 1.8% | 0% | 5.6% | 0% | 3 |
| 33.6% | 30.4% | 60.2% | 1.8% | 0% | 7.3% | 0.4% | 4 |
| 35.9% | 32.4% | 57.9% | 1.8% | 0% | 7.3% | 0.6% | 5 |
| 40.2% | 36.2% | 53.9% | 1.8% | 0% | 7.4% | 0.7% | 6 |
| 45% | 40.3% | 49.1% | 1.8% | 0% | 8% | 0.8% | 7 |
| 47.4% | 41.8% | 46.4% | 1.8% | 0% | 9.2% | 0.9% | 8 |
| 50.2% | 44.1% | 43.7% | 1.8% | 0% | 9.5% | 0.9% | 9 |
| 51.3% | 44.9% | 42.6% | 1.8% | 0% | 9.7% | 1% | 10 |
| 53% | 46.1% | 40.9% | 1.8% | 0% | 10.2% | 1% | 11 |
| 54.7% | 47.3% | 39.1% | 1.8% | 0% | 10.8% | 1% | 12 |
Compiled 845 to 607 computations (28.2% saved)
ival-mult, time spent: 2.3s, 32.0% of total-timeival-pow, time spent: 1.4s, 20.0% of total-timeival-div, time spent: 995.0ms, 14.0% of total-timeival-add, time spent: 445.0ms, 6.0% of total-timeival-sqrt, time spent: 439.0ms, 6.0% of total-timeival-sub, time spent: 429.0ms, 6.0% of total-timeival-sin, time spent: 244.0ms, 3.0% of total-timeival-tan, time spent: 214.0ms, 3.0% of total-timeconst, time spent: 179.0ms, 2.0% of total-timeival-cos, time spent: 151.0ms, 2.0% of total-timeival-neg, time spent: 128.0ms, 2.0% of total-timeival-acos, time spent: 99.0ms, 1.0% of total-timeival-exp, time spent: 76.0ms, 1.0% of total-timeival-pi, time spent: 44.0ms, 1.0% of total-timeival-asin, time spent: 29.0ms, 0.0% of total-timeival-fabs, time spent: 20.0ms, 0.0% of total-timeival-<, time spent: 19.0ms, 0.0% of total-timeival-log, time spent: 11.0ms, 0.0% of total-timeival-and, time spent: 3.0ms, 0.0% of total-timecomposed, time spent: 0.0ms, 0.0% of total-timeLoading profile data...