\sin x=\sin\frac{x}{3}(4\cos^2\frac{x}{3}-1)