Phonon arithmetic in a trapped ion system