GCF and simplification