Complex Exponential Trig Identities