Algebraic Simplification Techniques