reduce by half Synonym