[math-fun] Strange truth from FunctionExpand