Details

sample838.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

118.0ms	88×	body	1280	valid
61.0ms	70×	body	640	valid
12.0ms	66×	body	80	valid
12.0ms	20×	body	320	valid
5.0ms	12×	body	160	valid

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	74	30
1	182	30
2	657	30
3	2727	30
4	5001	30

prune5.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.5b

Counts

2 → 1

localize32.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
2.3b	(- (cos x) (cos y))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
12×	`associate-r`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`associate-*r/`
9×	`flip3--` `flip--`
8×	`add-cube-cbrt` `add-log-exp`
7×	`associate-l` `difference-of-squares`
6×	`sub-neg`
5×	`sqrt-prod`
4×	`distribute-rgt-in` `frac-times` `distribute-lft-in` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
2×	`times-frac` `diff-log` `associate-l/` `-commutative` `unswap-sqr`
1×	`diff-cos`

Counts

4 → 94

Calls

4 calls:

21.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
12.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms	(- 3.0 (sqrt 5.0))
5.0ms	(- (cos x) (cos y))

series51.0ms

Counts

4 → 10

Calls

4 calls:

26.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
15.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
10.0ms	(- (cos x) (cos y))

simplify67.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	622	1094
1	2643	1002
2	5003	1002

prune299.0ms

Filtered

70 candidates to 104 candidates (-48.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	96	8	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	8	105

Merged error: 0.3b

Counts

105 → 8

localize41.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
0.3b	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
2.3b	(- (cos x) (cos y))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

36×	`associate-*r/`
35×	`flip3--` `flip--`
32×	`frac-times`
27×	`add-sqr-sqrt`
20×	`pow1` `add-exp-log` `add-cbrt-cube`
18×	`associate-r`
17×	`*-un-lft-identity`
16×	`associate-*l/`
10×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-cube-cbrt`
8×	`associate-l`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `add-log-exp` `difference-of-squares`
4×	`sqrt-prod` `distribute-lft-out--`
3×	`*-commutative`
2×	`times-frac` `diff-cos` `unswap-sqr`
1×	`diff-log`

Counts

4 → 133

Calls

4 calls:

24.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
18.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
11.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms	(- (cos x) (cos y))

series97.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))
27.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
18.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
10.0ms	(- (cos x) (cos y))

simplify124.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	848	2481
1	4931	2282
2	5002	2282

prune504.0ms

Filtered

101 candidates to 145 candidates (-43.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	141	4	145
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	143	10	153

Merged error: 0.3b

Counts

153 → 10

localize51.0ms

Local error

Found 4 expressions with local error:

0.4b	(pow (cos x) 3)
0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.5b	(+ (cos y) (cos x))
2.1b	(- (pow (cos x) 3) (pow (cos y) 3))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
18×	`difference-of-squares`
15×	`unpow-prod-down` `cube-prod`
10×	`add-cube-cbrt`
9×	`sqr-pow`
8×	`add-log-exp`
7×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`associate-r` `associate-l` `distribute-lft-out--`
4×	`sqrt-prod`
3×	`sub-neg` `pow-unpow`
2×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-*r/` `flip--` `unswap-sqr`
1×	`difference-cubes` `+-commutative` `cube-mult` `pow-to-exp` `pow-pow` `flip3-+` `times-frac` `sum-cos` `diff-log` `unpow3` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `rem-cube-cbrt`

Counts

4 → 101

Calls

4 calls:

3.0ms	(pow (cos x) 3)
13.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms	(+ (cos y) (cos x))
12.0ms	(- (pow (cos x) 3) (pow (cos y) 3))

series48.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(pow (cos x) 3)
15.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
9.0ms	(+ (cos y) (cos x))
19.0ms	(- (pow (cos x) 3) (pow (cos y) 3))

simplify60.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (50.0ms)

Iter	Nodes	Cost
0	453	832
1	1786	784
2	5001	780

prune382.0ms

Filtered

66 candidates to 113 candidates (-71.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	113	10	123

Merged error: 0.3b

Counts

123 → 10

localize43.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
2.3b	(- (cos x) (cos y))
3.6b	(log (exp (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
15×	`*-un-lft-identity`
12×	`pow1` `associate-r`
11×	`add-exp-log` `add-cbrt-cube`
10×	`associate-*r/`
9×	`add-cube-cbrt`
8×	`flip3--` `flip--`
7×	`sub-neg` `log-prod` `associate-l` `add-log-exp`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`difference-of-squares`
4×	`frac-times` `exp-sum` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
3×	`log-pow` `distribute-lft-out--`
2×	`times-frac` `associate-l/` `-commutative` `unswap-sqr`
1×	`exp-prod` `exp-to-pow` `diff-log` `rem-log-exp` `diff-cos`

Counts

4 → 97

Calls

4 calls:

19.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
12.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms	(- (cos x) (cos y))
4.0ms	(log (exp (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))))

series99.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
14.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
10.0ms	(- (cos x) (cos y))
48.0ms	(log (exp (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))))

simplify70.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	587	1452
1	2700	1311
2	5003	1311

prune322.0ms

Filtered

74 candidates to 109 candidates (-47.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	106	13	119

Merged error: 0.2b

Counts

119 → 13

regimes252.0ms

Accuracy

0% (0.2b remaining)

Error of 0.5b against oracle of 0.2b and baseline of 0.5b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	38
1	52	38

end0.0ms

sample7.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

3.6s	2725×	body	1280	valid
1.6s	1800×	body	640	valid
465.0ms	767×	body	320	valid
456.0ms	2344×	body	80	valid
144.0ms	364×	body	160	valid

Details

sample838.0ms

simplify51.0ms

prune5.0ms

localize32.0ms

rewrite45.0ms

series51.0ms

simplify67.0ms

prune299.0ms

localize41.0ms

rewrite64.0ms

series97.0ms

simplify124.0ms

prune504.0ms

localize51.0ms

rewrite36.0ms

series48.0ms

simplify60.0ms

prune382.0ms

localize43.0ms

rewrite43.0ms

series99.0ms

simplify70.0ms

prune322.0ms

regimes252.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample7.1s

Profiling