Details

sample27.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify18.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	4
1	48	4
2	106	4
3	174	4
4	198	4
5	203	4
6	203	4

prune4.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: 17.2b

Counts

2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

16.6b

(/ (- x y) (* (* x 2.0) y))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 30

Calls

1 calls:

13.0ms

(/ (- x y) (* (* x 2.0) y))

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

(/ (- x y) (* (* x 2.0) y))

simplify32.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	237	209
1	976	172
2	5002	171

prune41.0ms

Filtered

33 candidates to 22 candidates (33.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	30	3	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	31	3	34

Merged error: 0.0b

Counts

34 → 3

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (/ 1 y) (/ 1 x))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
19×	`*-un-lft-identity`
18×	`times-frac`
9×	`difference-of-squares`
7×	`distribute-lft-out--`
4×	`div-inv`
3×	`add-cube-cbrt` `add-log-exp`
1×	`pow1` `add-exp-log` `sub-neg` `flip3--` `diff-log` `frac-sub` `add-cbrt-cube` `flip--`

Counts

1 → 29

Calls

1 calls:

12.0ms

(- (/ 1 y) (/ 1 x))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(- (/ 1 y) (/ 1 x))

simplify60.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	139	209
1	372	199
2	1020	183
3	2636	183
4	5001	183

prune34.0ms

Filtered

32 candidates to 20 candidates (37.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	32	0	32
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	32	3	35

Merged error: 0.0b

Counts

35 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
42×	`add-sqr-sqrt`
37×	`*-un-lft-identity`
34×	`times-frac`
25×	`add-cbrt-cube`
23×	`add-cube-cbrt`
20×	`prod-exp`
19×	`associate-r`
16×	`div-exp`
8×	`cbrt-undiv` `cbrt-unprod`
7×	`associate-l` `distribute-lft-out--` `difference-of-squares`
5×	`associate-/l*`
4×	`pow1` `rec-exp` `1-exp`
3×	`associate-/r*` `div-inv`
2×	`associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-times` `flip3--` `frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative` `flip--`

Counts

2 → 98

Calls

2 calls:

5.0ms	(/ (- x y) y)
13.0ms	(* (/ 1 (* x 2.0)) (/ (- x y) y))

series12.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(/ (- x y) y)
7.0ms	(* (/ 1 (* x 2.0)) (/ (- x y) y))

simplify63.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	471	639
1	2451	541
2	5001	539

prune74.0ms

Filtered

104 candidates to 62 candidates (40.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	104	3	107

Merged error: 0b

Counts

107 → 3

localize7.0ms

Local error

Found 1 expressions with local error:

7.0b	(* (/ 1 (* x 2.0)) (- (/ x y) 1))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-exp-log`
17×	`add-sqr-sqrt`
10×	`associate-r` `prod-exp` `add-cbrt-cube`
8×	`*-un-lft-identity`
7×	`associate-l`
6×	`times-frac`
4×	`add-cube-cbrt` `div-exp` `cbrt-unprod` `difference-of-squares`
3×	`pow1`
2×	`cbrt-undiv` `distribute-rgt-in` `frac-times` `sub-neg` `rec-exp` `flip3--` `distribute-lft-in` `1-exp` `difference-of-sqr-1` `associate-*r/` `flip--`
1×	`pow-prod-down` `associate-l/` `-commutative` `div-inv` `distribute-lft-out--` `add-log-exp` `unswap-sqr`

Counts

1 → 46

Calls

1 calls:

14.0ms

(* (/ 1 (* x 2.0)) (- (/ x y) 1))

series6.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* (/ 1 (* x 2.0)) (- (/ x y) 1))

simplify39.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	335	324
1	1829	267
2	5003	267

prune39.0ms

Filtered

49 candidates to 28 candidates (42.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	50	2	52

Merged error: 0b

Counts

52 → 2

regimes58.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	4
1	11	4

end0.0ms

sample439.0ms

Algorithm

intervals

Results

233.0ms

8001×

body

valid

Details

sample27.0ms

simplify18.0ms

prune4.0ms

localize9.0ms

rewrite15.0ms

series13.0ms

simplify32.0ms

prune41.0ms

localize6.0ms

rewrite13.0ms

series3.0ms

simplify60.0ms

prune34.0ms

localize7.0ms

rewrite22.0ms

series12.0ms

simplify63.0ms

prune74.0ms

localize7.0ms

rewrite15.0ms

series6.0ms

simplify39.0ms

prune39.0ms

regimes58.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample439.0ms

Profiling