Add ArithTerm