| Date: | Friday, December 28th, 2018 |
|---|---|
| Commit: | 380dbd2a465f205d153f4bc8cc948c449c0b5dbb on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2018362 |
| 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 | 39.2 | 0.0 | 4.7s | » | ||
| Commute and associate | 0.0 | 0 | 3.2s | » | ||
| Cancel like terms | 29.4 | 0 | 1.2s | » |
42 calls. Slowest were:
| 437.0ms | (- (log (* (- (* 2 2) (* x x)) x)) (log (- 2 x))) |
| 232.0ms | (* (- (* 2 2) (* x x)) x) |
| 205.0ms | (/ (- (* 2 2) (* x x)) (* (cbrt (- 2 x)) (cbrt (- 2 x)))) |
| 200.0ms | (* (- (* (* 2 2) (* 2 2)) (* (* x x) (* x x))) x) |
| 15.0ms | (* (+ (pow 2 3) (pow x 3)) x) |
4 calls. Slowest were:
| 42.0ms | (/ (* (- (* 2 2) (* x x)) x) (- 2 x)) |
| 32.0ms | (* (- (* 2 2) (* x x)) x) |
| 25.0ms | (* (+ 2 x) x) |
| 18.0ms | (- (* 2 2) (* x x)) |
4 calls. Slowest were:
| 7.0ms | (/ (* (- (* 2 2) (* x x)) x) (- 2 x)) |
| 4.0ms | (* (- (* 2 2) (* x x)) x) |
| 4.0ms | (* (+ 2 x) x) |
| 2.0ms | (- (* 2 2) (* x x)) |
Median 0% (0.0b remaining)
| 0.0b | 0% | Expanding a square |