Details

analyze6.2s

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

sample560.0ms

Algorithm

intervals

Results

404.0ms	161×	body	1280	valid
91.0ms	53×	body	640	valid
18.0ms	18×	body	320	valid
8.0ms	11×	body	160	valid
4.0ms	13×	body	80	valid

simplify57.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5258	65

prune24.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.2b

Counts

2 → 2

localize37.0ms

Local error

Found 4 expressions with local error:

2.1b	(sin (/ (- lambda1 lambda2) 2.0))
2.1b	(sin (/ (- lambda1 lambda2) 2.0))
2.1b	(sin (/ (- phi1 phi2) 2.0))
2.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))

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

simplify114.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (110.0ms)

Iter	Nodes	Cost
0	4875	396
1	4875	396

prune300.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	33	11	44
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	34	12	46

Merged error: 21.0b

Counts

46 → 12

localize51.0ms

Local error

Found 4 expressions with local error:

2.1b	(sin (/ (- lambda1 lambda2) 2.0))
2.1b	(sin (/ (- lambda1 lambda2) 2.0))
2.1b	(sin (/ (- lambda1 lambda2) 2.0))
2.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:

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

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 (/ (- phi1 phi2) 2.0))

simplify119.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (111.0ms)

Iter	Nodes	Cost
0	4875	396
1	4875	396

prune364.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	38	6	44
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	41	15	56

Merged error: 12.3b

Counts

56 → 15

localize42.0ms

Local error

Found 4 expressions with local error:

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

simplify125.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	4776	396
1	4776	396

prune430.0ms

Filtered

40 candidates to 44 candidates (-10.0%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	38	6	44
Fresh	4	10	14
Picked	1	0	1
Done	0	0	0
Total	43	16	59

Merged error: 12.3b

Counts

59 → 16

localize48.0ms

Local error

Found 4 expressions with local error:

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

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

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

series24.0ms

Counts

4 → 12

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

simplify67.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4874	524
1	4874	524

prune336.0ms

Filtered

44 candidates to 57 candidates (-29.5%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	49	8	57
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	54	19	73

Merged error: 12.2b

Counts

73 → 19

regimes2.0s

Accuracy

0% (0.4b remaining)

Error of 14.5b against oracle of 14.1b and baseline of 14.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	96
1	49	96

end0.0ms

analyze6.5s

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

Algorithm

intervals

Results

12.2s	4760×	body	1280	valid
3.1s	1905×	body	640	valid
608.0ms	549×	body	320	valid
175.0ms	569×	body	80	valid
156.0ms	217×	body	160	valid
3.0ms	1×	body	1280	invalid
2.0ms	1×	body	640	invalid

Details

analyze6.2s

sample560.0ms

simplify57.0ms

prune24.0ms

localize37.0ms

rewrite19.0ms

series22.0ms

simplify114.0ms

prune300.0ms

localize51.0ms

rewrite19.0ms

series22.0ms

simplify119.0ms

prune364.0ms

localize42.0ms

rewrite21.0ms

series22.0ms

simplify125.0ms

prune430.0ms

localize48.0ms

rewrite20.0ms

series24.0ms

simplify67.0ms

prune336.0ms

regimes2.0s

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze6.5s

sample16.6s

Profiling