Cot 3 pi by 2 x