Cot inverse x derivative