Automatic algebraic manipulator
