Cot 3 pi by 2