Details

Time bar (total: 1.0s)

sample18.0ms

Algorithm
intervals
Results
8.0ms310×body80valid

simplify62.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 7 (60.0ms)

IterNodesCost
0205
1475
21465
33565
47505
516045
625775
750014

prune6.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (- x y) (* z 0.5))
0.0b
(/ (* 4.0 (- (- x y) (* z 0.5))) z)

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity
14×prod-diff
12×add-cube-cbrt
11×associate--l+
7×add-exp-log add-cbrt-cube add-log-exp
5×fma-neg
3×times-frac diff-log associate-/r*
2×pow1 cbrt-undiv expm1-log1p-u sub-neg flip3-- associate-*r/ div-exp flip-- log1p-expm1-u associate-/l/ distribute-lft-out-- difference-of-squares
1×associate--l- frac-2neg prod-exp clear-num cbrt-unprod div-inv associate-/l*
Counts
2 → 62
Calls
2 calls:
8.0ms
(- (- x y) (* z 0.5))
12.0ms
(/ (* 4.0 (- (- x y) (* z 0.5))) z)

series66.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(- (- x y) (* z 0.5))
43.0ms
(/ (* 4.0 (- (- x y) (* z 0.5))) z)

simplify40.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0299441
11212345
25001331

prune127.0ms

Filtered
68 candidates to 52 candidates (76.5%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New67168
Fresh101
Picked101
Done000
Total69170

Merged error: 0b

Counts
70 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- x y) z)

rewrite8.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:
6.0ms
(/ (- x y) z)

series25.0ms

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

simplify113.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 3 (39.0ms)

IterNodesCost
0160202
1447192
21529192
34891191
45001191

prune77.0ms

Filtered
43 candidates to 31 candidates (72.1%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New43043
Fresh000
Picked011
Done000
Total43144

Merged error: 0b

Counts
44 → 1

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
094

end0.0ms

sample464.0ms

Algorithm
intervals
Results
263.0ms10069×body80valid