Talk:Product of exponentials formula