| Date: | Friday, January 4th, 2019 |
|---|---|
| Commit: | 6e112a484d90e98be51833808b7f61a69f6c0d2f on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2019004 |
| Flags: | setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback +o rules:numerics |
| Test | Start | Result | Target | ∞ ↔ ℝ | Time | |
|---|---|---|---|---|---|---|
| Expanding a square | 38.8 | 0.0 | 5.4s | » | ||
| Commute and associate | 0.0 | 0 | 3.2s | » | ||
| Cancel like terms | 29.5 | 0 | 754.0ms | » |
| 6× | intervals |
91 calls. Slowest were:
| 441.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 295.0ms | (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (/ (- 2 x) x) (/ (- 2 x) x)) (/ (- 2 x) x))) |
| 210.0ms | (* (- (* 2 2) (* x x)) x) |
| 199.0ms | (- (+ (+ x y) z) (+ x (+ y z))) |
| 192.0ms | (/ (- (* 2 2) (* x x)) (* (cbrt (- 2 x)) (cbrt (- 2 x)))) |
10 calls. Slowest were:
| 42.0ms | (/ (* (- (* 2 2) (* x x)) x) (- 2 x)) |
| 41.0ms | (/ (- 4 (* x x)) (/ (- 2 x) x)) |
| 29.0ms | (* (- (* 2 2) (* x x)) x) |
| 25.0ms | (* (+ 2 x) x) |
| 19.0ms | (/ (- 2 x) x) |
| 5× | rewrite-expression-head |
10 calls. Slowest were:
| 7.0ms | (/ (* (- (* 2 2) (* x x)) x) (- 2 x)) |
| 4.0ms | (* (- (* 2 2) (* x x)) x) |
| 4.0ms | (* (+ 2 x) x) |
| 3.0ms | (/ (- 4 (* x x)) (/ (- 2 x) x)) |
| 2.0ms | (/ (- 2 x) x) |
Median 0% (0.0b remaining)
| 0.0b | 0% | Expanding a square |