Generating Equivalent Expressions using Mathematical Properties