Simplify the formula