ideas: refactored products into common subexpression.