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