added algebraic simplification of scalar expression. implementing recurrences still a challange