Details

Time bar (total: 576.0ms)

sample13.0ms

Algorithm
intervals
Results
4.0ms295×body80valid

simplify8.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

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- x y) x)

rewrite19.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 expm1-log1p-u flip3-- frac-2neg div-sub div-exp clear-num flip-- log1p-expm1-u div-inv add-log-exp
Counts
1 → 40
Calls
1 calls:
17.0ms
(/ (- x y) x)

series38.0ms

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

simplify72.0ms

Counts
43 → 43
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0152201
1461191
22118190
35002190
done5002190

prune75.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize5.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000
done00

prune1.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
092
1112
2112
done112

end0.0ms

sample335.0ms

Algorithm
intervals
Results
141.0ms9185×body80valid