
| Date: | Friday, January 5th, 2024 |
|---|---|
| Commit: | 7adfcfcc on platforms |
| Hostname: | nightly with Racket 8.6 |
| Seed: | 2024005 |
| 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: 52.3s)
| 12.6s | 114900× | body | 256 | valid |
| 11.7s | 12653× | body | 8192 | exit |
| 8.9s | 24153× | body | 1024 | valid |
| 4.4s | 5884× | body | 2048 | valid |
| 3.3s | 15202× | body | 512 | valid |
| 788.0ms | 2321× | body | 1024 | invalid |
| 753.0ms | 4805× | body | 256 | invalid |
| 637.0ms | 4977× | body | 256 | infinite |
| 219.0ms | 1154× | body | 512 | invalid |
| 134.0ms | 1149× | body | 256 | unsamplable |
| 3.0ms | 1× | body | 8192 | invalid |
| 2.0ms | 4× | body | 1024 | infinite |
| 0.0ms | 1× | body | 2048 | invalid |
| 20× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 73.7% | 26.3% | 0% | 0% | 0% | 0 |
| 22.1% | 16.3% | 57.5% | 26.3% | 0% | 0% | 0% | 1 |
| 44.1% | 32.5% | 41.2% | 26.3% | 0% | 0% | 0% | 2 |
| 52.6% | 38.7% | 35% | 26.3% | 0% | 0% | 0% | 3 |
| 61.9% | 45.6% | 28.1% | 26.3% | 0% | 0% | 0% | 4 |
| 65.2% | 47.5% | 25.3% | 26.3% | 0% | 0.9% | 0% | 5 |
| 66.8% | 48.4% | 24% | 26.3% | 0% | 1.1% | 0.2% | 6 |
| 71% | 51.1% | 20.8% | 26.3% | 0% | 1.6% | 0.2% | 7 |
| 72% | 51.6% | 20.1% | 26.3% | 0% | 1.8% | 0.2% | 8 |
| 74.2% | 53% | 18.4% | 26.3% | 0% | 2% | 0.2% | 9 |
| 75.7% | 53.9% | 17.3% | 26.3% | 0% | 2.2% | 0.3% | 10 |
| 76.4% | 54.3% | 16.8% | 26.3% | 0% | 2.3% | 0.3% | 11 |
| 77.1% | 54.8% | 16.3% | 26.3% | 0% | 2.4% | 0.3% | 12 |
Compiled 295 to 210 computations (28.8% saved)
| 20× | egg-herbie |
| 6787× | fma-def |
| 4317× | distribute-lft-in |
| 3530× | distribute-rgt-in |
| 3408× | *-commutative |
| 3133× | associate-*r* |
| 12× | saturated |
| 8× | node limit |
Compiled 475 to 208 computations (56.2% saved)
Loading profile data...