Added a difference formula, and WIP for the compiled regular expression