Details

sample682.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.982666%

Guaranteed chance to sample good point: 87.209517%

Results

6.0ms	256×	body	80	valid
0.0ms	11×	body	80	invalid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	3
1	16	3
2	18	3
3	18	3

prune3.0ms

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

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 52

Calls

1 calls:

8.0ms

(/ (- x y) (- z y))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(/ (- x y) (- z y))

simplify50.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	223	354
1	618	340
2	2031	340
3	5002	340

prune57.0ms

Filtered

37 candidates to 55 candidates (-48.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	3	56

Merged error: 0b

Counts

56 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 66

Calls

2 calls:

5.0ms	(/ y (- z y))
29.0ms	(- (/ x (- z y)) (/ y (- z y)))

series19.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ y (- z y))
14.0ms	(- (/ x (- z y)) (/ y (- z y)))

simplify55.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	235	433
1	641	416
2	1807	416
3	5001	416

prune70.0ms

Filtered

54 candidates to 72 candidates (-33.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0b

Counts

75 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
194×	`add-sqr-sqrt` `*-un-lft-identity`
90×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
15×	`add-exp-log`
11×	`associate-/r/`
9×	`add-cbrt-cube`
8×	`div-exp` `associate-/l*`
6×	`flip3--` `flip--` `div-inv`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`pow-flip` `div-sub` `inv-pow`

Counts

2 → 200

Calls

2 calls:

10.0ms	(/ (- z y) (- x y))
12.0ms	(/ 1 (/ (- z y) (- x y)))

series25.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(/ (- z y) (- x y))
16.0ms	(/ 1 (/ (- z y) (- x y)))

simplify68.0ms

Algorithm

egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	584	1788
1	2678	1619
2	5002	1452

prune103.0ms

Filtered

90 candidates to 206 candidates (-128.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	205	1	206
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	207	2	209

Merged error: 0b

Counts

209 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (- z y) (/ 1 (- x y)))
0.3b	(/ 1 (* (- z y) (/ 1 (- x y))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-exp-log`
29×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
21×	`associate-r`
20×	`times-frac`
18×	`div-exp`
16×	`prod-exp` `add-cbrt-cube`
14×	`add-cube-cbrt`
9×	`rec-exp` `1-exp`
8×	`associate-/r/`
7×	`pow1`
5×	`cbrt-undiv` `flip3--` `associate-l` `flip--`
4×	`frac-times` `associate-*l/` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares`
3×	`associate-/l*` `unswap-sqr`
2×	`pow-flip` `associate-*r/` `pow-prod-down` `un-div-inv` `div-inv` `add-log-exp`
1×	`frac-2neg` `clear-num` `associate-/r` `-commutative` `inv-pow`

Counts

2 → 94

Calls

2 calls:

14.0ms	(* (- z y) (/ 1 (- x y)))
12.0ms	(/ 1 (* (- z y) (/ 1 (- x y))))

series29.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(* (- z y) (/ 1 (- x y)))
19.0ms	(/ 1 (* (- z y) (/ 1 (- x y))))

simplify45.0ms

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	390	561
1	1849	445
2	5001	412

prune73.0ms

Filtered

56 candidates to 100 candidates (-78.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	100	2	102

Merged error: 0b

Counts

102 → 2

regimes133.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	7	5

end0.0ms

sample1.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.982666%

Guaranteed chance to sample good point: 87.209517%

Results

212.0ms	8000×	body	80	valid
7.0ms	266×	body	80	invalid

Details

sample682.0ms

simplify7.0ms

prune3.0ms

localize5.0ms

rewrite10.0ms

series9.0ms

simplify50.0ms

prune57.0ms

localize6.0ms

rewrite37.0ms

series19.0ms

simplify55.0ms

prune70.0ms

localize7.0ms

rewrite33.0ms

series25.0ms

simplify68.0ms

prune103.0ms

localize8.0ms

rewrite29.0ms

series29.0ms

simplify45.0ms

prune73.0ms

regimes133.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling