前にlogを自然対数として、実関数

f(x)=log(log(sin(x)))

を微分せよというのがあったな。