tan(pi/8)