log(log(e^5) - 1)/(2 log(2)) + 1