
| 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: 6.0min)
| 3.6min | 1822579× | body | 256 | valid |
| 42.8s | 340249× | body | 256 | infinite |
| 10.5s | 25766× | body | 1024 | valid |
| 10.0s | 63995× | body | 256 | invalid |
| 6.5s | 22474× | body | 512 | valid |
| 3.8s | 7780× | body | 2048 | valid |
| 1.4s | 1625× | body | 8192 | exit |
| 305.0ms | 1217× | body | 512 | infinite |
| 239.0ms | 787× | body | 1024 | infinite |
| 179.0ms | 729× | body | 1024 | invalid |
| 119.0ms | 640× | body | 512 | invalid |
| 11.0ms | 12× | body | 4096 | valid |
| 269× | egg-herbie |
| 118732× | fma-def |
| 65118× | *-commutative |
| 64525× | distribute-lft-in |
| 57995× | +-commutative |
| 55856× | associate-+l- |
| 117× | saturated |
| 152× | node limit |
Compiled 11309 to 5010 computations (55.7% saved)
| 269× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 46.5% | 46.4% | 53.4% | 0.1% | 0% | 0% | 0% | 1 |
| 50.1% | 49.7% | 49.5% | 0.1% | 0% | 0.6% | 0% | 2 |
| 58.6% | 57% | 40.3% | 0.1% | 0% | 2.6% | 0% | 3 |
| 65.2% | 62.7% | 33.5% | 0.1% | 0% | 3.6% | 0% | 4 |
| 71.2% | 68.2% | 27.5% | 0.1% | 0% | 4.1% | 0% | 5 |
| 75.9% | 72.3% | 23% | 0.1% | 0% | 4.6% | 0% | 6 |
| 79.8% | 75.6% | 19.1% | 0.1% | 0% | 5.1% | 0% | 7 |
| 81.7% | 77% | 17.2% | 0.1% | 0% | 5.6% | 0% | 8 |
| 84.4% | 79.3% | 14.7% | 0.1% | 0% | 5.9% | 0% | 9 |
| 86% | 80.5% | 13.1% | 0.1% | 0% | 6.2% | 0% | 10 |
| 88.5% | 82.9% | 10.7% | 0.1% | 0% | 6.2% | 0% | 11 |
| 89.6% | 83.7% | 9.7% | 0.1% | 0% | 6.5% | 0% | 12 |
Compiled 4012 to 2763 computations (31.1% saved)
Loading profile data...