Details

sample22.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

395.0ms	153×	body	1280	valid
112.0ms	65×	body	640	valid
17.0ms	16×	body	320	valid
5.0ms	16×	body	80	valid
4.0ms	6×	body	160	valid

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

prune9.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: 26.3b

Counts

2 → 1

localize36.0ms

Local error

Found 4 expressions with local error:

4.0b	(sin (/ (- lambda1 lambda2) 2.0))
4.0b	(sin (/ (- lambda1 lambda2) 2.0))
4.1b	(sin (/ (- phi1 phi2) 2.0))
4.1b	(sin (/ (- phi1 phi2) 2.0))

rewrite19.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 (/ (- phi1 phi2) 2.0))
5.0ms	(sin (/ (- phi1 phi2) 2.0))

series25.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(sin (/ (- lambda1 lambda2) 2.0))
6.0ms	(sin (/ (- lambda1 lambda2) 2.0))
6.0ms	(sin (/ (- phi1 phi2) 2.0))
6.0ms	(sin (/ (- phi1 phi2) 2.0))

simplify81.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	102	248
1	170	216
2	356	216
3	692	216
4	2118	216
5	5001	216

prune334.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	30	14	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	31	14	45

Merged error: 24.9b

Counts

45 → 14

localize54.0ms

Local error

Found 4 expressions with local error:

4.0b	(sin (/ (- lambda1 lambda2) 2.0))
4.0b	(sin (/ (- lambda1 lambda2) 2.0))
4.0b	(sin (/ (- lambda1 lambda2) 2.0))
4.1b	(sin (/ (- phi1 phi2) 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 (/ (- phi1 phi2) 2.0))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin (/ (- lambda1 lambda2) 2.0))
6.0ms	(sin (/ (- lambda1 lambda2) 2.0))
6.0ms	(sin (/ (- lambda1 lambda2) 2.0))
6.0ms	(sin (/ (- phi1 phi2) 2.0))

simplify81.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	102	248
1	170	216
2	356	216
3	692	216
4	2118	216
5	5001	216

prune428.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	37	7	44
Fresh	1	12	13
Picked	1	0	1
Done	0	0	0
Total	39	19	58

Merged error: 15.0b

Counts

58 → 19

localize46.0ms

Local error

Found 4 expressions with local error:

4.0b	(sin (/ (- lambda1 lambda2) 2.0))
4.0b	(sin (/ (- lambda1 lambda2) 2.0))
4.0b	(sin (/ (- lambda1 lambda2) 2.0))
4.0b	(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))

series23.0ms

Counts

4 → 12

Calls

4 calls:

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

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

prune483.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	38	6	44
Fresh	4	14	18
Picked	1	0	1
Done	0	0	0
Total	43	20	63

Merged error: 15.0b

Counts

63 → 20

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.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))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(sin (/ (- lambda1 lambda2) 2.0))
5.0ms	(cbrt (pow (sin (/ (- lambda1 lambda2) 2.0)) 3))

series23.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify86.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 4 (76.0ms)

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

prune337.0ms

Filtered

44 candidates to 57 candidates (-29.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	54	3	57
Fresh	2	17	19
Picked	1	0	1
Done	0	0	0
Total	57	20	77

Merged error: 15.0b

Counts

77 → 20

regimes2.1s

Accuracy

0% (0.5b remaining)

Error of 14.0b against oracle of 13.6b and baseline of 14.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	61
1	49	61

end0.0ms

sample39.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

13.0s	4817×	body	1280	valid
3.2s	1947×	body	640	valid
602.0ms	521×	body	320	valid
178.0ms	532×	body	80	valid
135.0ms	187×	body	160	valid

Details

sample22.9s

simplify82.0ms

prune9.0ms

localize36.0ms

rewrite19.0ms

series25.0ms

simplify81.0ms

prune334.0ms

localize54.0ms

rewrite20.0ms

series23.0ms

simplify81.0ms

prune428.0ms

localize46.0ms

rewrite20.0ms

series23.0ms

simplify199.0ms

prune483.0ms

localize52.0ms

rewrite21.0ms

series23.0ms

simplify86.0ms

prune337.0ms

regimes2.1s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample39.8s

Profiling