Critical-point Jensen identity for the hyperbolic derivative ($T_{\mathbb{D}}(R)+N_{\mathrm{crit}}(R)=⟨\log H_g{⟩}_R-\log H_g(0)$)

For $g^{\prime }(0)\ne 0$, apply Jensen's formula with the smooth curvature term to the hyperbolic derivative density. Its distributional Laplacian is $H_g^2+2\pi \sum m_a{\delta }_a$, giving the displayed identity with ramification points defined by $g^{\prime }(a)=0$. If $g^{\prime }(z)=c{z}^m+\cdots$ at zero, use $m\log R$ as the origin counting term and replace the base constant by $\log {\lim }_{z\to 0}{H}_g(z)/|z{|}^m$. Without this regularization the basepoint-critical formula is undefined.