Details

Time bar (total: 1.8s)

sample45.0ms

Algorithm
intervals
Results
22.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

localize13.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))))

series323.0ms

Counts
3 → 9
Calls
3 calls:
59.0ms
(fma b a (fma x y (* z t)))
41.0ms
(fma x y (* z t))
223.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

prune35.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.3s

Algorithm
intervals
Results
704.0ms13454×body80valid