| Date: | Sunday, February 28th, 2021 |
|---|---|
| Commit: | a47258c6 on egg-generate-proof |
| Hostname: | warfa with Racket 7.9 |
| Seed: | 2021059 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:fallback default |
Time bar (total: 0ms)
Loading profile data...