Trigonometric identities and manipulations