Campbell–Baker–Hausdorff formula