Q for the math guys: Is this the closed form pdf of the angle distribution of one quarter of the circle? http://www.wolframalpha.com/input/?i=1%2Fcos%28min%28

Q for the math guys: Is this the closed form pdf of the angle distribution of one quarter of the circle? http://www.wolframalpha.com/input/?i=1%2Fcos%28min%28x%2Cpi%2F2-x%29%29+%28x+from+0+to+pi%2F2%29 http://www.wolframalpha.com/input/?i=1%2Fcos%28min%28x%2Cpi%... 1/cos(min(x,pi/2-x)) plus the normalization term to make \int(..) == 1: http://www.wolframalpha.com/input/?i=int+1%2Fcos(min(x%2Cpi%2F2-x))+from+0+to+pi%2F2 http://www.wolframalpha.com/input/?i=int+1%2Fcos(min(x%2Cpi%... Constructed by arguing that the probability is directly proportional to the length of the hypotenuse.