Automated Cost Analysis