complex exponential trig identities - Search