Details

sample217.0ms

Algorithm

intervals

Results

101.0ms	80×	body	1280	valid
55.0ms	60×	body	640	valid
22.0ms	38×	body	320	valid
12.0ms	65×	body	80	valid
5.0ms	13×	body	160	valid

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

prune6.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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

localize42.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))
1.3b	(- (cos x) (cos y))

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

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	(- 3.0 (sqrt 5.0))
5.0ms	(- (cos x) (cos y))

series479.0ms

Counts

4 → 10

Calls

4 calls:

332.0ms	(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
89.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
58.0ms	(- (cos x) (cos y))

simplify71.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 1 (16.0ms)

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

prune544.0ms

Filtered

104 candidates to 70 candidates (67.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	94	10	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	10	105

Merged error: 0.3b

Counts

105 → 10

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 79

Calls

4 calls:

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

series230.0ms

Counts

4 → 10

Calls

4 calls:

88.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
51.0ms	(- (cos x) (cos y))
91.0ms	(log (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))))

simplify119.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	356	646
1	1089	595
2	4622	589
3	5002	589

prune504.0ms

Filtered

89 candidates to 61 candidates (68.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	85	4	89
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	87	12	99

Merged error: 0.3b

Counts

99 → 12

localize57.0ms

Local error

Found 4 expressions with local error:

1.0b	(- 3.0 (sqrt 5.0))
1.3b	(- (cos x) (cos y))
2.7b	(log (sqrt (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))))
2.7b	(log (sqrt (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

20×	`log-prod`
15×	`sqrt-prod`
14×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
10×	`log-pow` `add-log-exp`
8×	`pow1` `add-cube-cbrt` `exp-sum`
6×	`add-exp-log` `sub-neg` `sqrt-pow1`
4×	`distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube`
3×	`difference-of-squares`
2×	`exp-prod` `flip3--` `exp-to-pow` `pow1/2` `diff-log` `rem-log-exp` `flip--` `distribute-lft-out--`
1×	`diff-cos`

Counts

4 → 76

Calls

4 calls:

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

series537.0ms

Counts

4 → 10

Calls

4 calls:

0.0ms	(- 3.0 (sqrt 5.0))
58.0ms	(- (cos x) (cos y))
243.0ms	(log (sqrt (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))))
236.0ms	(log (sqrt (exp (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))))))

simplify55.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 3 (46.0ms)

Iter	Nodes	Cost
0	273	847
1	617	777
2	1646	771
3	5001	763

prune525.0ms

Filtered

86 candidates to 56 candidates (65.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	84	14	98

Merged error: 0.3b

Counts

98 → 14

localize43.0ms

Local error

Found 4 expressions with local error:

0.6b	(pow (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) 3)
1.0b	(- 3.0 (sqrt 5.0))
1.3b	(- (cos x) (cos y))
5.6b	(cbrt (pow (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) 3))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

16×	`cube-div` `associate-*r/`
14×	`flip3--` `flip--`
12×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
8×	`cbrt-prod` `frac-times` `cbrt-div` `add-log-exp`
6×	`add-cube-cbrt`
4×	`associate-*l/`
3×	`pow-unpow` `pow-pow` `pow-prod-down` `pow-exp` `prod-exp` `cbrt-unprod` `rem-cube-cbrt` `difference-of-squares`
2×	`cube-mult` `sub-neg` `unpow-prod-down` `diff-log` `unpow3` `cube-prod` `distribute-lft-out--` `sqr-pow`
1×	`pow-to-exp` `pow1/3` `sqrt-prod` `rem-cbrt-cube` `diff-cos`

Counts

4 → 88

Calls

4 calls:

18.0ms	(pow (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) 3)
4.0ms	(- 3.0 (sqrt 5.0))
4.0ms	(- (cos x) (cos y))
5.0ms	(cbrt (pow (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) 3))

series567.0ms

Counts

4 → 10

Calls

4 calls:

378.0ms	(pow (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) 3)
0.0ms	(- 3.0 (sqrt 5.0))
50.0ms	(- (cos x) (cos y))
139.0ms	(cbrt (pow (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) 3))

simplify78.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	696	1370
1	3154	1289
2	5001	1289

prune515.0ms

Filtered

98 candidates to 72 candidates (73.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	2	10	12
Picked	1	0	1
Done	0	1	1
Total	100	12	112

Merged error: 0.3b

Counts

112 → 12

regimes209.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	43
1	45	43

end0.0ms

sample6.4s

Algorithm

intervals

Results

3.6s	2800×	body	1280	valid
1.6s	1808×	body	640	valid
476.0ms	788×	body	320	valid
428.0ms	2250×	body	80	valid
147.0ms	354×	body	160	valid

Details

sample217.0ms

simplify54.0ms

prune6.0ms

localize42.0ms

rewrite41.0ms

series479.0ms

simplify71.0ms

prune544.0ms

localize39.0ms

rewrite30.0ms

series230.0ms

simplify119.0ms

prune504.0ms

localize57.0ms

rewrite19.0ms

series537.0ms

simplify55.0ms

prune525.0ms

localize43.0ms

rewrite35.0ms

series567.0ms

simplify78.0ms

prune515.0ms

regimes209.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.4s

Profiling