Add some trivial algebraic simplification tests.