How do you verify (1-cos(x)) / sin(x) = csc(x) - cot(x) ?