| Date: | Wednesday, December 26th, 2018 |
|---|---|
| Commit: | a98a74144c4adddbce217fd7ce983c17096732e2 on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2018360 |
| 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.3 | 0.0 | 9.9s | » | ||
| Commute and associate | 0.0 | 0 | 3.6s | » | ||
| Cancel like terms | 29.0 | 0 | 1.2s | » |
129 calls. Slowest were:
| 372.0ms | (- (+ (* 2/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x))))))) x)) (* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))))) (* 4/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x))))))) (pow x 2)))) |
| 314.0ms | (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (/ (- 2 x) x) (/ (- 2 x) x)) (/ (- 2 x) x))) |
| 226.0ms | (- (+ (* (pow (pow x 4) 1/3) (pow (cbrt -1) 2)) (* 4/3 (* (pow x 1/3) (pow (cbrt -1) 2)))) (* 4/9 (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)))) |
| 224.0ms | (* (cbrt (* (+ (pow 2 3) (pow x 3)) x)) (cbrt (* (- (* 2 2) (* x x)) x))) |
| 207.0ms | (/ (- (* 2 2) (* x x)) (* (cbrt (- 2 x)) (cbrt (- 2 x)))) |
9 calls. Slowest were:
| 58.0ms | (/ (* (- (* 2 2) (* x x)) x) (- 2 x)) |
| 47.0ms | (cbrt (* (+ 2 x) x)) |
| 46.0ms | (* (cbrt (* (+ 2 x) x)) (cbrt (* (+ 2 x) x))) |
| 43.0ms | (cbrt (* (+ 2 x) x)) |
| 43.0ms | (/ (- 4 (* x x)) (/ (- 2 x) x)) |
9 calls. Slowest were:
| 11.0ms | (/ (* (- (* 2 2) (* x x)) x) (- 2 x)) |
| 8.0ms | (* (cbrt (* (+ 2 x) x)) (cbrt (* (+ 2 x) x))) |
| 7.0ms | (* (- (* 2 2) (* x x)) x) |
| 4.0ms | (* (+ 2 x) x) |
| 3.0ms | (/ (- 4 (* x x)) (/ (- 2 x) x)) |
Median 0% (0.0b remaining)
| 0.0b | 0% | Expanding a square |