Details

sample12.0ms

Algorithm

intervals

Results

5.0ms

256×

body

valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	11	3
1	14	3
2	16	3
3	16	3

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

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
22×	`add-sqr-sqrt`
20×	`times-frac`
12×	`add-cube-cbrt`
6×	`distribute-lft-out`
5×	`associate-/l*` `distribute-lft-out--` `difference-of-squares`
4×	`associate-/r*`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-/r/` `associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-sub` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 46

Calls

1 calls:

7.0ms

(/ (- x y) (+ x y))

series61.0ms

Counts

1 → 3

Calls

1 calls:

61.0ms

(/ (- x y) (+ x y))

simplify49.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 3 (44.0ms)

Iter	Nodes	Cost
0	187	290
1	526	276
2	1757	276
3	5002	273

prune64.0ms

Filtered

49 candidates to 33 candidates (67.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

50 → 2

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

178×	`times-frac`
174×	`*-un-lft-identity`
122×	`add-sqr-sqrt`
80×	`add-cube-cbrt`
31×	`associate-/r*`
26×	`distribute-lft-out`
21×	`distribute-lft-out--` `difference-of-squares`
15×	`add-exp-log`
11×	`associate-/r/`
9×	`add-cbrt-cube`
8×	`div-exp`
7×	`associate-/l*`
6×	`div-inv`
5×	`flip3--` `flip--`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`pow-flip` `flip3-+` `flip-+` `inv-pow`

Counts

2 → 173

Calls

2 calls:

11.0ms	(/ 1 (/ (+ x y) (- x y)))
7.0ms	(/ (+ x y) (- x y))

series125.0ms

Counts

2 → 6

Calls

2 calls:

62.0ms	(/ 1 (/ (+ x y) (- x y)))
62.0ms	(/ (+ x y) (- x y))

simplify55.0ms

Algorithm

egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	460	1456
1	2147	1312
2	5001	1147

prune170.0ms

Filtered

179 candidates to 78 candidates (43.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	179	0	179
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	179	2	181

Merged error: 0.0b

Counts

181 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (/ (- x y) (sqrt (+ x y))) (sqrt (+ x y)))
0.2b	(/ (- x y) (sqrt (+ x y)))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

602×	`times-frac`
554×	`*-un-lft-identity`
378×	`add-sqr-sqrt`
352×	`sqrt-prod`
250×	`add-cube-cbrt`
88×	`distribute-lft-out`
64×	`distribute-lft-out--` `difference-of-squares`
46×	`associate-/l*`
20×	`sqrt-div` `associate-/r/`
14×	`associate-/r*`
10×	`flip3-+` `flip-+` `div-inv`
9×	`add-exp-log` `add-cbrt-cube`
4×	`cbrt-undiv` `div-exp`
3×	`div-sub` `associate-/l/`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`
1×	`flip3--` `flip--`

Counts

2 → 417

Calls

2 calls:

24.0ms	(/ (/ (- x y) (sqrt (+ x y))) (sqrt (+ x y)))
8.0ms	(/ (- x y) (sqrt (+ x y)))

series166.0ms

Counts

2 → 6

Calls

2 calls:

98.0ms	(/ (/ (- x y) (sqrt (+ x y))) (sqrt (+ x y)))
68.0ms	(/ (- x y) (sqrt (+ x y)))

simplify155.0ms

Algorithm

egg-herbie

Counts

423 → 423

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	862	5986
1	3285	5283
2	5001	5271

prune396.0ms

Filtered

423 candidates to 142 candidates (33.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	422	1	423
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	422	3	425

Merged error: 0b

Counts

425 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (+ x y))
0.0b	(/ x (+ x y))
0.0b	(/ (exp (/ x (+ x y))) (exp (/ y (+ x y))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

71×	`*-un-lft-identity`
45×	`times-frac`
31×	`add-sqr-sqrt` `add-cube-cbrt`
14×	`exp-prod`
12×	`distribute-lft-out`
11×	`associate-/r*`
9×	`add-cbrt-cube` `associate-/l*`
7×	`add-exp-log` `pow-div`
4×	`associate-/r/`
3×	`pow1` `cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `add-log-exp`
2×	`flip3-+` `flip-+`

Counts

3 → 100

Calls

3 calls:

5.0ms	(/ y (+ x y))
5.0ms	(/ x (+ x y))
17.0ms	(/ (exp (/ x (+ x y))) (exp (/ y (+ x y))))

series165.0ms

Counts

3 → 9

Calls

3 calls:

37.0ms	(/ y (+ x y))
40.0ms	(/ x (+ x y))
88.0ms	(/ (exp (/ x (+ x y))) (exp (/ y (+ x y))))

simplify65.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	270	672
1	861	623
2	2585	623
3	5002	623

prune201.0ms

Filtered

109 candidates to 79 candidates (72.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	109	3	112

Merged error: 0b

Counts

112 → 3

regimes28.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	10	4
1	10	4

end0.0ms

sample299.0ms

Algorithm

intervals

Results

166.0ms

8000×

body

valid

Details

sample12.0ms

simplify7.0ms

prune2.0ms

localize7.0ms

rewrite9.0ms

series61.0ms

simplify49.0ms

prune64.0ms

localize5.0ms

rewrite27.0ms

series125.0ms

simplify55.0ms

prune170.0ms

localize6.0ms

rewrite62.0ms

series166.0ms

simplify155.0ms

prune396.0ms

localize10.0ms

rewrite31.0ms

series165.0ms

simplify65.0ms

prune201.0ms

regimes28.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample299.0ms

Profiling