2 cot inverse x formula