How do you find the general solutions for #cos x tan x = 1/2#?