$$\sin (45-30)$$
$0.25881904510252074$
$\frac{5694427 \cdot 9352117 \cdot 3 ^ {5}}{2 ^ {16} \cdot 5 ^ {17}} = 0.25881904510252074$
