>>398
tan^2(x)=(1-cos(2x))/(1+cos(2x)) を使って符号に注意してcos(2x)、sin(2x)を求める