Details

Time bar (total: 10.4s)

sample43.0ms

Algorithm
intervals
Results
20.0ms315×body80valid

simplify4.7s

Counts
1 → 1
Iterations
IterNodes
done5002
72555
61299
5510
4265
3113
243
120
010

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- x y) z)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity
15×times-frac
11×add-cube-cbrt
5×associate-/l*
4×distribute-lft-out-- difference-of-squares
3×add-exp-log associate-/r* add-cbrt-cube
2×associate-/l/
1×pow1 cbrt-undiv flip3-- frac-2neg div-sub div-exp clear-num flip-- div-inv add-log-exp
Counts
1 → 38
Calls
1 calls:
40.0ms
(/ (- x y) z)

series57.0ms

Counts
1 → 3
Calls
1 calls:
57.0ms
(/ (- x y) z)

simplify4.0s

Counts
41 → 41
Iterations
IterNodes
done5000
44386
31098
2368
1161
073

prune282.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify3.0ms

Iterations
IterNodes
done10
110
09

end0.0ms

sample1.3s

Algorithm
intervals
Results
815.0ms10066×body80valid