Details

sample556.0ms

Algorithm

intervals

Results

428.0ms	169×	body	1280	valid
75.0ms	50×	body	640	valid
18.0ms	17×	body	320	valid
4.0ms	16×	body	80	valid
3.0ms	4×	body	160	valid

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

prune8.0ms

Filtered

1 candidates to 0 candidates (100.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: 24.4b

Counts

2 → 1

localize39.0ms

Local error

Found 4 expressions with local error:

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

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

series22.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
6.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

prune314.0ms

Filtered

44 candidates to 40 candidates (9.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	31	13	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	13	45

Merged error: 24.1b

Counts

45 → 13

localize40.0ms

Local error

Found 4 expressions with local error:

4.1b	(sin (/ (- lambda1 lambda2) 2.0))
4.1b	(sin (/ (- lambda1 lambda2) 2.0))
4.1b	(sin (/ (- lambda1 lambda2) 2.0))
6.7b	(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

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

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

series22.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify82.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 4 (76.0ms)

Iter	Nodes	Cost
0	106	313
1	282	309
2	784	309
3	3070	309
4	5002	282

prune350.0ms

Filtered

57 candidates to 42 candidates (26.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	52	5	57
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	56	14	70

Merged error: 24.1b

Counts

70 → 14

localize41.0ms

Local error

Found 4 expressions with local error:

4.1b	(sin (/ (- lambda1 lambda2) 2.0))
4.1b	(sin (/ (- lambda1 lambda2) 2.0))
4.1b	(sin (/ (- lambda1 lambda2) 2.0))
4.1b	(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))
6.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))

series22.0ms

Counts

4 → 12

Calls

4 calls:

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

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

prune326.0ms

Filtered

44 candidates to 40 candidates (9.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	3	10	13
Picked	1	0	1
Done	0	0	0
Total	45	13	58

Merged error: 24.1b

Counts

58 → 13

localize42.0ms

Local error

Found 4 expressions with local error:

4.1b	(sin (/ (- lambda1 lambda2) 2.0))
4.1b	(sin (/ (- lambda1 lambda2) 2.0))
6.7b	(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))
6.7b	(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 58

Calls

4 calls:

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

series25.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify83.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 4 (77.0ms)

Iter	Nodes	Cost
0	106	410
1	282	406
2	784	406
3	3070	406
4	5002	364

prune276.0ms

Filtered

70 candidates to 48 candidates (31.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	70	13	83

Merged error: 24.1b

Counts

83 → 13

regimes1.4s

Accuracy

0% (0.6b remaining)

Error of 24.0b against oracle of 23.4b and baseline of 24.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	44
1	43	44

end0.0ms

sample16.6s

Algorithm

intervals

Results

12.2s	4808×	body	1280	valid
3.0s	1867×	body	640	valid
609.0ms	565×	body	320	valid
160.0ms	549×	body	80	valid
148.0ms	212×	body	160	valid

Details

sample556.0ms

simplify75.0ms

prune8.0ms

localize39.0ms

rewrite20.0ms

series22.0ms

simplify193.0ms

prune314.0ms

localize40.0ms

rewrite23.0ms

series22.0ms

simplify82.0ms

prune350.0ms

localize41.0ms

rewrite21.0ms

series22.0ms

simplify190.0ms

prune326.0ms

localize42.0ms

rewrite23.0ms

series25.0ms

simplify83.0ms

prune276.0ms

regimes1.4s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample16.6s

Profiling