Symbolic Analysis Algorithms and Transformations