Details

analyze2.1s

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.8%	99%	0.2%	11
4.7%	95.1%	0.2%	12
5.9%	93.2%	0.8%	13
8.5%	90.2%	1.3%	14

sample97.0ms

Algorithm

intervals

Results

18.0ms	187×	body	80	valid
15.0ms	15×	body	1280	valid
12.0ms	27×	body	640	valid
7.0ms	11×	body	1280	invalid
7.0ms	74×	body	80	invalid
7.0ms	15×	body	640	invalid
6.0ms	19×	body	320	valid
4.0ms	11×	body	320	invalid
2.0ms	8×	body	160	valid
1.0ms	3×	body	160	invalid

simplify160.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (151.0ms)

Iter	Nodes	Cost
0	4961	49
1	4961	49

prune2.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: 39.2b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
3.3b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.3b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
35.8b	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

142×	`associate-*l/_binary64`
102×	`flip3--_binary64` `flip--_binary64`
68×	`frac-times_binary64`
66×	`sqrt-div_binary64`
64×	`frac-add_binary64`
44×	`pow1_binary64`
34×	`associate-*r/_binary64`
17×	`pow-prod-down_binary64`
16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`cbrt-unprod_binary64` `prod-exp_binary64`
6×	`add-sqr-sqrt_binary64`
5×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
4×	`add-log-exp_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
3×	`sqrt-prod_binary64`
2×	`pow-plus_binary64`
1×	`flip3-+_binary64` `pow1/2_binary64` `swap-sqr_binary64` `associate-r_binary64` `associate-l_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip-+_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 135

Calls

4 calls:

14.0ms	(.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
26.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

series847.0ms

Counts

4 → 12

Calls

4 calls:

157.0ms	(.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
16.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
17.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
657.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

simplify102.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5188	10362

prune180.0ms

Filtered

76 candidates to 147 candidates (-93.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	138	9	147
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	138	10	148

Merged error: 24.8b

Counts

148 → 10

localize22.0ms

Local error

Found 4 expressions with local error:

3.3b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.3b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.3b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
35.8b	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (cbrt.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (cbrt.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

128×	`associate-*l/_binary64`
96×	`flip3--_binary64` `flip--_binary64`
66×	`sqrt-div_binary64`
64×	`frac-add_binary64` `frac-times_binary64`
32×	`associate-*r/_binary64`
6×	`add-sqr-sqrt_binary64`
5×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`sqrt-prod_binary64`
1×	`flip3-+_binary64` `pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip-+_binary64`

Counts

4 → 100

Calls

4 calls:

6.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
33.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (cbrt.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (cbrt.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

series840.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
16.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
16.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
792.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (cbrt.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (cbrt.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

simplify100.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5559	9895

prune202.0ms

Filtered

80 candidates to 112 candidates (-40.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	112	10	122

Merged error: 24.8b

Counts

122 → 10

localize19.0ms

Local error

Found 4 expressions with local error:

3.3b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.3b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
35.8b	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
35.8b	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

256×	`associate-*l/_binary64`
192×	`flip3--_binary64` `flip--_binary64`
132×	`sqrt-div_binary64`
128×	`frac-add_binary64` `frac-times_binary64`
64×	`associate-*r/_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`flip3-+_binary64` `pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip-+_binary64`

Counts

4 → 172

Calls

4 calls:

5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
21.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
23.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

series1.3s

Counts

4 → 12

Calls

4 calls:

15.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
15.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
662.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
652.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

simplify151.0ms

Algorithm

egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5489	18280

prune328.0ms

Filtered

98 candidates to 184 candidates (-87.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	183	1	184
Fresh	1	6	7
Picked	0	1	1
Done	0	2	2
Total	184	10	194

Merged error: 24.8b

Counts

194 → 10

localize26.0ms

Local error

Found 4 expressions with local error:

3.3b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
35.8b	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
35.8b	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
35.8b	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

384×	`associate-*l/_binary64`
288×	`flip3--_binary64` `flip--_binary64`
198×	`sqrt-div_binary64`
192×	`frac-add_binary64` `frac-times_binary64`
96×	`associate-*r/_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
7×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`flip3-+_binary64` `pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip-+_binary64`

Counts

4 → 244

Calls

4 calls:

5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
25.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
21.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
21.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

series2.0s

Counts

4 → 12

Calls

4 calls:

16.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
658.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
665.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
670.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

simplify210.0ms

Algorithm

egg-herbie

Counts

256 → 256

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5489	27164

prune682.0ms

Filtered

129 candidates to 256 candidates (-98.4%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	255	1	256
Fresh	1	5	6
Picked	0	1	1
Done	0	3	3
Total	256	10	266

Merged error: 24.7b

Counts

266 → 10

regimes477.0ms

Accuracy

66.7% (4.7b remaining)

Error of 29.3b against oracle of 24.6b and baseline of 38.8b

bsearch2.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	105
1	55	105

end0.0ms

sample2.8s

Algorithm

intervals

Results

604.0ms	5888×	body	80	valid
398.0ms	848×	body	640	valid
344.0ms	498×	body	1280	valid
232.0ms	2271×	body	80	invalid
206.0ms	460×	body	640	invalid
197.0ms	287×	body	1280	invalid
178.0ms	516×	body	320	valid
77.0ms	221×	body	320	invalid
58.0ms	250×	body	160	valid
31.0ms	108×	body	160	invalid

Details

analyze2.1s

sample97.0ms

simplify160.0ms

prune2.0ms

localize17.0ms

rewrite62.0ms

series847.0ms

simplify102.0ms

prune180.0ms

localize22.0ms

rewrite59.0ms

series840.0ms

simplify100.0ms

prune202.0ms

localize19.0ms

rewrite74.0ms

series1.3s

simplify151.0ms

prune328.0ms

localize26.0ms

rewrite102.0ms

series2.0s

simplify210.0ms

prune682.0ms

regimes477.0ms

bsearch2.0ms

simplify4.0ms

end0.0ms

sample2.8s

Profiling