derivative of arcsin(x/cos(x))