Details

Time bar (total: 530.0ms)

sample13.0ms

Algorithm
intervals
Results
4.0ms295×body80valid

simplify7.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
092
1132
2172
3172
done172

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- x y) x)

rewrite16.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:
15.0ms
(/ (- x y) x)

series30.0ms

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

simplify61.0ms

Counts
41 → 41
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
0148196
1447186
22039185
35001185
done5001185

prune66.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize3.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000
done00

prune1.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
072
172
done72

end0.0ms

sample321.0ms

Algorithm
intervals
Results
135.0ms9185×body80valid