Standard domain probability density

Collect $$x + i and$$ randomly with respect to the hyperbolic measure of $${z: | z | geq1, | mathcal R (z) | leq frac12 }$$. What does the probability distribution function of $$frac1 { sqrt y}$$ It seems?