  In this paper, we use techniques which originate from proof mining to give
rates of asymptotic regularity and metastability for a sequence associated to
the composition of two firmly nonexpansive mappings.
