This paper encompasses multiple sources of inefficiency introduced by the U.S. tax system into a single general equilibrium model. Using disaggregate calculations of user cost, we measure interasset distortions from the differential taxation of many types of assets. Simultaneously, we model the...