Using proof-theoretical techniques, we analyze a proof by Hong-Kun Xu regarding result of strong convergence for the Halpern type proximal point algorithm. We obtain rate metastability (in sense Terence Tao) and also asymptotic regularity iteration. Furthermore, our final quantitative bypasses sequential weak compactness argument present in original proof. This elimination is reflected extracti...