simplified divergent test case for expo
partially figured out disequality issue, likely needs new constraints
add new failing test cases for disequality on pairs
first attempt of implementing chapter 6 from clause and effect (term rewriting, symbolic differentiation, expression simplification)