cos(-2θ)*cos(2θ+π/6)ってどうやって加法定理使ってこれ以上簡単にするの??