The general solution of the differential equation $\dfrac{\mathrm{d} y}{\mathrm{d} x} = \dfrac{1+\cos 2y}{1-\cos 2x}$ is
- $ \tan y – \cot x = c\:\text{(c is a constant)}$
- $\tan x – \cot y = c\:\text{(c is a constant)}$
- $\tan y + \cot x = c\:\text{(c is a constant)}$
- $\tan x + \cot y = c\:\text{(c is a constant)}$