
| 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: 1.5min)
| 28.7s | 37778× | body | 2048 | valid |
| 19.4s | 58451× | body | 1024 | valid |
| 11.2s | 94203× | body | 256 | valid |
| 8.7s | 63138× | body | 256 | precondition |
| 6.9s | 33787× | body | 512 | valid |
| 1.3s | 2305× | body | 4096 | valid |
| 815.0ms | 1065× | body | 1024 | invalid |
| 683.0ms | 4317× | body | 256 | infinite |
| 524.0ms | 5165× | body | 256 | invalid |
| 456.0ms | 4009× | body | 256 | unsamplable |
| 217.0ms | 570× | body | 512 | invalid |
| 174.0ms | 145× | body | 1024 | infinite |
| 84.0ms | 181× | body | 512 | infinite |
| 7.0ms | 6× | body | 2048 | invalid |
| 1.0ms | 1× | body | 8192 | valid |
| 28× | egg-herbie |
| 8209× | fma-def |
| 6065× | *-commutative |
| 5681× | associate-/r* |
| 5426× | distribute-lft-in |
| 5186× | +-commutative |
| 13× | saturated |
| 15× | node limit |
Compiled 951 to 478 computations (49.7% saved)
| 28× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 83% | 17% | 0% | 0% | 0% | 0 |
| 25.8% | 21.4% | 61.5% | 17% | 0% | 0% | 0% | 1 |
| 37.6% | 29.9% | 49.5% | 17% | 0% | 3.6% | 0% | 2 |
| 50% | 39.2% | 39.3% | 17% | 0% | 4.5% | 0% | 3 |
| 57.1% | 44.5% | 33.5% | 17.2% | 0% | 4.9% | 0% | 4 |
| 63.5% | 49% | 28.2% | 17.2% | 0% | 5.6% | 0% | 5 |
| 65.6% | 50.2% | 26.3% | 17.5% | 0% | 5.9% | 0% | 6 |
| 68.5% | 51.5% | 23.7% | 17.9% | 0% | 6.7% | 0.1% | 7 |
| 70.8% | 53% | 21.9% | 18.1% | 0% | 6.9% | 0.1% | 8 |
| 72.4% | 53.7% | 20.5% | 18.2% | 0% | 7.3% | 0.3% | 9 |
| 73.8% | 54.1% | 19.2% | 18.4% | 0% | 7.9% | 0.3% | 10 |
| 75.5% | 55.1% | 17.9% | 18.5% | 0% | 8.1% | 0.4% | 11 |
| 76.4% | 55.4% | 17.2% | 18.6% | 0% | 8.5% | 0.4% | 12 |
Compiled 408 to 294 computations (27.9% saved)
Loading profile data...