Details

analyze507.0ms (9.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
25%	25%	50%	2
25%	25%	50%	3
31.2%	18.7%	50%	4
31.2%	18.7%	50%	5
34.3%	15.6%	50%	6
34.3%	15.6%	50%	7
35.9%	14%	50%	8
35.9%	14%	50%	9
36.7%	13.3%	50%	10
36.7%	13.3%	50%	11
37.1%	12.9%	50%	12
37.1%	12.9%	50%	13
37.3%	12.7%	50%	14

Compiler

Compiled 20 to 14 computations (30% saved)

sample1.9s (36.8%)

Results

862.0ms	6296×	body	128	valid
360.0ms	620×	body	2048	valid
319.0ms	518×	body	4096	valid
186.0ms	435×	body	1024	valid
77.0ms	253×	body	512	valid
30.0ms	134×	body	256	valid

Compiler

Compiled 57 to 40 computations (29.8% saved)

simplify29.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

203×	`fma-def_binary64`
142×	`fma-neg_binary64`
51×	`distribute-rgt-in_binary64`
42×	`cancel-sign-sub-inv_binary64`
28×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

13.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	14.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	39.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))

Compiler

Compiled 85 to 61 computations (28.2% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(hypot.f64 re im)
✓	0.0b	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
✓	1.9b	(-.f64 (hypot.f64 re im) re)

series81.0ms (1.6%)

Counts

3 → 56

Calls

3 calls:

60.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
11.0ms	(-.f64 (hypot.f64 re im) re)
9.0ms	(hypot.f64 re im)

rewrite13.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`
9×	`prod-diff_binary64`
6×	`pow1_binary64`

Counts

3 → 55

Calls

3 calls:

6.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
4.0ms	(-.f64 (hypot.f64 re im) re)
0.0ms	(hypot.f64 re im)

simplify89.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

994×	`fma-neg_binary64`
747×	`times-frac_binary64`
413×	`cancel-sign-sub-inv_binary64`
173×	`fma-def_binary64`
158×	`sub-neg_binary64`

Counts

111 → 136

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	238	2332
1	611	2069
2	2078	1999
3	4466	1989
4	5015	1989

prune99.0ms (1.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	129	7	136
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	130	8	138

Error

0.2b

Counts

138 → 8

Alt Table

Status	Error	Program
	39.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re))) re))))
✓	14.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	17.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	46.2b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
▶	16.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	52.9b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) -1/16))))
	47.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (fma.f64 1 (hypot.f64 re im) (neg.f64 (.f64 (sqrt.f64 re) (sqrt.f64 re)))) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) (.f64 (sqrt.f64 re) (sqrt.f64 re)))))))
	53.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))

Compiler

Compiled 3451 to 2246 computations (34.9% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (hypot.f64 re im))
	0.0b	(hypot.f64 re im)
✓	0.0b	(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))
✓	16.6b	(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

series106.0ms (2.1%)

Counts

3 → 26

Calls

3 calls:

60.0ms

(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))

31.0ms

(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

15.0ms

(sqrt.f64 (hypot.f64 re im))

rewrite4.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`pow1_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`sqrt-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`

Counts

3 → 38

Calls

3 calls:

2.0ms

(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))))

1.0ms

(sqrt.f64 (hypot.f64 re im))

0.0ms

(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re))

simplify68.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

630×	`fma-def_binary64`
337×	`associate-/l*_binary64`
311×	`times-frac_binary64`
291×	`fma-neg_binary64`
289×	`cancel-sign-sub-inv_binary64`

Counts

64 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	206	1414
1	518	1316
2	1585	1263
3	4927	1261
4	5024	1261

prune139.0ms (2.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	206	1	207
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	207	8	215

Error

0.2b

Counts

215 → 8

Alt Table

Status	Error	Program
	39.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))) (neg.f64 re)))))
✓	16.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
▶	17.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	46.2b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
✓	14.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	52.9b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) -1/16))))
	47.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (fma.f64 1 (hypot.f64 re im) (neg.f64 (.f64 (sqrt.f64 re) (sqrt.f64 re)))) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) (.f64 (sqrt.f64 re) (sqrt.f64 re)))))))
	53.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))

Compiler

Compiled 5812 to 3387 computations (41.7% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re))))
✓	0.5b	(*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im)))
✓	0.5b	(cbrt.f64 (hypot.f64 re im))
✓	16.3b	(fma.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re))

series199.0ms (3.9%)

Counts

4 → 88

Calls

4 calls:

78.0ms	(sqrt.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re))))
55.0ms	(fma.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re))
36.0ms	(*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im)))
30.0ms	(cbrt.f64 (hypot.f64 re im))

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
14×	`pow1_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`

Counts

4 → 78

Calls

4 calls:

4.0ms	(*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im)))
2.0ms	(sqrt.f64 (.f64 2 (fma.f64 (.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re))))
1.0ms	(cbrt.f64 (hypot.f64 re im))
0.0ms	(fma.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re))

simplify102.0ms (2%)

Algorithm

1×	egg-herbie

Rules

333×	`fma-neg_binary64`
292×	`fma-def_binary64`
287×	`associate-r_binary64`
223×	`*-commutative_binary64`
217×	`sub-neg_binary64`

Counts

166 → 222

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	422	4415
1	1194	4232
2	4040	4164
3	4972	4164

prune218.0ms (4.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	316	0	316
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	316	8	324

Error

0.2b

Counts

324 → 8

Alt Table

Status	Error	Program
▶	39.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))) (neg.f64 re)))))
✓	16.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
✓	17.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	46.2b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
✓	14.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	52.9b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) -1/16))))
	47.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (fma.f64 1 (hypot.f64 re im) (neg.f64 (.f64 (sqrt.f64 re) (sqrt.f64 re)))) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) (.f64 (sqrt.f64 re) (sqrt.f64 re)))))))
	53.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))

Compiler

Compiled 10680 to 5850 computations (45.2% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(hypot.f64 re im)
✓	0.0b	(sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (.f64 re re)))) (neg.f64 re))))
✓	16.6b	(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))) (neg.f64 re))
✓	28.9b	(sqrt.f64 (fma.f64 im im (*.f64 re re)))

series115.0ms (2.2%)

Counts

3 → 42

Calls

3 calls:

70.0ms

(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))) (neg.f64 re))))

35.0ms

(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))) (neg.f64 re))

10.0ms

(sqrt.f64 (fma.f64 im im (*.f64 re re)))

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`pow1_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64`
4×	`sqrt-prod_binary64`
4×	`add-cube-cbrt_binary64`

Counts

3 → 39

Calls

3 calls:

2.0ms

(sqrt.f64 (*.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))) (neg.f64 re))))

1.0ms

(sqrt.f64 (fma.f64 im im (*.f64 re re)))

0.0ms

(fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))) (neg.f64 re))

simplify75.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

583×	`fma-def_binary64`
443×	`fma-neg_binary64`
365×	`associate-/l*_binary64`
347×	`times-frac_binary64`
272×	`cancel-sign-sub-inv_binary64`

Counts

81 → 120

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	188	2064
1	492	1738
2	1550	1679
3	4785	1677
4	4981	1677

prune142.0ms (2.8%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	158	1	159
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	158	9	167

Error

0.2b

Counts

167 → 9

Alt Table

Status	Error	Program
✓	39.3b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))) (neg.f64 re)))))
✓	16.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
✓	17.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (fma.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)) (neg.f64 re)))))
	46.2b	(.f64 1/2 (.f64 (.f64 (sqrt.f64 1/2) (.f64 (sqrt.f64 2) im)) (sqrt.f64 (/.f64 1 re))))
✓	14.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))
	52.9b	(.f64 1/2 (fma.f64 (sqrt.f64 1/2) (.f64 (.f64 im (sqrt.f64 2)) (sqrt.f64 (/.f64 1 re))) (.f64 (sqrt.f64 (/.f64 1 (pow.f64 re 5))) (.f64 (/.f64 (.f64 (pow.f64 im 3) (sqrt.f64 2)) (sqrt.f64 1/2)) -1/16))))
	47.0b	(.f64 1/2 (sqrt.f64 (.f64 2 (+.f64 (fma.f64 1 (hypot.f64 re im) (neg.f64 (.f64 (sqrt.f64 re) (sqrt.f64 re)))) (fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) (.f64 (sqrt.f64 re) (sqrt.f64 re)))))))
	53.6b	(.f64 1/2 (sqrt.f64 (.f64 2 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)))))
	40.2b	(.f64 1/2 (sqrt.f64 (.f64 2 (expm1.f64 (log1p.f64 (fma.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (sqrt.f64 (fma.f64 im im (*.f64 re re)))) (neg.f64 re)))))))

Compiler

Compiled 4809 to 2542 computations (47.1% saved)

regimes1.0s (20.3%)

Accuracy

Total 5.9b remaining (96.2%)

Threshold costs 0b (0%)

Counts

40 → 2

Compiler

Compiled 5727 to 3945 computations (31.1% saved)

bsearch2.0ms (0%)

Compiler: Compiled 12 to 7 computations (41.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
4×	`+-commutative_binary64`
3×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	57
1	39	57
2	44	57
3	46	57
4	47	57
5	46	57

end152.0ms (3%)

Compiler: Compiled 271 to 194 computations (28.4% saved)

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15

Details

analyze507.0ms (9.9%)

sample1.9s (36.8%)

simplify29.0ms (0.6%)

prune5.0ms (0.1%)

localize7.0ms (0.1%)

series81.0ms (1.6%)

rewrite13.0ms (0.2%)

simplify89.0ms (1.7%)

prune99.0ms (1.9%)

localize10.0ms (0.2%)

series106.0ms (2.1%)

rewrite4.0ms (0.1%)

simplify68.0ms (1.3%)

prune139.0ms (2.7%)

localize10.0ms (0.2%)

series199.0ms (3.9%)

rewrite11.0ms (0.2%)

simplify102.0ms (2%)

prune218.0ms (4.2%)

localize14.0ms (0.3%)

series115.0ms (2.2%)

rewrite5.0ms (0.1%)

simplify75.0ms (1.5%)

prune142.0ms (2.8%)

regimes1.0s (20.3%)

bsearch2.0ms (0%)

simplify3.0ms (0.1%)

end152.0ms (3%)

Profiling

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	50	15
4	69	15
5	98	15
6	151	15
7	211	15
8	263	15
9	305	15
10	343	15
11	379	15
12	396	15
13	415	15
14	428	15
15	465	15
16	477	15
17	486	15
18	449	15