Time: 8.2s
Passed: 2/2
Tests: 3
Bits: 68/68
Date:Wednesday, January 16th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019016
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
TestStartResult ?Target ?∞ ↔ ℝTime
Expanding a square38.80.04.1s»
Commute and associate0.003.1s»
Cancel like terms29.401.0s»

Details

sample4.8s

Algorithm
6×intervals
Results
27635×(pre true 80)
10226×(body real 80)
7749×(body real 1280)
4206×(body real 640)
2859×(body real 2560)
1766×(body real 320)
829×(body real 160)

simplify2.6s

Calls

37 calls:

Slowest
451.0ms
(- (* (+ x 1) (+ x 1)) 1)
325.0ms
(* (- (pow (* 2 2) 3) (pow (* x x) 3)) x)
219.0ms
(* (- (* 2 2) (* x x)) x)
197.0ms
(/ (- (* 2 2) (* x x)) (* (cbrt (- 2 x)) (cbrt (- 2 x))))
183.0ms
(* (- (* (* 2 2) (* 2 2)) (* (* x x) (* x x))) x)

prune320.0ms

series103.0ms

Calls

3 calls:

Slowest
41.0ms
(/ (* (- (* 2 2) (* x x)) x) (- 2 x))
32.0ms
(* (- (* 2 2) (* x x)) x)
30.0ms
(* (+ 2 x) x)

localize28.0ms

rewrite19.0ms

Algorithm
4×rewrite-expression-head
Calls

3 calls:

Slowest
7.0ms
(/ (* (- (* 2 2) (* x x)) x) (- 2 x))
5.0ms
(* (+ 2 x) x)
4.0ms
(* (- (* 2 2) (* x x)) x)
Rules
7×associate-*l*
7×add-sqr-sqrt
7×*-un-lft-identity
7×add-cube-cbrt
6×associate-*l/
5×add-cbrt-cube
5×add-exp-log
3×add-log-exp
3×associate-/r*
3×expm1-log1p-u
3×log1p-expm1-u
3×pow1
3×flip3--
3×flip--
3×times-frac
2×associate-/r/
2×associate-/l/
2×*-commutative
1×div-exp
1×difference-of-squares
1×clear-num
1×cbrt-undiv
1×flip-+
1×div-inv
1×associate-/l*
1×flip3-+
1×frac-2neg

regimes19.0ms

Accuracy

Total 0.0b remaining (66.7%)

0.0b0%Expanding a square

bsearch1.0ms

end0.0ms