cot(3pi/4)