| Date: | Friday, January 4th, 2019 |
|---|---|
| Commit: | 6e112a484d90e98be51833808b7f61a69f6c0d2f on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2019004 |
| 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 | 4.4s | » | ||
| Commute and associate | 0.0 | 0 | 3.1s | » | ||
| Cancel like terms | 29.5 | 0 | 788.0ms | » |
| 6× | intervals |
113 calls. Slowest were:
| 223.0ms | (/ (* (* (- x 2) (- x 2)) (- x 2)) (* (* (+ -4 (* x x)) (+ -4 (* x x))) (+ -4 (* x x)))) |
| 193.0ms | (- (+ (+ x y) z) (+ x (+ y z))) |
| 166.0ms | (* (- (* x x) (* 2 2)) x) |
| 162.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 128.0ms | (- (* (* -4 x) (* -4 x)) (* (pow x 3) (pow x 3))) |
10 calls. Slowest were:
| 46.0ms | (/ (+ (* -4 x) (pow x 3)) (- x 2)) |
| 41.0ms | (/ x (/ (- x 2) (+ -4 (* x x)))) |
| 33.0ms | (+ (* -4 x) (pow x 3)) |
| 25.0ms | (* (+ x 2) x) |
| 12.0ms | (/ (- x 2) (+ -4 (* x x))) |
| 5× | rewrite-expression-head |
10 calls. Slowest were:
| 9.0ms | (/ (+ (* -4 x) (pow x 3)) (- x 2)) |
| 4.0ms | (* (+ x 2) x) |
| 3.0ms | (/ (- x 2) (+ -4 (* x x))) |
| 2.0ms | (+ (* -4 x) (pow x 3)) |
| 1.0ms | (/ x (/ (- x 2) (+ -4 (* x x)))) |
Median 0% (0.0b remaining)
| 0.0b | 0% | Expanding a square |