Details

sample304.0ms

Algorithm

intervals

Results

196.0ms	145×	body	1280	valid
63.0ms	73×	body	640	valid
16.0ms	19×	body	320	valid
2.0ms	13×	body	80	valid
2.0ms	6×	body	160	valid

simplify80.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	38
1	98	38
2	182	38
3	309	38
4	609	38
5	2169	38
6	5001	38

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: 26.2b

Counts

2 → 1

localize33.0ms

Local error

Found 4 expressions with local error:

4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-sub` `sin-diff` `add-cbrt-cube` `add-log-exp`

Counts

4 → 32

Calls

4 calls:

5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
9.0ms	(sin (/ (- lambda1 lambda2) 2.0))

series146.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(sin (/ (- lambda1 lambda2) 2.0))
40.0ms	(sin (/ (- lambda1 lambda2) 2.0))
35.0ms	(sin (/ (- lambda1 lambda2) 2.0))
36.0ms	(sin (/ (- lambda1 lambda2) 2.0))

simplify193.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	54	248
1	89	216
2	188	216
3	373	216
4	1242	216
5	4970	216
6	5002	216

prune361.0ms

Filtered

44 candidates to 40 candidates (90.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	35	9	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	36	9	45

Merged error: 25.7b

Counts

45 → 9

localize37.0ms

Local error

Found 4 expressions with local error:

4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))
8.6b	(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`unpow-prod-down` `div-sub` `cube-prod` `sin-diff`
1×	`cube-mult` `pow1/3` `unpow3` `rem-cbrt-cube` `sqr-pow`

Counts

4 → 45

Calls

4 calls:

7.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
6.0ms	(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

series143.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(sin (/ (- lambda1 lambda2) 2.0))
39.0ms	(sin (/ (- lambda1 lambda2) 2.0))
34.0ms	(sin (/ (- lambda1 lambda2) 2.0))
35.0ms	(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

simplify80.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 4 (75.0ms)

Iter	Nodes	Cost
0	106	315
1	282	311
2	757	311
3	2984	311
4	5001	284

prune389.0ms

Filtered

57 candidates to 42 candidates (73.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	53	4	57
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	57	9	66

Merged error: 25.7b

Counts

66 → 9

localize42.0ms

Local error

Found 4 expressions with local error:

4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-sub` `sin-diff` `add-cbrt-cube` `add-log-exp`

Counts

4 → 32

Calls

4 calls:

5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))

series145.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(sin (/ (- lambda1 lambda2) 2.0))
35.0ms	(sin (/ (- lambda1 lambda2) 2.0))
40.0ms	(sin (/ (- lambda1 lambda2) 2.0))
35.0ms	(sin (/ (- lambda1 lambda2) 2.0))

simplify196.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	54	248
1	89	216
2	188	216
3	373	216
4	1242	216
5	4970	216
6	5002	216

prune457.0ms

Filtered

44 candidates to 40 candidates (90.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	37	7	44
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	39	14	53

Merged error: 25.7b

Counts

53 → 14

localize59.0ms

Local error

Found 4 expressions with local error:

4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))
4.8b	(sin (/ (- lambda1 lambda2) 2.0))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `div-sub` `sin-diff` `add-cbrt-cube` `add-log-exp`

Counts

4 → 32

Calls

4 calls:

5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))

series152.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(sin (/ (- lambda1 lambda2) 2.0))
35.0ms	(sin (/ (- lambda1 lambda2) 2.0))
40.0ms	(sin (/ (- lambda1 lambda2) 2.0))
35.0ms	(sin (/ (- lambda1 lambda2) 2.0))

simplify198.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	54	248
1	89	216
2	188	216
3	373	216
4	1242	216
5	4970	216
6	5002	216

prune452.0ms

Filtered

44 candidates to 40 candidates (90.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	40	4	44
Fresh	1	12	13
Picked	1	0	1
Done	0	0	0
Total	42	16	58

Merged error: 25.6b

Counts

58 → 16

regimes1.5s

Accuracy

0% (0.9b remaining)

Error of 24.6b against oracle of 23.7b and baseline of 24.6b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	55
1	56	55

end0.0ms

sample9.1s

Algorithm

intervals

Results

6.6s	4808×	body	1280	valid
1.7s	1887×	body	640	valid
325.0ms	537×	body	320	valid
97.0ms	582×	body	80	valid
71.0ms	189×	body	160	valid

Details

sample304.0ms

simplify80.0ms

prune6.0ms

localize33.0ms

rewrite26.0ms

series146.0ms

simplify193.0ms

prune361.0ms

localize37.0ms

rewrite24.0ms

series143.0ms

simplify80.0ms

prune389.0ms

localize42.0ms

rewrite21.0ms

series145.0ms

simplify196.0ms

prune457.0ms

localize59.0ms

rewrite21.0ms

series152.0ms

simplify198.0ms

prune452.0ms

regimes1.5s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample9.1s

Profiling