>>807
三角関数の中身の形が変わってるんだから
・倍角の公式を使ってから微分する
・微分してから倍角の公式を使う
のどちらかだという推理もできないのか?