The IRS s use of computer formulas is paying off for the agency, improving productivity and picking out returns that taxpayers agree to settle for the recommended additional amounts. A report by the ...