Added some rational simplification (very basic)