Add `simplify/2` and algebra rules