identities for cos(t)+sin(t)