Cot pi minus x