pretty printer for arithmetic expressions