unit tests for expression simplifier