Compound Angle Formulae Proofreading