Details

sample529.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 8.843994%

Guaranteed chance to sample good point: 89.969869%

Results

6.0ms	255×	body	80	valid
1.0ms	34×	body	80	invalid
0.0ms	1×	body	640	valid

simplify57.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))

rewrite12.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:

11.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

prune45.0ms

Filtered

25 candidates to 36 candidates (-44.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	3	37

Merged error: 0.0b

Counts

37 → 3

localize9.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))

series18.0ms

Counts

2 → 6

Calls

2 calls:

10.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 (44.0ms)

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

prune62.0ms

Filtered

44 candidates to 59 candidates (-34.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	59	3	62

Merged error: 0.0b

Counts

62 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

160×	`sqrt-div`
148×	`frac-times`
63×	`flip3--` `flip3-+` `flip--` `flip-+`
61×	`pow1`
50×	`associate-r/` `associate-l/`
32×	`sqrt-pow1`
23×	`pow-prod-down`
16×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`pow1/2`
10×	`add-cube-cbrt` `pow-prod-up`
9×	`associate-r`
8×	`add-exp-log` `associate-l` `add-cbrt-cube`
6×	`sqrt-prod` `pow-sqr`
4×	`swap-sqr` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow2` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 200

Calls

4 calls:

10.0ms	(* (+ x y) (- 1.0 z))
6.0ms	(sqrt (* (+ x y) (- 1.0 z)))
6.0ms	(sqrt (* (+ x y) (- 1.0 z)))
19.0ms	(* (sqrt (* (+ x y) (- 1.0 z))) (sqrt (* (+ x y) (- 1.0 z))))

series103.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (+ x y) (- 1.0 z))
26.0ms	(sqrt (* (+ x y) (- 1.0 z)))
29.0ms	(sqrt (* (+ x y) (- 1.0 z)))
41.0ms	(* (sqrt (* (+ x y) (- 1.0 z))) (sqrt (* (+ x y) (- 1.0 z))))

simplify85.0ms

Algorithm

egg-herbie

Counts

212 → 212

Iterations

Useful iterations: 2 (59.0ms)

Iter	Nodes	Cost
0	565	2664
1	2274	2609
2	5001	2587

prune290.0ms

Filtered

129 candidates to 212 candidates (-64.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	211	1	212
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	211	4	215

Merged error: 0.0b

Counts

215 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (sqrt (* (+ x y) (- 1.0 z))))
0.3b	(cbrt (sqrt (* (+ x y) (- 1.0 z))))
0.3b	(cbrt (sqrt (* (+ x y) (- 1.0 z))))
0.5b	(pow (cbrt (sqrt (* (+ x y) (- 1.0 z)))) 4)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

24×	`cbrt-div` `sqrt-div`
16×	`cbrt-prod`
12×	`frac-times`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`flip3--` `flip3-+` `flip--` `flip-+`
7×	`unpow-prod-down`
6×	`associate-r/` `associate-l/`
5×	`pow1` `add-exp-log`
4×	`pow1/3` `sqrt-prod` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow`
2×	`pow-pow`
1×	`pow-to-exp` `pow-exp` `sqr-pow`

Counts

4 → 82

Calls

4 calls:

7.0ms	(cbrt (sqrt (* (+ x y) (- 1.0 z))))
7.0ms	(cbrt (sqrt (* (+ x y) (- 1.0 z))))
7.0ms	(cbrt (sqrt (* (+ x y) (- 1.0 z))))
7.0ms	(pow (cbrt (sqrt (* (+ x y) (- 1.0 z)))) 4)

series251.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(cbrt (sqrt (* (+ x y) (- 1.0 z))))
49.0ms	(cbrt (sqrt (* (+ x y) (- 1.0 z))))
52.0ms	(cbrt (sqrt (* (+ x y) (- 1.0 z))))
100.0ms	(pow (cbrt (sqrt (* (+ x y) (- 1.0 z)))) 4)

simplify46.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	500	1216
1	1429	1175
2	5001	1128

prune328.0ms

Filtered

85 candidates to 94 candidates (-10.6%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	94	4	98

Merged error: 0.0b

Counts

98 → 4

regimes317.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.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 8.843994%

Guaranteed chance to sample good point: 89.969869%

Results

209.0ms	7998×	body	80	valid
33.0ms	1219×	body	80	invalid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

sample529.0ms

simplify57.0ms

prune3.0ms

localize5.0ms

rewrite12.0ms

series7.0ms

simplify30.0ms

prune45.0ms

localize9.0ms

rewrite15.0ms

series18.0ms

simplify50.0ms

prune62.0ms

localize8.0ms

rewrite55.0ms

series103.0ms

simplify85.0ms

prune290.0ms

localize12.0ms

rewrite32.0ms

series251.0ms

simplify46.0ms

prune328.0ms

regimes317.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling