A package for symbolic solution of real functional equations of real variables