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.

PS: I am not a lawyer. Never have been.