What is the best way to do the above? Are there any tricks I should be aware of.
I know how to simplify it to $\dfrac{\cos(x)}{\sin(x)} + \dfrac{1}{\sin(x)} = \sqrt{3}$
so multiplying both sides by $\sin(x)$, we get $\cos(x)+1=\sqrt{3}\sin(x)$.
But I'm stuck from there.