Simplifying Equivalent Functions Given two functions in closed form such that f(x) is the same for all x for both functions, is there always a way to manipulate either function to make it so they are written exactly the same or can you have two functions that can be proven equivalent yet neither can be simplified to look the same as the other?

Your question is equivalent to asking if there is some normal form for every closed form expression that we can reduce equivalent expressions to.
Now the answer depends on the kind of formal system you use, i.e. what exactly you call closed form. Surely when we're restricting ourselves to few enough operations, there is. Take e.g. arithmetic terms containing natural numbers, +, $\cdot$ and variables, we can completely simplify the terms, thus yielding a normal form.
However for some not too complicated systems like λ-calculus, which just consists of function creation and application, is has been proven that deciding whether two terms are equivalent is already undecidable, so there is no normal form.
