working out issues with symbolic diff and computation/test equality