ddx inversehaversine(inversebetaregularized(x/pi,1/2,3/2))