If product items are equal - result is one of them, if not - result is the same product of items.
Available stretched versions (starting precedence is 9):