別に公式でもなんでもなくてただの計算なんだが・・・
x → 2x と変数変換し、倍角でばらす。あとはグラフを書いて
log(sin x) と log(cos x) の関係を考えれば出てくる。