simplify the formula