Details

Time bar (total: 6.8s)

sample38.0ms

Algorithm
intervals
Results
18.0ms308×body80valid

simplify3.1s

Counts
1 → 1
Iterations

Useful iterations: 7 (1.9s)

IterNodesCost
01213
12213
25012
312311
429811
559711
6126211
7492410
done500010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z x) y)
0.0b
(- 0.25 (/ (- z x) y))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
90×add-sqr-sqrt
87×*-un-lft-identity
61×times-frac
59×add-cube-cbrt
57×prod-diff
15×difference-of-squares
14×distribute-lft-out--
5×associate-/l*
4×add-exp-log add-cbrt-cube div-inv add-log-exp
3×fma-neg associate-/r*
2×pow1 expm1-log1p-u flip3-- div-sub flip-- log1p-expm1-u associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num associate--r-
Counts
2 → 118
Calls
2 calls:
22.0ms
(/ (- z x) y)
46.0ms
(- 0.25 (/ (- z x) y))

series52.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(/ (- z x) y)
20.0ms
(- 0.25 (/ (- z x) y))

simplify2.2s

Counts
124 → 124
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02193568
15643222
224102418
done50001927

prune235.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01010
done1010

end0.0ms

sample1.1s

Algorithm
intervals
Results
628.0ms10032×body80valid