Concise CIO based precession-nutation formulations