k = x * y : AMM equation explained