Details

sample452.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 98.443604%

Results

4.0ms

256×

body

valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	2
1	10	2
2	12	2
3	13	2
4	13	2

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

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (+ x y) x)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-un-lft-identity` `add-log-exp`
3×	`sum-log` `distribute-lft-out`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+l+` `flip3-+` `add-cbrt-cube` `flip-+`

Counts

1 → 15

Calls

1 calls:

5.0ms

(+ (+ x y) x)

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(+ (+ x y) x)

simplify100.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 3 (28.0ms)

Iter	Nodes	Cost
0	82	65
1	241	60
2	854	58
3	4535	53
4	5002	53

prune19.0ms

Filtered

10 candidates to 18 candidates (-80.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	16	2	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	3	19

Merged error: 0.0b

Counts

19 → 3

localize6.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ (+ x y) x))
0.0b	(+ (+ x y) x)
0.0b	(+ (+ x y) x)
0.3b	(* (sqrt (+ (+ x y) x)) (sqrt (+ (+ x y) x)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

72×	`*-un-lft-identity`
43×	`sqrt-prod`
33×	`distribute-lft-out`
26×	`add-sqr-sqrt`
20×	`pow1`
16×	`swap-sqr`
14×	`sqrt-div` `add-log-exp`
13×	`add-cube-cbrt`
9×	`sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
8×	`associate-r` `associate-l`
6×	`add-exp-log` `sum-log` `add-cbrt-cube`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`+-commutative` `associate-+l+` `associate-r/` `associate-l/`
1×	`pow2` `rem-sqrt-square` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 116

Calls

4 calls:

5.0ms	(sqrt (+ (+ x y) x))
6.0ms	(+ (+ x y) x)
5.0ms	(+ (+ x y) x)
15.0ms	(* (sqrt (+ (+ x y) x)) (sqrt (+ (+ x y) x)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(sqrt (+ (+ x y) x))
4.0ms	(+ (+ x y) x)
4.0ms	(+ (+ x y) x)
7.0ms	(* (sqrt (+ (+ x y) x)) (sqrt (+ (+ x y) x)))

simplify43.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	253	621
1	1103	568
2	5002	554

prune79.0ms

Filtered

59 candidates to 128 candidates (-116.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	127	4	131

Merged error: 0.0b

Counts

131 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (sqrt (+ (+ x y) x)))
0.0b	(sqrt (sqrt (+ (+ x y) x)))
0.1b	(* (pow (sqrt (sqrt (+ (+ x y) x))) 3) (sqrt (sqrt (+ (+ x y) x))))
0.3b	(pow (sqrt (sqrt (+ (+ x y) x))) 3)

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

135×	`sqrt-prod`
74×	`add-sqr-sqrt`
60×	`*-un-lft-identity`
36×	`sqrt-div`
31×	`unpow-prod-down` `cube-prod`
28×	`associate-l`
25×	`add-cube-cbrt`
24×	`unswap-sqr`
21×	`distribute-lft-out`
12×	`pow1` `sqrt-pow1`
11×	`associate-r`
10×	`add-exp-log`
9×	`flip3-+` `flip-+`
8×	`cube-div`
7×	`add-cbrt-cube`
6×	`pow1/2`
5×	`pow-pow` `sqr-pow`
4×	`frac-times` `rem-sqrt-square` `add-log-exp`
3×	`pow-unpow` `prod-exp`
2×	`cube-mult` `pow-to-exp` `unpow3` `associate-r/` `associate-l/` `pow-exp`
1×	`pow-plus` `*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 177

Calls

4 calls:

6.0ms	(sqrt (sqrt (+ (+ x y) x)))
6.0ms	(sqrt (sqrt (+ (+ x y) x)))
26.0ms	(* (pow (sqrt (sqrt (+ (+ x y) x))) 3) (sqrt (sqrt (+ (+ x y) x))))
8.0ms	(pow (sqrt (sqrt (+ (+ x y) x))) 3)

series86.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(sqrt (sqrt (+ (+ x y) x)))
20.0ms	(sqrt (sqrt (+ (+ x y) x)))
8.0ms	(* (pow (sqrt (sqrt (+ (+ x y) x))) 3) (sqrt (sqrt (+ (+ x y) x))))
35.0ms	(pow (sqrt (sqrt (+ (+ x y) x))) 3)

simplify84.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 2 (67.0ms)

Iter	Nodes	Cost
0	555	1717
1	2480	1460
2	5002	1285

prune142.0ms

Filtered

89 candidates to 189 candidates (-112.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	1	0	1
Picked	1	0	1
Done	2	0	2
Total	192	1	193

Merged error: 0b

Counts

193 → 1

localize3.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune2.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Merged error: 0b

Counts

1 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	2
1	7	2

end0.0ms

sample756.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 98.443604%

Results

125.0ms	8000×	body	80	valid
0.0ms	1×	body	80	invalid

Details

sample452.0ms

simplify8.0ms

prune3.0ms

localize3.0ms

rewrite6.0ms

series4.0ms

simplify100.0ms

prune19.0ms

localize6.0ms

rewrite35.0ms

series24.0ms

simplify43.0ms

prune79.0ms

localize9.0ms

rewrite54.0ms

series86.0ms

simplify84.0ms

prune142.0ms

localize3.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune2.0ms

simplify1.0ms

end0.0ms

sample756.0ms

Profiling