Ventures into programmatically simplifying algebraic expressions