| Date: | Saturday, January 5th, 2019 |
|---|---|
| Commit: | cbbf2e4d26d0dd0d3b2bd20efd80f14af4cf0cf1 on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2019005 |
| Flags: | setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| Test | Start | Result | Target | ∞ ↔ ℝ | Time | |
|---|---|---|---|---|---|---|
| Expanding a square | 38.8 | 0.0 | 2.4s | » | ||
| Commute and associate | 0.0 | 0 | 3.1s | » | ||
| Cancel like terms | 29.5 | 0 | 772.0ms | » |
| 6× | intervals |
33 calls. Slowest were:
| 179.0ms | (- (+ (+ x y) z) (+ x (+ y z))) |
| 161.0ms | (* (- (* x x) (* 2 2)) x) |
| 159.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 43.0ms | (+ (* x x) (- (* 2 2) (* x 2))) |
| 25.0ms | (* (exp (* x x)) (exp (* x 2))) |
8 calls. Slowest were:
| 24.0ms | (* (+ x 2) x) |
| 23.0ms | (+ (* x x) (* x 2)) |
| 19.0ms | (* x (+ x 2)) |
Median 0% (0.0b remaining)
| 0.0b | 0% | Expanding a square |
| 5× | rewrite-expression-head |
8 calls. Slowest were:
| 4.0ms | (* (+ x 2) x) |
| 2.0ms | (+ (* x x) (* x 2)) |
| 1.0ms | (* x (+ x 2)) |