Details

Time bar (total: 2.8s)

sample20.0ms

Algorithm
intervals
Results
10.0ms406×body80valid

simplify271.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (6.0ms)

IterNodesCost
0166
1334
2564
3763
4883
51313
62363
73283
83433
94413
107933
1134823
1250013

prune8.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.1b

Counts
2 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ (* x y) (* z z)) (* z z))
0.1b
(+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-+l+
5×+-commutative
2×flip3-+ flip-+
Counts
2 → 12
Calls
2 calls:
6.0ms
(+ (+ (* x y) (* z z)) (* z z))
9.0ms
(+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))

series91.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(+ (+ (* x y) (* z z)) (* z z))
45.0ms
(+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))

simplify71.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 3 (68.0ms)

IterNodesCost
0116120
155096
2249375
3500169

prune42.0ms

Filtered
18 candidates to 13 candidates (72.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New17118
Fresh011
Picked011
Done000
Total17320

Merged error: 0.1b

Counts
20 → 3

localize6.0ms

Local error

Found 1 expressions with local error:

0.1b
(fma 3 (* z z) (* x y))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×fma-udef
Counts
1 → 1
Calls
1 calls:
1.0ms
(fma 3 (* z z) (* x y))

series34.0ms

Counts
1 → 3
Calls
1 calls:
34.0ms
(fma 3 (* z z) (* x y))

simplify165.0ms

Algorithm
egg-herbie
Counts
4 → 4
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02111
14211
28711
320011
462011
5348311
6500111

prune9.0ms

Filtered
4 candidates to 2 candidates (50.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New404
Fresh011
Picked011
Done011
Total437

Merged error: 0.1b

Counts
7 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4))
0.2b
(pow (fma 2 (pow z 2) (* x y)) 3)
0.8b
(fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3))
40.1b
(/ (fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3)) (fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
2×fma-udef
1×pow-to-exp frac-2neg unpow3 clear-num div-inv sqr-pow
Counts
4 → 8
Calls
4 calls:
1.0ms
(fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4))
1.0ms
(pow (fma 2 (pow z 2) (* x y)) 3)
1.0ms
(fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3))
2.0ms
(/ (fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3)) (fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4)))

series467.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4))
79.0ms
(pow (fma 2 (pow z 2) (* x y)) 3)
128.0ms
(fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3))
172.0ms
(/ (fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3)) (fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4)))

simplify72.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
0131144
1508143
22269141
35001141

prune76.0ms

Filtered
20 candidates to 15 candidates (75.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New18220
Fresh000
Picked101
Done022
Total19423

Merged error: 0.1b

Counts
23 → 4

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (fma 2 (pow z 2) (* x y)) 3)
0.3b
(/ 1 (/ (fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4)) (fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3))))
0.8b
(fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3))
40.4b
(/ (fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4)) (fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
4×clear-num
3×frac-2neg associate-/r/ div-inv
1×pow-to-exp unpow3 associate-/r* fma-udef remove-double-div inv-pow sqr-pow
Counts
4 → 16
Calls
4 calls:
1.0ms
(pow (fma 2 (pow z 2) (* x y)) 3)
3.0ms
(/ 1 (/ (fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4)) (fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3))))
1.0ms
(fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3))
2.0ms
(/ (fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4)) (fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3)))

series477.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(pow (fma 2 (pow z 2) (* x y)) 3)
156.0ms
(/ 1 (/ (fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4)) (fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3))))
134.0ms
(fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3))
105.0ms
(/ (fma (fma x y (* z z)) (fma 2 (pow z 2) (* x y)) (pow z 4)) (fma z (pow z 5) (pow (fma 2 (pow z 2) (* x y)) 3)))

simplify74.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
0118189
1473187
22333187
35001187

prune102.0ms

Filtered
28 candidates to 20 candidates (71.4%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New27128
Fresh011
Picked011
Done022
Total27532

Merged error: 0.1b

Counts
32 → 5

regimes174.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0127
1127

end0.0ms

sample536.0ms

Algorithm
intervals
Results
301.0ms12290×body80valid