Angle transformations and identities