2+cot(pi/8)+cot(pi/4-pi/8)