add arithmetic solver