cot(pi/2)