Details

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

sample110.0ms

Algorithm

intervals

Results

23.0ms	178×	body	80	valid
16.0ms	23×	body	1280	valid
11.0ms	23×	body	640	valid
8.0ms	12×	body	1280	invalid
8.0ms	17×	body	640	invalid
7.0ms	21×	body	320	valid
7.0ms	68×	body	80	invalid
5.0ms	14×	body	320	invalid
3.0ms	11×	body	160	valid
0.0ms	2×	body	160	invalid

simplify125.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (122.0ms)

Iter	Nodes	Cost
0	5041	32

prune4.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: 41.4b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))
3.2b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.2b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
38.1b	(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))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

130×	`associate-*l/_binary64`
97×	`flip3--_binary64` `flip--_binary64`
66×	`sqrt-div_binary64`
64×	`frac-add_binary64` `frac-times_binary64`
32×	`associate-*r/_binary64`
12×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64`
7×	`pow1_binary64` `add-cube-cbrt_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`associate-r_binary64` `sqrt-prod_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `pow1/2_binary64` `cbrt-unprod_binary64` `sqrt-pow1_binary64` `unswap-sqr_binary64` `rem-sqrt-square_binary64` `prod-exp_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip-+_binary64` `*-commutative_binary64`

Counts

4 → 115

Calls

4 calls:

11.0ms	(*.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))
19.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))))

series192.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
7.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
159.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))))

simplify65.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5066	6400

prune179.0ms

Filtered

76 candidates to 127 candidates (-67.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	118	9	127
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	118	10	128

Merged error: 26.9b

Counts

128 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

3.2b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.2b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
38.1b	(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))))
38.1b	(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))))

rewrite72.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))
8.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
20.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))))
20.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))))

series322.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
6.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
153.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))))
158.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))))

simplify68.0ms

Algorithm

egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	5549	12064

prune275.0ms

Filtered

98 candidates to 184 candidates (-87.8%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	184	0	184
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	184	10	194

Merged error: 26.9b

Counts

194 → 10

localize24.0ms

Local error

Found 4 expressions with local error:

3.2b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
3.2b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
39.2b	(cbrt.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))))
39.2b	(cbrt.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))))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 168

Calls

4 calls:

5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
20.0ms	(cbrt.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))))
20.0ms	(cbrt.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))))

series426.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
207.0ms	(cbrt.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))))
209.0ms	(cbrt.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))))

simplify89.0ms

Algorithm

egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4983	12142
1	4983	12142

prune286.0ms

Filtered

100 candidates to 180 candidates (-80.0%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	178	2	180
Fresh	1	6	7
Picked	0	1	1
Done	0	2	2
Total	179	11	190

Merged error: 26.8b

Counts

190 → 11

localize31.0ms

Local error

Found 4 expressions with local error:

39.2b	(cbrt.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))))
39.2b	(cbrt.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))))
39.2b	(cbrt.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))))
39.2b	(cbrt.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))))

rewrite134.0ms

Algorithm

rewrite-expression-head

Rules

512×	`associate-*l/_binary64`
384×	`flip3--_binary64` `flip--_binary64`
264×	`cbrt-div_binary64`
256×	`frac-add_binary64` `frac-times_binary64`
128×	`associate-*r/_binary64`
12×	`cbrt-prod_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `pow1_binary64` `pow1/3_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`

Counts

4 → 308

Calls

4 calls:

20.0ms	(cbrt.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))))
26.0ms	(cbrt.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))))
22.0ms	(cbrt.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	(cbrt.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))))

series834.0ms

Counts

4 → 12

Calls

4 calls:

209.0ms	(cbrt.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))))
208.0ms	(cbrt.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))))
206.0ms	(cbrt.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))))
211.0ms	(cbrt.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))))

simplify128.0ms

Algorithm

egg-herbie

Counts

320 → 320

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5552	24056

prune998.0ms

Filtered

164 candidates to 320 candidates (-95.1%)

Pruning

12 alts after pruning (8 fresh and 4 done)

	Pruned	Kept	Total
New	319	1	320
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	319	12	331

Merged error: 26.8b

Counts

331 → 12

regimes1.2s

Accuracy

74.1% (3.6b remaining)

Error of 28.6b against oracle of 25.0b and baseline of 38.8b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	53	69
1	53	69

end0.0ms

sample2.8s

Algorithm

intervals

Results

609.0ms	5904×	body	80	valid
407.0ms	859×	body	640	valid
330.0ms	474×	body	1280	valid
235.0ms	2316×	body	80	invalid
208.0ms	438×	body	640	invalid
195.0ms	283×	body	1280	invalid
177.0ms	500×	body	320	valid
85.0ms	249×	body	320	invalid
71.0ms	263×	body	160	valid
18.0ms	80×	body	160	invalid

Details

analyze2.2s

sample110.0ms

simplify125.0ms

prune4.0ms

localize16.0ms

rewrite51.0ms

series192.0ms

simplify65.0ms

prune179.0ms

localize20.0ms

rewrite72.0ms

series322.0ms

simplify68.0ms

prune275.0ms

localize24.0ms

rewrite76.0ms

series426.0ms

simplify89.0ms

prune286.0ms

localize31.0ms

rewrite134.0ms

series834.0ms

simplify128.0ms

prune998.0ms

regimes1.2s

bsearch1.0ms

simplify2.0ms

end0.0ms

sample2.8s

Profiling