Details

analyze6.6s

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

sample535.0ms

Algorithm

intervals

Results

386.0ms	149×	body	1280	valid
95.0ms	59×	body	640	valid
15.0ms	14×	body	320	valid
11.0ms	10×	body	160	valid
7.0ms	24×	body	80	valid

simplify100.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4808	65
1	4808	65

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 24.4b

Counts

2 → 1

localize43.0ms

Local error

Found 4 expressions with local error:

3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `sin-diff_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `add-sqr-sqrt_binary64`

Counts

4 → 32

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

simplify121.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (115.0ms)

Iter	Nodes	Cost
0	4817	396
1	4817	396

prune161.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	29	15	44
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	30	15	45

Merged error: 22.9b

Counts

45 → 15

localize53.0ms

Local error

Found 4 expressions with local error:

3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
4.8b	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `sin-diff_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `add-sqr-sqrt_binary64`

Counts

4 → 32

Calls

4 calls:

5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 phi1 phi2) 2))

simplify121.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (111.0ms)

Iter	Nodes	Cost
0	4817	396
1	4817	396

prune186.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	38	6	44
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	41	18	59

Merged error: 12.2b

Counts

59 → 18

localize45.0ms

Local error

Found 4 expressions with local error:

3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `sin-diff_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `add-sqr-sqrt_binary64`

Counts

4 → 32

Calls

4 calls:

5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify129.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4736	396
1	4736	396

prune213.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	40	4	44
Fresh	3	14	17
Picked	1	0	1
Done	0	0	0
Total	44	18	62

Merged error: 12.1b

Counts

62 → 18

localize55.0ms

Local error

Found 4 expressions with local error:

3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
3.8b	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64` `sin-diff_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `add-sqr-sqrt_binary64`

Counts

4 → 32

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
5.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

series23.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))
6.0ms	(sin.f64 (/.f64 (-.f64 lambda1 lambda2) 2))

simplify130.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (124.0ms)

Iter	Nodes	Cost
0	4736	396
1	4736	396

prune148.0ms

Filtered

36 candidates to 44 candidates (-22.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	0	17	17
Picked	1	0	1
Done	0	0	0
Total	42	20	62

Merged error: 12.1b

Counts

62 → 20

regimes1.2s

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	168	125
1	168	125

end0.0ms

sample17.2s

Algorithm

intervals

Results

12.7s	4791×	body	1280	valid
3.0s	1877×	body	640	valid
621.0ms	553×	body	320	valid
187.0ms	588×	body	80	valid
141.0ms	191×	body	160	valid
7.0ms	3×	body	1280	invalid
1.0ms	1×	body	160	invalid

Details

analyze6.6s

sample535.0ms

simplify100.0ms

prune9.0ms

localize43.0ms

rewrite23.0ms

series23.0ms

simplify121.0ms

prune161.0ms

localize53.0ms

rewrite23.0ms

series23.0ms

simplify121.0ms

prune186.0ms

localize45.0ms

rewrite23.0ms

series23.0ms

simplify129.0ms

prune213.0ms

localize55.0ms

rewrite23.0ms

series23.0ms

simplify130.0ms

prune148.0ms

regimes1.2s

bsearch0.0ms

simplify4.0ms

end0.0ms

sample17.2s

Profiling