Title: Symbolic manipulation of algebraic expressions