Cosine function identities