Details

Time bar (total: 755.0ms)

sample58.0ms

Algorithm
intervals
Results
18.0ms52×body640valid
14.0ms145×body80valid
10.0ms37×body320valid
5.0ms13×body1280valid
2.0ms10×body160valid

simplify107.0ms

Calls
1 calls:
Slowest
107.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.0b

localize20.0ms

Local error

Found 4 expressions with local error:

1.9b
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
0.0b
(/ 1 (- x 1))
0.0b
(/ 1 (+ x 1))
0.0b
(- (/ 1 (+ x 1)) (/ 2 x))

rewrite360.0ms

Algorithm
rewrite-expression-head
Rules
1579×associate-/r*
1342×*-un-lft-identity
1260×frac-sub
1196×frac-add
1142×add-sqr-sqrt
1080×associate-/l*
741×add-cube-cbrt
360×clear-num frac-2neg
198×difference-of-squares
143×distribute-lft-out
110×distribute-lft-out--
96×difference-of-sqr-1
56×times-frac
15×flip3-- flip--
12×add-exp-log
11×add-log-exp
8×add-cbrt-cube div-inv
6×pow1
4×div-exp associate-/r/ insert-posit16
2×cbrt-undiv rec-exp associate-+l+ sum-log sub-neg flip3-+ diff-log 1-exp flip-+ pow-flip inv-pow
1×+-commutative associate-+l-
Calls
4 calls:
Slowest
207.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
65.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
9.0ms
(/ 1 (+ x 1))
9.0ms
(/ 1 (- x 1))

series203.0ms

Calls
4 calls:
Slowest
132.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
41.0ms
(- (/ 1 (+ x 1)) (/ 2 x))
16.0ms
(/ 1 (- x 1))
14.0ms
(/ 1 (+ x 1))