Overapproximating The Cost Of Loops