How do you differentiate g(x) = sin x + 1/2 cot x ?