Rearranging Formulae Involving Simple Factorising