CA Algebra I: simplifying expressions