Cot inverse x pi