Even looking at this, I find it still very hard to see how it's computing x*y for arbitrary values of x and y...