a buf fix in binary_expression and intro of logSumExp