Details

sample24.0ms

Algorithm

intervals

Results

7.0ms	64×	body	640	valid
4.0ms	139×	body	80	valid
2.0ms	15×	body	1280	valid
2.0ms	23×	body	320	valid
1.0ms	16×	body	160	valid

simplify18.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	7
1	31	7
2	43	7
3	57	7
4	73	7
5	92	7
6	126	7
7	158	7
8	207	7
9	209	7
10	209	7

prune2.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: 9.3b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1.0 (+ x 1.0))
0.0b	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
0.0b	(/ 1.0 (- x 1.0))
2.7b	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

37×	`frac-2neg` `clear-num`
36×	`frac-sub`
33×	`frac-add`
5×	`flip3--` `flip--`
4×	`associate-/r/`
2×	`sub-neg` `associate-+l+` `flip3-+` `flip-+` `div-inv`
1×	`+-commutative` `associate-+l-`

Counts

4 → 62

Calls

4 calls:

3.0ms	(/ 1.0 (+ x 1.0))
5.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
2.0ms	(/ 1.0 (- x 1.0))
10.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

series526.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ 1.0 (+ x 1.0))
45.0ms	(- (/ 1.0 (+ x 1.0)) (/ 2.0 x))
28.0ms	(/ 1.0 (- x 1.0))
427.0ms	(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))

simplify85.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	734	1044
1	3209	942
2	5001	942

prune160.0ms

Filtered

74 candidates to 56 candidates (75.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	3	75

Merged error: 0.1b

Counts

75 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- x 1.0) (+ (/ x 2.0) (- (/ (+ x 1.0) 1.0))))
0.0b	(+ (/ x 2.0) (- (/ (+ x 1.0) 1.0)))
0.0b	(* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- (- x 1.0)))
16.8b	(- (* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- 1.0)) (* (- x 1.0) (+ (/ x 2.0) (- (/ (+ x 1.0) 1.0)))))

rewrite336.0ms

Algorithm

rewrite-expression-head

Rules

1738×	`frac-times`
1626×	`associate-*l/`
1272×	`frac-sub`
1224×	`clear-num`
1190×	`distribute-neg-frac`
1168×	`frac-2neg`
1140×	`frac-add`
904×	`associate-/l/`
595×	`associate-*r/`
528×	`flip3-+` `flip-+`
476×	`flip3--` `flip--`
56×	`un-div-inv`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`+-commutative` `associate-l`
4×	`distribute-neg-in` `associate--r+`
3×	`sub-neg` `*-commutative`
2×	`associate-r` `div-inv`
1×	`neg-sub0` `associate-+r-` `neg-mul-1` `unsub-neg` `distribute-rgt-neg-out`

Counts

4 → 1444

Calls

4 calls:

11.0ms	(* (- x 1.0) (+ (/ x 2.0) (- (/ (+ x 1.0) 1.0))))
6.0ms	(+ (/ x 2.0) (- (/ (+ x 1.0) 1.0)))
11.0ms	(* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- (- x 1.0)))
78.0ms	(- (* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- 1.0)) (* (- x 1.0) (+ (/ x 2.0) (- (/ (+ x 1.0) 1.0)))))

series221.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(* (- x 1.0) (+ (/ x 2.0) (- (/ (+ x 1.0) 1.0))))
45.0ms	(+ (/ x 2.0) (- (/ (+ x 1.0) 1.0)))
125.0ms	(* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- (- x 1.0)))
9.0ms	(- (* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- 1.0)) (* (- x 1.0) (+ (/ x 2.0) (- (/ (+ x 1.0) 1.0)))))

simplify538.0ms

Algorithm

egg-herbie

Counts

1456 → 1456

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5360	55656

prune8.5s

Filtered

1456 candidates to 1444 candidates (99.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	1455	1	1456
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	1456	3	1459

Merged error: 0.1b

Counts

1459 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (/ (+ x 1.0) 1.0) (/ x 2.0))
0.0b	(* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- (- x 1.0)))
0.1b	(/ (- 1.0) (* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- (- x 1.0))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

201×	`frac-times`
100×	`distribute-neg-frac`
83×	`associate-*l/`
78×	`clear-num`
74×	`associate-/r/`
71×	`frac-2neg`
56×	`associate-/l/`
50×	`flip3--` `flip--`
28×	`flip3-+` `flip-+`
25×	`associate-*r/`
16×	`associate-l`
11×	`neg-mul-1`
9×	`div-inv`
7×	`times-frac` `associate-r` `associate-/r` `un-div-inv` `-commutative`
4×	`distribute-neg-in`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
1×	`neg-sub0` `div-sub` `distribute-frac-neg` `distribute-rgt-neg-out` `associate-/l*`

Counts

3 → 206

Calls

3 calls:

5.0ms	(* (/ (+ x 1.0) 1.0) (/ x 2.0))
11.0ms	(* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- (- x 1.0)))
15.0ms	(/ (- 1.0) (* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- (- x 1.0))))

series284.0ms

Counts

3 → 9

Calls

3 calls:

66.0ms	(* (/ (+ x 1.0) 1.0) (/ x 2.0))
124.0ms	(* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- (- x 1.0)))
94.0ms	(/ (- 1.0) (* (* (/ (+ x 1.0) 1.0) (/ x 2.0)) (- (- x 1.0))))

simplify53.0ms

Algorithm

egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 1 (33.0ms)

Iter	Nodes	Cost
0	1486	1904
1	5002	1849

prune597.0ms

Filtered

215 candidates to 193 candidates (89.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	211	4	215
Fresh	1	0	1
Picked	1	0	1
Done	1	0	1
Total	214	4	218

Merged error: 0b

Counts

218 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (* (/ 1 1.0) (/ x 2.0)) (- (- x 1.0)))
0.0b	(/ (- 1.0) (+ x 1.0))
0.1b	(/ (/ (- 1.0) (+ x 1.0)) (* (* (/ 1 1.0) (/ x 2.0)) (- (- x 1.0))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

118×	`frac-times`
68×	`associate-/r/` `distribute-neg-frac`
57×	`clear-num`
51×	`frac-2neg`
50×	`associate-*l/`
34×	`flip3--` `flip--`
25×	`associate-l`
22×	`associate-*r/`
21×	`times-frac`
20×	`div-inv`
10×	`associate-r` `*-commutative`
9×	`flip3-+` `flip-+`
7×	`neg-mul-1` `associate-/r*`
6×	`un-div-inv`
5×	`associate-/l*`
4×	`distribute-neg-in` `associate-/l/`
3×	`div-sub` `distribute-frac-neg`
2×	`neg-sub0` `distribute-rgt-in` `sub-neg` `distribute-lft-in`
1×	`distribute-rgt-neg-out`

Counts

3 → 159

Calls

3 calls:

14.0ms	(* (* (/ 1 1.0) (/ x 2.0)) (- (- x 1.0)))
3.0ms	(/ (- 1.0) (+ x 1.0))
14.0ms	(/ (/ (- 1.0) (+ x 1.0)) (* (* (/ 1 1.0) (/ x 2.0)) (- (- x 1.0))))

series188.0ms

Counts

3 → 9

Calls

3 calls:

71.0ms	(* (* (/ 1 1.0) (/ x 2.0)) (- (- x 1.0)))
25.0ms	(/ (- 1.0) (+ x 1.0))
91.0ms	(/ (/ (- 1.0) (+ x 1.0)) (* (* (/ 1 1.0) (/ x 2.0)) (- (- x 1.0))))

simplify42.0ms

Algorithm

egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1122	1443
1	5001	1305

prune414.0ms

Filtered

168 candidates to 140 candidates (83.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	166	2	168
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	168	4	172

Merged error: 0b

Counts

172 → 4

regimes17.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	10
1	29	10
2	36	10
3	40	10
4	40	10

end0.0ms

sample611.0ms

Algorithm

intervals

Results

212.0ms	1901×	body	640	valid
123.0ms	4168×	body	80	valid
79.0ms	567×	body	1280	valid
74.0ms	909×	body	320	valid
28.0ms	460×	body	160	valid