| Date: | Tuesday, January 8th, 2019 |
|---|---|
| Commit: | e215f5b157f6d8a7791aabf68743eb21857594b0 on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2019008 |
| 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.7 | 0.0 | 11.5s | » | ||
| Commute and associate | 0.0 | 0 | 3.3s | » | ||
| Cancel like terms | 29.7 | 0 | 1.0s | » |
190 calls. Slowest were:
| 278.0ms | (- (+ 1 x) x) |
| 274.0ms | (* (* (* (* (cbrt (+ x 2)) (cbrt (+ x 2))) (* (cbrt (+ x 2)) (cbrt (+ x 2)))) (* (cbrt (+ x 2)) (cbrt (+ x 2)))) (* (* (* (cbrt (+ x 2)) x) (* (cbrt (+ x 2)) x)) (* (cbrt (+ x 2)) x))) |
| 247.0ms | (* (* (+ x 2) (+ x 2)) (* (* (* (cbrt (+ x 2)) x) (* (cbrt (+ x 2)) x)) (* (cbrt (+ x 2)) x))) |
| 210.0ms | (- (+ (+ x y) z) (+ x (+ y z))) |
| 192.0ms | (+ (* (* x x) (* x x)) (- (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2))) (* (* x x) (- (* 2 2) (* x 2))))) |
| 6× | intervals |
17 calls. Slowest were:
| 273.0ms | (* (* (cbrt (+ x 2)) (cbrt (+ x 2))) (* (cbrt (+ x 2)) x)) |
| 58.0ms | (/ (+ (pow x 4) (* 8 x)) (+ (* x x) (- (* 2 2) (* x 2)))) |
| 38.0ms | (cbrt (+ x 2)) |
| 31.0ms | (cbrt (+ x 2)) |
| 31.0ms | (cbrt (+ x 2)) |
| 6× | rewrite-expression-head |
17 calls. Slowest were:
| 19.0ms | (* (* (cbrt (+ x 2)) (cbrt (+ x 2))) (* (cbrt (+ x 2)) x)) |
| 16.0ms | (/ (+ (pow x 4) (* 8 x)) (+ (* x x) (- (* 2 2) (* x 2)))) |
| 11.0ms | (cbrt (* (* (cbrt (+ x 2)) (cbrt (+ x 2))) (cbrt (+ x 2)))) |
| 5.0ms | (+ (* x x) (- (* 2 2) (* x 2))) |
| 4.0ms | (* (+ x 2) x) |
Total 0.0b remaining (63.2%)
| 0.0b | 0% | Expanding a square |