on bdex, my x*y=k amm arbitrage toolkit