\cos 180^\circ + \cot 30^\circ = -1 + \sqrt{3}