SymbolicArithmetic test