Bottom-up Rebalancing Binary Search Trees by Flipping a Coin | Synapse