Cot pi by 3