Defi application has gone way too deep into the rabbit hole that smart contract developers sometimes have no way to catch up with the math behind the function but simply copy it and take it for granted. A solidity program often starts with a readable but very (gas) inefficient implementation. With a mixture of good math and programming techniques in algorithm and data structure, the program will become more efficient, but at the same time more complicated to interpret. A simple concept like s...