Details

sample641.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 17.687988%

Guaranteed chance to sample good point: 82.633843%

Results

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

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	3
1	26	3
2	56	3
3	137	3
4	229	3
5	289	3
6	379	3
7	582	3
8	878	3
9	1193	3
10	1234	3
11	1234	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) (- 1.0 z))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`associate-r`
4×	`frac-times` `associate-l`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `flip3--` `flip3-+` `add-cbrt-cube` `flip--` `flip-+`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`

Counts

1 → 33

Calls

1 calls:

8.0ms

(* (+ x y) (- 1.0 z))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(* (+ x y) (- 1.0 z))

simplify30.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	240	207
1	997	192
2	5001	190

prune50.0ms

Filtered

25 candidates to 36 candidates (-44.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	4	37

Merged error: 0b

Counts

37 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 1.0 (+ x y)) (* (neg z) (+ x y)))
0.0b	(* (neg z) (+ x y))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

10×	`associate-r/` `associate-l*`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`add-cube-cbrt` `flip3-+` `flip-+`
4×	`pow1` `add-exp-log` `associate-r` `frac-add` `add-cbrt-cube` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-in` `distribute-rgt-neg-in` `distribute-lft-in`
2×	`associate-+l+` `associate-+r+`
1×	`+-commutative` `neg-mul-1` `distribute-rgt-out` `unsub-neg` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

2 → 53

Calls

2 calls:

7.0ms	(+ (* 1.0 (+ x y)) (* (neg z) (+ x y)))
7.0ms	(* (neg z) (+ x y))

series21.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(+ (* 1.0 (+ x y)) (* (neg z) (+ x y)))
8.0ms	(* (neg z) (+ x y))

simplify50.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	387	384
1	1802	333
2	5003	332

prune60.0ms

Filtered

44 candidates to 59 candidates (-34.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	59	4	63

Merged error: 0b

Counts

63 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- 1.0 z))
0.0b	(sqrt (- 1.0 z))
0.0b	(* (+ x y) (sqrt (- 1.0 z)))
0.1b	(* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

46×	`sqrt-div`
32×	`frac-times`
25×	`add-sqr-sqrt`
23×	`flip3--` `flip--`
21×	`*-un-lft-identity` `sqrt-prod`
16×	`associate-r` `associate-*l/`
13×	`pow1`
12×	`flip3-+` `flip-+`
11×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
10×	`associate-*r/`
5×	`associate-l`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `*-commutative` `unswap-sqr`
1×	`distribute-lft-out`

Counts

4 → 116

Calls

4 calls:

3.0ms	(sqrt (- 1.0 z))
3.0ms	(sqrt (- 1.0 z))
9.0ms	(* (+ x y) (sqrt (- 1.0 z)))
15.0ms	(* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))

series30.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sqrt (- 1.0 z))
3.0ms	(sqrt (- 1.0 z))
13.0ms	(* (+ x y) (sqrt (- 1.0 z)))
8.0ms	(* (* (+ x y) (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))

simplify55.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	532	1094
1	2002	996
2	5003	984

prune181.0ms

Filtered

91 candidates to 128 candidates (-40.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	128	4	132

Merged error: 0b

Counts

132 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

1.6b	(+ (* x x) (- (* y y) (* x y)))
2.8b	(- (* y y) (* x y))
3.6b	(+ (pow x 3) (pow y 3))
38.4b	(/ (* (+ (pow x 3) (pow y 3)) (- 1.0 z)) (+ (* x x) (- (* y y) (* x y))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity`
13×	`add-log-exp`
9×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l/`
6×	`add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `flip-+`
5×	`distribute-lft-out`
4×	`pow1` `frac-times` `unpow-prod-down` `flip3--` `cube-prod` `flip--`
3×	`times-frac` `associate-/r*` `sum-log`
2×	`cbrt-undiv` `+-commutative` `sub-neg` `associate-+r+` `diff-log` `associate-r/` `div-exp` `associate-l/` `associate-/r/`
1×	`associate-+r-` `distribute-rgt-out--` `frac-2neg` `prod-exp` `clear-num` `sum-cubes` `cbrt-unprod` `div-inv` `associate-/l*`

Counts

4 → 76

Calls

4 calls:

5.0ms	(+ (* x x) (- (* y y) (* x y)))
3.0ms	(- (* y y) (* x y))
12.0ms	(+ (pow x 3) (pow y 3))
21.0ms	(/ (* (+ (pow x 3) (pow y 3)) (- 1.0 z)) (+ (* x x) (- (* y y) (* x y))))

series39.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ (* x x) (- (* y y) (* x y)))
5.0ms	(- (* y y) (* x y))
8.0ms	(+ (pow x 3) (pow y 3))
20.0ms	(/ (* (+ (pow x 3) (pow y 3)) (- 1.0 z)) (+ (* x x) (- (* y y) (* x y))))

simplify60.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	460	758
1	2410	648
2	5001	643

prune129.0ms

Filtered

64 candidates to 88 candidates (-37.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	88	4	92

Merged error: 0b

Counts

92 → 4

regimes275.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	9	3
1	9	3

end0.0ms

sample1.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 17.687988%

Guaranteed chance to sample good point: 82.633843%

Results

199.0ms	7998×	body	80	valid
8.0ms	326×	body	80	invalid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid

Details

sample641.0ms

simplify55.0ms

prune3.0ms

localize5.0ms

rewrite9.0ms

series7.0ms

simplify30.0ms

prune50.0ms

localize7.0ms

rewrite15.0ms

series21.0ms

simplify50.0ms

prune60.0ms

localize7.0ms

rewrite35.0ms

series30.0ms

simplify55.0ms

prune181.0ms

localize16.0ms

rewrite44.0ms

series39.0ms

simplify60.0ms

prune129.0ms

regimes275.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling