See http://taxsim.nber.org/out2psl/642 Taxable income and total credits match, but tax before credits does not. This likely duplicates #628.