Added a bunch more cases for our simplifier. Also modified the property to not check equality, but instead if eval of the simplified expression results in a value close to eval of the expression.