Cot inverse minus under