>>624
cos(x)=sin(x)/tan(x)
tan(x)は倍角公式で簡単にtであらわせる