If $tau$ denotes a number, then the term {tt (acos $tau$)} denotes the arc cosine of that number (in radians).