We know from basic algebra that $2x=x+x$, for any integer $x$. Does it follow that the following functions int -> int are equal?

fun x -> x + x
fun x -> 2 * x