Add mandatory effort combining operation and use it so that binary
polynomial operations combine the efforts of both operands.