y=cos(x)cos(2x)の第n次導関数を求めよ
推測でやらないとだめなんですがお願いします