The symbols from arith1 which are supported are:

abs, gcd, divide, lcm, minus, plus, power, times, unary_minus