User Portlet

Thanks for your answer! But nevertheless, WM/WA should check back the original equation automatically without extra functions such as FunctionDomain when the original and simplified equations are not equivalent.