cot-1⁡x