Simplify (- (- x)) for rationals