$$\cos 9$$
$0.9876883405951378$
$\frac{47 \cdot 461 \cdot 2287 \cdot 99660941}{2 ^ {15} \cdot 5 ^ {16}} = 0.9876883405951378$
