>>270
cosx=cos2*x/2=cos^2(x/2)-sin^2(x/2)を使えば力技でもできるし
スマートにできる方法もあるけど眠いから頑張ってみてくれ