Compute posterior for biased coin after 3H1T | Zoox