TR-38: Angle Sum and Difference Identities (Trigonometry series by Dennis F. Davis)