Formulas with t = tan(x2)