Find cos(arctan(13))\cos(\arctan(\frac{1}{\sqrt{3}}))cos(arctan(31)).
1/21/21/2
3/2\sqrt{3}/23/2
1/21/\sqrt{2}1/2
000