Trace formulas are investigated in non-commutative integration theory. The main result is to evaluate the standard trace of Takesaki duals and, for this, we introduce the notion of interpolator and accompanied boundary objects. The formula is then applied to explore a variation of Haagerup's trace formula.