machin-like formulas