The term {tt (log $tau_1$ $tau_2$)} denotes the logarithm of the object denoted by $tau_1$ in the base denoted by $tau_2$.