proof of derivative of cot x