Function equality test only works if exactly equal

[jackromo]

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.