cot(pi/20)