| Date: | Tuesday, January 8th, 2019 |
|---|---|
| Commit: | e215f5b157f6d8a7791aabf68743eb21857594b0 on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2019008 |
| 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.7 | 0.0 | 12.4s | » | ||
| Commute and associate | 0.0 | 0 | 3.1s | » | ||
| Cancel like terms | 29.7 | 0 | 805.0ms | » |
180 calls. Slowest were:
| 434.0ms | (- (* (+ x 1) (+ x 1)) 1) |
| 421.0ms | (- (+ (+ x y) z) (+ x (+ y z))) |
| 297.0ms | (* (* (+ 2 x) (+ 2 x)) (* (* (* (cbrt (+ 2 x)) x) (* (cbrt (+ 2 x)) x)) (* (cbrt (+ 2 x)) x))) |
| 283.0ms | (- (+ (* 1/6 (* x (pow 2 1/3))) (pow 2 1/3)) (* 1/36 (* (pow x 2) (pow 2 1/3)))) |
| 283.0ms | (- (+ (* 1/6 (* x (pow 2 1/3))) (pow 2 1/3)) (* 1/36 (* (pow x 2) (pow 2 1/3)))) |
| 6× | intervals |
17 calls. Slowest were:
| 43.0ms | (/ (* x (- 4 (* x x))) (- 2 x)) |
| 34.0ms | (cbrt (+ 2 x)) |
| 32.0ms | (cbrt (+ 2 x)) |
| 32.0ms | (cbrt (+ 2 x)) |
| 31.0ms | (cbrt (+ 2 x)) |
| 6× | rewrite-expression-head |
17 calls. Slowest were:
| 18.0ms | (* (* (cbrt (+ 2 x)) (cbrt (+ 2 x))) (* (cbrt (+ 2 x)) x)) |
| 9.0ms | (cbrt (* (* (cbrt (+ 2 x)) (cbrt (+ 2 x))) (cbrt (+ 2 x)))) |
| 4.0ms | (/ (* x (- 4 (* x x))) (- 2 x)) |
| 4.0ms | (* (+ 2 x) x) |
| 1.0ms | (* x (- 4 (* x x))) |
Total 0.0b remaining (86.2%)
| 0.0b | 0% | Expanding a square |