>>618
あってる。

>>619
cot(x)=cos(x)/sin(x) 商の微分