Time: 6.9s
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: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 square38.80.02.8s»
Commute and associate0.003.0s»
Cancel like terms29.401.0s»

Details

sample4.5s

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)

simplify1.5s

Calls

53 calls:

Slowest
458.0ms
(- (+ (+ x y) z) (+ x (+ y z)))
160.0ms
(- (* (+ x 1) (+ x 1)) 1)
156.0ms
(* (- (* x x) (* 2 2)) x)
120.0ms
(- (* (* -4 x) (* -4 x)) (* (pow x 3) (pow x 3)))
89.0ms
(+ (pow (* -4 x) 3) (pow (pow x 3) 3))

prune355.0ms

series104.0ms

Calls

3 calls:

Slowest
45.0ms
(/ (+ (* -4 x) (pow x 3)) (- x 2))
34.0ms
(+ (* -4 x) (pow x 3))
25.0ms
(* (+ x 2) x)

localize24.0ms

rewrite19.0ms

Algorithm
4×rewrite-expression-head
Calls

3 calls:

Slowest
9.0ms
(/ (+ (* -4 x) (pow x 3)) (- x 2))
4.0ms
(* (+ x 2) x)
2.0ms
(+ (* -4 x) (pow x 3))
Rules
13×add-sqr-sqrt
13×*-un-lft-identity
13×add-cube-cbrt
12×times-frac
5×add-log-exp
5×add-cbrt-cube
5×add-exp-log
5×unpow3
5×distribute-rgt-out
4×associate-/l*
3×associate-*l*
3×associate-/r*
3×flip-+
3×flip3-+
3×pow1
2×associate-/r/
2×associate-*l/
2×associate-/l/
1×sum-log
1×div-exp
1×clear-num
1×cbrt-undiv
1×+-commutative
1×div-inv
1×flip3--
1×flip--
1×*-commutative
1×frac-2neg

regimes17.0ms

Accuracy

Total 0.0b remaining (70.5%)

0.0b0%Expanding a square

bsearch1.0ms

end0.0ms