The exponential map from to is simply a 2D rotation:
The logarithm is trivially computed from an element of .