Details

Time bar (total: 1.7s)

sample18.0ms

Algorithm
intervals
Results
8.0ms317×body80valid

simplify72.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 10 (70.0ms)

IterNodesCost
0114
1204
2364
3584
4784
51014
61384
72254
85104
916824
1050013

prune7.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

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (- 1 y) (/ x z) y)

rewrite1.0ms

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

series37.0ms

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

simplify105.0ms

Algorithm
egg-herbie
Counts
4 → 4
Iterations

Useful iterations: 3 (10.0ms)

IterNodesCost
02618
15118
29418
325812
456712
5126012
6221612
7317612
8500112

prune5.0ms

Filtered
4 candidates to 1 candidates (25.0%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New404
Fresh011
Picked011
Done000
Total426

Merged error: 0.0b

Counts
6 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* y (- z x)))
0.0b
(* y (- z x))
11.2b
(/ (+ x (* y (- z x))) z)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
4×distribute-rgt-in sub-neg associate-+r+ distribute-lft-in
2×flip3-+ associate-*r/ flip-+ associate-/l/
1×+-commutative flip3-- frac-2neg clear-num *-commutative flip-- div-inv
Counts
3 → 19
Calls
3 calls:
4.0ms
(+ x (* y (- z x)))
4.0ms
(* y (- z x))
5.0ms
(/ (+ x (* y (- z x))) z)

series124.0ms

Counts
3 → 9
Calls
3 calls:
32.0ms
(+ x (* y (- z x)))
44.0ms
(* y (- z x))
48.0ms
(/ (+ x (* y (- z x))) z)

simplify56.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
0121103
139495
2171294
3500394

prune50.0ms

Filtered
28 candidates to 16 candidates (57.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New27128
Fresh000
Picked011
Done011
Total27330

Merged error: 0.0b

Counts
30 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(* z (- x (* y (- z x))))
0.3b
(* (* y (- z x)) (* y (- z x)))
4.7b
(- (* x x) (* (* y (- z x)) (* y (- z x))))
36.3b
(/ (- (* x x) (* (* y (- z x)) (* y (- z x)))) (* z (- x (* y (- z x)))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
46×*-commutative
26×distribute-rgt-in distribute-lft-in
18×associate-*r/
16×prod-diff associate--r+ difference-of-squares
15×sub-neg
10×flip3-- flip--
9×div-sub
8×times-frac
6×swap-sqr associate-*r* associate-*l*
4×frac-times associate-/l*
2×fma-neg associate-*l/ associate-/r* associate-/r/ associate-/l/
1×pow2 frac-2neg clear-num div-inv
Counts
4 → 95
Calls
4 calls:
3.0ms
(* z (- x (* y (- z x))))
9.0ms
(* (* y (- z x)) (* y (- z x)))
10.0ms
(- (* x x) (* (* y (- z x)) (* y (- z x))))
15.0ms
(/ (- (* x x) (* (* y (- z x)) (* y (- z x)))) (* z (- x (* y (- z x)))))

series338.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* z (- x (* y (- z x))))
40.0ms
(* (* y (- z x)) (* y (- z x)))
89.0ms
(- (* x x) (* (* y (- z x)) (* y (- z x))))
167.0ms
(/ (- (* x x) (* (* y (- z x)) (* y (- z x)))) (* z (- x (* y (- z x)))))

simplify73.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
05231096
12270966
25001938

prune157.0ms

Filtered
107 candidates to 46 candidates (43.0%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1070107
Fresh000
Picked011
Done022
Total1073110

Merged error: 0.0b

Counts
110 → 3

regimes70.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
093
193

end0.0ms

sample456.0ms

Algorithm
intervals
Results
251.0ms10129×body80valid