Back-translation must in general be less accurate than back-calculation because linguistic symbols (words) are often ambiguous, whereas mathematical symbols are intentionally unequivocal.
What symbol set has the property of being intentionally unequivocal?
mathematical