Details

analyze6.3s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
0.6%	99.2%	0.2%	13
1.8%	98%	0.2%	14

sample571.0ms

Algorithm

intervals

Results

433.0ms	166×	body	1280	valid
87.0ms	55×	body	640	valid
17.0ms	16×	body	320	valid
6.0ms	8×	body	160	valid
3.0ms	11×	body	80	valid

simplify59.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5258	65

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

Counts

2 → 2

localize35.0ms

Local error

Found 4 expressions with local error:

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

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

simplify128.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4776	396
1	4776	396

prune304.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	34	10	44
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	35	11	46

Merged error: 25.3b

Counts

46 → 11

localize45.0ms

Local error

Found 4 expressions with local error:

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

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

simplify128.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4776	396
1	4776	396

prune332.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	39	5	44
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	42	13	55

Merged error: 25.3b

Counts

55 → 13

localize46.0ms

Local error

Found 4 expressions with local error:

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

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

simplify68.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4874	524
1	4874	524

prune405.0ms

Filtered

43 candidates to 57 candidates (-32.6%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	53	4	57
Fresh	0	12	12
Picked	1	0	1
Done	0	0	0
Total	54	16	70

Merged error: 25.3b

Counts

70 → 16

localize43.0ms

Local error

Found 4 expressions with local error:

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

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

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

simplify128.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4776	396
1	4776	396

prune232.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	1	14	15
Picked	1	0	1
Done	0	0	0
Total	45	15	60

Merged error: 25.3b

Counts

60 → 15

regimes1.6s

Accuracy

0% (0.6b remaining)

Error of 23.9b against oracle of 23.3b and baseline of 23.9b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	82
1	43	82

end0.0ms

analyze6.4s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0%	99.8%	0.2%	11
0%	99.8%	0.2%	12
0.6%	99.2%	0.2%	13
1.8%	98%	0.2%	14

sample16.9s

Algorithm

intervals

Results

12.5s	4860×	body	1280	valid
3.0s	1878×	body	640	valid
606.0ms	543×	body	320	valid
166.0ms	539×	body	80	valid
135.0ms	180×	body	160	valid
5.0ms	2×	body	1280	invalid
1.0ms	1×	body	320	invalid

Details

analyze6.3s

sample571.0ms

simplify59.0ms

prune30.0ms

localize35.0ms

rewrite21.0ms

series25.0ms

simplify128.0ms

prune304.0ms

localize45.0ms

rewrite21.0ms

series22.0ms

simplify128.0ms

prune332.0ms

localize46.0ms

rewrite24.0ms

series23.0ms

simplify68.0ms

prune405.0ms

localize43.0ms

rewrite23.0ms

series22.0ms

simplify128.0ms

prune232.0ms

regimes1.6s

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze6.4s

sample16.9s

Profiling