Details

sample17.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	5
1	22	5
2	25	5
3	26	5
4	26	5

prune3.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: 0.0b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (* x y) 2.0)
0.0b	(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
7.1b	(/ y (+ 1.0 (/ (* x y) 2.0)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

24×	`*-un-lft-identity`
19×	`add-sqr-sqrt`
16×	`times-frac`
14×	`add-cube-cbrt`
10×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/r*`
5×	`add-log-exp`
4×	`distribute-lft-out` `associate-/l*`
3×	`pow1` `cbrt-undiv` `div-exp`
2×	`frac-2neg` `clear-num` `associate-/r/` `div-inv` `difference-of-squares`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `prod-exp` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out--`

Counts

3 → 69

Calls

3 calls:

8.0ms	(/ (* x y) 2.0)
9.0ms	(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
6.0ms	(/ y (+ 1.0 (/ (* x y) 2.0)))

series22.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ (* x y) 2.0)
7.0ms	(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
12.0ms	(/ y (+ 1.0 (/ (* x y) 2.0)))

simplify42.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	358	510
1	1495	479
2	5001	473

prune105.0ms

Filtered

78 candidates to 57 candidates (26.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	75	3	78
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	76	3	79

Merged error: 0b

Counts

79 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

117×	`times-frac`
101×	`*-un-lft-identity`
78×	`add-sqr-sqrt`
64×	`add-cube-cbrt`
22×	`add-exp-log` `associate-/r*`
16×	`add-cbrt-cube` `distribute-lft-out`
10×	`div-exp`
8×	`div-inv` `associate-/l*`
6×	`cbrt-undiv` `add-log-exp`
5×	`pow1` `difference-of-squares`
3×	`frac-2neg` `clear-num`
2×	`rec-exp` `1-exp` `associate-/l/` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `pow-flip` `flip3-+` `diff-log` `prod-exp` `associate-/r/` `flip--` `cbrt-unprod` `flip-+` `inv-pow`

Counts

4 → 161

Calls

4 calls:

4.0ms	(/ (* x y) 2.0)
20.0ms	(- x (/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y)))
8.0ms	(/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y))
7.0ms	(/ (+ 1.0 (/ (* x y) 2.0)) y)

series28.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (* x y) 2.0)
7.0ms	(- x (/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y)))
10.0ms	(/ 1 (/ (+ 1.0 (/ (* x y) 2.0)) y))
7.0ms	(/ (+ 1.0 (/ (* x y) 2.0)) y)

simplify72.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	610	1496
1	2877	1271
2	5003	1268

prune142.0ms

Filtered

173 candidates to 93 candidates (46.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	173	3	176

Merged error: 0b

Counts

176 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ y (+ 1.0 (/ x (/ 2.0 y)))))
0.2b	(/ x (/ 2.0 y))
7.1b	(/ y (+ 1.0 (/ x (/ 2.0 y))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

88×	`times-frac`
64×	`*-un-lft-identity`
59×	`add-sqr-sqrt`
54×	`add-cube-cbrt`
17×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `distribute-lft-out`
3×	`pow1` `associate-/r/`
2×	`frac-2neg` `clear-num` `difference-of-squares`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+` `distribute-lft-out--`

Counts

3 → 118

Calls

3 calls:

19.0ms	(- x (/ y (+ 1.0 (/ x (/ 2.0 y)))))
5.0ms	(/ x (/ 2.0 y))
13.0ms	(/ y (+ 1.0 (/ x (/ 2.0 y))))

series22.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(- x (/ y (+ 1.0 (/ x (/ 2.0 y)))))
3.0ms	(/ x (/ 2.0 y))
12.0ms	(/ y (+ 1.0 (/ x (/ 2.0 y))))

simplify64.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	565	876
1	2497	841
2	5003	841

prune143.0ms

Filtered

127 candidates to 100 candidates (21.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	127	3	130

Merged error: 0b

Counts

130 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0))))
0.2b	(* (/ (* x y) 2.0) (/ (* x y) 2.0))
4.8b	(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
12.6b	(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

47×	`add-exp-log` `add-cbrt-cube`
39×	`add-sqr-sqrt`
37×	`times-frac`
32×	`*-un-lft-identity`
30×	`add-cube-cbrt`
25×	`associate-l`
17×	`prod-exp` `cbrt-unprod`
14×	`cbrt-undiv` `div-exp`
13×	`pow1`
12×	`associate-r`
8×	`difference-of-squares`
7×	`swap-sqr`
6×	`div-inv` `add-log-exp`
5×	`sub-neg` `flip3--` `flip--`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-/r*` `associate-/r/` `associate--r+`
3×	`frac-times` `associate-r/` `associate-/l` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `-commutative`
1×	`pow2` `frac-2neg` `pow-plus` `diff-log` `clear-num` `pow-sqr` `pow-prod-up` `distribute-lft-out--`

Counts

4 → 152

Calls

4 calls:

3.0ms	(- x (* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0))))
9.0ms	(* (/ (* x y) 2.0) (/ (* x y) 2.0))
5.0ms	(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
13.0ms	(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

series71.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(- x (* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0))))
7.0ms	(* (/ (* x y) 2.0) (/ (* x y) 2.0))
14.0ms	(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
28.0ms	(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

simplify113.0ms

Algorithm

egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 2 (93.0ms)

Iter	Nodes	Cost
0	760	1884
1	4240	1661
2	5002	1651

prune219.0ms

Filtered

164 candidates to 112 candidates (31.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	164	3	167

Merged error: 0b

Counts

167 → 3

regimes68.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	6
1	15	6

end0.0ms

sample446.0ms

Algorithm

intervals

Results

251.0ms	7999×	body	80	valid
0.0ms	1×	body	1280	valid

Details

sample17.0ms

simplify6.0ms

prune3.0ms

localize7.0ms

rewrite25.0ms

series22.0ms

simplify42.0ms

prune105.0ms

localize8.0ms

rewrite46.0ms

series28.0ms

simplify72.0ms

prune142.0ms

localize7.0ms

rewrite42.0ms

series22.0ms

simplify64.0ms

prune143.0ms

localize11.0ms

rewrite35.0ms

series71.0ms

simplify113.0ms

prune219.0ms

regimes68.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample446.0ms

Profiling