Function for counting vars and ops in formulas added