Time: 18.8s
Passed: 2/2
Tests: 3
Bits: 68/68
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
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
TestStartResult ?Target ?∞ ↔ ℝTime
Expanding a square39.50.015.0s»
Commute and associate0.003.1s»
Cancel like terms28.90756.0ms»

Details

simplify11.4s

Calls

191 calls:

Slowest
486.0ms
(* (* (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2))) (- (* 2 2) (* x 2))) (* (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2))) (- (* 2 2) (* x 2))))
351.0ms
(* (- (* 2 2) (* x 2)) (- (* x 2)))
350.0ms
(* (- (* 2 2) (* x 2)) (- (* x 2)))
317.0ms
(* (+ (* 2 2) (* x 2)) (+ (* (* 2 2) (* 2 2)) (+ (* (* x 2) (* x 2)) (* (* 2 2) (* x 2)))))
287.0ms
(* (- (* (* 2 2) (* 2 2)) (* (* x 2) (* x 2))) (- (* 2 2) (* x 2)))

sample4.5s

Algorithm
6×intervals

prune1.9s

series235.0ms

Calls

11 calls:

Slowest
58.0ms
(/ (+ (pow x 4) (* 8 x)) (+ (* x x) (- (* 2 2) (* x 2))))
27.0ms
(/ (+ (pow x 4) (* 8 x)) (- (* (* x x) (* x x)) (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2)))))
26.0ms
(* (+ x 2) x)
24.0ms
(* (sqrt (* (+ x 2) x)) (sqrt (* (+ x 2) x)))
19.0ms
(* (+ x 2) x)

rewrite74.0ms

Algorithm
6×rewrite-expression-head
Calls

11 calls:

Slowest
16.0ms
(/ (+ (pow x 4) (* 8 x)) (- (* (* x x) (* x x)) (* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2)))))
16.0ms
(/ (+ (pow x 4) (* 8 x)) (+ (* x x) (- (* 2 2) (* x 2))))
9.0ms
(* (sqrt (* (+ x 2) x)) (sqrt (* (+ x 2) x)))
8.0ms
(* (- (* 2 2) (* x 2)) (- (* 2 2) (* x 2)))
4.0ms
(+ (* x x) (- (* 2 2) (* x 2)))
Rules
36×add-cube-cbrt
36×*-un-lft-identity
36×add-sqr-sqrt
26×associate-*l/
26×pow1
21×associate-*l*
21×add-cbrt-cube
21×add-exp-log
21×times-frac
16×add-log-exp
15×flip-+
15×flip3-+
14×sqrt-div
9×associate-*r*
8×frac-times
7×flip3--
7×flip--
7×pow2
7×associate-/r*
7×*-commutative
6×associate-/l*
5×pow-prod-down
5×pow1/2
5×pow-prod-up
4×difference-of-squares
4×associate-*r/
4×associate-/r/
4×associate-/l/
3×cbrt-unprod
3×prod-exp
3×sub-neg
3×pow-plus
3×sqrt-prod
2×sum-log
2×cbrt-undiv
2×associate-+r+
2×distribute-rgt-out--
2×frac-2neg
2×distribute-lft-in
2×div-exp
2×distribute-rgt-in
2×clear-num
2×div-inv
1×associate-+r-
1×rem-square-sqrt
1×sqrt-unprod
1×+-commutative
1×diff-log

bsearch73.0ms

localize56.0ms

regimes31.0ms

Accuracy

Total 0.0b remaining (75.5%)

0.0b99.7%Expanding a square

end0.0ms