AQA E8: Reduction Formulae