2 sqrt(inversebetaregularized(1/2,1/2,3/2)-inversebetaregularized(1/2,1/2,3/2)^2) vs 4 arcsin(sqrt InverseBetaRegularized(1/4, 3/2, 3/2))-pi/2 vs dottie number