sin^(-1)(1 - 2 inversebetaregularized(1/2,1/2,3/2))-dottie number