If GPT could explain such mangled functions reliably, it would mean it can detect isomorphic graphs, a known NP hard problem.

The reason is the variable names exist solely to define connections between inputs and outputs, and renaming them is sane as renumbering a graph.