Cot inverse minus x is