>901
tangentの加法定理。