derivative of arccos(x/a)