Cot pi by 2