[math-fun] Continued logarithm expansion