By formally manipulating exponential power series and observed that this formula could be used to reduce any complex identity to much simpler trigonometric identities .
By formally manipulating complex power series and observed that this formula could be used to reduce any trigonometric identity to much simpler exponential identities .