simplify (1%2Fa %2B 1%2Fb) (a %2B b)