Implemented basic symbolic value formula handling with binary expressions.