added some normalization rules
added ability to transform a polynomial to normal form and rearrange an expression containing one variable