See http://taxsim.nber.org/out2psl/672 Taxable income matches. Did PE use worksheet 11 for the tax computation?