Added rational simplification