tan^(-1)(cot(x))