If you read the independent claims, they have not patented the formula by itself.
Claim 1: A system for determining if two operands point to different locations in memory, the ...
Claim 15: A method for producing executable code for performing ...
Claim 21: A computer-readable medium comprising computer-executable instructions for ...
Dependent claims by definition include at least one of the above.
