Sure, the variables have explicit definitions somewhere, but it still requires you to go back and reference them every time you forget what y stood for.

With more verbose identifiers like in code, you don't need these reminders. The cognitive load is reduced, because you no longer need to hold a table in your head that correlates these random letters with their definitions.