An expression that is rewritten as a product of simpler expressions.