Details

Time bar (total: 10.1s)

sample27.0ms

Algorithm
intervals
Results
12.0ms306×body80valid

simplify7.0s

Counts
1 → 1
Iterations

Useful iterations: 7 (441.0ms)

IterNodesCost
01213
12213
24613
310913
423213
536413
648513
764811
8108111
9245111
done500111

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ (- x z) y) 0.75)
0.0b
(/ (- x z) y)

rewrite76.0ms

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

series57.0ms

Counts
2 → 6
Calls
2 calls:
21.0ms
(+ (/ (- x z) y) 0.75)
36.0ms
(/ (- x z) y)

simplify1.4s

Counts
57 → 57
Iterations

Useful iterations: 3 (495.0ms)

IterNodesCost
097588
1228554
2567524
31847520
done5000520

prune162.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01111
11411
done1411

end0.0ms

sample1.4s

Algorithm
intervals
Results
840.0ms10131×body80valid