cosの加法定理、tExpand()

参考: 初等関数と微分・積分 (アナログ・テクノロジ・シリーズ), pp.126-128

―――――――――――――――――――――――――――――