[math-fun] (exp(Pi)-ln(3))/ln(2)