How to get the problem’ closed-form solution.
Reformulate as (1-tau)*log((1-tau*(1-A))/(1-tau*(1-B)))
That looks similar to your previous problem X*log((ay+x)/(cy+x)) a>c . So maybe a similar solution to that provided by @jackfsuia
Year，it is similar. I have computered it.