Details

sample32.0ms

Algorithm

intervals

Results

10.0ms	220×	body	80	nan
8.0ms	256×	body	80	valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	7
1	33	7
2	42	7
3	44	7
4	44	7

prune2.0ms

Filtered

1 candidates to 0 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: 20.8b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

1.0b	(+ (* x y) (* x z))
1.8b	(+ (+ (* x y) (* x z)) (* y z))
19.6b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

70×	`*-un-lft-identity`
44×	`distribute-lft-out`
34×	`associate-l`
13×	`sqrt-prod`
10×	`add-log-exp`
7×	`add-sqr-sqrt`
6×	`add-cube-cbrt`
4×	`pow1` `sum-log`
3×	`add-exp-log` `+-commutative` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+l+` `sqrt-div` `associate-r` `*-commutative`
1×	`rem-sqrt-square` `distribute-rgt-out` `sqrt-pow1` `pow1/2`

Counts

3 → 69

Calls

3 calls:

15.0ms	(+ (* x y) (* x z))
23.0ms	(+ (+ (* x y) (* x z)) (* y z))
23.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

series177.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(+ (* x y) (* x z))
21.0ms	(+ (+ (* x y) (* x z)) (* y z))
117.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

simplify120.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	258	483
1	873	450
2	3481	442
3	5002	442

prune119.0ms

Filtered

78 candidates to 43 candidates (44.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	72	6	78
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	7	79

Merged error: 20.7b

Counts

79 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

1.8b	(+ (+ (* x y) (* x z)) (* y z))
1.8b	(+ (+ (* x y) (* x z)) (* y z))
19.6b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
19.6b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

118×	`*-un-lft-identity`
72×	`distribute-lft-out`
52×	`associate-l`
26×	`sqrt-prod`
14×	`add-log-exp`
8×	`add-sqr-sqrt`
6×	`pow1` `add-cube-cbrt` `sum-log`
4×	`add-exp-log` `+-commutative` `associate-+l+` `flip3-+` `sqrt-div` `add-cbrt-cube` `flip-+`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`

Counts

4 → 98

Calls

4 calls:

26.0ms	(+ (+ (* x y) (* x z)) (* y z))
24.0ms	(+ (+ (* x y) (* x z)) (* y z))
23.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
26.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

series281.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(+ (+ (* x y) (* x z)) (* y z))
22.0ms	(+ (+ (* x y) (* x z)) (* y z))
121.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
117.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

simplify100.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	183	800
1	627	744
2	2703	732
3	5001	732

prune206.0ms

Filtered

110 candidates to 56 candidates (49.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	110	7	117

Merged error: 20.7b

Counts

117 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

1.8b	(+ (+ (* x y) (* x z)) (* y z))
1.8b	(+ (+ (* x y) (* x z)) (* y z))
20.2b	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
20.2b	(cbrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

118×	`*-un-lft-identity`
72×	`distribute-lft-out`
52×	`associate-l`
26×	`cbrt-prod`
14×	`add-log-exp`
6×	`add-sqr-sqrt` `add-cube-cbrt` `sum-log`
4×	`pow1` `add-exp-log` `+-commutative` `associate-+l+` `cbrt-div` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`pow1/3`

Counts

4 → 94

Calls

4 calls:

23.0ms	(+ (+ (* x y) (* x z)) (* y z))
23.0ms	(+ (+ (* x y) (* x z)) (* y z))
23.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
25.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))

series490.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(+ (+ (* x y) (* x z)) (* y z))
22.0ms	(+ (+ (* x y) (* x z)) (* y z))
224.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))
222.0ms	(cbrt (+ (+ (* x y) (* x z)) (* y z)))

simplify89.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 3 (79.0ms)

Iter	Nodes	Cost
0	194	818
1	586	764
2	2449	740
3	5001	738

prune210.0ms

Filtered

106 candidates to 56 candidates (47.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	106	7	113

Merged error: 20.7b

Counts

113 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

19.6b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
19.6b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
19.6b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
19.6b	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

rewrite105.0ms

Algorithm

rewrite-expression-head

Rules

120×	`*-un-lft-identity`
72×	`distribute-lft-out`
52×	`associate-l` `sqrt-prod`
12×	`add-sqr-sqrt`
8×	`pow1` `add-cube-cbrt` `sqrt-div`
4×	`add-exp-log` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

4 → 100

Calls

4 calls:

23.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
24.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
27.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
23.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

series469.0ms

Counts

4 → 12

Calls

4 calls:

115.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
121.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
116.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))
117.0ms	(sqrt (+ (+ (* x y) (* x z)) (* y z)))

simplify66.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 3 (55.0ms)

Iter	Nodes	Cost
0	136	948
1	435	900
2	1562	888
3	5001	876

prune246.0ms

Filtered

112 candidates to 60 candidates (46.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	112	7	119

Merged error: 20.7b

Counts

119 → 7

regimes203.0ms

Accuracy

0% (0.1b remaining)

Error of 20.0b against oracle of 20.0b and baseline of 20.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	7
1	17	7

end0.0ms

sample867.0ms

Algorithm

intervals

Results

263.0ms	8000×	body	80	valid
256.0ms	8167×	body	80	nan