Differentiating inverse cos(x/a)