Function class should be able to check identities and denote underlying equality. eg. sin^2(x) = 1 - cos^2(x) is not recognized as true.