\tan x \cdot (\tan^2 x - (\sqrt{3})^2) = \tan x \cdot (\tan x - \sqrt{3}) (\tan x + \sqrt{3})