Use rational expression module and simplify