fixed sanity tests by enforcing function equality semantics in exponentials