Definition:Complex Cosine Function