add Test for antidistributive
Write AlgebraicSimp function, and write test, tests not passing