Definition:Real Cosine Function