\cos x\cdot\tan x=\sin x