Details

sample48.0ms

Algorithm

intervals

Results

22.0ms

482×

body

valid

simplify217.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	32	9
1	77	9
2	230	9
3	735	9
4	1920	9
5	2994	9
6	3388	9
7	4078	9
8	5001	9

prune3.0ms

Filtered

1 candidates to 0 candidates (0.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: 4.6b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
0.0b	(+ (* x y) (* z t))
0.1b	(* (+ a (* b c)) c)
6.5b	(* (* (+ a (* b c)) c) i)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

14×	`associate-*l/`
7×	`flip3-+` `flip-+`
4×	`frac-sub`
3×	`*-commutative`
2×	`+-commutative` `associate-l` `associate--l+`
1×	`sub-neg` `flip3--` `flip--`

Counts

4 → 21

Calls

4 calls:

7.0ms	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
4.0ms	(+ (* x y) (* z t))
4.0ms	(* (+ a (* b c)) c)
5.0ms	(* (* (+ a (* b c)) c) i)

series734.0ms

Counts

4 → 12

Calls

4 calls:

590.0ms	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
33.0ms	(+ (* x y) (* z t))
46.0ms	(* (+ a (* b c)) c)
65.0ms	(* (* (+ a (* b c)) c) i)

simplify43.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	278	326
1	1130	319
2	5001	302

prune126.0ms

Filtered

33 candidates to 26 candidates (78.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	26	7	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	8	34

Merged error: 0.7b

Counts

34 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ a (* b c))
0.0b	(+ (* x y) (* z t))
0.0b	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
5.5b	(* (+ a (* b c)) (* c i))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

7×	`flip3-+` `flip-+`
6×	`associate-*l/`
4×	`frac-sub`
3×	`+-commutative`
2×	`associate-r` `associate--l+` `*-commutative`
1×	`sub-neg` `flip3--` `flip--`

Counts

4 → 21

Calls

4 calls:

3.0ms	(+ a (* b c))
4.0ms	(+ (* x y) (* z t))
7.0ms	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
4.0ms	(* (+ a (* b c)) (* c i))

series717.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ a (* b c))
40.0ms	(+ (* x y) (* z t))
590.0ms	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
62.0ms	(* (+ a (* b c)) (* c i))

simplify47.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	272	330
1	1193	325
2	5002	308

prune116.0ms

Filtered

33 candidates to 23 candidates (69.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	30	3	33
Fresh	4	2	6
Picked	0	1	1
Done	0	1	1
Total	34	7	41

Merged error: 0.7b

Counts

41 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) i) c))
0.0b	(+ (* x y) (* z t))
1.1b	(* (+ a (* b c)) i)
7.1b	(* (* (+ a (* b c)) i) c)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

14×	`associate-*l/`
7×	`flip3-+` `flip-+`
4×	`frac-sub`
3×	`*-commutative`
2×	`+-commutative` `associate-l` `associate--l+`
1×	`sub-neg` `flip3--` `flip--`

Counts

4 → 21

Calls

4 calls:

7.0ms	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) i) c))
4.0ms	(+ (* x y) (* z t))
3.0ms	(* (+ a (* b c)) i)
5.0ms	(* (* (+ a (* b c)) i) c)

series737.0ms

Counts

4 → 12

Calls

4 calls:

596.0ms	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) i) c))
32.0ms	(+ (* x y) (* z t))
46.0ms	(* (+ a (* b c)) i)
61.0ms	(* (* (+ a (* b c)) i) c)

simplify48.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	279	326
1	1131	319
2	5002	302

prune129.0ms

Filtered

33 candidates to 26 candidates (78.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	33	7	40

Merged error: 0.7b

Counts

40 → 7

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (+ (* x y) (* z t)) (* a (* c i)))
0.0b	(+ (* x y) (* z t))
4.3b	(* a (* c i))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

2×	`+-commutative` `associate-r` `associate--l+` `*-commutative`
1×	`sub-neg` `flip3--` `flip3-+` `flip--` `flip-+`

Counts

3 → 12

Calls

3 calls:

6.0ms	(- (+ (* x y) (* z t)) (* a (* c i)))
4.0ms	(+ (* x y) (* z t))
3.0ms	(* a (* c i))

series159.0ms

Counts

3 → 9

Calls

3 calls:

102.0ms	(- (+ (* x y) (* z t)) (* a (* c i)))
32.0ms	(+ (* x y) (* z t))
24.0ms	(* a (* c i))

simplify86.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	139	106
1	544	106
2	2231	105
3	5001	105

prune56.0ms

Filtered

21 candidates to 17 candidates (81.0%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	21	7	28

Merged error: 0.7b

Counts

28 → 7

regimes586.0ms

Accuracy

0% (1.0b remaining)

Error of 1.8b against oracle of 0.8b and baseline of 1.8b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	9
1	26	9

end0.0ms

sample1.4s

Algorithm

intervals

Results

726.0ms

14895×

body

valid