Nicened up the free group simplification algorithm
Further simplification to simplify