The tame symbol and determinants of Toeplitz operators

Suppose that $phi$ and $psi$ are smooth complex-valued functions on the circle that are invertible, have winding number zero with respect to the origin, and have meromorphic extensions to an open neighborhood of the closed unit disk. Let $T_phi$ and $T_psi$ denote the Toeplitz operators with symbols $phi$ and $psi$ respectively. We give an explicit formula for the determinant of $T_phi T_psi T_phi^{-1} T_psi^{-1}$ in terms of the products of the tame symbols of $phi$ and $psi$ on the open unit disk.