Cot into cos inverse