>they are definitely not the same function

This depends on what equivalence you're using, and the only one in which it's true (definitional equality) isn't very interesting. Extensionally, the functions are identical.

Ignoring, bottom, the functions arguably have no extensionality, and therefore are only vacuously equivalent in that sense.