identities cos(x)