\sin\arctan 0.5=\frac{1}{\sqrt{5}}