Details

sample541.0ms

Algorithm

intervals

Results

399.0ms	160×	body	1280	valid
81.0ms	52×	body	640	valid
21.0ms	18×	body	320	valid
6.0ms	21×	body	80	valid
4.0ms	5×	body	160	valid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4967	65
1	4967	65

prune29.0ms

Filtered

1 candidates to 1 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: 22.8b

Counts

2 → 2

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

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

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

simplify82.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5245	396

prune289.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

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

Merged error: 22.4b

Counts

46 → 10

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

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

simplify86.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5245	396

prune297.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	42	12	54

Merged error: 22.4b

Counts

54 → 12

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

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

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

simplify88.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5245	396

prune334.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	42	14	56

Merged error: 22.4b

Counts

56 → 14

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

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

simplify83.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	5245	396

prune228.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	42	2	44
Fresh	1	12	13
Picked	1	0	1
Done	0	0	0
Total	44	14	58

Merged error: 22.4b

Counts

58 → 14

regimes1.5s

Accuracy

0% (0.6b remaining)

Error of 24.1b against oracle of 23.5b and baseline of 24.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	82
1	40	82

end0.0ms

sample16.8s

Algorithm

intervals

Results

12.2s	4727×	body	1280	valid
3.2s	1999×	body	640	valid
542.0ms	494×	body	320	valid
173.0ms	579×	body	80	valid
141.0ms	202×	body	160	valid

Details

sample541.0ms

simplify72.0ms

prune29.0ms

localize33.0ms

rewrite22.0ms

series23.0ms

simplify82.0ms

prune289.0ms

localize34.0ms

rewrite22.0ms

series23.0ms

simplify86.0ms

prune297.0ms

localize43.0ms

rewrite21.0ms

series23.0ms

simplify88.0ms

prune334.0ms

localize41.0ms

rewrite20.0ms

series25.0ms

simplify83.0ms

prune228.0ms

regimes1.5s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample16.8s

Profiling