Rearranging Formulae: Rearranging Formulae Involving Advanced Factorising