The derivative of arccosx