微分 logx

sin x = 2 t 1 + t 2
sin x = 2 sin x 2 cos x 2
    (2倍角の公式)
    = 2 sin x 2 cos x 2 cos 2 x 2
    = 2 tan x 2 1 1 + tan 2 x 2
    = 2 tan x 2 1 + tan 2 x 2 = 2 t 1 + t 2