Cot pi by 2 value