Rearranging Formulae Involving Advanced Factorising