Reduces the binary expression node to a simpler expression.
The reduced expression.
If CanReduce returns true, this should return a valid expression.
This method can return another node which itself must be reduced.