Bugfix: equality between formulas was doing unnecessary operations.