Pushing the frontier of cost-effective reasoning.