Tag calculus integral formulas