Cot pi by 4 value