1/9 (8 log(8) - 7)