Find the exact value of cos(arctan(512))\cos(\arctan(\frac{5}{12}))cos(arctan(125)).
513\frac{5}{13}135
125\frac{12}{5}512
512\frac{5}{12}125
1213\frac{12}{13}1312