Details

Time bar (total: 3.0s)

sample263.0ms

Algorithm
intervals
Results
4.0ms256×pre80true
2.0ms256×body80valid

simplify71.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
07720
122819
280318
3259418
4500118

prune12.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: 58.1b

Counts
2 → 1

localize29.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
1.0b
(* 333.75 (pow y 6.0))
1.0b
(fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))
63.0b
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
3×fma-udef
2×sqr-pow
1×+-commutative associate-+r+ fma-def flip3-+ associate-*r* *-commutative flip-+
Counts
4 → 9
Calls
4 calls:
3.0ms
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
3.0ms
(* 333.75 (pow y 6.0))
1.0ms
(fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))
3.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))

series2.2s

Counts
4 → 12
Calls
4 calls:
1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
372.0ms
(* 333.75 (pow y 6.0))
111.0ms
(fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))
501.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))

simplify73.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
0201113
1639111
22482110
35002110

prune81.0ms

Filtered
21 candidates to 16 candidates (76.2%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New20121
Fresh000
Picked101
Done000
Total21122

Merged error: 57.1b

Counts
22 → 1

localize8.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011

Merged error: 57.1b

Counts
1 → 1

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0125
1125

end0.0ms

sample268.0ms

Algorithm
intervals
Results
93.0ms8000×pre80true
61.0ms8000×body80valid