formula: bitcoin