Local square mean in the hyperbolic circle problem | Synapse