そもそも三角関数の微分も
加法定理がいるとは限らないな