derivative of arcsin(x/2)