log{e^x+e^(-x)}/2
をxで微分したら、
e^x+e^(-x)の微分が0なので結果も0でぉk?