Details

Time bar (total: 1.6s)

sample43.0ms

Algorithm
intervals
Results
18.0ms436×body80valid

simplify12.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0276
1624
21214
31584
41644
51644

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma b a (fma x y (* z t)))
0.0b
(fma x y (* z t))
0.0b
(fma i c (fma b a (fma x y (* z t))))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×fma-udef
Counts
3 → 3
Calls
3 calls:
1.0ms
(fma b a (fma x y (* z t)))
1.0ms
(fma x y (* z t))
1.0ms
(fma i c (fma b a (fma x y (* z t))))

series329.0ms

Counts
3 → 9
Calls
3 calls:
62.0ms
(fma b a (fma x y (* z t)))
36.0ms
(fma x y (* z t))
230.0ms
(fma i c (fma b a (fma x y (* z t))))

simplify8.0ms

Algorithm
egg-herbie
Counts
12 → 12
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02819
14619
25219
35219

prune31.0ms

Filtered
12 candidates to 9 candidates (75.0%)
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New12012
Fresh000
Picked011
Done000
Total12113

Merged error: 0.0b

Counts
13 → 1

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0134
1134

end0.0ms

sample1.2s

Algorithm
intervals
Results
574.0ms13454×body80valid