Compound Angle Formulae (Harder)