Cot x minus y