\sin x=2\sin\frac{x}{2}\cos\frac{x}{2}