Details

sample20.0ms

Algorithm

intervals

Results

9.0ms

323×

body

valid

simplify98.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 7 (38.0ms)

Iter	Nodes	Cost
0	22	6
1	46	6
2	111	6
3	237	6
4	405	6
5	595	6
6	919	6
7	2627	5
8	5001	5

prune6.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ 1.0 (* 4.0 (+ 0.75 (/ (- x z) y))))
0.0b	(/ (- x z) y)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

4×	`associate-+r+`
3×	`+-commutative`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-/l/`
1×	`flip3--` `frac-2neg` `flip3-+` `div-sub` `clear-num` `flip--` `flip-+` `div-inv`

Counts

2 → 13

Calls

2 calls:

4.0ms	(+ 1.0 (* 4.0 (+ 0.75 (/ (- x z) y))))
4.0ms	(/ (- x z) y)

series58.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(+ 1.0 (* 4.0 (+ 0.75 (/ (- x z) y))))
31.0ms	(/ (- x z) y)

simplify52.0ms

Algorithm

egg-herbie

Counts

19 → 19

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	131	86
1	351	80
2	1613	80
3	5003	80

prune42.0ms

Filtered

19 candidates to 14 candidates (73.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	16	3	19
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	18	3	21

Merged error: 0b

Counts

21 → 3

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ 1.0 (* 4.0 (+ 0.75 (- (/ x y) (/ z y)))))
0.0b	(- (/ x y) (/ z y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-+r+`
9×	`frac-sub`
8×	`frac-2neg`
6×	`clear-num`
4×	`distribute-rgt-in` `distribute-lft-in`
3×	`+-commutative` `sub-neg`
2×	`div-inv` `sub-div`
1×	`flip3--` `distribute-rgt-out--` `flip3-+` `flip--` `flip-+`

Counts

2 → 27

Calls

2 calls:

5.0ms	(+ 1.0 (* 4.0 (+ 0.75 (- (/ x y) (/ z y)))))
5.0ms	(- (/ x y) (/ z y))

series51.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(+ 1.0 (* 4.0 (+ 0.75 (- (/ x y) (/ z y)))))
21.0ms	(- (/ x y) (/ z y))

simplify90.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	247	194
1	858	175
2	3552	166
3	5001	166

prune65.0ms

Filtered

33 candidates to 23 candidates (69.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	1	1	2
Picked	1	0	1
Done	0	0	0
Total	34	2	36

Merged error: 0b

Counts

36 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ 1.0 (* (+ 0.75 (/ x y)) 4.0)) (* 4.0 (- (/ z y))))
0.0b	(* 4.0 (- (/ z y)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

9×	`associate-*r/` `distribute-neg-frac`
6×	`frac-add`
4×	`flip3-+` `flip-+`
3×	`frac-2neg` `associate-r` `clear-num` `distribute-rgt-neg-out`
2×	`+-commutative` `associate-+l+` `div-inv`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `unsub-neg` `*-commutative`

Counts

2 → 21

Calls

2 calls:

7.0ms	(+ (+ 1.0 (* (+ 0.75 (/ x y)) 4.0)) (* 4.0 (- (/ z y))))
3.0ms	(* 4.0 (- (/ z y)))

series48.0ms

Counts

2 → 6

Calls

2 calls:

26.0ms	(+ (+ 1.0 (* (+ 0.75 (/ x y)) 4.0)) (* 4.0 (- (/ z y))))
22.0ms	(* 4.0 (- (/ z y)))

simplify163.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 3 (159.0ms)

Iter	Nodes	Cost
0	217	286
1	789	274
2	4435	238
3	5002	237

prune67.0ms

Filtered

27 candidates to 22 candidates (81.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	27	2	29

Merged error: 0b

Counts

29 → 2

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 1.0 (* 4.0 (+ 0.75 (/ 1 (/ y (- x z))))))
0.0b	(/ y (- x z))
0.5b	(/ 1 (/ y (- x z)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-/r/`
4×	`associate-+r+` `clear-num`
3×	`+-commutative` `frac-2neg` `associate-/r*` `div-inv`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `flip--`
1×	`flip3-+` `flip-+` `remove-double-div` `inv-pow`

Counts

3 → 23

Calls

3 calls:

5.0ms	(+ 1.0 (* 4.0 (+ 0.75 (/ 1 (/ y (- x z))))))
3.0ms	(/ y (- x z))
4.0ms	(/ 1 (/ y (- x z)))

series88.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(+ 1.0 (* 4.0 (+ 0.75 (/ 1 (/ y (- x z))))))
28.0ms	(/ y (- x z))
34.0ms	(/ 1 (/ y (- x z)))

simplify73.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	137	117
1	426	116
2	2274	108
3	5001	108

prune63.0ms

Filtered

32 candidates to 23 candidates (71.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	32	0	32
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	32	2	34

Merged error: 0b

Counts

34 → 2

regimes41.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	8
1	27	8
2	28	8
3	28	8

end0.0ms

sample502.0ms

Algorithm

intervals

Results

296.0ms

10085×

body

valid