https://medium.com/@monocosmo77/how-horocycles-are-used-in-the-hyperbolic-geometry-domain-part2-90a98fdd1d45
