[nitnelave]

You could argue that an implementation of a function to which you added asserts to make sure that logical invariants are maintained is different from the implementation without. The asserts will never trigger because they enforce properties that are always true for this function.

[Nevermark]

I think the interesting problem being described is:

Find two non-trivial algorithms so different that their equivalence is difficult to establish but which will always produce the same results.

Artificial code obfuscation techniques are not allowed. The algorithms can’t just be differently obfuscated versions of each other.

I.e. both algorithms should be in their simplest form given their respective approaches.