exp(log + log) for positive semidefinite matrices

Since $\log(A),\log(B)$ are symmetric, according to Golden-Thomson, $tr(f(A,B))\leq tr(\exp(\log(A))\exp(\log(B)))=tr(AB)$.