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