Arithmetic formulas