hyperbolic regular 8-gon