The high road to an exponential formula

A conjectured exponential formula is proved using a recent result of Klyachko [Linear Algebra Appl. 319 (2000) 37]. Then the exponential formula is applied to confirm the equality of two types of spectral triples used to describe all homogeneous eigenvalue inequalities for sum of Hermitian matrices and product of positive definite matrices.