hyperbolic octagon