work on symbolic arrays, should be able to simplify the results to a
number in some circumstances