tan(5pi/8)