Details

Time bar (total: 5.4s)

sample33.0ms

Algorithm
intervals
Results
15.0ms298×body80valid

simplify2.4s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1149
2299
3439
4489
5579
61359
73809
812989
done50009

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (+ x y) (/ (/ x y) 2.0))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
*-un-lft-identity add-log-exp
times-frac difference-of-squares
diff-log frac-sub distribute-lft-out--
pow1 sum-log sub-neg flip3-+ flip3-- add-cbrt-cube associate--l+ add-exp-log add-cube-cbrt flip-+ flip-- distribute-lft-out
Counts
1 → 21
Calls
1 calls:
105.0ms
(- (+ x y) (/ (/ x y) 2.0))

series49.0ms

Counts
1 → 3
Calls
1 calls:
48.0ms
(- (+ x y) (/ (/ x y) 2.0))

simplify1.7s

Counts
24 → 24
Iterations

Useful iterations: 3 (584.0ms)

IterNodesCost
070389
1176376
2526358
32140354
done5001354

prune93.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0.0b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
189
done89

end0.0ms

sample1.1s

Algorithm
intervals
Results
655.0ms9173×body80valid
0.0msbody640valid